如何使用 co_return 从协程返回值？

Question

在下面的代码中，我试图从协程 std :: vector 返回。问题是协程只返回std::vector<int> get_return_object()的结果。

当 co_return 语句执行时，方法void return_value(std::vector<int>&& value)被调用，它填充方法get_return_object()返回的向量。但是来自get_return_object() 的向量是按值返回的，它不起作用。当我尝试这样做时

std::vector<int> return_value(std::vector<int>&& value){
    return value
}

协程也会返回一个空向量，尽管 value 不为空。

如何从协程返回值而不将其包装在包含 promise_object 的任务中？

示例：

#include "coroutine"
#include "iostream"
struct Promise {
    std::vector<int> vec;
    std::vector<int> get_return_object() {
        return vec;
    }

    std::suspend_never initial_suspend() {
        return {};
    }

    std::suspend_never final_suspend() {
        return {};
    }

    void return_void() {}

    void return_value(std::vector<int>&& value){
        vec = std::move(value);
    }

    void unhandled_exception() { std::terminate(); }
};

template<typename... Args>
struct std::coroutine_traits<std::vector<int>, Args...>{
    using promise_type = Promise;
};

class Caller{
public:
    std::vector<int> call();
};

std::vector<int> Caller::call() {
    co_return std::vector<int>{1, 2, 3, 4};
}

int main(){
    Caller c;
    auto vec =  c.call();
    std::cout << vec.size();
    return 0;
}

Answer 1

std::vector<int> 不是可等待类型，因此它不能用作协程的返回对象。

如果你add some tracing，你可以看到操作顺序出错了。

get_return_object 需要返回一些可以在稍后给出std::vector<int> 的东西。例如。如果Promise 的所有用户从不暂停：

struct Promise {
    struct result {
        std::future<std::vector<int>> fut;
        operator std::vector<int>() { return fut.get(); }
    };
    
    std::promise<std::vector<int>> prom;

    result get_return_object() {
        std::cout << "get_return_object" << std::endl;
        
        return { prom.get_future() };
    }

    std::suspend_never initial_suspend() {
        std::cout << "initial_suspend" << std::endl;
        return {};
    }

    std::suspend_never final_suspend() {
        std::cout << "final_suspend" << std::endl;
        return {};
    }

    void return_void() {}

    void return_value(std::vector<int>&& value){
        std::cout << "return_value" << std::endl;
        prom.set_value(std::move(value));
    }

    void unhandled_exception() { std::terminate(); }
};