ダイヤモンド（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(); 
} 

私はTopクラスでprint()を呼びたいです。

コンパイルしようとするとエラーが表示されます：'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のサブオブジェクトに、そのメンバ関数を呼び出すことを指定していません。 printを選択部分が曖昧でない

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

：あなたのコードは、概念的に等価です。 bからTopへの暗黙の変換はあいまいです。あなたは、明示的に同じような何かをすることによって、あなたが行っているどの方向明確にする必要があるだろう：

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

Answer 2

スコープ解決演算子が左結合される（それは括弧を許可していませんが）。

だから、あなたがB内A::tellを参照したいのに対し、ID-表現があいまいである、単にAである、B::A内tellを指します。

回避策は、最初に明確なベースBにキャストし、次にAに再度キャストすることです。

言語-lawyering：

[basic.lookup.qual]/1 ネストされた名指定子に関連する文法は、

nested-name-specifier:

    type-name::

    nested-name-specifieridentifier::

ある

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.

、言いますしたがって、最初のネストされた名前指定子はB::であり、Aはそれ。次に、B::Aは、Aを示すネストされた名前指定子であり、tellがその中で参照されます。

明らかに、MSVCはこの例を受け入れます。おそらく、そのような指定子をバックトラックすることによってあいまいさを解決するために、非標準的な拡張があります。