将可变参数模板传递给pthread_create

Question

我知道pthread_create接受一个void*(*)(void*)参数和一个void* ，所以我进行了2次（失败的）尝试来包装Function和Args ...：

一种。 创建一个C样式的void *run(void*)函数，该函数将调用传递给它的std::function对象：

class thread
{
public:
    typedef std::function<void()> functor_t;

    static void* run(void* f) 
    {
        functor_t* functor = (functor_t*)f;
        (*functor)();
        delete functor;
        return nullptr;
    }

    template<typename Callable, typename... Args>
    explicit thread(size_t stack_size, Callable && callable, Args&&... args) {
        auto task_ptr = std::make_shared<std::packaged_task<decltype(callable(args...))()>>(
            std::bind(std::forward<Callable>(callable), std::placeholders::_1, std::forward<Args>(args)...)
            );
        functor_t* functor = new functor_t([task_ptr]() {
            (*task_ptr)();
        });

        pthread_attr_t attr = { 0};
        if (pthread_attr_init(&attr) == 0)
        {
            m_joinable = pthread_attr_setstacksize(&attr, stack_size) == 0 &&
                         pthread_create(&m_id, &attr, &run, functor);
            pthread_attr_destroy(&attr);
        }
    }
private:
    pthread_t   m_id        = -1    ;
    bool        m_joinable  = false ;
};

这会在GCC 4.8.5中导致以下错误：

/usr/include/c++/4.8.2/功能：在'struct std :: _ Bind_simple（std :: _ Placeholder <1>，int））（int *）>>（）>'的实例中：/ usr / include / c ++ / 4.8.2 / future：1284：55：需要'void std :: __ future_base :: _ Task_state <_Fn，_Alloc，_Res（_Args ...）> :: _ M_run（_Args ...）[with _Fn = std :: _ Bind（std :: _ Placeholder <1>，int））（int *）>; _Alloc = std :: allocator; _Res = void; _Args = {}]'thread.cpp：17：1：从此处开始需要/usr/include/c++/4.8.2/functional:1697:61：错误：“ class std :: result_of（ std :: _ Placeholder <1>，int））（int *）>>（）>'typedef类型名result_of <_Callable（_Args ...）> :: type result_type; ^ /usr/include/c++/4.8.2/functional:1727:9：错误：在'class std :: result_of（std :: _ Placeholder <1>，int））（int *）>中没有名为'type'的类型>（）>'_M_invoke（_Index_tuple <_Indices ...>）^

湾 按照此示例http://coliru.stacked-crooked.com/a/a6c607514601b013

class thread
{
public:
    template< typename Callable, typename... Args >
    explicit thread(size_t stack_size, Callable&& callable, Args&&... args )
    {
        auto l = new auto([=]{ callable(args...); });
        auto te = [](void* rp) -> void*
        {
            auto p = reinterpret_cast<decltype(l)>(rp);
            (*p)();
            delete p;
            return nullptr;
        };
        pthread_attr_t attr = { 0};
        if (pthread_attr_init(&attr) == 0)
        {
            m_joinable = pthread_attr_setstacksize(&attr, stack_size) == 0 &&
                         pthread_create(&m_id, &attr, te, l);
            pthread_attr_destroy(&attr);
        }
    }
private:
    pthread_t   m_id        = -1    ;
    bool        m_joinable  = false ;
};

这应该可以在clang中使用，但在GCC 4.8.5中将失败，并且：

在thread.cpp：2：0包含的文件中：thread.h：在lambda函数中：thread.h：82：37：错误：参数包未使用'...'扩展：自动l =新自动（[=] {callable（args ...）;}）; ^ thread.h：82：37：注意：
'args'thread.h：82：41：错误：扩展模式'args'不包含任何参数包auto l = new auto（[=] {callable（args ...）;}）; ^ thread.h：在'struct thread :: thread（size_t，Callable &&，Args && ...）的实例中[带有Callable = void（ ）（int ）; Args = {int *}; size_t = long unsigned int] :: __ lambda4'：thread.h：82：48：
需要来自'thread :: thread（size_t，Callable && ,, Args && ...）[with Callable = void（ ）（int ）; Args = {int *}; size_t = long unsigned int]'thread.cpp：14：32：从此处需要thread.h：82：37：错误：使用无效字段'thread :: thread（size_t，Callable &&，Args && ...）:: __ lambda4： ：__ args'auto l = new auto（[=] {callable（args ...）;}）; ^ thread.h：83：被先前的错误所迷惑，无法解决

两者都与下面的主程序一起运行：

int g=5;

void run(int *i)
{
    printf("t\n");
}

int main()
{

    gs_thread t(256*1024, &run, &g);
    printf("m\n");
    t.join();
}

Answer 1

如果从第一个版本中删除std::placeholders::_1,它将使用gcc进行编译。