Алмаз смерти и разрешения Scope оператора (C++)

Question

У меня есть этот код (проблема ромб):

#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(); 
} 

Я хочу назвать print() в Top классе.

Когда я пытаюсь скомпилировать его, я получаю ошибку: 'Top' is an ambiguous base of 'Bottom' на этой строке: b.Right::Top::print(); Почему это неоднозначно? Я прямо указал, что хочу Top от Right, а не от Left.

Я не хочу знать, КАК это сделать, да, это может быть сделано со ссылками, виртуальным наследованием и т. Д. Я просто хочу знать, почему b.Right::Top::print(); неоднозначный.

Answer 1

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

Это было ваше намерение, но это не то, что на самом деле происходит. Right::Top::print() явно называет функцию-член, которую вы хотите вызвать, которая равна &Top::print. Но он не указывает, на какой подобъект b мы вызываем эту функцию-член. Ваш код эквивалентен концептуально:

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

Та часть, которая выбирает print однозначна. Это неявное преобразование от b до Top, что неоднозначно. Вы должны были бы явно неоднозначности, в каком направлении вы собираетесь в, делая что-то вроде: оператор разрешения

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

Answer 2

Прицел левоассоциативной (хотя это не позволяет круглые скобки).

Так в то время как вы хотите обратиться к A::tell внутри B, ид-выражение относится к tell внутри B::A, который просто A, который является неоднозначным.

Обходной путь заключается в том, чтобы сначала отличить к однозначному основанию B, а затем снова добавить в A.

Language-адвокатская практика:

[basic.lookup.qual]/1 говорит,

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.

Соответствующая грамматика вложенным имя спецификатора есть

nested-name-specifier:

    type-name::

    nested-name-specifieridentifier::

Итак, первый вложенный имя-спецификатор - B:: и A - поиск в пределах Это. Затем B::A - это спецификатор вложенных имен, обозначающий A и tell.

По-видимому, MSVC принимает пример. Вероятно, он имеет нестандартное расширение, чтобы устранить двусмысленность, обратившись через такие спецификаторы.