C++ Eigen静态断言误将枚举值识别为浮点类型引发编译错误

问题复现 #

示例代码如下：

#include <Eigen/Dense>
using namespace Eigen;
enum { TWO = 2};
Matrix<float, Dynamic, TWO> m1(42, 2); // 正常编译
Matrix<float, Dynamic, TWO> m2(42, int(TWO)); // 正常编译
Matrix<float, Dynamic, TWO> m3(42, TWO); // 编译报错

编译m3时会触发静态断言，报错逻辑表现为将枚举值TWO判定为浮点数，完整编译输出如下：

$ g++ -I/usr/include/eigen3 -c bug.cpp
In file included from /usr/include/eigen3/Eigen/Core:366,
                 from /usr/include/eigen3/Eigen/Dense:1,
                 from bug.cpp:1:
/usr/include/eigen3/Eigen/src/Core/PlainObjectBase.h: In instantiation of ‘void Eigen::PlainObjectBase<Derived>::_init2(Eigen::Index, Eigen::Index, typename Eigen::internal::enable_if<(typename Eigen::internal::dense_xpr_base<Derived>::type::SizeAtCompileTime != 2), T0>::type*) [with T0 = int; T1 = <unnamed enum>; Derived = Eigen::Matrix<float, -1, 2>; Eigen::Index = long int; typename Eigen::internal::enable_if<(typename Eigen::internal::dense_xpr_base<Derived>::type::SizeAtCompileTime != 2), T0>::type = int]’:
/usr/include/eigen3/Eigen/src/Core/Matrix.h:302:35:   required from ‘Eigen::Matrix<_Scalar, _Rows, _Cols, _Options, _MaxRows, _MaxCols>::Matrix(const T0&, const T1&) [with T0 = int; T1 = <unnamed enum>; _Scalar = float; int _Rows = -1; int _Cols = 2; int _Options = 0; int _MaxRows = -1; int _MaxCols = 2]’
bug.cpp:6:39:   required from here
/usr/include/eigen3/Eigen/src/Core/PlainObjectBase.h:740:58: error: static assertion failed: FLOATING_POINT_ARGUMENT_PASSED__INTEGER_WAS_EXPECTED
  740 |       EIGEN_STATIC_ASSERT(bool(NumTraits<T0>::IsInteger) &&
      |                           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
  741 |                           bool(NumTraits<T1>::IsInteger),
      |                           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~  
/usr/include/eigen3/Eigen/src/Core/util/StaticAssert.h:33:54: note: in definition of macro ‘EIGEN_STATIC_ASSERT’
   33 |     #define EIGEN_STATIC_ASSERT(X,MSG) static_assert(X,#MSG);

测试可知，直接传入整数字面量2、显式将TWO转换为int传入的写法均可正常编译，仅直接传入枚举值TWO时会触发静态断言失败，提示传入了浮点参数但期望整数参数。

根本原因 #

这个反直觉的报错由两个逻辑共同触发：

• Eigen为编译期固定尺寸为2的矩阵、向量单独实现了构造重载，支持直接传入两个元素值完成初始化（比如二维向量可以直接传x、y两个分量值）；同时动态尺寸矩阵存在接收行数、列数两个整数参数的构造重载。无作用域的匿名枚举值既可以隐式转换为整数，也可以隐式转换为浮点数，编译器做重载决议时选错了匹配版本，没有匹配到行列尺寸初始化的重载，反而匹配到了元素值初始化的重载。
• Eigen的类型特征模板NumTraits只对内置整数、浮点等原生类型做了特化适配，匿名枚举类型会走默认模板实现，默认实现中IsInteger（标记类型是否为整数类型）的取值为false，刚好触发了"传入浮点类型参数、期望整数类型参数"的静态断言，最终抛出了看起来完全不符合逻辑的错误提示。

解决方法 #

可根据实际场景选择以下方案：

• 最直接的写法是构造时显式将枚举值转换为整型，和示例中m2的写法一致：Matrix<float, Dynamic, TWO> m3(42, int(TWO));
• 如果使用C++11及以上标准，可以改用强类型枚举enum class并指定int为底层类型，不过这种写法依然存在重载匹配的歧义风险，更推荐搭配显式类型转换使用
• 升级到较新版本的Eigen，新版本针对这类重载歧义增加了枚举类型的SFINAE约束，会避免错误匹配到元素初始化的重载，直接传入枚举值也可以正常编译。

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