템플릿 클래스의 특수화 방법은 무엇입니까?

Question

행 및 열의 주요 저장소를 모두 지원할 수있는 Matrix 템플릿 클래스를 작성하고 있습니다. 이상적으로는 저장소 형식의 영향을받는 메서드 만 전문화하고 싶습니다. 그러나, 내가 (아래)와 같은 방법을 전문화하려고하면 아무것도 오류 메시지를 얻을.

enum MatrixStorage 
{ 
    ColumnMajor, 
    RowMajor 
}; 

template< typename T, 
      unsigned rows, 
      unsigned columns, 
      MatrixStorage storage = ColumnMajor > 
class Matrix 
{ 
    public: 

    T & operator() (unsigned const & row, unsigned const & column); 

}; 

template< typename T, 
      unsigned rows, 
      unsigned columns > 
T & Matrix< T, rows, columns, ColumnMajor >:: 
operator() (unsigned const & row, unsigned const & column) 
{ 
    return elements[ (row + (rows * column)) % (rows * columns) ]; 
} 

template< typename T, 
      unsigned rows, 
      unsigned columns > 
T & Matrix< T, rows, columns, RowMajor >:: 
operator() (unsigned const & row, unsigned const & column) 
{ 
    return elements[ ((row * columns) + column) % (rows * columns) ]; 
} 

오류 출력 :

error C3860: template argument list following class template name must list parameters in the order used in template parameter list 
error C2976: 'maths::Matrix<T,rows,columns,storage>' : too few template arguments 
error C3860: template argument list following class template name must list parameters in the order used in template parameter list 

구문이 올바른 것 같습니다 다른 questions에 주어진 예에 따라. 그래도이 작업을 수행 할 수있는 유일한 방법은 클래스 자체를 전문화하는 것입니다 (아래 참조). 그러나 이는 저장소 형식에 종속되지 않는 모든 메서드를 복제하는 것을 의미합니다.

enum MatrixStorage 
{ 
    ColumnMajor, 
    RowMajor 
}; 

template< typename T, 
      unsigned rows, 
      unsigned columns, 
      MatrixStorage storage = ColumnMajor > 
class Matrix; 

template< typename T, 
      unsigned rows, 
      unsigned columns > 
class Matrix< T, rows, columns, ColumnMajor > 
{ 
    T & operator() (unsigned const & row, unsigned const & column); 
}; 

template< typename T, 
      unsigned rows, 
      unsigned columns > 
class Matrix< T, rows, columns, RowMajor > 
{ 
    T & operator() (unsigned const & row, unsigned const & column); 
}; 

Answer 1

템플릿의 멤버 함수를 포함하는 함수 템플릿을 부분적으로 특수화 할 수 없습니다. 대신 필요한 기능을 제공하는 템플릿 도우미 클래스를 만든 다음 템플릿의 멤버 함수에서 클래스 템플릿으로 호출을 전달할 수도 있습니다.

또는 유스 케이스가 매우 간단하므로 좌표와 좌표가 지정된 배열의 색인을 제공하는 도우미 함수 (템플릿 또는 그렇지 않은 경우 풀 클래스 일 필요는 없음)를 작성할 수 있습니다. 방법.

template <MatrixStorage m> 
int index_of(int row, int col, int rows, int columns) { 
    return (row + (rows * column)) % (rows * columns); 
} 
template <> 
int index_of<RowMajor>(int row, int col, int rows, int columns) { 
    return ((row * columns) + column) % (rows * columns); 
} 

당신은 관심사 경우는 런타임에 확인됩니다 유형 MatrixStorage의 추가 매개 변수를 취함으로써 비 템플릿 (단순 if)