使用-Woverloaded-virtual标志时GCC疑似存在警告判定Bug

问题背景 #

启用GCC的-Woverloaded-virtual编译标志时，出现了看似矛盾的警告行为：

示例1（编译无警告） #

#include <boost/asio/impl/error.ipp>

struct Type : public boost::system::error_category
{
    const char * name() const noexcept override 
    {
        return nullptr;
    }

    std::string message(int) const override
    {
        return {};
    }
};

示例2（GCC触发警告，Clang无警告） #

#include <string>

struct Base
{
    virtual std::string message(int) const = 0;
    virtual char const * message(int, char *, std::size_t) const noexcept
    {
        return nullptr;
    }
};


struct Deriv : Base
{
    std::string message(int) const
    {
        return {};
    }
};

两段代码的方法原型逻辑一致，但警告结果不同，疑问这是否为GCC的编译器Bug。

原因解析 #

这不是GCC的Bug，核心差异来自两个关键点：

1. override关键字的作用
   示例1中派生类的message(int)函数显式使用了override关键字，明确告知编译器该函数是用于覆盖基类的虚函数。GCC的-Woverloaded-virtual规则会识别这种显式意图，因此不会触发“方法隐藏”的警告——因为编译器判定你是有意覆盖基类的对应虚函数，而非意外隐藏其他重载版本。

2. 编译器警告策略差异
   示例2中派生类的message(int)未使用override，尽管它实际实现了基类的纯虚message(int)，但GCC的-Woverloaded-virtual会检测到该函数同时隐藏了基类的另一个重载message(int, char*, std::size_t)，因此触发警告。而Clang的警告逻辑在这种“实现纯虚函数但未加override”的场景下，不会触发隐藏警告，这属于不同编译器对警告规则的细节实现差异。

如果给示例2的message(int)加上override关键字，GCC也会停止触发警告，这验证了上述逻辑。

结论 #

该现象是不同编译器对-Woverloaded-virtual警告的策略差异，以及override关键字对警告触发逻辑的影响导致的，并非GCC的编译器Bug。

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