C テンプレート クラス内のテンプレート関数を正しく明示的に特殊化するにはどうすればよいですか?

C のテンプレート クラスのテンプレート関数の明示的な特殊化

C では、テンプレート クラスと関数を操作するときに、次のことが必要になる場合があります。テンプレート クラス内のテンプレート関数を明示的に特殊化します。ただし、これに適した構文を見つけるのは難しい場合があります。

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

struct tag {};

template< typename T >
struct C
{   
    template< typename Tag >
    void f( T );                 // declaration only

    template<>
    inline void f< tag >( T ) {} // ERROR: explicit specialization in non-namespace scope
};

このコードは、Visual C 2008 では正常にコンパイルされますが、GCC 4.2 では失敗します。 C テンプレート クラス内のタグ タイプに対して f 関数を明示的に特殊化します。コンパイラ エラーは、テンプレート クラス内の非名前空間スコープでは明示的な特殊化が許可されていないことを示しています。

テンプレート クラス内でテンプレート関数を明示的に特殊化する正しい方法は、呼び出しをテンプレート クラスのメンバー関数に転送することです。部分的に特化したタイプ。これはヘルパー クラスを使用して実行できます。

template<class T, class Tag>
struct helper {
    static void f(T);   
};

template<class T>
struct helper<T, tag1> {
    static void f(T) {}
};

template<class T>
struct C {
    // ...
    template<class Tag>
    void foo(T t) {
        helper<T, Tag>::f(t);
    }
};

このコードでは、ヘルパーは 2 つのテンプレート パラメーターを持つテンプレート クラスです: T (操作対象のオブジェクトのタイプ) と Tag (特殊化タグ) 。部分的に特殊化されたヘルパーのバージョンが tag1 特殊化用に定義されており、これにより f 関数の実装が提供されます。次に、C テンプレート クラスはメンバー関数 foo を使用して、指定されたタグに基づいて適切なヘルパー::f 関数への呼び出しを委任します。

以上がC テンプレート クラス内のテンプレート関数を正しく明示的に特殊化するにはどうすればよいですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。