入れ子型のテンプレート関数を推定できません

Question

すべてのユーザー定義型にオペレータ< <とsc_trace（）関数が必要なSystemCライブラリを使用しています。しかし、ユーザー定義型は実際には、テンプレートクラス内でネストされた型です。なぜなら、「ネスト型」は外部クラスで指定されたテンプレート引数から計算されるからです。

template<typename T> 
class Block { 
    typedef typename transform<T>::value NewType; 
public: 
    struct SomeType { 
     SomeType() {} 
     SomeType(T val) : member(val) {} 
     NewType member; 
    }; 
}; 

私は、コンパイラは、ストリーミング演算子を使用してネストされた定義された型をダンプしようとする試みを行うのSystemCライブラリ内の呼び出しを推測することはできませんので

template<typename T> 
std::ostream& operator<<(std::ostream& os, const typename Block<T>::SomeType& type) { 
    return os << type.member; 
} 

ようSomeTypeためのオペレータ< <を定義します。私はライブラリコードに触れていないので（私のコントロール外）。あなたの専門家のうちの誰かがこれを回避する方法を知っていますか？

クリーンな回避策がない場合は、C++ 11にこの解決策があるかどうかを知りたいですか？

Answer 1

実際に自分で解決策を見つけました。 Vandevoorde/JosuttisのBarton-Nackman Trickと呼ばれています。

重要なのは、機能テンプレートの使用を避けることです。標準では、依存するテンプレートクラスのネストされた型はテンプレート引数の控除から除外されます。オペレータ< <とsc_trace関数は、テンプレートクラスのフレンド関数として定義する必要があります。このようにして、テンプレートクラスがインスタンス化されたときに関数はテンプレート化されていない関数ですが、friendキーワードを使用すると、関数は囲み名前空間のスコープをとります。