c++ - 在 C++ 中使用 RAII 在线程包装类中 move 语义

Question

我试图让一个围绕 std::thread 的 RAII 包装类在 C++ 中工作。

#include <iostream>
#include <thread>
#include <vector>

using std::cout;
using std::endl;

void threadFunction()
{
    for (int i = 0; i < 20; ++i) {
        cout << "thread function pointer executing..." << i << endl;
    }
}



// RAII wrapper that supports automatic join
class ThreadJoinRAII
{
    std::thread thread_;
public:
    ThreadJoinRAII(std::thread&& t):thread_(std::move(t)) 
    // ThreadJoinRAII()
    {
        cout << "ThreadJoinRAII ctor" << endl;
    }

    //ThreadJoinRAII(const ThreadJoinRAII& other) = delete;
    //ThreadJoinRAII& operator=(const ThreadJoinRAII& other) = delete;

    //ThreadJoinRAII(ThreadJoinRAII&& other):thread_(std::move(other.thread_))
    //{
    //    cout << "ThreadJoinRAII move ctor" << endl;
    //}
    //ThreadJoinRAII& operator=(ThreadJoinRAII&& other)
    //{
    //    cout << "ThreadJoinRAII move op" << endl;
    //    thread_ = std::move(other.thread_);
    //    return *this;
    //}
    
    ~ThreadJoinRAII()
    {
        cout << "in ThreadJoinRAII dtor" << endl;
        if (thread_.joinable()) { 
            thread_.join();
            cout << "join thread id = " << thread_.get_id() << endl;
        } else {
            cout << "thread not joinable. id=" << thread_.get_id() << endl;
        }
    }
};

class Something
{
    std::vector<int> vec_;
public:
    Something(std::vector<int>&& v):vec_(std::move(v)) {
        cout << "Something ctor" << endl;
    }

};


void testRAII()
{
    ThreadJoinRAII t1(std::move(std::thread(threadFunction))); // prints ThreadJoinRAII ctor
    ThreadJoinRAII t2(std::thread(threadFunction)); // prints nothing
    Something s1(std::vector<int>(3, 4)); // prints Something ctor
}

int main(int argc, char* argv[])
{
    testRAII();
    return 0;
}

问题是 t2输入 testRAII()什么都不打印。那部分我不明白。我尝试添加/删除复制操作和 move 操作，但它们没有任何区别。
我的问题是:

不是std::thread(threadFunction)已经是 testRAII() 中的右值?为什么我必须 move 它才能让构造函数工作？

t2 调用了什么代码如果没有使用提供的构造函数？我没有看到打印的 ThreadJoinRAII ctor。

s1行打印出“Something ctor”。 t2 和有什么区别和 s1 ?是 std::thread右值处理不同？

顺便说一句，我在 Ubuntu 20.04 LTS 上使用 g++ 9.3 和 g++ -std=c++17 -o mt mt.m.cpp -lpthread 编译了代码. mt.m.cpp是我的文件名。

Answer 1

乍一看可能不像，但是t2是函数原型(prototype)，而不是变量声明(搜索“最令人烦恼的解析”)。
您可以通过添加一些括号将其更改为变量:

ThreadJoinRAII t2((std::thread(threadFunction)));

然后它会调用你的 ThreadJoinRAII构造函数。