c++ - 为什么复制或分配此类的对象被认为是危险的？

Question

来自 Anthony Williams 的“C++ Concurrency in Action”。

作者定义了一个 thread_guard 类，它在构造时传递对 std::thread 的引用，在销毁时尝试 join() 同一个线程。

定义如下

class thread_guard
{
    std::thread& t;
    public:
        explicit thread_guard(std::thread& t_):t(_t){}
    ~thread_guard()
    {
        if(t.joinable())
        {
           t.join();
        }
    }
    thread_guard(thread_guard const&)=delete;  // why?
    thread_guard operator=(thread_guard const&)=delete;  // why?
};

struct func; // function object, definition not included here
void f()
{ 
    int some_local_state = 0;
    func my_func(some_local_state); // passing in a local variable
    std::thread t(my_func);

    // ensure that thread finishes before exiting f()
    thread_guard tg(t);  
    do_something_in_current_thread();
}

我的问题是为什么不允许复制构造函数和赋值运算符(使用 delete)？作者说复制是危险的，因为 thread_guard 拷贝“可能会比它加入的线程的范围更长”。但我很困惑——这不是一个风险吗，即使是原始对象(对象将超过线程的范围)？这不是为什么要检查析构函数 if t.joinable() 吗？

我在这里错过了什么基本的东西。

(相关:thread_guard vs scoped_thread)

Answer 1

thread_guard 保护的std::thread 对象通过引用 保存。因此，如果 thread_guard 对象比 std::thread 对象存活时间长，则存在悬空引用，并且调用 t.joinable() 是未定义的行为。

使 thread_guard 不可复制使得在这种情况下更难结束:因为 std::thread 对象和 thread_guard 很可能局部作用域变量，然后为了将线程传递给守卫，必须先构造线程，这意味着在大多数情况下它会在之后被销毁。

注意:这些都不是关于线程本身，纯粹是关于 std::thread object。

如果同一个std::thread对象有多个thread_guard对象，第一个被销毁的将调用t.join() 如有必要，第二个将看到线程已经加入并且什么都不做。

如果 std::thread 对象没有线程，无论是因为它是默认构造的，已经被加入或分离，还是它的线程被移动到另一个 std::thread 对象，然后 thread_guard 析构函数不执行任何操作。