函数参数评估顺序与Lambda捕获评估顺序

Question

似乎函数参数评估的顺序以及lambda捕获初始化器的顺序都未被 C++标准指定.

(参见http://en.cppreference.com/w/cpp/language/lambda以及C++函数参数中的评估顺序)

由于它可能与移动语义相互作用,这引起了一些关注.

假设我有类型的对象,T这可能有复制或移动构造函数抛出.然后假设我有一个只移动的对象,比如std::promise.考虑以下情况:

T value; // some type that potentially throws when moved or copied
promise<U> pr; // a promise whose result is some type U
future<U> fut = pr.get_future(); 

std::thread(
  [v = std::move(value), pr = std::move(pr)]() {
    try {
      // do some stuff

      pr.set_value(/* whatever */);
    }
    catch (...) { pr.set_exception(std::current_exception()); }
  }
).detach();

// return the future

现在,我们有一个在其中执行的try/catch块std::thread,但是我们没有对初始化线程时可能出错的任何异常处理.具体来说,如果v = std::move(value)lambda捕获列表中的表达式最终抛出异常,我们该怎么办？理想情况下,我们想要使用try-catch块处理它,然后调用pr.set_exception(...),如下所示:

 try {
    std::thread(
      [v = std::move(value), pr = std::move(pr)]() {
        try {
          // do some stuff

          pr.set_value(/* whatever */);
        }
        catch (...) { pr.set_exception(std::current_exception()); }
      }
    ).detach();
  }
  catch (...) {
    pr.set_exception(std::current_exception()); 
  }

只有一个主要问题:当我们到达外部catch块时,我们不知道表达式pr = std::move(pr)是否已被调用,因为我们无法保证lambda-capture初始化器列表的顺序.因此,当我们说pr.set_exception(...)我们不知道我们的承诺是否有效时,因为我们不知道承诺是否在表达式被评估之前被移动构建v = std::move(value).

那么我们如何处理T可能抛出的移动或复制构造函数的情况呢？

我能想到的唯一解决方案 - 也许是 - 将lambda包装在一个调用中std::bind,如下所示:

std::thread(
  std::bind(
    [v = std::move(value)](promise<U>& pr) {
      // ...
    },
    std::move(pr)
  )
).detach();

在这里,即使我们对函数参数评估的顺序也没有任何保证,我的理解是我们仍然保证v = std::move(value)在实际移动构造之前我们需要对表达式进行求值,因为表达式std::move(pr)没有实际上移动构造了承诺 - 它只是将它转换为R值.承诺只会在稍后的调用内部进行移动构造std::bind,但不会作为被评估的函数参数之一的影响.

但是,我不完全确定这个解决方案.我不确定标准是否仍然允许编译器在T移动/复制构造之前移动构造承诺.

那么,我的解决方案是否std::bind解决了这个问题？如果没有,有什么方法可以解决这个问题？

Answer 1

您的std::bind作品 (bind通过引用获取参数，闭包对象的初始化在执行 的bind主体之前进行排序，并且从 的移动promise必然发生在内部bind）。

然而，这是毫无意义的，因为std::thread的构造函数已经可以传递任意参数。

std::thread(
    [v = std::move(value)](promise<U> pr) {
      // ...
    },
    std::move(pr)
).detach();

请注意，std::thread与 不同的是，将参数作为右值传递bind。