テンプレートクラスのテンプレートメソッドのstd :: functionパラメータのオーバーロード

Question

クラステンプレートの特殊化でテンプレートメソッドの特殊テンプレートを作成する際に問題があります。

のは、私は次のコードを持っているとしましょう：私はfooを専門にしようとしたとき

template<> void myClass<void>::bar() { 

} 

しかし：私はmyClass<void>のための機能barを専門としたい場合、私はそれをこのように行うだろう

#include <functional> 

template<typename T> 
class myClass { 
public: 
    T bar() { 
     return T(); 
    } 

    template<typename P> 
    bool foo(std::function<P(T)> g) { 
     g(bar()); 
     return true; 
    } 
}; 

同じ方法で、私はerror: invalid parameter type ‘void’と言って、fooの元の定義を指してコンパイラエラーを取得します。

template<> 
template<typename P> 
bool myClass<void>::foo(std::function<P(void)> g) { 
    bar(); 
    g(); 
    return true; 
} 

私は何を間違えているのですか？

Answer 1

ない正確に専門...あなたはTがvoidないときfoo()のバージョンをアクティブにし、Tがvoidときfoo()の別のバージョンをアクティブにするSFINAE（std::enable_if）を使用することができます。

次は

#include <iostream> 
#include <functional> 

template <typename T> 
class myClass 
{ 
    public: 
     T bar() 
     { return {}; } 

     template <typename P, typename U = T> 
     typename std::enable_if<false == std::is_same<U, void>::value, 
       bool>::type foo (std::function<P(U)> const & g) 
     { g(bar()); return true; } 

     template <typename P, typename U = T> 
     typename std::enable_if<true == std::is_same<U, void>::value, 
       bool>::type foo (std::function<P()> const & g) 
     { bar(); g(); return false; } 
}; 

template<> 
void myClass<void>::bar() 
{ } 

int main() 
{ 
    myClass<int> mci; 
    myClass<void> mcv; 

    std::function<long(int)> fli { [](int i){ return long(i); } }; 
    std::function<short()> fsv { [](){ return 0; } }; 

    std::cout << mci.foo(fli) << std::endl; // print 1 
    std::cout << mcv.foo(fsv) << std::endl; // print 0 
}