c++向线程函数传递参数及编译错误排查

c++向线程函数传递参数及编译错误排查

普通传递

void func(int a)
{
    cout << "a = " << a << endl;
}

int main()
{
    thread t(func, 1); // 第一个是函数名字，第二个函数的参数
    t.join();  // 注意，不写join会报core dumped
}

当传递带有函数调用操作符的类

void func(int a)
{
    cout << "a = " << a << endl;
}

class A
{
public:
    void operator()() const
    {
        func(9);
    }
};

int main()
{
    thread t(A());
    // t.join();
}

这样就会有歧义，第17行，编译器会认为这是一个声明。为了防止这样的歧义发生，我们应该用"()"对它进行包裹，如：thread t((A()));

为了避免这样不必要的麻烦，我们采用同一初始化方式。thread t{A()};

传递string的const引用

void func(int a, string const &s)
{
    cout << a << s << endl;
}

int main()
{
    thread t{func, 1, "hello"};
    t.join();
}

虽然上述代码可以正常编译运行，但是还有需要我们关注的，func函数第二个参数是一个string类型，但是，字符串是以const char* 的方式传递的，进入新线程的上下文环境后，才转换成string的。所以我们最好直接传递string类型。

如果传递的是非const引用呢

void func(int a, string &s)
{
    cout << a << s << endl;
}

int main()
{
    string s{"world"};
    thread t{func, 1, s};
    t.join();
}

编译的时候会发现报错了，error: static assertion failed: std::thread arguments must be invocable after conversion to rvalues

原因是，thread的构造函数并不知情func函数的参数，所以是直接复制我们提供的参数s，然而线程库内部代码会把参数的副本当成move-only类别（只能移动，不可复制），并以右值的形式传递。所以最终func会收到一个右值作为参数，因此编译失败。那么如何解决呢？只需要用std::ref()函数加以包装即可。

thread t{func, 1, ref(s)};

传递某个类的成员函数

1. 首先需要传递函数指针指向成员函数
2. 给出对象指针作为函数的第一个参数，（非static成员函数第一个参数是编译器隐式添加的参数，this指针，指向该类的对象。）
3. 如果成员函数还需要其他参数，thread的构造函数可以继续传入第三个参数作为成员函数的第一个参数，以此类推！

class A
{
public:
    void func(int a, string &s)
    {
        cout << a << s << endl;
    }
};

int main()
{
    A a;
    string s{"world"};
    thread t{&A::func, &a, 2, ref(s)};
    t.join();
}