Czy można zadeklarować funkcję należącą do pojedynczej instancji klasy szablonów?

Question

Aplikacja mam na myśli coś podobnego do Vector<size> klasie, w której pragnę oświadczyć

CrossProduct(const Vector<size>& other) 

tylko, gdy rozmiar jest 3. Wiem, że istnieją sposoby, można wykraść wokół niego ...

• zawierać definicję funkcji tylko dla size = 3
• niech wszystkie inne rozmiary uzyskując błędy linkera
• czy statyczne dochodzić na początku metody, aby sprawdzić, czy rozmiar jest 3

Czy istnieje sposób, aby prawidłowo zadeklarować funkcję elementu dla konkretnego wystąpienia?

Answer 1

Oto jeden ze sposobów, aby to zrobić:

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

Jeśli możesz uzyskać informacje o rozmiarze podczas kompilacji, możesz użyć 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 
} 

może po prostu chcesz, aby ten warunek w enable_if size == V::size.

Answer 3

Wolałbym metodę static_assert. Ten

• prowadzi do najczystszych błędzie
• jest właściwe, ponieważ nie ma potrzeby SFINAE
• jest najprostszym sposobem.