Niejednoznaczne gdy dwa superklasy posiada funkcję składową o tej samej nazwie, ale różnych podpisów

Question

struct A { 
    void f(int x) {} 
}; 

struct B { 
    template<typename T> void f(T x) {} 
}; 

struct C : public A, public B {}; 

struct D { 
    void f(int x){} 
    template<typename T> void f(T x) {} 
}; 


int main(int argc, char **argv) { 
    C c; 
    c.f<int>(3); 
    D d; 
    d.f<int>(3); 
} 

co jest powodem, dla którego dzwoni d.f jest w porządku, ale c.f daje

error: request for member ‘f’ is ambiguous 
error: candidates are: template<class T> void B::f(T) 
error:     void A::f(int) 

Answer 1

Pierwsza część to ze względu na członka wyszukiwanie nazwy, dlatego nie działa.

chciałbym skierować do: 10.2/2 Member name lookup

The following steps define the result of name lookup in a class scope, C. First, every declaration for the name in the class and in each of its base class sub-objects is considered. A member name f in one sub-object B hides a member name f in a sub-object A if A is a base class sub-object of B. Any declarations that are so hidden are eliminated from consideration. Each of these declarations that was introduced by a using-declaration is considered to be from each sub-object of C that is of the type containing the declaration designated by the using-declaration.

If the resulting set of declarations are not all from sub-objects of the same type, or the set has a nonstatic member and includes members from distinct sub-objects, there is an ambiguity and the program is ill-formed. Otherwise that set is the result of the lookup.

Teraz, po kilku z funkcji szablonów.

Zgodnie 13.3.1/7 Candidate functions and argument list

In each case where a candidate is a function template, candidate function template specializations are generated using template argument deduction (14.8.3, 14.8.2). Those candidates are then handled as candidate functions in the usual way. A given name can refer to one or more function templates and also to a set of overloaded non-template functions. In such a case, the candidate functions generated from each function template are combined with the set of non-template candidate functions.

A jeśli dalej czytać 13.3.3/1 Best viable function

F1 jest uważany za lepiej funkcja, jeżeli:

F1 is a non-template function and F2 is a function template specialization

Dlatego następujące kompiluje snippet i uruchamia funkcję bez szablonu bez błędu:

D c; 
c.f(1); 

Answer 2

Kompilator nie wie, którą metodę wywołać z klasy C, ponieważ szablonowa metoda zostanie przetransmitowana w void f (int) w przypadku typu int, więc masz dwie metody o tej samej nazwie i tych samych argumentach, ale członkowie różnych klas rodziców.

template<typename T> void f(T x) {} 

lub

void f(int) 

spróbuj tego:

c.B::f<int>(3); 

czy to w klasie A:

c.A::f(3); 

Answer 3

wierzę, kompilator preferuje A::f (funkcja bez szablonu) ponad B::f bez powodu.
Wydaje się, że to błąd implementacyjny kompilatora więcej niż szczegóły zależne od implementacji.

Jeśli dodać następujący wiersz, a następnie compilation goes fine i prawidłowa funkcja B::f<> wybrano:

struct C : public A, public B { 
    using A::f; // optional 
    using B::f; 
}; 

[Zabawne jest to, że aż ::f nie są doprowadzone do zakresu C, są one traktowane jako funkcje obcych .]

Answer 4

Rozważmy prostszy przykład:

struct A{ 
void f(int x){} 
}; 

struct B{ 
void f(float t){} 
}; 


struct C:public A,public B{ 
}; 

struct D{ 
void f(float n){} 
void f(int n){} 
}; 


int main(){ 
C c; 
c.f(3); 

D d; 
d.f(3); 
} 

W tym przykładzie kompiluje się tak samo, jak D, ale nie ma wartości C.
Jeśli klasa jest wyprowadzona, mechanizm wyszukiwania członków zachowuje się inaczej. Sprawdza każdą klasę bazową i scala je: W przypadku C; Każda klasa bazowa odpowiada wyszukiwaniu (A :: f (int) i B :: f (float)). Po ich scaleniu C decyduje, że są niejednoznaczne.

Dla klasy przypadku D: int wersja jest wybrany zamiast float ponieważ parametr jest liczbą całkowitą.

Answer 5

Co dzieje się prawdopodobnie jest to, że konkretyzacja szablonu dzieje się oddzielnie dla klasy A i B, kończąc w ten sposób w dwóch void f(int) funkcji.

To nie zdarza się w D ponieważ kompilator wie o funkcji void f(int) jako specjalizacji i dlatego nie specjalizują T dla int.