Привет, есть такой вызов функции square()

Подскажите почему при вызове функции square(7), вызывается версия square(double) а не генерируется сообщение об ошибки?

Потому что int преобразуется в double.

djamshud, в чем тогда смысл перегрузки функций ?, если все равно происходит неявное преобразование типов, как в этом случае.

В том, чтобы можно было сделать так:



В вашем случае вы можете указать разную логику для работы над int и над double, т.к. преобразование типов включается после того, как не нашлось прямого действия.

Добавлено через 5 минут и 42 секунды
ну или вот пример из моей недавней практики:



Одна логика для работы со строкой и совершенно другая - для любых других указателей.

В вашем коде никакой перегрузки функций и нет. Если раскомментировать первую строчку, то как раз перегрузка произойдет. Неявное преобразование типа происходит, только если нет перегрузки.

звучит резковато    


Это сообщение отредактировал(а) mes - 31.8.2010, 18:15

mes, я вообще очень суров  

Здесь имеет место так называемое продвижение. int неявно преобразуется к double, но не наоборот.
Когда вызывается функция, происходит поиск её имени. Здесь нет ползовательских (user-defined) типов (проще говоря, классов или енумов), поэтому ADL не выполняется. Выбирается та функция, которая подходит лучше всего, т.е. та, для вызова которой надо сделать как можно меншьше допустимых приведений. 

Если в этой цепочке присутствуют приведения типа определённые пользователем, (не explicit конструкторы классов или всевозможные operator T()), то допускается не более одного.codepad.org


Это сообщение отредактировал(а) Леопольд - 31.8.2010, 20:51

Вот в этом месте не понятно. Вы имеете ввиду конкретный случай или вообще.

codepad.org

Добавлено @ 20:59
Здесь речь про "продвижение" встроенных типов, оно идёт в одном напрвалении: char -> short -> int -> long -> float -> double . Здесь я "опустил" unsigned типы.


Это сообщение отредактировал(а) Леопольд - 31.8.2010, 21:03

все в одну бочку ?!   

Я точно уже не помню. Лазить выскивать точную инфу нет времени...


Это сообщение отредактировал(а) Леопольд - 1.9.2010, 08:58

в С++ компилятор осуществляет неявное (implicit) преобразование типов во время разбора выражений. эта некоторая слабость типизации есть дань совместимости с С и для опытных программистов довольно удобна, хотя иногда приводит к трудноуловимым ошибкам.
Правила преобразования (почти всегда) интуитивно понятны, хотя и не настолько просты, что бы выразить их одной строчкой.
Для избежания неявного преобразования есть два механизма - явное приведение типов _cast, (type), type() и ключевое слово explicit, применимое, к сожалению, лишь в конструкторах. Замечу, что первое - явное преобразование - не защищает от неявного:

используя перегрузку функций можно специализировать функцию для определенного типа http://codepad.org/jJ7DkWBy, компилятор будет применять функцию, наиболее близкую по типу параметров, однако неявное преобразование это не отменяет

Леопольд, а как называется неявное преобразование double к int?

тогда поправлю: 

тут нет никакого продвижения 


Floating-integral conversions