1

我正在构建自己的矩阵类来巩固我对 C++ 的理解。它是模板化的,所以我可以有一个 int 矩阵或一个浮点数或布尔矩阵。我不打算实现复制构造函数或赋值运算符或析构函数,因为我不会有任何动态成员元素,但如果我有:

Matrix<float,3,4> mat1;
Matrix<int,45,45> mat2;
mat1 = mat2;

它返回以下错误:

/Users/Jake/Dropbox/C++/test.cpp: In function ‘bool test1()’:
/Users/Jake/Dropbox/C++/test.cpp:23: error: no match for ‘operator=’ in ‘m2 = m1’
/Users/Jake/Dropbox/C++/Matrix.h:22: note: candidates are: Matrix<float, 3u, 4u>& Matrix<float, 3u, 4u>::operator=(const Matrix<float, 3u, 4u>&)

其中,如果两个矩阵都是浮点数或整数,就可以了。尺寸不必匹配。因此,除非它们属于不同类型,否则默认赋值运算符效果很好。所以我实现了自己的赋值运算符:

template <class T, unsigned int rows, unsigned int cols>
template <class T2, unsigned int rows2, unsigned int cols2>
Matrix<T, rows2, cols2> & Matrix<T,rows,cols>::operator= (const Matrix<T2, rows2, cols2> & second_matrix){
        unsigned int i,j;
for (i=0; i < rows2; i++){
    for (j=0; j < cols2; j++){
        data[i][j] = second_matrix(i,j);    
    }
}
this->_rows = rows2;
this->_cols = cols2;
return *this;
}

如果它们是不同类型但尺寸相同,则此方法有效 - 但第二种类型中的值从第二种类型转换为第一种类型。我的问题是,我该如何设置它,以便它们可以是不同的类型和不同的尺寸,并且只需将其设置为指向第二个或第二个的副本?

4

2 回答 2

1

我该如何设置它,以便它们可以是不同的类型和不同的尺寸,并且只需将其设置为指向第二个或第二个的副本?

你没有。

mat不指向 a Matrix<float,3,4>;它是一个Matrix<float,3,4>. 它永远不可能是别的东西。没有办法mat变成Matrix<int,45,45>.

如果希望能够指向不同的对象,则需要使用指针(或引用)。为了能够拥有一个可以指向 的任何特化的指针Matrix,您需要创建一个基类并Matrix从该基类派生:

class MatrixBase { };

template <typename T, unsigned Rows, unsigned Columns>
class Matrix : public MatrixBase { };

然后,您可以使用 aMatrixBase*指向任何Matrix类型的对象,并且可以使用 aMatrixBase&来引用任何Matrix类型的对象。您需要将尽可能多的共享功能放入MatrixBase类中或使用虚函数。

于 2010-12-09T22:56:47.677 回答
1

您遇到的问题是您有三种类型,但您只提到了两种。从根本上说,

Matrix<float,3,4> mat1;
Matrix<int,45,45> mat2;
mat1 = mat2;

不能工作,因为赋值的结果应该是Matrix<float, 45, 45>,但是mat1类型是Matrix<float, 3, 4>。这不可能改变。

矩阵的维度必须是类型的一部分是否有原因?看起来你真的想让这些东西动态地改变。做就是了:'

template <class T>
class Matrix
{
    unsigned int rows;
    unsigned int cols;
  public:
    Matrix(numrows, numcols): rows(numrows), cols(numcols) {}
};

等等......然后你可以让矩阵的维度在运行时改变。

于 2010-12-09T23:03:21.920 回答