クラステンプレート内の静的メソッドテンプレートの特殊化

Question

このコードを動作させる方法はありますか？

template<typename T> class test{ 
public: 
    template<typename T2> static void f(){ 
     cout<<"generic"<<endl; 
    } 
    template<> static void f<void>(){ //specialization of static method for template T2, within generic class template with argument T 
     cout<<"void"<<endl; 
    } 
}; 

もしそうでなければ、機能の部分的なテンプレート特化としてカウントしているのでしょうか？

Answer 1

他の人がコメントやリンクで指摘したように、現在のC++のテンプレートの構文は、この使用方法をサポートする簡単な方法を提供していません。しかし、もしあなたが本当にこれをやりたいと思っていれば、複雑さを導入する気にはなりません。あなたがに対処する必要が

二つの主な問題は、次のとおりです。

1. 関数テンプレートは、部分的な特殊化をサポートしていません。
2. クラススコープの一部として定義すると、部分的な特殊化は機能しません。

あなたが探しているものに近づき、それを試してみることができます。

• 動きクラスの外テンプレート定義。
• は、部分的なスペックを許可する代わりに、クラスファンクタとしてそれらのテンプレートを定義します。

---

このような何かのために導入された余分なコードの非常に多くのですが、あなたはそれが可能だ十分にこの悪い行いたい場合は、私が思う

template<typename T> 
class test 
{ 
public: 
    template <typename T2> 
    static void f(); 
}; 

template <typename T1, typename T2> 
struct f 
{ 
    void operator()(void) { cout << "generic" << endl; } 
}; 

template <typename T1> 
struct f<T1, void> 
{ 
    void operator()(void) { cout << "void" << endl; } 
}; 

template <typename T> 
    template <typename T2> 
    void test<T>::f() 
    { 
    ::f<T, T2>()(); 
    } 

int main() 
{ 
    test<int>::f<int>();  // prints 'generic' 
    test<int>::f<void>();  // prints 'void' 
} 

。私が求めているものを