C++编程基础之override关键字

在这里插入图片描述

在C++中，override关键字用于显式地标识派生类中的成员函数是对基类中虚函数的重写，具有以下重要作用和使用说明：

作用

增强代码可读性：通过使用override关键字，能够清晰地向阅读代码的人表明该函数是有意重写基类中的虚函数，而不是偶然定义了一个具有相同名称的新函数。这使得代码的意图更加明确，尤其是在复杂的继承体系中，有助于提高代码的可维护性和可读性。例如，当其他开发者查看派生类代码时，看到带有override关键字的函数，就可以立即知道该函数与基类中的某个虚函数相关联，并且是在重写其行为。
编译器检查重写的正确性：override关键字为编译器提供了额外的信息，使其能够在编译时检查函数重写是否符合C++的规则。编译器会验证派生类中的函数签名（包括函数名称、参数列表、常量性以及返回值类型，除了符合协变返回类型规则的情况）是否与基类中的虚函数完全匹配。如果存在不匹配的情况，编译器会报错，指出重写错误。这有助于在开发阶段早期发现错误，避免在运行时因函数签名不匹配而导致的未定义行为，如调用错误的函数版本或产生意外的结果。

使用说明

函数签名必须匹配（除协变返回类型情况外）
- 函数名称相同：派生类中声明为override的函数必须与基类中的虚函数具有相同的名称。例如，如果基类中有一个虚函数名为draw，派生类中重写该函数时也必须命名为draw。
- 参数列表相同：参数的数量、类型和顺序都必须完全一致。包括参数的类型是否为常量引用（const reference）等修饰符也需要匹配。例如，基类虚函数void setValue(int value)，派生类重写函数也必须是void setValue(int value)，不能是void setValue(double value)或void setValue(int& value)（除非基类函数本身就是接受引用参数）等不同的参数列表形式。
- 常量性一致：如果基类中的虚函数是常量成员函数（即函数声明后带有const关键字），派生类中的重写函数也必须是常量成员函数。反之，如果基类函数不是常量成员函数，派生类函数也不能是常量成员函数。例如，基类虚函数int getData() const，派生类重写函数必须是int getData() const。
- 返回值类型（大多数情况）：一般情况下，返回值类型必须完全相同。但从C++11开始，存在协变返回类型的例外情况，即如果基类函数返回一个指向基类类型的指针或引用，派生类函数可以返回一个指向派生类类型的指针或引用，并且这被视为合法的重写。例如，基类函数Animal* createAnimal()，派生类可以重写为Dog* createAnimal()（假设Dog是Animal的派生类）。但对于其他基本类型或对象类型（非指针/引用），返回值类型必须严格一致。例如，基类函数int calculateValue()，派生类重写函数不能返回double类型。
只能用于重写虚函数：override关键字只能用于在派生类中重写基类中已声明为虚函数的函数。如果尝试在非虚函数上使用override关键字，或者在派生类中声明一个与基类中不存在的虚函数同名（且签名不匹配）的函数并使用override，编译器将报错。例如，以下代码是错误的：

class Base {
public:void normalFunction() {} 
};class Derived : public Base {
public:// 错误，不能在非虚函数上使用overridevoid normalFunction() override {} 
};

虚函数继承关系必须明确：基类中的虚函数必须是可访问的，并且派生类必须以public或protected方式继承自基类，才能正确重写虚函数并使用override关键字。如果派生类以private方式继承基类，即使函数签名匹配，也不能使用override关键字，因为在这种情况下，基类中的虚函数在派生类中变为不可访问。例如：

class Base {
private:virtual void hiddenVirtualFunction() {} 
};class Derived : public Base {
public:// 错误，基类中的虚函数不可访问，无法重写void hiddenVirtualFunction() override {} 
};

与函数重载的区别：函数重载是在同一作用域内定义多个同名函数，但它们的参数列表不同（参数数量、类型或顺序不同）。而override关键字用于在派生类中重写基类中的虚函数，强调的是函数签名的完全匹配（除协变返回类型外）以及函数之间的继承关系。例如：

class MathUtils {
public:int add(int a, int b) { return a + b; } double add(double a, double b) { return a + b; } // 这是函数重载，根据参数类型不同选择不同的函数版本执行
};class AdvancedMathUtils : public MathUtils {
public:// 错误，与基类函数签名不匹配，不是重写，不能使用overrideint add(int a, int b, int c) override { return a + b + c; } 
};