Question

我正在尝试围绕std::thread编写一个包装器：

#include <thread>
#include <iostream>

struct A {};

template <typename F, typename... Args>
void lifted_lambda_1(void *m, F &&entrypoint,  Args&&... args) {
    std::cout << "I will do something with the void * " << m << std::endl;
    entrypoint(std::forward<Args>(args)...);
}


template <typename F, typename... Args>
void make_thread(void *p, F &&f, Args && ... args) {
    std::thread(lifted_lambda_1<typename std::decay<F>::type, Args...>, p, std::forward<F>(f), std::forward<Args>(args)...).detach();
}

int main() {
    A a;
    make_thread(nullptr, [](A x){}, a);
}

但是当我编译它时，我收到一个错误：

In file included from /usr/local/sqream-prerequisites/package-install/gcc-4.8.2/include/c++/4.8.2/thread:39:0,
                 from bubu.cpp:1:
/usr/local/sqream-prerequisites/package-install/gcc-4.8.2/include/c++/4.8.2/functional: In instantiation of ‘struct std::_Bind_simple<void (*(void*, main()::__lambda0, A))(void*, main()::__lambda0&&, A&)>’:
/usr/local/sqream-prerequisites/package-install/gcc-4.8.2/include/c++/4.8.2/thread:137:47:   required from ‘std::thread::thread(_Callable&&, _Args&& ...) [with _Callable = void (&)(void*, main()::__lambda0&&, A&); _Args = {void*&, main()::__lambda0, A&}]’
bubu.cpp:15:132:   required from ‘void make_thread(void*, F&&, Args&& ...) [with F = main()::__lambda0; Args = {A&}]’
bubu.cpp:20:38:   required from here
/usr/local/sqream-prerequisites/package-install/gcc-4.8.2/include/c++/4.8.2/functional:1697:61: error: no type named ‘type’ in ‘class std::result_of<void (*(void*, main()::__lambda0, A))(void*, main()::__lambda0&&, A&)>’
       typedef typename result_of<_Callable(_Args...)>::type result_type;
                                                             ^
/usr/local/sqream-prerequisites/package-install/gcc-4.8.2/include/c++/4.8.2/functional:1727:9: error: no type named ‘type’ in ‘class std::result_of<void (*(void*, main()::__lambda0, A))(void*, main()::__lambda0&&, A&)>’
         _M_invoke(_Index_tuple<_Indices...>)

出现此错误的原因是什么？我该如何解决？

Answer 1

std::thread将始终衰减其论点（由于上述评论中的链接所给出的原因）。您可以使用reference_wrapper来保护引用，以便参数可以通过左值引用传递。

为了使lvalue和rvalue参数都可以使用，你需要一个包装器函数，它将lvalues包装在reference_wrapper中，但允许rvalues被复制（或移动）并作为rvalues转发。这将不是“完美”转发，因为rvalues将被复制，而不是作为rvalue引用转发，因此使用新对象调用目标函数。

所以你可以使用这样的东西有条件地包装左值，但只是转发右值：

template<typename T>
std::reference_wrapper<std::remove_reference_t<T>>
wrap(T& t) { return std::ref(t); }

template<typename T>
T&&
wrap(typename std::remove_reference<T>::type&& t)
{ return std::move(t); }

（remove_reference用于第二次重载，因此T位于非推导的上下文中，因此参数不是转发引用。）

然后将其用于线程构造函数的参数：

std::thread(lifted_lambda_1<typename std::decay<F>::type, Args...>, p,
            std::forward<F>(f), wrap<Args>(args)...).detach();
                                /*^^^^^^^^^^^^*/

然而，这样做会带回std::thread试图通过复制其参数来避免的所有问题！在线程完成运行之前，必须确保传递给make_thread的任何左值都不会超出范围。由于您正在分离该线程，因此通常很难做到这一点。使用此功能时必须非常小心。

您可以编写自己的类模板，其行为类似reference_wrapper，保护rvalue引用，避免创建新对象，但是您还必须注意线程函数的rvalue参数不会去在线程完成运行之前超出范围（如果它们是rvalues，则很有可能它们是不比创建新线程的调用更长的临时值！）

这里有龙。

实现一个完美转发到std :: thread的函数

1 个答案: