std::async 使用绑定到 lambda 的右值引用

Question

我正在尝试使用 std::bind 将右值引用绑定到 lambda，但是当我将其放入 std::async 调用时遇到问题：(source)

auto lambda = [] (std::string&& message) {
    std::cout << message << std::endl;
};
auto bound = std::bind(lambda, std::string{"hello world"});
auto future = std::async(bound); // Compiler error here
future.get()

这会引发一个编译器错误，我不确定如何解释：

错误：'class std::result_of(std::basic_string)>&()>'中没有​​名为'type'的类型

这里发生了什么？有趣的是，稍作修改就可以按预期编译和工作。如果我将 std::string{"hello world"} 更改为 c 字符串文字，一切正常：(source)

auto lambda = [] (std::string&& message) {
    std::cout << message << std::endl;
};
auto bound = std::bind(lambda, "hello world");
auto future = std::async(bound);
future.get(); // Prints "hello world" as expected

为什么这行得通，但不是第一个例子？

Answer 1

std::bind 将复制std::string 参数并将其传递给 lambda。但这无法编译，因为 lambda 需要一个右值参数，而 bind 传递的将是一个左值。如果您将 bind 设置为 move 参数，则可以使其正常工作，但这需要非常难看的类型来消除歧义（因为 std::move 是一个重载函数）。

auto bound = std::bind(lambda, std::bind(static_cast<std::string&&(*)(std::string&)>(std::move),
                                         std::string{"hello world"}));

Live demo

当然，您可以编写自己的 move 版本，但不会重载，并避免这种转换。

第二种情况有效，因为当bind 将char const * 传递给lambda 时，会隐式创建一个右值std::string。

---

为了解释您看到的错误消息，在 std::async 的内部某处，正在调用 std::result_of 以确定函数调用表达式的返回类型。但是，由于上述原因，该调用表达式无效，result_of 被 SFINAE 淘汰（这是 C++14 更改）。因此出现错误error: no type named 'type' in 'class std::result_of<...>'。