G++中返回类型推导虚方法的异常行为与合规性咨询

标准规则背景 #

C++标准明确禁止虚函数使用返回类型推导：虚函数的重写要求基类、派生类的函数签名必须兼容，返回类型需要在重写合法性检查阶段就完成确定，而auto返回类型必须等到函数体解析完成才能推导得到结果，无法满足虚表构建、重写检查的前置要求。

GCC的行为判定 #

你观察到的编译、运行现象属于GCC的实现缺陷，并非设计预期的功能扩展：

• 即便是使用-std=c++20 -Wall -Wextra -pedantic-errors这类严格禁用非标准扩展的编译参数，GCC也没有给出正确的诊断，反而允许代码编译，本身就不符合pedantic-errors的参数设计逻辑。
• 示例代码中基类A的f()推导返回int，派生类B的f()推导返回double，二者返回类型不满足协变规则，标注override关键字本应触发编译错误，但GCC错误生成了两个独立的虚函数，导致通过基类引用调用a.f()时出现返回值异常的未定义行为，最终输出0。

问题状态与使用建议 #

• 该问题属于GCC的已知bug，目前已被GCC维护团队收录，后续版本会修复该缺陷，对虚函数使用auto返回类型的写法会触发标准要求的编译错误。
• 该用法没有官方定义的扩展规则，完全是实现漏洞导致的意外行为，禁止在任何生产代码中使用，否则会出现不可预期的运行问题，也无法保障跨版本、跨编译器的兼容性。

#include <iostream>

struct A {
    virtual auto f() -> auto { return 1; }
};

struct B: A {
    virtual auto f() -> auto override { return 2.5; }
};

int main() {
    B b;
    A & a = b;
    std::cout << b.A::f() << ' ' << b.f() << ' ' << a.f();
}

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