使用犰狳类型的 lambda 函数崩溃的未知原因

Question

编辑：更新代码使两个函数更加相似

我在 lambda 函数中使用犰狳类型时遇到问题，当尝试读取无效内存位置时会导致崩溃。如果我将相同的表达式移到普通函数中，一切都会顺利进行。

所以，简单的工作示例：

#define ARMA_USE_CXX11
#include <armadillo>

using namespace arma;

rowvec2 funcLambda( double value, const rowvec2 &vA, const rowvec2 &vB, const double &const1, const double &const2 ){
    return min( vA * const1, vB * const2 );
}

int main( void ){

    rowvec2 vA = {.12, .44};
    rowvec2 vB = {2, 2};
    auto const1 = double( 1.2 );
    auto const2 = 3.1;
    auto fLambda = [&]( double value ){ return min( vA * const1, vB * const2 );};
    rowvec2 z = rowvec2({0.0, 0.0});

    // This works fine
    z = funcLambda( 100, vA, vB, const1, const2 );
    // This crashes
    z = fLambda( 100 );

    return 1;
}

这个例子在note所在的地方崩溃，有没有“using namespace arma;”包括行，有和没有#define ARMA_USE_CXX11，并使用32位和64位内存寻址。

我不知道是我在 lambda 函数中做错了什么，还是犰狳导致了问题。如果我删除等式的一部分（例如标量的乘法），它将正常工作。

感谢任何帮助。

谢谢

亨里克

Answer 1

犰狳大量使用惰性求值，并且有大量中间结果通过引用保存其他生命周期有限的中间结果¹。这里要咬你的是min 的返回值，并且你试图在得到它时返回它。

如果你像这样改变你的 lambda：

auto fLambda = [&]( double value ) -> rowvec2 { return min( vA * const1, vB * const2 ); };

也就是说，如果您明确指定它返回一个rowvec2 而不是您从min 获得的Glue<eOp<rowvector2, eop_scalar_times>, eOp<rowvector2, eop_scalar_times>, glue_min>，那么问题应该会消失，因为在函数返回之前中间结果已转换为有形的东西。

¹ 是的，真的。您可以在/usr/include/armadillo_bits/Glue_bones.hpp 中看到这一点。它们根本不适合存储。