C では関数テンプレートの部分的な特殊化が許可されないのはなぜですか?

C における関数テンプレートの部分特殊化: 説明

C では、関数テンプレートの部分特殊化は標準で許可されていません。ただし、Microsoft Visual Studio 2010 Express などの特定のコンパイラでは、拡張機能として部分特殊化が許可される場合があります。

関数テンプレートの部分特殊化には、特定の引数セットを使用してテンプレートの特定の実装を定義することが含まれます。完全特殊化と部分特殊化の両方を許可するクラス テンプレートとは異なり、関数テンプレートは完全特殊化のみをサポートします。

次のコードを考えてみましょう:

template <typename T1, typename T2>
inline T1 max(T1 const& a, T2 const& b) {
    return a < b ? b : a;
}

template <typename T>
inline T const& max(T const& a, T const& b) {
    return 10;
}

このコードは、最大関数テンプレートを部分的に特殊化しているように見えます。同じ型の引数。ただし、これは実際には部分特化のケースではありません。代わりに、2 番目の関数テンプレートは最初の関数テンプレートのオーバーロードされたバージョンで、名前は同じですがパラメーターの型が異なります。

関数テンプレートの部分特殊化の構文は、許可されている場合は次のようになります。

template <typename T>
inline T const& max<T, T>(T const& a, T const& b) {
    return a;
}

提供されたコードでは、両方の引数が同じ型である場合を処理するために 2 番目の max 関数がオーバーロードされています。これは部分的な特殊化ではなく、引数の型に基づくオーバーロードです。

関数テンプレートの部分的な特殊化をサポートするコンパイラでは、C 標準に準拠していないコードが許可される可能性があることに注意することが重要です。移植可能なコードは、そのような拡張機能に依存しないようにする必要があります。

以上がC では関数テンプレートの部分的な特殊化が許可されないのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。