为什么要有override

最新推荐文章于 2025-11-22 23:45:52 发布

原创最新推荐文章于 2025-11-22 23:45:52 发布 · 470 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#c++

C++IE 专栏收录该内容

9 篇文章

订阅专栏

文章讨论了多态在编程中的局限性，指出子类如果没有严格重写父类的虚函数，即使使用多态也可能达不到预期。override的存在有助于确保函数重写并用于多态，同时指出直接覆盖而非virtual也能实现多态，但不够直观。

多态一定会成功吗

因为逻辑是用户编写的，那么肯定会有遗漏的地方，那就要规则来限制。就比如多态，都知道条件之一是子类重写了父类的虚函数，但是如果子类没有严格遵守这个规则，就无法达到目的。就比如这个代码：

class A {
public:
	virtual void aaa(int i) const{
		cout << "aaa" << endl;
	}

};
class B :public A {
	virtual void aaa(int i) {
		cout << "bbb" << endl;
	}
};
void help(A& a){
	a.aaa(11);
}
int main(){
	B b;
	help(b);
	return 0;
}

刚开始看会以为这是个多态，但其实这并不是，会打印aaa而不是bbb。

为什么呢？因为aaa函数并没有被严格地重写：const属性丢失了。

这其实挺难发现的，因为编译器也并不会去给我们指出来，毕竟多态也并不是一定要实现。

所以这时候就体现override的作用，添加override后：

在这里插入图片描述

还有一种好处是：能让人知道这个函数是重写并且是用作多态的。

虽然子类直接覆盖父类的虚函数但是不加virtual也能达到多态：

// 输出bbb
class A {
public:
	virtual void aaa(int i){
		cout << "aaa" << endl;
	}

};
class B :public A {
	void aaa(int i){
		cout << "bbb" << endl;
	}
};

但是这样会更直观：

// 输出bbb
class A {
public:
	virtual void aaa(int i){
		cout << "aaa" << endl;
	}
};
class B :public A {
	void aaa(int i) override{
		cout << "bbb" << endl;
	}
};