Можем ли мы перегрузить функцию, основанную только на том, является ли параметр значением или ссылкой?

Question

Я получил ответ НЕТ! Поскольку передача по значению и передача по ссылке выглядит идентичной вызывающей.

Однако приведенный ниже код компилирует прямо

class A { 

public: 
void f(int i) {}  

void f(int& i) {} 
}; 

Но когда я пытаюсь использовать его, есть ошибка компиляции.

int main() { 

    A a; 
    int i = 9; 
    int& j = i; 
    a.f(1); 
    a.f(i); 
    a.f(j); 
    return 0; 
} 

Почему компилятор не отключает его, даже не зная, что он будет использоваться?

Answer 1

Да, они могут быть перегружены по ссылке или нет. Вот почему это прекрасно, что они так сосуществуют; они разные.

Проблема связана с двусмысленностью. В то время как f(1) можно вызывать только по одному варианту, f(i) можно вызвать на обоих. Также не желательно, поэтому вы получаете ошибку для двусмысленности. Если вы добавили третью функцию, foo (const int&), все звонки были бы двусмысленными. Но все они все еще перегружены друг от друга и не конфликтуют.

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

Answer 2

Вы можете назвать каждый метод:

void (A::*t)(int&) =&A::f; 
A a; 
int i = 9; 
int& j = i; 
a.f(1); // f(int i) 
(a.*t)(i); // f(int& i)