Eigen Matrix按引用传递报左值引用绑定右值错误的原因及解决方案

问题根因 #

你看到的两处Matrix类型实际完全不同，报错本质是C++语法规则和Eigen类型设计共同导致的：

• 函数参数要求的Eigen::Matrix<int, Eigen::Dynamic, 1>是动态大小列向量，模板参数中行数为运行时确定，Eigen内部用-1表示Dynamic宏值，也就是报错里的-1来源。
• 你定义的Eigen::Matrix<int, dim, 1>只要dim是编译期常量（包括const int全局变量、constexpr、宏定义），就属于固定大小列向量，和动态大小列向量是完全独立的两个C++类型。
• 当你把固定大小向量传入要求动态向量非常量引用的函数时，Eigen会触发隐式类型转换，生成一个临时的动态向量对象（即报错里提到的rvalue右值）。
• C++语法明确禁止非常量左值引用绑定到临时右值对象，因此编译器直接抛出类型绑定错误。

另外你代码里还有一个隐藏语法坑：Batman bat();并不是定义Batman类对象，而是声明了一个返回值为Batman类型、无入参的函数bat，后续调用bat.doFoo()本身也会触发编译错误。

可行解决方案 #

方案1：统一使用动态大小矩阵（改动最小） #

直接修改调用侧的向量定义即可，不需要修改类实现：

const int dim = 3;
// 改为动态大小列向量，构造时指定维度
Eigen::Matrix<int, Eigen::Dynamic, 1> results(dim);
indices.resize(dim,1);

// 修正类对象定义的语法错误
Batman bat;
bat.doFoo(results);

你提到的把const int dim改成int就解决的说法存在误区：普通int类型无法作为模板非类型参数，仅修改dim类型会直接触发模板参数非法的编译错误，你实际应该是同步把向量改成了动态大小的定义。

方案2：模板化成员函数（开源项目通用方案，灵活性最高） #

参考你看到的开源项目实现，把doFoo改为模板函数，自动兼容所有符合要求的矩阵类型，不需要修改调用侧代码：

class Batman {
public:
    template<typename Derived>
    void doFoo(Eigen::MatrixBase<Derived>& results) {
        // 可选：添加编译期参数校验，提前拦截非法入参
        static_assert(Derived::ColsAtCompileTime == 1, "入参必须为列向量");
        static_assert(std::is_same_v<typename Derived::Scalar, int>, "入参元素类型必须为int");
        // 原有业务逻辑无需修改
        ...
    }
};

该写法可以同时兼容固定大小、动态大小的int列向量，是工业界项目的标准实现方案。

方案3：固定参数维度（性能最优，仅适用于维度固定场景） #

如果你的业务逻辑中向量维度永远固定为3，可以直接修改函数参数类型：

void doFoo(Eigen::Matrix<int, 3, 1> &results){
  ...
}

该方案性能最高，但灵活性差，维度变化时需要同步修改代码。

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