带final的虚方法用默认参数遭Clang-Tidy警告，是否为误报？

结论 #

这不是误报，是Clang-Tidy规则的场景局限性——规则初衷是规避虚方法默认参数的歧义风险，但你用final禁止了重写，不存在这种风险，所以警告属于过度检测，你的写法是安全的。

触发警告的原因 #

触发你的是cppcoreguidelines-default-arguments-on-virtual-functions规则，这条规则的设计逻辑是：

• 虚方法的默认参数是静态绑定的，如果子类重写时修改默认参数，会出现“通过基类指针调用用基类默认值，通过子类对象调用用子类默认值”的歧义。
• 但规则的检测逻辑只判断方法是否为virtual，没区分加了final、根本无法被重写的情况，所以即便你加了final，还是会触发警告。

你的写法是安全的 #

因为final修饰的虚方法无法被子类重写，也就不存在子类修改默认参数导致的歧义问题，完全符合你的需求——既防止子类意外重写，又保留默认参数。

解决思路 #

1. 局部禁用警告 #

在方法前加注释，让Clang-Tidy跳过该方法的检查：

// NOLINTNEXTLINE(cppcoreguidelines-default-arguments-on-virtual-functions)
virtual void nonOverrideableMethodEvenByAccident(int a = 0) final {
    std::cout << "Method from A ! V:" << a << std::endl;
}

2. 用非虚方法包装 #

如果不想禁用警告，可以把默认参数放到非虚方法里，内部调用final修饰的虚方法：

class A
{
public:
    A() = default;
    virtual ~A() = default;

    virtual void overrideableMethod() {
        std::cout << "Method from A !" << std::endl;
    };

    // 对外暴露的非虚方法，带默认参数
    void nonOverrideableMethodEvenByAccident(int a = 0) {
        impl(a);
    }

private:
    // 私有final虚方法，禁止子类重写
    virtual void impl(int a) final {
        std::cout << "Method from A ! V:" << a << std::endl;
    }
};

这个方案既规避了Clang-Tidy警告，又能确保子类无法重写核心逻辑，同时也能减少子类意外隐藏方法的概率（因为对外的是非虚方法，子类定义同名方法会被视为隐藏，但通过基类调用仍会走基类逻辑）。

3. 升级Clang-Tidy #

部分新版本的Clang-Tidy已经优化了这条规则，会忽略final修饰的虚方法，你可以尝试升级到最新版验证。

关于你的期望行为 #

你用virtual + final实现“子类重写即触发编译错误”的需求是完全正确的，编译器会准确报错，这部分没有问题。

内容的提问来源于stack exchange，提问作者Sébastien Bémelmans