テンプレートを不履行のためのT ::型のtypedefは

Question

パラメータ使用すると、このような何かをすることが可能です：

template <typename T, typename Comparator = std::less<typename T::Key>> 
struct Container 
{ 
    std::map<typename T::Key, T*, Comparator> m; 
}; 

これが問題の一部です：typename Comparator = std::less<typename T::Key>

すなわちの実装内のtypedefを持っていますコンパレータの特殊化に使用されます。コンパレータが使用するもの（T :: Key）がテンプレートの明示的なパラメータとして指定されることは常に必要ですか？

Tクラスを変更することでこれを回避する方法が他にもあることが分かりました（明示的なT :: compareKeyメソッドが必要です）が、テンプレート構文を使用してこのようなことを達成できるかどうかについては、

Answer 1

私がいる限り、テンプレートをインスタンス化するときに必要なすべての定義が用意されていて、それが有効だと確信していますし、それは確かにworks for me.

あなたは<map>含めていますか？ <map>に含める必要がありますが、std::lessには<functional>を含める必要があります。

コンパイラはC++ 11をサポートしていますか？そのサポートを有効にしましたか？古いコンパイラ（または厳密なC++ 03準拠のために設定されたコンパイラ）は、>>を使用して2つのテンプレートパラメータリストを閉じると混乱します。右シフト演算子として解釈します。その場合、それらの間にスペースを追加することで問題を解決できます。

これらのいずれも問題でない場合は、問題を示す最小限の完全な例と、それが参照するコード行を示す正確なエラーメッセージと、使用しているコンパイラをお知らせください。