GCC中重写返回数组引用的虚函数失败，Clang/ICX可正常编译求助

问题重现 #

在实现返回数组引用的虚函数重写逻辑时，基类ILed定义纯虚函数：

[[nodiscard]] virtual const uint8_t (&getColor2() const)[4] = 0;

子类HardwareLed重写该方法的代码：

[[nodiscard]] const uint8_t (&getColor2() const)[4] override;

使用GCC 13.2编译时触发以下错误：

:62:53: error: expected ';' at end of member declaration 62 | [[nodiscard]] const uint8_t (&getColor2() const)[4] override; | ^ | ; :62:55: error: 'override' does not name a type 62 | [[nodiscard]] const uint8_t (&getColor2() const)[4] override; |

相同代码在Clang 17.0.1、ICX 2023.2.1下可正常编译运行。

临时解决方案 #

最可靠的修复方式是使用类型别名简化数组引用类型，避免GCC的语法解析歧义：

1. 定义数组引用的类型别名（可放在基类内部或公共头文件中）：

using ColorArrayRef = const uint8_t (&)[4];

2. 修改基类的纯虚函数声明：

[[nodiscard]] virtual ColorArrayRef getColor2() const = 0;

3. 子类重写时使用别名：

[[nodiscard]] ColorArrayRef getColor2() const override;

这种写法在所有主流编译器中都能正常工作，同时让代码更易读。

GCC Bug确认与提交 #

这是GCC对C语法的解析错误——根据C标准，override说明符可以合法地放在这种返回数组引用的函数声明末尾。你可以：

• 前往GCC Bugzilla搜索关键词（比如"override array reference virtual function"），确认是否为已知问题；
• 若未找到已有报告，可提交Bug，附上你的代码示例、编译错误信息，并说明其他编译器的正常表现。

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