可以从非 POD 对象中生成 std​​::promise 吗？

Question

我的应用程序所做的其中一件事是侦听和接收来自套接字的有效负载。我从不想阻止。在收到的每个有效负载上，我想创建一个对象并将其传递给工作线程，直到稍后再忘记它，这就是原型代码的工作方式。但是对于生产代码，我想通过使用方便的异步方法来降低复杂性（我的应用程序很大）。 async 接受一个由承诺创造的未来。为此，我需要在下面由 Xxx 类表示的非 POD 对象上创建一个 Promise。我没有看到任何方法可以做到这一点（请参阅下面的示例代码中的错误）。在这里使用异步是否合适？如果是这样，我如何构造一个比 int 更复杂的 promise/future 对象（我看到的所有代码示例都使用 int 或 void）：

#include <future>
class Xxx //non-POD object
{
  int i;
public:
  Xxx( int i ) : i( i ) {}
  int GetSquare() { return i * i; }
};

int factorial( std::future< Xxx > f )
{
  int res = 1;
  auto xxx = f.get();
  for( int i = xxx.GetSquare(); i > 1; i-- )
  {
    res *= i;
  }
  return res;
}

int _tmain( int argc, _TCHAR* argv[] )
{
  Xxx xxx( 2 ); // 2 represents one payload from the socket
  std::promise< Xxx > p; // error: no appropriate default constructor available
  std::future< Xxx > f = p.get_future();
  std::future< int > fu = std::async( factorial, std::move( f ) );
  p.set_value( xxx );
  fu.wait();
  return 0;
}

Answer 1

正如 Mike 已经回答的那样，这绝对是 std::promise 的 Visual C++ 实现中的一个错误，你所做的应该可以工作。

但我很好奇你为什么需要这样做。也许还有一些其他要求您没有展示以使示例保持简单，但这将是编写该代码的明显方式：

#include <future>

class Xxx //non-POD object
{
  int i;
public:
  Xxx( int i ) : i( i ) {}
  int GetSquare() { return i * i; }
};

int factorial( Xxx xxx )
{
  int res = 1;
  for( int i = xxx.GetSquare(); i > 1; i-- )
  {
    res *= i;
  }
  return res;
}

int main()
{
  Xxx xxx( 2 ); // 2 represents one payload from the socket
  std::future< int > fu = std::async( factorial, std::move( xxx ) );
  int fact = fu.get();
}

Answer 2

听起来您的实现有缺陷。应该不需要默认构造函数（根据 [utility.arg.requirements] 的一般库要求），并且 GCC 接受您的代码（在将奇怪的 Microsoftish _tmain 更改为标准 main 之后）。

我会切换到不同的编译器和操作系统。这对你来说可能不是一个选择，所以也许你可以给这个类一个默认的构造函数来让它快乐。