在co_await表达式完成之前，gcc 10销毁了传递给返回等待者类型的函数的临时参数

问题描述

我在Windows 10的wsl 1上使用gcc 10和协程，发现a协程被挂起时传递给返回等待者的函数的参数已被破坏

clang和msvc不会执行此操作，但会保留临时变量，直到表达式完成为止

表明问题的代码：

#include <cstdio>
#include <thread>
#if defined __clang__ || defined _WIN32
#include <experimental/coroutine>
using coro_handle = std::experimental::coroutine_handle<>;
using suspend_never = std::experimental::suspend_never;
#else
#include <coroutine>
using coro_handle = std::coroutine_handle<>;
using suspend_never = std::suspend_never;
#endif // __clang__


struct arg_t
{
    arg_t() { printf("arg_t()\n"); }

    ~arg_t()
    {
        printf("~arg_t()\n");
    }
};

struct awaiter_t
{
    awaiter_t() { printf("awaiter_t()\n"); }

    ~awaiter_t()
    {
        printf("~awaiter_t()\n");
    }

    bool await_ready() const noexcept 
    {
        printf("await_ready()\n");
        return false;
    }

    void await_suspend(coro_handle coro)
    {
        printf("await_suspend()\n");
        std::thread([coro]() mutable { std::this_thread::sleep_for(std::chrono::seconds(3)); coro.resume(); }).detach();
    }

    void await_resume()
    {
        printf("await_resume()\n");
    }
};

struct task_t
{
    struct promise_type
    {

        task_t get_return_object() { return {}; }

        suspend_never initial_suspend() noexcept { return {}; }

        suspend_never final_suspend() noexcept { return {}; }

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

        void return_void() {}

    };

    task_t() = default;

};

awaiter_t make_awaiter(const arg_t& arg)
{
    return awaiter_t{};
}


task_t test_awaiter()
{
    co_await make_awaiter(arg_t{});
}

int main()
{
    test_awaiter();
    std::this_thread::sleep_for(std::chrono::seconds(4));
    return 0;
}

gcc测试：https://godbolt.org/z/cT4q8d

使用gcc标志编译：{{1​​}}

输出：

-std=c++20 -Wall -pthread -fcoroutines

lang语测试：https://godbolt.org/z/fcrzPM

使用叮当旗编译：{{1​​}}

输出：

arg_t()
awaiter_t()
~arg_t() -> destroyed before await_ready !
await_ready()
await_suspend()
await_resume()
~awaiter_t()

msvc的行为也像我在这里尝试过的clang：Do temporaries passed to a function that returns awaitable remains valid after suspension point with co_await

这是gcc中的错误吗？还是编译器可以随意在这里做任何喜欢的事情？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）