Visual Studio 2015 Update 3中的co-await是否与std::experial::optio

Does co_await in Visual Studio 2015 Update 3 works with std::experimental::optional

本文关键字：std experial optio 是否 co-await 2015 Studio Update 中的 Visual      更新时间：2023-10-16

互联网上有一些链接[1，2]建议co_await应该与std::experimental::optional一起使用，VS 2015 Update 2应该支持这一点。由于VS即使在更新3中也没有可选的，我使用了github中的VS，但这样的代码无法编译：

optional<string> get_hope() {
    if ((rand() % 4) == 0)
        return nullopt;
    return "yolo";
}
optional<string> bla() {
    string s = co_await get_hope();
}

错误为：

错误(活动(此co-await表达式需要合适的"await_ready"函数，未找到

所以我的问题是我做错了什么，是库缺少了对wait的支持，还是编译器缺少了对co_await这方面的支持。

互联网上有一些链接[1，2]建议co-await应该与std:：experimental：：optional 一起使用

您对这些链接的解释不正确。尽管无可否认，这一个本质上是设计的，以制造这种误解。

P0057"协程"本质上是函数挂起执行并在以后某个时间从挂起点继续执行的一种方式。造成这种情况的机制涉及函数的返回类型/签名与co_await所依赖的表达式类型之间的一系列复杂交互。

人们发现了一种ab使用co_await执行有效等价条件返回的方法。您可以将co_await应用于optional时，检查optional的状态，如果它为空，则简单地退出函数。实际上，co_await会说挂起函数(从而将控制权返回给调用者(，但从未计划其恢复。这创建了返回的效果(包括清理协程(，而不实际写入if(opt.empty()) return; else ...。这也允许co_await从optional解包，如果值存储在其中

然而，这并不是因为optional的存在而神奇地发生的。您必须构建特殊的co_await机制，它既可以使用optional作为co_await表达式类型，也可以使用函数的返回值类型。

co_await的VS2015实现为co_await在std::future上的实现提供了这种机制。但它不支持optional或其他随机类型。你必须自己建造它，你引用的帖子都没有指出这一点。

相关文章：