如果给出显式返回类型，则从函数返回泛型 lambda 表达式会导致编译器警告

Question

我有一个函数，它的返回类型是一个简单的通用 lambda 表达式。 （此函数返回的 lambda 最终会作为参数传递给 std::transform() 或 std::accumulate() 等 STL 算法。）

当 lambda 没有明确的返回类型时，编译器不会发出警告：

inline auto AccumulateInto() {
    return [](const auto& src, const auto& dst) {return dst + src; };
}

当 lambda 明确指定返回类型时：

inline auto AccumulateInto() {
    return [](const auto& src, const auto& dst) -> decltype(dst) {return dst + src; };
}

两个编译器都会发出类似的警告：

GCC：返回对临时 [-Wreturn-local-addr] 的引用

MSVC：返回局部变量或临时变量的地址

是否应注意此警告，因为它表明该方法存在缺陷（可能是未定义的行为！）并且应该重构？还是它们是“噪音”？

我无法确定为什么显式指定返回类型会导致返回的表达式是“临时的”，而如果不是这样的话。请解释一下，谢谢！

编辑（添加更多上下文）：

对 lambda 使用 auto 参数的愿望是 src 和 dst 可能是不同的类型（例如，一个是 std::uint8_t，一个是 std::uint_16t），但我希望返回 ALWAYS与dst 参数的类型相同，与src 的类型无关。

Answer 1

重点是 decltype(dst) 是 auto const & （您可以将 auto 视为模板类型`，因此 lambda 返回一个 reference（我重复一遍：一个 reference ) 到一个常量对象。

问题在于这是对

的引用

dst + src

即：对临时值的引用，即从操作dst + src 创建的临时对象，当 lambda 结束执行时，该对象不再存在。

一种可能的解决方案：删除-> decltype(dst) 或将其更改为-> decltype(dst+src)，这样您就返回了一个值，而不是一个引用。

另一种方法（在这种情况下需要更多的打字，但在更复杂的情况下可能更受欢迎）可以从 decltype() 返回的类型中删除引用部分。

所以

-> std::remove_reference_t<decltype(dst)>

或者，按照 Jarod42 的建议，也

-> std::decay_t<decltype(dst)>

如果dst的类型支持一元运算符+（返回dst的相同类型），可以另外简单的解决方案

-> decltype(+dst)

这样，+dst 是一个表达式，而不是一个变量，所以 decltype(+dst) 不再是一个引用。