下面的函数是线程安全的吗?如果它不是线程安全的,那么使 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 定义为静态的,它捕获(通过引用)第一次调用时传入的数组。后续调用继续引用原始数组,无论传入哪个数组。
当第一个数组超出范围时,进一步的调用将调用 UB,因为它现在有一个悬空引用。
编辑:一个例子http://ideone.com/KCcav
请注意,即使您按值捕获,您仍然会遇到问题,因为它仍然只会在您第一次调用该函数时捕获。你不会有悬挂指针,但它仍然只会在第一次初始化拷贝。
关于c++ - 由 lambda 初始化的函数局部静态函数对象,线程安全与否?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/11619201/