テンプレートクラスの特異なインスタンス化に属する関数を宣言できますか？

Question

私が考えているアプリケーションは、私が唯一の大きさは、私はそれを回避ハックすることができます方法があります知っている3のときのために

CrossProduct(const Vector<size>& other) 

を宣言したいでVector<size>クラスに似て何かを、...

です

• のみサイズ= 3
• のための関数定義を含め、すべての他のサイズは、リンカエラーを得ましょう
• は、サイズが3
であるかどうかを確認する方法の開始時に静的アサートを実行します。

特定のインスタンス化に対してメンバー関数を適切に宣言する方法はありますか？

Answer 1

ここでそれを行うための一つの方法です：

template <class Type, size_t Size> 
struct EnableCrossProduct 
{ 

}; 

template <class Type> 
struct EnableCrossProduct<Type, 3> 
{ 
    void CrossProduct(const Type & other){} 
}; 

template <size_t Size> 
struct Vector : public EnableCrossProduct<Vector<Size>, Size> 
{ 
}; 

Answer 2

コンパイル時にサイズ情報を取得できる場合は、std :: enable_ifを使用できます。

template<int N> 
struct Vector 
{ 
    static const int size = N; 
    double data[N]; 
    // ... 

    template<class V> 
    double CrossProduct(const V& other, 
     typename std::enable_if< size == 3 && V::size == 3 >::type* = 0) const 
    { 
     // ... 
     return 0; 
    } 
}; 

void foo(const Vector<3>& v3, const Vector<4>& v4) 
{ 
    v3.CrossProduct(v3); // Ok 
    v3.CrossProduct(v4); // Compile-time error 
} 

あなただけenable_if size == V::sizeにその状態を作りたいかもしれません。

Answer 3

static_assertの方法を好むでしょう。

SFINAE

ための最も簡単な方法である必要がないので、この

• 明確なエラーメッセージ
• につながるが適当です。