C++ lambda：Currying sum 函数：使用按值捕获与按引用捕获返回不同的结果

Question

我有一个非常简单的递归 lambda，它计算给定 2 个数字的总和：

auto sum_v1 = [](auto first){
  return [first](auto second){
    return first + second;
  };
};

sum_v1 (1)(2); // returns 3, OK

现在使用相同的函数，首先对 arg 使用按引用捕获。

auto sum_v2 = [](auto first){
  return [&first](auto second){
    return first + second;
  };
};

sum_v2 (1)(2); // returns 4, NOT OK

sum_v2获取参数first为2和Arg second也是2 。

我知道如何获得正确的结果。 我可以使用 sum_v1 或 sum_v3（如下所示）。

// accept arg first using r-value reference
auto sum_v3 = [](auto&& first){
  return [first](auto second){
    return first + second;
  };
};

sum_v3 (1)(2); // returns 3, OK

sum_v2在创建 lambda 时如何first将 arg 视为 2。我正在努力理解这一点。

你能给我一些提示以更好地理解这一点吗？ 我在 rhel 7 上使用带有 -std=c++17 的 gcc.9.2.0。

谢谢，高拉夫

Answer 1

这个：

auto sum_v2 = [](auto first){
  return [&first](auto second){
    return first + second;
  };
};

是未定义的行为，因为您first引用局部变量，该变量的生命周期在使用之前结束。 与所有 UB 一样，任何事情都可能发生。 在您的机器上，似乎first最终会引用second ，但这并不能保证。 代码可能会在其他系统上崩溃，或产生预期的结果，但您不能依赖它。

使用-Wall -Werror你甚至无法编译这个糟糕的代码。 演示： https : //godbolt.org/z/3gYx7q