下面的函数是线程安全的吗?如果它不是线程安全的,那么使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的线程安全性。
发布于 2012-07-24 03:46:05
它不仅不是线程安全的,而且也不会做你想要的事情。
通过将lambda定义为静态的,它捕获(通过引用)第一次调用时传入的数组。无论传入的是哪个数组,进一步的调用都会继续引用原始数组。
当第一个数组超出作用域时,进一步的调用将调用UB,因为它现在有一个悬空引用。
编辑:示例http://ideone.com/KCcav
注意,即使你是通过值来捕获的,你仍然会有一个问题,因为它仍然只会在你第一次调用函数的时候捕获。你不会有悬空指针,但它仍然只会在第一次初始化副本。
https://stackoverflow.com/questions/11619201
复制相似问题