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
};

この例では、メンバー関数 f をタグ tag で明示的に特殊化しようとすると、コンパイラはエラーを発生させます。この問題を解決するには、明示的な特殊化をクラスの外に移動する必要がありますが、適切な構文はすぐにはわかりません。

提供される解決策では、静的メンバー関数を持つヘルパー構造体を使用して呼び出しを特殊化されたメンバーに転送することを提案しています。 function:

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);
    }
};

このアプローチでは、明示的な特殊化はネストされていない構造体内に含まれ、明示的な特殊化の要件を満たします。構文。

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