重载
指在同一个类中,方法名相同但参数列表不同(参数数量或参数类型不同)的方法之间的关系。重载使得我们可以定义功能相似但是接受不同参数的方法。重载对于返回值是没有要求的,因为在编译时编译器并不知道函数的返回值是什么,无法根据返回值类型来区分哪个方法应该被调用,也就不知道是不是重载。
重载的特点
方法名必须相同。
参数列表必须不同(参数数量或参数类型不同)。
返回类型和访问修饰符可以不同。
可以发生在单个类中,也可以在子类中。
class MathUtils {
int add(int a, int b) {
return a + b;
}
double add(double a, double b) {
return a + b;
}
int add(int a, int b, int c) {
return a + b + c;
}
}
在这段代码中,add
方法被重载了三次,分别接受两个整数、两个浮点数、三个整数作为参数。可根据参数的不同而实现不同的功能。
重写
重写是指子类重新定义父类中已有的方法。在继承关系中,当子类觉得父类的某个方法不满足自己的需求时,可以在子类中重新定义一个与父类中同名、同参数的方法来覆盖父类的那个方法。重写的目的是让子类具有特定的行为。
重写的特点
函数签名必须相同:这意味着子类中重写的函数必须拥有与父类中被重写函数相同的名称、返回类型(或协变返回类型)和参数列表。
父类函数必须是虚函数:只有虚函数可以被重写。如果父类中的函数不是虚函数,那么子类中具有相同函数签名的函数将不会被视为重写,而是隐藏。
访问权限:子类重写的函数访问权限可以不同于父类中的函数,但是通常保持一致是个好习惯。
const修饰符:如果父类函数是const的,子类重写的函数也必须是const的;反之亦然。
class Base {
public:
virtual void show() const { // 声明为虚函数
std::cout << "Base show" << std::endl;
}
};
class Derived : public Base {
public:
void show() const override { // 重写函数,并使用override确保重写
std::cout << "Derived show" << std::endl;
}
};
子类重写父类虚函数后,父类的虚函数将会被覆盖。
覆盖和隐藏
当子类定义了一个与父类同名的函数时,不管这个函数的参数列表是否相同,都会隐藏父类中所有同名函数。这种行为称为函数隐藏,而不是重载或重写。
隐藏而非重载:当子类定义了一个与父类同名的函数后,无论其参数列表是否相同,父类中所有同名函数都将被隐藏,不再能通过子类的对象直接访问。
使用作用域解析运算符:可以通过使用作用域解析运算符::
来访问被隐藏的父类函数。
使用using声明:子类可以通过using
声明来引入父类中同名函数的所有重载版本,以便在子类中可以像在父类中那样使用它们。
函数被隐藏:
#include <iostream>
class Base {
public:
void show() {
std::cout << "Base show()" << std::endl;
}
};
class Derived : public Base {
public:
void show(int x) { // 隐藏了父类中的show()
std::cout << "Derived show(int)" << std::endl;
}
};
int main() {
Derived d;
d.show(5); // 调用Derived::show(int)
// d.show(); // 错误:'show'在此作用域中未声明。因为Base::show()被隐藏了。
d.Base::show(); // 正确:使用作用域解析运算符调用Base::show()
return 0;
}
使用using声明引入父类函数:
#include <iostream>
class Base {
public:
void show() {
std::cout << "Base show()" << std::endl;
}
};
class Derived : public Base {
public:
using Base::show; // 引入Base类中所有show()函数的重载版本
void show(int x) {
std::cout << "Derived show(int)" << std::endl;
}
};
int main() {
Derived d;
d.show(5); // 调用Derived::show(int)
d.show(); // 现在可以调用Base::show()了
return 0;
}
判断问题:C++的派生类如果要覆盖一个继承到的成员函数,在基类中需要将该函数声明为virtual
是正确的,因为如果是子类声明了父类重名函数是隐藏而不是覆盖,只有重写虚函数才是对父类虚函数的覆盖。