История изменений
Исправление ilammy, (текущая версия) :
В отличие от этого, чоткая(дерзкая) система типов — это в C++. Там, если ты напишешь A+B, компилятор обзовёт тебя мудаком, и откажется компилировать, пока ты не соизволишь рассказать, что такое
A::operator+(const &B).
Вместо истории об операторе компилятор устроит и сказка о легендарных «Конструкторах С Одним Аргументом Без Explicit». Если ему удастся подобрать цепочку из приведений типов, то он без проблем вызовет какой-нибудь operator+().
И вообще, это вроде бы называлось строгой/слабой типизацией.
Исходная версия ilammy, :
В отличие от этого, чоткая(дерзкая) система типов — это в C++. Там, если ты напишешь A+B, компилятор обзовёт тебя мудаком, и откажется компилировать, пока ты не соизволишь рассказать, что такое
A::operator+(const &B).
Вместо истории об операторе компилятор устроит и сказка о легендарных «Конструкторах С Одним Аргументом Без Explicit». Если ему удастся подобрать цепочку из приведений типов, то он без проблем вызовет какой-нибудь operator+().