“在 Eigen 库中使用 `auto` 时要格外小心”的另一个案例 海湾合作委员会叮当声修复

编程问答 2022-05-18

问题描述

编辑：标题是

特征表达式和链接时间优化如何相互作用

但是这个问题与lto无关。

我刚刚介绍并修复了以下错误：


Eigen::Vector4d some_function(double arg) {

Eigen::Matrix4d mat;
mat << 2,2,3,4,5,6,7,8,9,10,11,13,14,15,16;
    Eigen::Vector4d spline_constraints(a(arg),b(arg),c,d);
       
    auto coefficients =  mat.lu().solve(spline_constraints);
    return coefficients;

}

这是伪代码。实际上，函数和矩阵都是类的静态成员，a(double arg) 和b(double arg) 也是静态成员函数。 我希望它足够了。如果没有，我将尝试编写一个最小的工作示例。

该行为非常依赖于编译器：

海湾合作委员会

当我将它编译成静态库并将库链接到其他地方时，它似乎可以正常工作，无论是调试版本还是发布版本（即使用非 lto 优化）。

如果我用链接时间优化编译和链接它，它编译和链接正常，运行时的行为方式错误： 使用 gcc 是一个大小为 1350x1350 的稀疏矩阵，其构造取决于上面的代码，据称它是不可与 lu 分解分解的（没有 lto，它不会这么说，虽然我不确定，分解是正确的案例）。

叮当声

在带或不带 lto 的发布版本中，我遇到分段错误。 调试版本工作正常。

修复

使用以下方法之一修复代码：


Eigen::Vector4d some_function() {

Eigen::Matrix4d mat;
mat << 2,16;
    Eigen::Vector4d spline_constraints(a,b,d);
       
    auto coefficients =  mat.lu().solve(spline_constraints).eval();
    return coefficients;

}

即通过添加 .eval() 或


Eigen::Vector4d some_function() {

Eigen::Matrix4d mat;
mat << 2,d);
       
    return mat.lu().solve(spline_constraints);
}

即通过返回表达式本身。

我的问题是：这里到底发生了什么？

相关（很高兴知道，不是问题的一部分）：是否有编译器警告或其他功能可以防止我将来犯这个错误？ 另外（同样）：Eigen 文档的某些部分是否会警告我这一点，我之前找到了吗？

我对文档的印象是，未能在某处添加 .eval() 可能会导致性能下降，但不会导致未定义的行为。 编辑：我错了：文档指出 eval() 的错误应用会导致段错误： Eigen docs on eval()

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）

c++eigenlto