c++ - 由 lambda 初始化的函数局部静态函数对象，线程安全与否？

Question

以下函数是线程安全的吗？如果它不是线程安全的，那么使 funImpl 非静态真的有任何开销吗？还是编译器实际上内联了该函数对象函数并完全跳过创建函数对象？

int myfun(std::array<int, 10> values)
{
    static const auto funImpl = [&]() -> int
    {
        int sum = 0;

        for (int i = 0; i < 10; ++i)
        {
            sum += values[i];
        }
        return sum;
    };

    return funImpl();
}

编辑：我从以下位置编辑了函数签名：

int myfun(const std::array<int, 10>& values)

到：

int myfun(std::array<int, 10> values)

所以很明显，我不是在问值的安全性，而是函数局部静态变量 funImpl 的线程安全性。

Answer 1

它不仅不是线程安全的，而且不能做你想做的事。

通过将 lambda 定义为静态，它捕获（通过引用）第一次调用时传入的数组。进一步的调用继续引用原始数组，无论传入哪个数组。

当第一个数组超出范围时，进一步的调用将调用 UB，因为它现在有一个悬空引用。

编辑：一个例子http://ideone.com/KCcav

请注意，即使您按值捕获，您仍然会遇到问题，因为它仍然只会在您第一次调用该函数时捕获。你不会有悬空指针，但它仍然只会在第一次初始化副本。