テンプレートクラス関数の選択的有効化

Question

私はテンプレートクラスを持っています。その中には、通常の関数があります。しかし、私はテンプレートクラスの特定のインスタンシエーションに対してのみ、この通常の機能を有効にしたいと思います。私はboost :: enable_ifを見て、それは私の必要性に正確に/私が自分の必要性のためにそれを使用することができないかもしれないかもしれません。

typedef boost::mpl::vector< bool, int, double > CheckTypes; 

template<class X> 
class P 
{ 
    void init(int x, 
     typename boost::enable_if< boost::mpl::contains<CheckTypes, X> >::type* dummy = 0); 
}; 

誰かがこの問題の解決方法を教えていただけますか？重要なことは、ソリューションが呼び出しコードから何も期待してはならないことです。クラスは明示的にインスタンス化されます。

ありがとう、 Gokul。

Answer 1

enable_ifは、通常、機能の異なる定義を区別するために使用されます。ある意味では、より強力なオーバーロード方法です。

あなたの条件が成立する場合にのみ、機能を有効にし、あなたがinitの単一の定義を持っているので、それ以外の場合はコンパイルエラーを与えるしようとしているようです。それが正しい場合は、代わりにBOOST_STATIC_ASSERT（またはstatic_assert、C++ 0x）を調べるとよいでしょう。

Answer 2

静的アサーションを使用することもできます。テンプレートクラスのメンバー関数は遅延的にインスタンス化されます。つまり、呼び出されない場合、それらのコードは生成されません。これは、bool、int、またはdoubleのインスタンス化のために呼び出されることが予想される通常の関数を記述し、この関数に静的なアサーションを挿入して、実際にそうであることを確認することができることを意味します。

テンプレートを明示的にインスタンス化しているため、これを行うことができない場合、別のオプションは、余分なメンバー関数を含む3つのタイプのテンプレート特殊化を提供することです。これにより、関数を明示的に含めるか除外することができますが、追加のコーディングが必要になることがあります。

また、この余分な関数をクラスのメンバー関数ではなく、代わりに空き関数にすることも考えられます。たとえば、だけではなく、これら3つのケースのために存在するinit機能を有していると、このように見えるの三つの機能の定義を検討：その方法

void Init(P<int>& toInit); 
void Init(P<double>& toInit); 
void Init(P<bool>& toInit); 

を、任意のタイプのためにコンパイルされない可能性のあるコードはではありませんその代わりにこれらの機能に扇動されています。次に、これらの3つの機能を、テンプレートそのものであるヘルパー機能の観点から実装することができます。