为模板类声明模板方法

Question

我正在尝试在模板类上声明一个模板方法，但它对我不起作用。 最好通过给出代码来解释，所以这里是： 我有这门课：

矩阵.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);
   //...
}

矩阵.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 和 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;

但是，当我尝试编译上面的代码时，我得到了这个错误：

在 m1+m2 中不匹配 âoperator+

Answer 1

把你的代码改成这个（不考虑我认为这里可能有问题的地方，只是为了让它编译）

#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+不能在cmets中提到的.cpp文件中定义，必须放在头文件中（如果要拆分接口和实现，最好是In the C++ Boost libraries, why is there a ".ipp" extension on some header files )
4. 我通常喜欢首先使用public 部分，因为它可以让读者更好地了解类的接口。