入れ子型のオーバーロード演算子

Question

次のコードはうまく構築されますが、オーバーロードされたテンプレート演算子は呼び出されません。何故ですか？ main()ファンクションはxの代わりに120を出力します。

#include <iostream> 

namespace foo 
{ 
    struct bar 
    { 
     enum Type { x = 'x', y = 'y' }; 
    }; 
    template<typename T> std::ostream& operator<<(std::ostream& s, typename T::Type o) { return s << char(o); } 
} 

int main() 
{ 
    foo::bar::Type t{ foo::bar::x }; 
    std::cout << t; 
} 

Answer 1

コンパイラは、タイプTが（その上の多くのためthis質問をチェックアウト）テンプレートをインスタンス化するためにすることになっているものを把握することはできません。

std::ofstream & operator<<(std::ostream & s, bar::Type t){...} 

enumあなたが宣言したがbarに公開されているので、この場合には心配する必要はへのアクセス制限はありません。ただ、これを行います。