Dlaczego prywatne dziedziczenie nie rozwiązuje niejednoznaczności funkcji statycznych? (testowane w MSVC)

Question

Zastanawiam się, dlaczego wywołanie funkcji statycznej jest niejednoznaczne, nawet jeśli jedno z nich jest oczywiście niemożliwe do wywołania, ponieważ jest prywatne. Miałem nadzieję, że będę mógł używać prywatnego/chronionego dziedziczenia, aby pomóc kompilatorowi rozwiązać niejednoznaczność.

Czy jest to specyficzne dla MSVC, czy jest to w jakiś sposób określone w standardzie?

struct A 
{ 
    static int num() { return 0; } 
}; 

struct B 
{ 
    static int num() { return 1; } 
}; 

struct C : public A, private B 
{}; 

int main() 
{ 
    C::num(); // Ambiguous access of num 
} 

tło jest, że próbuje sposób ponowne przeciążenia zachowania (jeden w A) w wielu klas pochodne (C, D, E, F, G) w dziedziczeniu to, aby stosować jakoś zasada Nie powtarzaj się.

Answer 1

Tak to jest określone w sekcji C++, standardowa §3.4 [basic.lookup]

Zasady dostępu (§ 11) uznaje tylko raz wyszukiwanie nazw i rozdzielczości przeciążenie funkcji (jeśli dotyczy) udało

Nazwa odnośnika nie dba o dostępności: znajdzie zarówno A::num i B::num, więc istnieje niejasność dla kompilatora.

można jawnie wywołać A::num z:

C::A::num(); 

Jeśli wyraźnie spróbować zadzwonić B::num, wówczas kompilator faktycznie emitują błąd dostępu:

C::B::num(); // Error 

Można również wyraźnie zgromadzenie podstawy nazwa w zakresie w klasie pochodnej, która rozwiąże niejednoznaczność:

struct C : public A, private B 
{ 
    using A::num;  
}; 

Answer 2

Członkowie prywatni są świadomie rozważani w celu rozwiązania problemu z przeciążeniem.

Załóżmy, że masz

class C { 
public: 
    static void f(int); 
    static void g(); 
private: 
    static void f(long); 
}; 

void C::g() { 
    f(0L); // okay 
} 
void g() { 
    f(0L); // error, does not silently call f(int) 
} 

Making tylko dla członków publiczne dostępne w rozdzielczości przeciążenie powoduje bardzo zaskakujące reinterpretacje kod, gdzie kod, który wygląda jak to powinno działać w ten sam sposób będzie dyskretnie zadzwonić różnych przeciążeń.

Dokonanie takiego kodu błędu uznano za mniej kłopotliwy niż alternatywa.

Answer 3

Aby pomóc kompilator można zrobić

struct C : public A, private B 
{ 
     using A::num; 
};