将临时/匿名 lambda 的 const 引用传递给 std::thread 构造函数是否安全？

Question

接着这个问题：can-a-temperary-lambda-by-passed-by-reference?

我有固定码sn-p：

// global variable
std::thread worker_thread;

// Template function
template <typename Functor>
void start_work(const Functor &worker_fn)  // lambda passed by const ref
{
    worker_thread = std::thread([&](){
        worker_fn();
    });
}

这是这样称呼的：

void do_work(int value)
{
    printf("Hello from worker\r\n");
}

int main()
{
    // This lambda is a temporary variable...
    start_work([](int value){ do_work(value) });
}

这似乎可行，但我担心将临时 lambda 传递给线程构造函数，因为线程将运行，但函数 start_work() 将返回并且 temp-lambda 将超出范围。

但是我正在查看定义的 std::thread 构造函数：

thread() noexcept; (1)（C++11 起）

thread(thread&& other) noexcept; (2)（C++11 起）

模板 显式线程( Function&& f, Args&&... args ); (3)（C++11 起）

线程（常量线程&）=删除； (4)（C++11 起）

所以我假设构造函数 3 被调用：

template< class Function, class... Args >
explicit thread( Function&& f, Args&&... args );

我很难理解这里写的内容，但它看起来会尝试移动 lambda &&，我认为这对于临时变量是可以的。

那么我在我的代码 sn-p 中所做的事情是危险的（即 ref 超出范围）还是正确的（即温度已移动并且一切正常）？还是都没有？？

另一种方法是只传递我的值（制作副本），在这种情况下无论如何都不是那么糟糕。

Answer 1

A 临时确实被移动了，但它是“内部”的，即std::thread 的参数。

该临时文件包含对“外部”临时文件的引用，即start_work 的参数，其生命周期在start_work 返回后结束。

因此，您的“内部” lambda 对象包含对在其执行期间可能存在或可能不存在的对象的引用，这是非常不安全的。

Answer 2

lambda 是 C++ 中的匿名 struct。如果我们将 sn-p 翻译成没有 lambda 的等价的，它会变成

template <typename Functor>
void start_work(const Functor &worker_fn)
{
    struct lambda {
        const Functor& worker_fn;
        auto operator()() const { worker_fn(); }
    };
    worker_thread = std::thread(lambda{worker_fn});
}

lambda 有一个非基于堆栈的 const 引用作为成员，一旦 start_work 返回，它就会悬空，而不管 lambda 对象本身是否被复制。