Код ниже. У меня есть одна функция f() и одна единственная функция f (int) в моем классе D, так почему этот вызов неоднозначен, если обе функции имеют разные параметры?
struct A {
void f() {}
};
struct B: virtual A {
void f(int i) {}
};
struct C: virtual A {
void f() {}
};
struct D: B, C {
};
int main()
{
D d;
d.f(5); //ambiguous
}
Проблема здесь в том, что поиск имени члена происходит, прежде чем оценивать, какие функции являются жизнеспособными и применяя разрешение перегрузки. Когда поиск имени находит имена из двух или более несвязанных базовых классов, это считается неоднозначным поиском, который немедленно недействителен.
Подробнее см. неквалифицированный поиск имени в определениях членов класса. (Это не тот контекст, который у вас здесь, но те же правила применяются для выражения доступа к члену.)
Вы можете обойти это, указав базовый класс, в который хотите начать поиск, с использованием идентификатора qualit:
d.B::f(5);
Или вы можете сделать обе функции явно видимыми непосредственно в D:
struct D: B, C {
using B::f;
using C::f;
};
Вызов неоднозначен, поскольку обе базы A и C структуры D имеют функцию, называемую void f(), даже если A f() скрыта. Чтобы устранить неоднозначность, вы должны объявить f() в D.
struct A {
void f() {}
};
struct B: virtual A {
void f(int i) {} // < hides A::f(), even if signature is different,
};
struct C: virtual A {
void f() {} // < hides A::f()
};
struct D: B, C {
// f(...) functions in both base... which one hides the other?
};