c – 函数本地静态函数 – 由lambda初始化的对象,线程安全与否?

前端之家收集整理的这篇文章主要介绍了c – 函数本地静态函数 – 由lambda初始化的对象,线程安全与否?前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
以下函数是否是线程安全的?如果它不是线程安全的,那么实际上是否有任何开销使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的线程安全性.

解决方法

它不仅不是线程安全的,它不会做你想要的.

通过将lambda定义为static,它捕获(通过引用)第一次调用时传递的数组.无论传入哪个数组,进一步的调用都会继续引用原始数组.

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

编辑:示例http://ideone.com/KCcav

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

原文链接:https://www.f2er.com/c/114613.html

猜你在找的C&C++相关文章