部分特殊

Question

考える：

struct A 
{ 
    virtual bool what() = 0; 
}; 

template<typename T, typename Q> 
struct B : public A 
{ 
    virtual bool what(); 
}; 

私は部分的に似whatを専門にしたい：（

template<typename T, typename Q> 
bool B<T, Q>::what() 
{ 
    return true; 
} 

template<typename Q> 
bool B<float, Q>::what() 
{ 
    return false; 
} 

しかし、これが不可能であることが表示されますが、それはCであります++ 11？）私はSFINAEを試しました。

template<typename T> 
typename std::enable_if<std::is_same<T, float>::value, bool>::type B<T>::what() 
{ 
    return true; 
} 

template<typename T> 
typename std::enable_if<!std::is_same<T, float>::value, bool>::type B<T>::what() 
{ 
    return false; 
} 

これも機能しませんが、私はなぜ誰もしませんか？だから私はthis threadを発見してしまった：

template<typename T, typename Q> 
struct B : public A 
{ 
    virtual bool what() 
    { 
     return whatimpl(std::is_same<T, float>()); 
    } 

    bool whatimpl(std::false_type) 
    { 
     return false; 
    } 

    bool whatimpl(std::true_type) 
    { 
     return true; 
    } 
}; 

この最終的な解決策は動作しますが、なぜenable_if技術の仕事をしないのですか？私はまた、私がまだ遭遇していないよりきれいな答えの提案に非常にオープンです。 、what()が何と呼ばれ、実際に仕事の公平なビットをしていない私の本当のユースケースでは、と私は、ユーザー定義型に「特化」したいと思う -

は、私はできるだけ私の例を簡略化しないfloat。

Answer 1

部分特殊化が明示的にのみ、クラステンプレートのための標準によって許可されているために

それを変更しません明示的な特殊化のみが許可されます。

14.7（3）と言う：

明示的な特殊機能テンプレート、クラステンプレート、クラス テンプレートまたはメンバテンプレートのメンバーに対して宣言されてもよいです。明示的な専門化宣言は、テンプレート<>によって導入されています。

ので

template<typename T> 

で始まる任意の定義は、クラステンプレートの特殊化のメンバーのために許可され構文ではありません。ここで実際にどちらのオーバーロードや専門分野は、（オーバーロードの解決のための候補関数のセットを定義しながら、または適切な専門を選ぶ間SFINAE作品）があるので

は、[編集]

はSFINAEの試みについては、それが失敗しました。どのような（）がクラステンプレートの単一のメソッドとして宣言され、単一の定義を有するべきであり、この定義は、形状を有していなければならない：

template<typename T, typename Q> 
B<T,Q>:: bool what(){...} 

または明示的に、クラスBの特定のインスタンス化のために特化されてもよい。

template<> 
B<SomeParticularTypeT,SomeParticularTypeTypeQ>:: bool what(){...} 

他のフォームは構文上無効です。したがって、SFINAEはサポートできません。

Answer 2

理由だけではなく、クラステンプレートのメンバーについて（14.5.5クラステンプレート部分的な特殊化を参照）。..

template<typename T, typename Q> 
struct B : public A 
{ 
    bool what() 
    { 
     return false; //Or whatever the default is... 
    } 
}; 

template<typename Q> 
struct B<float, Q> : public A 
{ 
    bool what() 
    { 
     return true; 
    } 
};