Podczas korzystania z dziedziczenia wielokrotnego, dlaczego ta kwalifikowana nazwa jest niejednoznaczna?

Question

Próbuję uzyskać dostęp do zmiennej członkowskiej x w struct Top przy użyciu obiektu.

Kod jest następujący:

#include <cstdio> 

struct Top 
{ 
public: 
    int x = 1; 
}; 

struct Left : public Top 
{ 
    int x = 2; 
}; 

struct Right : public Top 
{ 
    int x = 3; 
}; 

struct Bottom : public Left, public Right 
{ 
    int x = 4; 
}; 

int main() 
{ 
    Bottom b; 
    std::printf("value: %d\n", b.Left::Top::x); 
    return 0; 
} 

To daje następujący błąd przy użyciu gcc 4.8:

main.cpp: In function 'int main()': 
main.cpp:27:45: error: 'Top' is an ambiguous base of 'Bottom' 
std::printf("value: %d\n", b.Left::Top::x); 
             ^

Jak to jest wieloznaczne i jak mam do niego dostęp za pomocą kwalifikowanej nazwy?

Answer 1

Problemem jest to, że C++ nie ma możliwości bezpośredniego wyrażania pojęcia „wielokrotnego poziomie” członków klasy, takich jak „członka x z Top podobiektu z Left”. Co oznacza Left::Top::x oznacza "członek x w typie oznaczonym przez Left::Top" - a typ oznaczony przez Left::Top to dokładnie Top.

Dlatego można napisać dziwne rzeczy jak

int Left::* ptr = &Right::Top::x; 

ponieważ prawa strona ręka = jest dokładnie równoważne &Top::x oraz wskaźnik do bazy-klasa-członek jest niejawnie przekształcić w element klasy wskaźnik do klasy pochodnej. (Wynik tej konwersji nadal odnosi się do elementu w podobieństwie klasy bazowej klasy pochodnej).

Aby ujednoznacznić się, możesz zrobić coś podobnego do linii static_cast<Left &>(b).Top::x lub użyć wskaźnika do członka - dane int Left::* ptr = &Top::x;, b.*ptr będzie odnosić się do x w podobiekcie TopLeft podporządkowania b.