C++で許容されるテンプレート引数を制限するのは悪い方法ですか？

Question

テンプレートの引数に許容される値をいくつか受け入れるように関数テンプレートを制限するのは悪い方法ですか？

例：

template<typename T> 
class Foo { 

typename std::enable_if<std::is_same<Bar, T>::value, void>::type 
    callFuncInBar() { 
     BarGetValue(); 
    } 


typename std::enable_if<std::is_same<FooBar, T>::value, void>::type 
    callFuncInFooBar() { 
     FooBarGetValue(); 
    } 

}; 

EDIT： 私の場合はこれです： 私はほとんど似ている2つの簡単な構造体AとBがあります。

struct A: public ICompress { 
    void compress() override { 
     next->compress(); 
    } 

    ICompress *next; 
}; 

struct B: public IDecompress { 
    void decompress() override { 
     next->decompress() 
    } 

    IDecompress *next; 
}; 

を私の意図は、そのテンプレートを作成することでしたコンプレッサまたはデコンプレッサとしてインスタンス化する必要があります。

template<typename T> 
struct codecomp: public T { 
    typename std::enable_if<std::is_base_of<ICompress, T>::value, void>::type 
    compress() { 
     next->compress(); 
    } 

typename std::enable_if<std::is_base_of<IDecompress , T>::value, void>::type 
    decompress() { 
     next->decompress(); 
    } 

    T *next; 
}; 

Answer 1

書かれているように、Fooがインスタンス化されると、コードはコンパイルに失敗します。 TのタイプがBarでない場合、Foo<T>のインスタンス化により、返されるタイプはFoo<T>::callFuncInBarになりますが、これは失敗します。同様に、TがFooBarと同じでない場合、戻りタイプのインスタンス化はcallFuncInFooBarになりません。

私はこれがあなたの望むものではないと思います。

Foo<T>::callFuncInBarは、TがBarの場合にのみ呼び出すことができます。これは通常、テンプレートの特殊化によって処理されます。をT = BarとT = FooBarに特化し、プライマリテンプレートではcallFuncInBarとcallFuncInFooBarのメンバー関数を宣言しないでください。これにより、あなたのスタイルに関する質問は完全に回避されます。 Fooはテンプレート引数でインスタンス化できますが、特定の引数に依存するフィーチャセットがあります。 （は完全に細かいスタイルに見なされ、標準ライブラリでさえもそうです）