フレンドクラス、継承、およびtypedef - 動作は正しいですか？

Question

私はGCC 6.2.0だけではなく、Clang 3.9.0（両方とも-std=c++14モード）でしか現れないエラーに遭遇しました。私はどのような動作が正しいか（バグを報告する必要があるかどうか）は不明です。 GCCで

template<typename type_t> 
class foo_t 
{ 
}; 

class bar_t 
{ 
public: 
    using foo_t = int; 
}; 

class baz_t: 
    public bar_t 
{ 
private: 
    template<typename type_t> 
    friend class foo_t; 
}; 

これは、次のエラー得られます：ここで

コードだ、私はC++標準の知っていることから、

test.cpp:17:15: error: using typedef-name ‘using foo_t = int’ after ‘class’ 
    friend class foo_t; 
       ^~~~~ 
test.cpp:9:19: note: ‘using foo_t = int’ has a previous declaration here 
    using foo_t = int; 
       ^

を、親typedef年代（またはusing複数可）に漏れてはなりません子のスコープに入れて、明示的に名前を修飾する必要があります（例：Propagating 'typedef' from based to derived class for 'template'を参照）。 GCCはここでは間違っているようですが、C++の知識が自信を持って語ることはそれほど確かではありません。

ありがとうございました！

Answer 1

From what I know of C++ standard, parent typedef 's (or using s) should not leak into scope of the child and you need to explicitly qualify the name

これは間違っています。基本クラスで宣言されたメンバー（型エイリアスを含む）は、通常は派生クラスで可視です。ここでリンクした質問は、2フェーズの名前検索が適用される依存基本クラスを持つテンプレートを扱います（型エイリアスだけでなく、すべてに適用されます）。

これはさておき、規格の関連部分はC++ 14（N4140）dcl.type.elab] 7.1.6.3/2（強調鉱山）：

3.4.4 describes how name lookup proceeds for the identifier in an elaborated-type-specifier. If the identifier resolves to a class-name or enum-name, the elaborated-type-specifier introduces it into the declaration the same way a simple-type-specifier introduces its type-name.If the identifier resolves to a typedef-name or the simple-template-id resolves to an alias template specialization, the elaborated-type-specifier is ill-formed.

（注：が精緻-type-specifierは、私たちが扱っているのための構造class Tです）。

3.4.4は、elaborated-type-specifierの識別子を名前に解決するときに、型のない名前は無視されますが、型名は通常通り検出されます。

したがって、スコープbar_tのtypedef-name foo_tは、グローバルスコープのテンプレート名foo_tよりもスコープが「近い」ため、GCCは実際には正しいです。したがって、修飾されていない名前foo_tはbaz_tになり、bar_t::foo_tに解決されます。これはtypedef-nameです。したがって、詳細な型指定子が不正になります。

問題は、の不適格なの名前foo_tの解決にあります。

tempalte <typename type_t> 
friend class ::foo_t; 

Answer 2

メンバーの宣言そのサブクラスに見えるDO：あなたは質問へのコメントで自分を注意として、明示的に問題を解決しなければならない意味どのfoo_t述べます。あなたの質問の問題は重複宣言です。次のコードを確認してください

template<typename type_t> 
class foo_t 
{ 
}; 

class bar_t 
{ 
public: 
    using foo_t = int; 
}; 

class baz_t : 
    public bar_t 
{ 
public: 
    foo_t val; // Here, the foo_t refers to the int 
}; 

int main() 
{ 
    baz_t().val; // this works 
} 

投稿したエラーコードtest.cpp:9:19: note: ‘using foo_t = int’ has a previous declaration hereは既にこの問題について言及しています。他の手に

---

、友人のクラスは、単純なデータ型に適用することはできません、次のコードをチェックしてください：ここでは

using foo_t = int; 

class bar_t 
{ 
public: 

}; 

class baz_t : 
    public bar_t 
{ 
public: 
    template<typename type_t> 
    friend class foo_t; 
    //error: using typedef-name ‘using foo_t = int’ after ‘class’ 
}; 

---

をあなたが本当に重複している必要がある場合は、回避策です宣言名：

template<typename type_t> 
class foo_t 
{ 
}; 

class bar_t 
{ 
public: 
    using foo_t = int; 
}; 

class baz_t: 
    public bar_t 
{ 
public: 
    template<typename type_t> 
    friend class ::foo_t; // The global scope 

    foo_t val; // The int 
};