C++：禁止在虚拟或覆盖方法上使用默认参数_c++ 的virtual和其override方法禁止使用默认形参吗-CSDN博客

本文链接：https://blog.csdn.net/shy2333/article/details/133982709

当在C++中编写具有继承和多态性的代码时，正确使用虚拟方法和覆盖方法是至关重要的。然而，有一项常见的错误会让人陷入难以察觉的陷阱：在虚拟或覆盖方法中使用默认参数。本文将探讨这个问题，以及为什么Clang-Tidy警告我们"禁止在虚拟或覆盖方法上使用默认参数"。

什么是虚拟方法和覆盖方法？

在C++中，虚拟方法和覆盖方法是实现多态性的关键。虚拟方法是在基类中声明的方法，可以在派生类中被覆盖（重写）。当你使用基类指针或引用来调用虚拟方法时，实际上会调用派生类中的方法，这称为动态分派。这使得C++成为一种强大的面向对象编程语言，因为它允许你在运行时确定要调用的方法。

默认参数和虚拟方法

在C++中，我们可以为函数参数提供默认参数，这意味着如果参数没有在函数调用时提供，将使用默认值。默认参数对于简化接口和提供可选功能很有用，但它们与虚拟方法相处得并不好。为什么呢？

默认参数的解析是在调用点决定的，而虚拟方法的解析是在编译时基于对象的静态类型决定的。这就引发了潜在的问题。让我们看一个示例：

class Base {
public:
    virtual void foo(int x = 42) {
        // ...
    }
};

class Derived : public Base {
public:
    void foo(int x = 10) override {
        // ...
    }
};

在这里，Base类的foo方法具有默认参数42，而Derived类中的foo方法覆盖了它，但使用了不同的默认参数10。当你在Derived对象上调用foo时，可能期望它使用默认参数10，但它实际上会使用基类的默认参数42。这是因为在编译时，编译器决定要调用哪个版本的方法，不考虑默认参数。

Clang-Tidy的警告

Clang-Tidy是一个用于静态代码分析的工具，它帮助我们发现和纠正代码中的问题。当它警告"禁止在虚拟或覆盖方法上使用默认参数"时，它实际上在提醒我们避免潜在的多态性问题。

如何解决问题

要解决这个问题，你应该在派生类中删除覆盖方法的默认参数，以确保方法签名匹配。这将使编译器在调用时正确地选择派生类的方法版本。

class Base {
public:
    virtual void foo(int x = 42) {
        // ...
    }
};

class Derived : public Base {
public:
    void foo(int x) override {
        // ...
    }
};

现在，无论是基类还是派生类，它们都具有相同的方法签名，避免了默认参数可能导致的潜在问题。