我想使用模板函数中另一个矩阵上的转换来创建类Matrix的实例。
Matrix<T> m(A.tri_lo());
转换，这里tri_lo()返回一个新值，所以我的代码抛出错误：
error C2662: 'Matrix<long double> Matrix<long double>::tri_lo(bool)' : cannot convert a 'this' pointer from 'const Matrix<long double>' to 'Matrix<long double> &'
我尝试重载构造函数以传递值，但无法使其正常工作。这是我的构造函数：
Matrix() : data{ {T{}} } {}; // Implemented
Matrix(std::vector<std::vector<T>> _data) : data{ _data } {}; // Implemented
Matrix(unsigned int const lines, unsigned int const cols) { // Implemented
for (unsigned int i = 0; i < lines; i++) { this->data.push_back(std::vector<T>(cols, T())); }
};
template<class T2> Matrix(Matrix<T2> const& other) : data{ other.data } {}; // Implemented
template<class T2> Matrix(Matrix<T2> const other) : data{ other.data } {} // Implemented
我要去哪里了？
编辑：这是上下文。
template<class T>
template<class T2>
auto Matrix<T>::operator-(Matrix<T2> const& other) {
assert(this->lines() == other.lines());
assert(this->cols() == other.cols());
decltype(std::declval<T>() - std::declval<T2>()) T3;
Matrix<T3> res(this->lines(), this->cols());
for (unsigned int const i = 0; i < this->lines(); i++) {
for (unsigned int const j = 0; j < this->cols(); i++) {
res[i][j] -= other[i][j];
}
}
return res;
}
这里是full pastebin。如果需要，可以随意包含一个小的代码审查！
答案 0 :(得分：1)
您的代码有很多问题，Visual Studio未能捕获，但是仍然会破坏代码。
例如，在pastebin文件的第86和87行上：
decltype (std::declval<T>()*std::declval<T2>()) T3;
Matrix<T3> result = Matrix<T3>::gen_full(this->lines(), other.cols());
您声明一个名为T3的变量，然后尝试将其用作Matrix的模板参数。应该是：
// Declare T3 as a type
using T3 = decltype (std::declval<T>()*std::declval<T2>());
// Now we can use T3
Matrix<T3> result = Matrix<T3>::gen_full(this->lines(), other.cols());
或者在这里，在gen_full中：
template<class T>
Matrix<T> Matrix<T>::gen_full(unsigned int lines, unsigned int cols, T value){
for(unsigned int i = 0; i < lines; i++) {
std::vector<T> line;
for(unsigned int j = 0; j < cols; j++) {
line.push_back(value);
}
this->data.push_back(line); // Error here
}
};
您正在使用this，但是gen_full是静态函数，因此this不可用。
我们可以将其重写为：
template<class T>
Matrix<T> Matrix<T>::gen_full(unsigned int lines, unsigned int cols, T value){
Matrix<T> m;
for(unsigned int i = 0; i < lines; i++) {
std::vector<T> line;
for(unsigned int j = 0; j < cols; j++) {
line.push_back(value);
}
m.data.push_back(line); // Error here
}
return m;
};
您在第346和348行上遇到的问题与您在86和87上遇到的问题相同：
decltype(std::declval<T>() - std::declval<T2>()) T3;
Matrix<T3> res(this->lines(), this->cols());
我们可以像使用using T3 = decltype(...)一样修复它
在第350行，您将i声明为const，然后对其进行递增。我们只需删除const即可。
一旦我们解决了主要问题，仍然有一些其他问题只能通过尝试实例化该类来解决。
例如，我们可以使用虚拟函数来使编译器为我们进行检查：
void foo() {
// Forces the compiler to instantiate Matrix<double>
Matrix<double> A;
Matrix<double> B(A.tri_lo());
}
当我们尝试执行此操作时，我们会遇到一些神秘的错误，例如第260行：
Matrix<T> res(this->lines(), this->cols());
Gcc给我错误
<source>: In instantiation of 'Matrix<T> Matrix<T>::tri_lo(bool) const [with T = double]':
<source>:365:31: required from here
<source>:262:15: error: passing 'const Matrix<double>' as 'this' argument discards qualifiers [-fpermissive]
262 | Matrix<T> res(this->lines(), this->cols());
| ^~~
这意味着您正在尝试在const上下文中使用没有 const的函数（例如lines()和cols()）（自{{ 1}}是常量）
我们可以通过将tri_lo和lines()标记为const来解决此问题：
cols()这里也是：
// On line 32 and 33
unsigned int cols() const; // Implemented
unsigned int lines() const; // Implemented
据我所知，最初的问题是因为// Lines 71 to 75
template<class T>
unsigned int Matrix<T>::cols() const { return this->data.size(); };
template<class T>
unsigned int Matrix<T>::lines() const { return this->data[0].size(); };
和lines()未标记为const所致。
Visual Studio未能捕获很多错误。使用单独的编译器（例如cols()或gcc）是个好主意，它将更快，更快地捕获错误。您可以在https://godbolt.org在线使用它们，也可以在本地安装它们。
以下是代码的原始版本，以及gcc显示的错误：https://godbolt.org/z/5eiRNw
这是您代码的更新版本，已修复错误（包括原始帖子中描述的错误）：https://godbolt.org/z/vFlyvk
您仍然需要添加clang的实现，并在第226行上，clang警告您Matrix<T>::gen_uninitialized被解释为名为std::vector<T> diag();的函数的前向声明（删除括号），但其他所有内容看起来都不错！