为何GCC未优化C++20协程？主函数能否优化为空？

我基于cppreference的C++20协程示例编写了代码，开启-O3优化后，GCC未生成最优汇编代码。我认为主函数实际未执行任何有意义操作，应被优化为空，现咨询以下问题：

1. 主函数能否被优化为空且符合C++标准？
2. 若问题1答案为是，为何GCC无法实现该优化？是否存在优化方法或当前GCC暂不支持该优化？

示例代码 #

#include <coroutine>
#include <utility>
 
template<class T>
struct task
{
    struct promise_type
    {
        auto get_return_object()
        {
            return task(std::coroutine_handle<promise_type>::from_promise(*this));
        }
        std::suspend_always initial_suspend() { return {}; }
        struct final_awaiter
        {
            bool await_ready() noexcept { return false; }
            void await_resume() noexcept {}
            std::coroutine_handle<>
                await_suspend(std::coroutine_handle<promise_type> h) noexcept
            {
                if (auto previous = h.promise().previous; previous)
                    return previous;
                else
                    return std::noop_coroutine();
            }
        };
        final_awaiter final_suspend() noexcept { return {}; }
        void unhandled_exception() { throw; }
        void return_value(T value) { result = std::move(value); }
 
        T result;
        std::coroutine_handle<> previous;
    };
 
    task(std::coroutine_handle<promise_type> h) : coro(h) {}
    task(task&& t) = delete;
    ~task() { coro.destroy(); }
 
    struct awaiter
    {
        bool await_ready() { return false; }
        T await_resume() { return std::move(coro.promise().result); }
        auto await_suspend(std::coroutine_handle<> h)
        {
            coro.promise().previous = h;
            return coro;
        }
        std::coroutine_handle<promise_type> coro;
    };
    awaiter operator co_await() { return awaiter{coro}; }
    T operator()()
    {
        coro.resume();
        return std::move(coro.promise().result);
    }
 
private:
    std::coroutine_handle<promise_type> coro;
};
 
task<int> get_random()
{
    co_return 4;
}
 
task<int> test()
{
    task<int> v = get_random();
    task<int> u = get_random();
    int x = (co_await v + co_await u);
    co_return x;
}
 
int main()
{
    task<int> t = test();
    int result = t();
}

问题解答 #

1. 主函数能否被优化为空且符合C++标准？ #

可以。根据C标准的as-if规则，编译器可以省略任何不会影响程序可观察行为的操作。当前代码中，主函数内的所有计算（包括协程创建、恢复、数值求和）最终都没有产生可观察副作用——计算结果result未被输出、未写入外部存储，也未影响任何其他可见的程序状态。因此，将主函数优化为空完全符合C标准要求。

2. 为何GCC无法实现该优化？是否存在优化方法或当前GCC暂不支持该优化？ #

GCC目前对C++20协程的优化支持仍有局限，尤其是针对用户自定义协程框架的死代码消除能力不足，主要原因包括：

• 协程相关操作（如std::coroutine_handle的创建、销毁，promise对象的内存管理）被优化器视为可能带有副作用的黑盒，即使实际没有可观察行为，优化器也无法穿透这些抽象进行死代码消除。
• 用户自定义task框架中的awaiter、final_awaiter等结构的调用逻辑较为复杂，GCC当前的优化器难以追踪确认这些操作最终不会产生可观察副作用。

针对当前场景的优化建议：

• 使用GCC扩展标记无副作用：可以尝试将task::operator()、awaiter::await_suspend等无副作用的成员函数标记为__attribute__((pure))，帮助优化器识别这些操作不会改变程序状态（注意这是GCC特定扩展，会降低代码可移植性）。
• 简化逻辑：对于这类简单测试场景，可直接替换为普通函数返回值，绕开协程的复杂抽象。
• 升级GCC版本：后续GCC版本可能会增强协程优化能力，建议关注新版本的更新日志。

内容的提问来源于stack exchange，提问作者macomphy