提问者:小点点

动态矩阵特征分解过程中的误差


我在尝试这里提供的本征值的例子,它似乎是有效的。但是,当我试图改变矩阵类型以支持动态矩阵时,一切都爆炸了(下面的一切都与示例中完全相同,但矩阵/向量的类型不同):

#include <Eigen/Dense>

#include <iostream>

using Matrix2D = Eigen::Matrix<double, Eigen::Dynamic, Eigen::Dynamic, Eigen::RowMajor | Eigen::AutoAlign>;
using Vector   = Eigen::Matrix<double, Eigen::Dynamic, 1>;

int main() {
   Matrix2D A(3,3);
   Vector b(3);

   A << 1,2,3,  4,5,6,  7,8,10;
   b << 3, 3, 4;

   std::cout << "Here is the matrix A:\n" << A << std::endl;
   std::cout << "Here is the vector b:\n" << b << std::endl;
   auto x = A.colPivHouseholderQr().solve(b);
   std::cout << "The solution is:\n" << x << std::endl;

    return 0;
}

运行期间的输出

Here is the matrix A:
 1  2  3
 4  5  6
 7  8 10
Here is the vector b:
3
3
4
The solution is:
a.out: eigen33/Eigen/src/Core/Block.h:123: Eigen::Block<XprType, BlockRows, BlockCols, InnerPanel>::Block(XprType&, Eigen::Index) [with XprType = Eigen::Matrix<double, -1, 1>; int BlockRows = 1; int BlockCols = 1; bool InnerPanel = false; Eigen::Index = long int]: Assertion `(i>=0) && ( ((BlockRows==1) && (BlockCols==XprType::ColsAtCompileTime) && i<xpr.rows()) ||((BlockRows==XprType::RowsAtCompileTime) && (BlockCols==1) && i<xpr.cols()))' failed.
./makeEigen.sh: line 6: 12045 Aborted                 (core dumped) ./a.out

这样做可能吗?如果可能,我做错了什么?


共1个答案

匿名用户

这是使用非常危险的地方之一。

链接到的示例具有:

Vector3f x = A.colPivHouseholderQr().solve(b);
^^^^^^^^

你有:

auto x = A.colPivHouseholderQr().solve(b);
^^^^^

这在此上下文中是一个非常显著的区别,因为的返回类型不是。这是一种中间的,难言的类型--我们正在构建一个表达式模板,以便稍后进行工作。但是这个表达式模板保留了一堆中间引用,如果您不立即解析它们,它们就会摇摇晃晃。

来自特征文档:

简而言之:不要将关键字与Eigen's表达式一起使用,除非您100%确定您正在做什么。特别是,不要使用auto关键字作为类型的替换。