Diamond of śmierci i operatora rozdzielczość zakres (w C++)

Question

mam ten kod (problem diament):

#include <iostream> 
using namespace std; 

struct Top 
{ 
    void print() { cout << "Top::print()" << endl; } 
}; 

struct Right : Top 
{ 
    void print() { cout << "Right::print()" << endl; } 
}; 

struct Left : Top 
{ 
    void print() { cout << "Left::print()" << endl; } 
}; 

struct Bottom: Right, Left{}; 

int main() 
{ 
    Bottom b; 
    b.Right::Top::print(); 
} 

chcę zadzwonić print() w Top klasie.

Kiedy próbuję ją skompilować, pojawia się błąd: 'Top' is an ambiguous base of 'Bottom' w tej linii: b.Right::Top::print(); Dlaczego jest niejednoznaczny? Wyraźnie określiłem, że chcę Top od Right, a nie od Left.

Nie chcę wiedzieć JAK to zrobić, tak, można to zrobić za pomocą odniesień, dziedziczenia wirtualnego, itp. Chciałbym tylko wiedzieć, dlaczego jest niejednoznaczne, ponieważ jest b.Right::Top::print();.

Answer 1

Why is it ambiguous? I explicitly specified that I want Top from Right and not from Left .

To była twoja intencja, ale tak się nie dzieje. Right::Top::print() jawnie nazywa funkcję członka, którą chcesz wywołać, czyli &Top::print. Ale nie określa, na którym podstronie b wywołujemy tę funkcję członka. Kod jest równoznaczne koncepcyjnie do:

auto print = &Bottom::Right::Top::print; // ok 
(b.*print)();        // error 

Część, która wybiera print jest jednoznaczna. Jest to niejawna konwersja z b na Top, która jest niejednoznaczna. Trzeba wyraźnie disambiguate jakim kierunku idziesz w, robiąc coś takiego:

static_cast<Right&>(b).Top::print(); 

Answer 2

Zakres operator rozdzielczości jest lewostronne (choć nie pozwala nawiasów).

Więc natomiast chcesz zapoznać się A::tell wewnątrz B, id wyrażenie odnosi się do tell wewnątrz B::A, który jest po prostu A, który jest niejednoznaczna.

Obejście problemu polega na pierwszym rzuceniu do jednoznacznej bazy B, a następnie ponownym przesłaniu go do A.

Język prawniczych:

[basic.lookup.qual]/1 mówi,

The name of a class or namespace member or enumerator can be referred to after the :: scope resolution operator applied to a nested-name-specifier that denotes its class, namespace, or enumeration.

Odpowiedni gramatyka dla zagnieżdżonego-NAME specyfikatorem jest

nested-name-specifier:

    type-name::

    nested-name-specifieridentifier::

Pierwszy specyficzny dla nazwy zagnieżdżonej znak to B::, a A został sprawdzony w ciągu to. Następnie B::A jest specyfikatorem zagnieżdżonym oznaczającym A, a wewnątrz niego znajduje się tell.

Podobno MSVC akceptuje przykład. Prawdopodobnie ma niestandardowe rozszerzenie, aby rozwiązać niejednoznaczność, przechodząc przez takie specyfikatory.