std 线程构造函数是否采用可变参数线程 function？

Question

我正在尝试将可变计数的回调函数（所有相同的签名）传递给线程 function。 我想出了以下代码

using namespace std;

void callback(int i)
{
    cout<<"thread "<<i<<" running"<<endl;
}

template<typename ...CallbackType>
void threadProc(int id, CallbackType ...callbackPack)
{
    auto callbacks = {callbackPack...};
    for(auto callback : callbacks)
    {
        callback(id);
    }
}

int main()
{
    thread t(threadProc<void(int)>, 1, callback);
    t.join();
    return 0;
}

此代码无法编译

error: no matching function for call to ‘std::thread::thread(, int, void (&)(int))’
 thread t(threadProc<void(int)>, 1, callback);

如果threadProc()不使用任何参数包，一切都会正常工作。 是否有正确的方法来启动带有可变参数线程 function 的线程？

Answer 1

您的第一个参数是 function 指针，因此使用

thread t{threadProc<void(*)(int)>, 1, callback};

这里https://godbolt.org/z/Hzp9EP

Answer 2

您的代码没有任何问题。 这似乎只是GCC中的一个bug，与线程无关。 重现该错误的最小测试用例是：

template <typename... T>
void foo(T...) {}

int main()
{
    auto* pfoo = foo<void(int)>;

    return 0;
}

似乎 GCC 不喜欢foo具有void(int)类型的参数这一事实。 然而语言的规则很明确：这是允许的，并且当 function 类型作为参数类型出现时，它会调整为对应的 function 指针类型。

其他编译器似乎没有问题。 见https://godbolt.org/z/tgaV7B

作为一种解决方法，您可以编写：

thread t(threadProc<void(*)(int)>, 1, callback);

或者：

thread t(threadProc<decltype(&callback)>, 1, callback);