c++ - 基本クラスtypedefを間接的に使用しても、直接使用しても問題がないのに、なぜ構文エラーが発生し続けるのですか？

Question

template<typename T>
struct self
{
    typedef T type;
};

template<class T>
class A
{
    struct Type { int x; };
};

template<class T>
class B1 : A<T>
{
    Type insert();     // OK
};

template<class T>
class B2 : self< A<T> >::type
{
    Type insert();     // syntax error? Why?
};

Answer 1

Visual C ++には、テンプレートの非標準の名前検索ルールがあります。これは、ここで文書化されている3つの非準拠の1つです（3番目の段落）。

テンプレートがインスタンス化されるまで、すべてのルックアップは延期されると思います。その時点では、すべての依存名が使用可能であるため、通常templateのtypenameキーワードと明示的なメンバーアクセスは必要ないことがよくあります。そして、このコンパイラはそれらを強制することを気にしません。

両方の派生クラスで、Typeは依存名であるため、（標準の2段階ルックアップを使用するコンパイラを使用する場合）次のように修飾する必要がありtypenameます。

 typename Type insert();