Question

设A是对称矩阵，让v为向量。我从A中提取一个n列的块，从j开始，然后使用

将其乘以v

VectorXd a;
a = A.middleCols(j,n).selfadjointView<Lower>() * v // does not compile

因为这不编译，而这

a = MatrixXd(A.middleCols(j,n).selfadjointView<Lower>()) * v

确实如此，我想知道第二个版本是否复制了

A.middleCols(j,n).selfadjointView<Lower>()

或直接执行计算？

感谢任何提示。

编辑：我怀疑问题与参数类型有关，因为我收到错误：

invalid argument type 'typename ConstSelfAdjointViewReturnType.... to unary expression'

实际上，A是使用

之一的const引用传递的函数的参数

const MatrixXd& A 
const Ref<const MatrixXd>& A

以下是一个例子：

// this version doesn't compile
MatrixXd returnSymmetricMatrix(const MatrixXd& A, const VectorXd& v, const MatrixXd& B){
// B is a symmetric matrix

VectorXd a;
a = A.middleCols(3, 4).selfadjointView<Lower>() * v;
MatrixXd M(code_fill(){...}); 
// code_fill is the function filling the lower triangular part of a symmetric matrix
M.block(1, 2, 3, 4).triangularView<Lower>() += B.selfadjointView<Lower>();

return M;
}

// this version compiles
MatrixXd returnSymmetricMatrix(const MatrixXd& A, const VectorXd& v, const MatrixXd& B){
// B is a symmetric matrix

VectorXd a;
a = MatrixXd(A.middleCols(3, 4).selfadjointView<Lower>()) * v;
MatrixXd M(code_fill(){...}); 
// code_fill is the function filling the lower triangular part of a symmetric matrix
Matrix(M.block(1, 2, 3, 4).triangularView<Lower>()) += B.selfadjointView<Lower>();

return M;
}

EDIT2 关于我的初始问题和我在编辑部分添加的示例，我对复制有点困惑。据我了解工作版和非工作版之间的差异，行

Matrix(M.block(1, 2, 3, 4).triangularView<Lower>()) += B.selfadjointView<Lower>();

有效，因为它的lhs告诉Eigen M.block（1,2,3,4）.triangularView（）实际上是一个矩阵而不是对矩阵的引用。否则，运算符+ =将通过一个错误，该运算符没有为.block（）重载。所以我最初的问题是Matrix（...）是否只是告诉它是一个启用计算的矩阵，还是将...复制到矩阵中？谢谢！

Answer 1

以下表达式：

A.middleCols(j,n).selfadjointView<Lower>()

不会创建任何副本。

另一方面，为了避免产品的临时性，您可以添加.noalias()：

a.noalias() = M.middleCols(j,n).selfadjointView<Lower>() * v;

这仅用于立即分配密集产品以允许代码：

a = M * a;

按预期行事。

修改

关于编译问题，以下编译正常：

#include <Eigen/Dense> using namespace Eigen; int main() { int n = 10; MatrixXd M = MatrixXd::Random(n,2*n); VectorXd v = VectorXd::Random(n); VectorXd a; a.noalias() = M.middleCols(2,n).selfadjointView<Upper>() * v; const Ref<const MatrixXd>& A = M; a.noalias() = A.middleCols(2,n).selfadjointView<Upper>() * v; }

<强> EDIT2

以下一行：

MatrixXd(M.block(1, 2, 3, 4).triangularView<Lower>()) += B.selfadjointView<Lower>();

没有任何意义，因为您正在创建要分配的临时副本。回想一下，MatrixXd(whatever)调用Eigen::Matrix构造函数。同时为三角形视图指定自相关视图是没有意义的。我甚至无法想到这可能是一个合理的行为。如果您只想更新下三角形部分，请执行以下操作：

M.block(1, 2, 3, 4).triangularView<Lower>() += B;

在这种情况下，triangularView表现为书写面具。

c ++ Eigen制作副本？

1 个答案: