Eigen矩阵初始化为单位矩阵编译失败及模板类继承编译差异问题

1. Eigen矩阵初始化单位矩阵编译失败问题 #

这种情况我碰到过好几次，大概率是初始化方式不符合Eigen的规则，或是混淆了动态矩阵与固定大小矩阵的用法，下面是常见原因和解决办法：

常见错误场景与修复 #

• 错误在成员初始化列表直接使用Identity()
  如果是类成员矩阵，不能直接在初始化列表里用临时单位矩阵赋值，应该用setIdentity()方法在构造函数体内完成初始化：

  class MyClass {
  private:
      Eigen::Matrix3d fixed_mat; // 固定大小3x3矩阵
      Eigen::MatrixXd dyn_mat;    // 动态尺寸矩阵
  public:
      MyClass() {
          fixed_mat.setIdentity(); // 固定大小矩阵无需传参
      }
      MyClass(int size) : dyn_mat(size, size) {
          dyn_mat.setIdentity(); // 动态矩阵先指定尺寸再初始化单位矩阵
      }
  };
  

• 混淆Identity()与setIdentity()
Eigen::Matrix::Identity(n,n)是用来创建临时单位矩阵的，若要给已存在的矩阵赋值，优先用setIdentity()；如果是直接初始化变量，可以这么写：

  // 固定大小矩阵：无需指定尺寸
  Eigen::Matrix3d mat = Eigen::Matrix3d::Identity();
  // 动态矩阵：必须指定行列数
  Eigen::MatrixXd dyn_mat = Eigen::MatrixXd::Identity(4,4);
  

• 版本兼容性问题
  老版本Eigen对某些初始化方式支持有限，建议升级到3.3.x以上的稳定版本。

2. 模板类继承与默认参数跨编译器差异问题 #

这个问题本质是C++标准对模板默认参数继承的规则限制，以及不同GCC版本的实现差异导致的。

问题根源 #

C++03及更早的标准不允许派生模板类继承基类模板的默认参数。也就是说，当你定义带默认参数的基类A后，派生类B如果想使用默认参数实例化，必须自己显式声明模板默认值，不能依赖基类的设置。

Cygwin的G可能默认启用了扩展特性，或是版本较新（支持C11+），放宽了这个限制；而Ubuntu的G++可能更严格遵循旧标准，或者版本较低，所以会报错。

正确解决方式 #

你需要在派生类B的模板参数中显式重复默认参数，示例代码如下：

// 基类A：带3个模板参数及默认值
template <typename T = int, int N = 5, bool B = true>
class A {
    // 类成员实现
};

// 派生类B：必须显式声明自己的模板默认参数
template <typename T = int, int N = 5, bool B = true>
class B : public A<T, N, B> {
    // 类成员实现
};

int main() {
    B<> obj; // 此时无论哪个GCC版本都能正常编译
    return 0;
}

额外注意点 #

如果你的派生类B中用到了基类的依赖名称（比如A<T,N,B>::some_member），别忘了加上typename关键字，否则也可能触发编译错误。

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