聲明一個模板類的模板方法

Question

我想在模板類上聲明一個模板方法，它不適合我。 這是更好地使這裏給出的代碼解釋是： 我有這個類：

matrix.h

template <class T,int a,int b> 
class Matrix { 
private: 
    int x; 
    int y; 
public: 
    class IllegalOperation(); 
    template<T,int c,int d> 
    Matrix<T,a,b> operator+(const Matrix<T,c,d> m); 
    //... 
} 

matrix.cpp

template<class T,int a,int b> 
template<T,int c,int d> 
Matrix<T,a,b> Matrix<T,a,b>::operator+(const Matrix<T,c,d> m){ 
    if(a!=c || b!=d) throw IllegalOperation(); 
    // add matrices and return the result 
} 

我想這個代碼，以任何2種類型的矩陣工作和Matrix，其中a，b，c和d可以不同。 例如，我想這個代碼編譯並返回一個錯誤（運行時間）：

const Matrix<int, 3, 2> m1; 
const Matrix<int, 7, 3> m2; 
// init m1 and m2 
m1+m2; 

儘管此代碼應該編譯併成功運行：

const Matrix<int, 3, 2> m1; 
const Matrix<int, 3, 2> m2; 
// init m1 and m2 
m1+m2; 

然而，當，我試圖編譯上面的代碼，我得到這個錯誤：

no match for âoperator+ in m1+m2

Answer 1

將您的代碼更改爲此（n OT考慮，我認爲可能是錯在這裏的事情，不僅改變了它，使其編譯）

#include <type_traits> 

template <typename T,int a,int b> 
class Matrix { 
public: 
    template<typename T2, int c, int d> 
    Matrix<T,a,b> operator+(const Matrix<T2, c, d>& m) const; 
private: 
    int x; 
    int y; 
}; 

template <typename T,int a,int b> 
template <typename T2, int c, int d> 
Matrix<T, a, b> Matrix<T, a, b>::operator+(const Matrix<T2, c, d>&) const { 
    if(a != c || b != d) { 
     throw IllegalOperation{}; 
    } 
    /*constexpr*/ if (!std::is_same<T, T2>::value) { 
     throw Error{}; 
    } 
    return *this; 
} 

int main() { 
    const Matrix<int, 3, 2> m1{}; 
    const Matrix<int, 7, 3> m2{}; 
    m1 + m2; 
    return 0; 
} 

我做了這裏一些變化

1. 的operator+是const，你試圖調用const對象上的非const成員函數，不會工作
2. 在加法運算的矩陣參數現在被取作爲參考
3. 的operator+不能在被定義3210文件在評論中提到，它必須放在頭文件中（如果你想分割接口和實現，你可以做的最好的是In the C++ Boost libraries, why is there a ".ipp" extension on some header files）
4. 我通常喜歡首先有public部分，因爲它給出了讀者可以更好地瞭解該課程的界面。