Перегрузка функции

[ViktorKozlov]

Доброго времени суток

Допустим, есть перегруженная функция

void func(long f, long g, int q){cout<<"1";}
void func(long f, int g, int q){cout<<"2";}
 
int main()
{
    int a=4;
    long r=5;
    func(r,r,r);

Чем руководствуется компилятор, когда определяет, какую именно функцию вызвать? В данном случае будет вызываться первая, но, видимо, не потому, что там совпадений больше, ведь если написать (int f, long g, long q), то будет неоднозначность.

[ROD]

Вот для этого нужно явно делать приведение типов.

[ViktorKozlov]

Сообщение от ROD

Вот для этого нужно явно делать приведение типов.

Это-то понятно, но как все-таки определяется, какая функция должна вызываться? Если написать первую функцию как func(int f, long g, long q), то уже ругается на неоднозначность, хотя не совпадает все также только один тип

[Abstraction]

Это-то понятно, но как все-таки определяется, какая функция должна вызываться?

Копайте в направлении стандарта, точнее него никто не скажет. По-моему, различаются понижающие и повышающие приведения, но спокойно могу перепутать.

[ViktorKozlov]

Abstraction,
Ну да, long вроде как выше int считается, поэтому здесь как-бы понижающее приведение с возможной потерей данных. В стандарте я нашел примеры только с одним аргументом, но это и так ясно, а вот как выбирается кандидат в случае с несколькими параметрами, при условии, что какие-то из них совпадают по типу с аргументами в вызывающей функции, а какие-то нет, пока не понятно

[ROD]

Сообщение от ViktorKozlov

Abstraction,
Ну да, long вроде как выше int считается, поэтому здесь как-бы понижающее приведение с возможной потерей данных. В стандарте я нашел примеры только с одним аргументом, но это и так ясно, а вот как выбирается кандидат в случае с несколькими параметрами, при условии, что какие-то из них совпадают по типу с аргументами в вызывающей функции, а какие-то нет, пока не понятно

Если в стандарте не указано, то на усмотрение компилятора (точнее разработчика компилятора). По факту, оно может оказаться "на усмотрение компилятора" даже, если в стандарте описано иное.


Интереса ради проверьте в другом компиляторе (очень желательно от другого производителя).