std :: enable_if Z parametrami szablonu bez szablonu

Question

jak byś poszperał przy użyciu porównywania parametrów szablonów nie typu w std::enable_if? Nie mogę wymyślić, jak to zrobić ponownie. (Kiedyś to działało, ale zgubiłem kod, więc nie mogę na nie spojrzeć i nie mogę znaleźć wpisu, na który znalazłem odpowiedź.)

Z góry dziękujemy za pomoc ten temat.

template<int Width, int Height, typename T> 
class Matrix{ 
    static 
    typename std::enable_if<Width == Height, Matrix<Width, Height, T>>::type 
    Identity(){ 
     Matrix ret; 
     for (int y = 0; y < Width; y++){ 
      elements[y][y] = T(1); 
     } 
     return ret; 
    } 
} 

---

Edit: Poprawiono brakujący nawias jak wskazano w komentarzach.

Answer 1

Wszystko zależy od rodzaju błędu/niepowodzenia, które chcesz podnieść na nieprawidłowym kodzie. Tutaj jest to jedna z możliwości (pomijając oczywiste static_assert(Width==Height, "not square matrix");)

(C++ 98 styl)

#include<type_traits> 
template<int Width, int Height, typename T> 
class Matrix{ 
    public: 
    template<int WDummy = Width, int HDummy = Height> 
    static typename std::enable_if<WDummy == HDummy, Matrix<Width, Height, T> >::type 
    Identity(){ 
    Matrix ret; 
    for (int y = 0; y < Width; y++){ 
    // elements[y][y] = T(1); 
     } 
     return ret; 
    } 
}; 

int main(){ 
    Matrix<5,5,double> m55; 
    Matrix<4,5,double> m45; // ok 
    Matrix<5,5, double> id55 = Matrix<5,5, double>::Identity(); // ok 
// Matrix<4,5, double> id45 = Matrix<4,5, double>::Identity(); // compilation error! 
//  and nice error: "no matching function for call to ‘Matrix<4, 5, double>::Identity()" 
} 

EDIT: W C++ 11 kod może być bardziej zwarty i przejrzysty, (to pracuje w clang 3.2 ale nie w gcc 4.7.1, więc nie jestem pewien, jak to jest norma):

(C++ 11 styl)

template<int Width, int Height, typename T> 
class Matrix{ 
    public: 
     template<typename = typename std::enable_if<Width == Height>::type> 
     static Matrix<Width, Height, T> 
     Identity(){ 
     Matrix ret; 
     for (int y = 0; y < Width; y++){ 
     //  ret.elements[y][y] = T(1); 
     } 
     return ret; 
    } 
}; 

Answer 2

Znalazłem odpowiedź na moje pytanie tutaj: Using C++11 std::enable_if to enable...

W moim rozwiązaniu SFINAE występuje w ramach szablonu typu szablonowego, dlatego też sam szablon funkcji jest ważny. W trakcie tego sama funkcja również staje się szablonem.

template<int Width, int Height, typename T> 
class Matrix{ 
    template<typename EnabledType = T> 
     static 
     typename Matrix<Width, Height, 
      typename std::enable_if<Width == Height, EnabledType>::type> 
     Identity(){ 
     Matrix ret; 
     for (int y = 0; y < Width; y++){ 
      ret.elements[y][y] = T(1); 
     } 
     return ret; 
    } 
}