c++ - template<> (<> にクラス T なし) とはどういう意味ですか?

Question

stl_construct.h でいくつかのソース コードを読んでいます。ほとんどの場合、<> に sth があり、" template<> ..." だけの行がいくつかあります。これは何ですか？

Answer 1

これは、以下がテンプレートの特殊化であることを意味します。

Answer 2

Q を完全に読み違えて、質問されていないことを答えたと思います。
だからここで私は尋ねられたQに答えます：

これは、空のテンプレート引数リストを持つ明示的な特殊化です。

テンプレート引数の特定のセットを使用してテンプレートをインスタンス化すると、コンパイラはそれらのテンプレート引数に基づいて新しい定義を生成します。しかし、定義生成のこの動作をオーバーライドする機能があります。コンパイラが定義を生成する代わりに、指定されたテンプレート引数のセットに対してコンパイラが使用する定義を指定できます。これは、明示的な特殊化と呼ばれます。

プレフィックスは、次のtemplate<>テンプレート宣言がテンプレート パラメーターを取らないことを示します。

明示的な特殊化は、次のものに適用できます。

• 関数またはクラス テンプレート
• クラス テンプレートのメンバー関数
• クラス テンプレートの静的データ メンバー
• クラス テンプレートのメンバー クラス
• クラステンプレートのメンバ関数テンプレート &
• クラス テンプレートのメンバ クラス テンプレート

Answer 3

これは、すべてのテンプレート パラメーターが完全に指定されているテンプレートの特殊化であり、<>.

例えば：

template<class A, class B>   // base template
struct Something
{ 
    // do something here
};

template<class A>            // specialize for B = int
struct Something<A, int>
{ 
    // do something different here
};

template<>                   // specialize both parameters
struct Something<double, int>
{ 
    // do something here too
};