Question

使用MSVC2012，

以下代码将按预期编译和运行

std::packaged_task< int() > task( []()->int{ std::cout << "hello world" << std::endl; return 0; } );
std::thread t( std::move(task) );
t.join();

虽然以下代码无法编译并运行

std::packaged_task< void() > task( [](){ std::cout << "hello world" << std::endl; } );
std::thread t( std::move(task) );
t.join();

为什么会这样？

编辑：作为一种解决方法，可以使用std :: promise在返回void的函数上获取std :: future

std::promise<void> promise;
auto future = promise.get_future();
std::thread thread( [](std::promise<void> &p){ std::cout << "hello world" << std::endl; p.set_value(); }, std::move(promise) );
future.wait();

请注意，带有std :: thread的vs2012库中存在一个错误，它会强制您将promise作为l值引用传递并移动promise，如果按值传递promise，则无法编译通过r值参考。这应该是因为实现使用std :: bind（），它的行为不符合预期。

Answer 1

这是MSVC2012中的错误。 MSVC2012附带的线程库实现中存在相当多的错误。我在我的博客文章中发布了一个部分列表，将其与我的商业Just :: Thread库进行比较：http://www.justsoftwaresolutions.co.uk/news/just-thread-v1.8.0-released.html

Answer 2

这适用于gcc 4.7.2：

#include <thread>
#include <future>
#include <iostream>

int main() {
  std::packaged_task< void() > task( [](){ std::cout << "hello world" << std::endl; } );
  std::thread t( std::move(task) );
  t.join();
  std::packaged_task< int() > task2( []()->int{ std::cout << "hello world" << std::endl; return 0; } );
  std::thread t2( std::move(task2) );
  t2.join();
}

与@WhozCraig的考古学一起暗示这可能是MSVC2012中的一个错误。

要解决此问题，请尝试使用struct Nothing {};或nullptr_t作为返回值吗？

Answer 3

问题仍然存在于MSVS 2013RC中，但是当MS纠正它时我做了这个临时补丁。它是用于void（...）的packaged_task的专门化，所以我建议把它放在一个头文件中并在标准头之后包含它。注意make_ready_at_thread_exit（）没有实现，有些函数还没有经过全面测试，用于你自己的风险。

namespace std {

template<class... _ArgTypes>
class packaged_task<void(_ArgTypes...)>
{
    promise<void> _my_promise;
    function<void(_ArgTypes...)> _my_func;

public:
    packaged_task() {
    }

    template<class _Fty2>
    explicit packaged_task(_Fty2&& _Fnarg)
      : _my_func(_Fnarg) {
    }

    packaged_task(packaged_task&& _Other)
      : _my_promise(move(_Other._my_promise)),
        _my_func(move(_Other._my_func)) {
    }

    packaged_task& operator=(packaged_task&& _Other) {
        _my_promise = move(_Other._my_promise);
        _my_func = move(_Other._my_func);
        return (*this);
    }

    packaged_task(const packaged_task&) = delete;
    packaged_task& operator=(const packaged_task&) = delete;

    ~packaged_task() {
    }

    void swap(packaged_task& _Other) {
        _my_promise.swap(_Other._my_promise);
        _my_func.swap(_Other._my_func);
    }

    explicit operator bool() const {
        return _my_func != false;
    }

    bool valid() const {
        return _my_func != false;
    }

    future<void> get_future() {
        return _my_promise.get_future();
    }

    void operator()(_ArgTypes... _Args) {
        _my_func(forward<_ArgTypes>(_Args)...);
        _my_promise.set_value();
    }

    void reset() {
        swap(packaged_task());
    }
};

}; // namespace std

为什么std :: packaged_task <void（）>无效？</void（）>

3 个答案: