Eigen矩阵赋值为何为拷贝语义？如何实现矩阵共享引用

为什么Eigen矩阵默认是拷贝语义？ #

你观察得没错——Eigen的MatrixXd这类矩阵类型是值语义类型，和C++里的std::vector、std::string等容器行为一致。默认的拷贝构造、赋值操作都会执行深拷贝：把原矩阵的所有数据完整复制到新对象的独立内存空间里，所以修改原矩阵不会影响拷贝后的对象。

这种设计是有意为之的，核心原因是：

• 避免意外副作用：如果默认是引用语义，修改一个矩阵可能会无意中改变其他关联的矩阵，给调试带来极大麻烦。
• 简化内存管理：每个矩阵对象自己掌控内存生命周期，不需要处理悬垂引用、对象依赖等复杂问题。
• 符合C++直觉：值语义是C++中大多数类型的默认行为，开发者可以自然地使用赋值、传值等操作，不用额外担心引用的坑。

不修改Holder类的前提下，如何实现多实例共享同一矩阵？ #

很遗憾，由于你的Holder类中mat成员是MatrixXd（值类型），它必须拥有自己独立的数据副本——Holder(MatrixXd &A) : mat(A)这行代码本质是调用MatrixXd的拷贝构造函数，把A的数据完整复制到mat里，所以修改A不会影响C.mat。

如果完全不能修改Holder类的代码，没有办法让mat成员引用原矩阵，因为MatrixXd的拷贝语义是固定的，它必须持有自己的数据。

但如果可以对Holder类做微小的修改（这也是解决这类问题的常规思路），有两种可靠的方案：

方案1：用Eigen::Ref实现引用语义

Eigen::Ref是Eigen提供的引用包装器，可以安全地引用任意Eigen矩阵/数组对象，保持引用语义：

#include <iostream>
#include "Eigen/Dense"
using Eigen::MatrixXd;
using Eigen::Ref;

class Holder {
public:
 Ref<MatrixXd> mat; // 将成员改为Ref类型
 Holder(Ref<MatrixXd> A) : mat(A) { }
};

int main() {
 MatrixXd A = MatrixXd::Identity(1, 2);
 Holder C(A);
 Holder D(A); // 多个Holder实例共享A
 A(0, 0) = 4;
 std::cout << "A: " << A << std::endl;
 std::cout << "C.mat: " << C.mat << std::endl; // 输出4 0
 std::cout << "D.mat: " << D.mat << std::endl; // 输出4 0
 return 0;
}

方案2：用智能指针管理矩阵生命周期

如果需要更灵活的生命周期管理（比如矩阵可能在Holder实例之后销毁），可以用std::shared_ptr来封装矩阵，让Holder持有智能指针：

#include <iostream>
#include <memory>
#include "Eigen/Dense"
using Eigen::MatrixXd;

class Holder {
public:
 std::shared_ptr<MatrixXd> mat_ptr; // 持有智能指针
 Holder(std::shared_ptr<MatrixXd> A) : mat_ptr(A) { }
};

int main() {
 auto A = std::make_shared<MatrixXd>(MatrixXd::Identity(1, 2));
 Holder C(A);
 Holder D(A);
 (*A)(0, 0) = 4;
 std::cout << "A: " << *A << std::endl;
 std::cout << "C.mat_ptr: " << *C.mat_ptr << std::endl; // 输出4 0
 std::cout << "D.mat_ptr: " << *D.mat_ptr << std::endl; // 输出4 0
 return 0;
}

这两种方案都能实现“修改原矩阵时，所有Holder实例的矩阵同步更新”的需求。

内容的提问来源于stack exchange，提问作者bremen_matt