【c++】虚函数描述符override

在C++11中为了帮助程序员写继承结构复杂的类型,引入了虚函数描述符override,如果派生类在虚函数声明时使用了override描述符,那么该函数必须重载其基类中的同名函数,否则代码将无法通过编译。我们来看一下如代码清单2-25所示的这个简单的例子。

代码清单2-25

struct Base {

virtual void Turing() = 0;

virtual void Dijkstra() = 0;

virtual void VNeumann(int g) = 0;

virtual void DKnuth() const;

void Print();

};

struct DerivedMid: public Base {

// void VNeumann(double g);

// 接口被隔离了,曾想多一个版本的VNeumann函数

};

struct DerivedTop : public DerivedMid {

void Turing() override;

void Dikjstra() override;           // 无法通过编译,拼写错误,并非重载

void VNeumann(double g) override;   // 无法通过编译,参数不一致,并非重载

void DKnuth() override;             // 无法通过编译,常量性不一致,并非重载

void Print() override;              // 无法通过编译,非虚函数重载

};

// 编译选项:g++ -c -std=c++11 2-10-3.cpp

在代码清单2-25中,我们在基类Base中定义了一些virtual的函数(接口)以及一个非virtual的函数Print。其派生类DerivedMid中,基类的Base的接口都没有重载,不过通过注释可以发现,DerivedMid的作者曾经想要重载出一个“void VNeumann(double g)”的版本。这行注释显然迷惑了编写DerivedTop的程序员,所以DerivedTop的作者在重载所有Base类的接口的时候,犯下了3种不同的错误:

函数名拼写错,Dijkstra误写作了Dikjstra。

函数原型不匹配,VNeumann函数的参数类型误做了double类型,而DKnuth的常量性在派生类中被取消了。

重写了非虚函数Print。

如果没有override修饰符,在代码清单2-25中,DerivedTop作者的4处可以编译过去 但是与他的愿意(想重载虚函数)有严重的偏差了 但是编译器不报错,继续编译下去 这样就难排查了。加上关键字override
这样编译器可以辅助检查是不是正确重载 。
如果没有override修饰符 DerivedTop的作者可能在编译后都没有意识到自己犯了这么多错误。因为编译器对以上3种错误不会有任何的警示。这里override修饰符则可以保证编译器辅助地做一些检查。我们可以看到,在代码清单2-25中,DerivedTop作者的4处错误都无法通过编译。

此外,值得指出的是,在C++中,如果一个派生类的编写者自认为新写了一个接口,而实际上却重载了一个底层的接口(一些简单的名字如get、set、print就容易出现这样的状况),出现这种情况编译器还是爱莫能助的。不过这样无意中的重载一般不会带来太大的问题,因为派生类的变量如果调用了该接口,除了可能存在的一些虚函数开销外,仍然会执行派生类的版本。因此编译器也就没有必要提供检查“非重载”的状况。而检查“一定重载”的override关键字,对程序员的实际应用则会更有意义。

还有值得注意的是,如我们在第1章中提到的,final/override也可以定义为正常变量名,只有在其出现在函数后时才是能够控制继承/派生的关键字。通过这样的设计,很多含有final/override变量或者函数名的C++98代码就能够被C++编译器编译通过了。但出于安全考虑,建议读者在C++11代码中应该尽可能地避免这样的变量名称或将其定义在宏中,以防发生不必要的错误。

建议:如果派生类里面是像重载虚函数 就加上关键字override 这样编译器可以辅助检查是不是正确重载,如果没加这个关键字 也没什么严重的error 只是少了编译器检查的安全性

【c++】虚函数描述符override,布布扣,bubuko.com

时间: 2024-10-16 08:05:24

【c++】虚函数描述符override的相关文章

【C/C++学院】0825-类模板/final_override/类模板与普通类的派生类模板虚函数抽象模板类/类模板友元/位运算算法以及类声明/Rtti 实时类型检测/高级new创建/类以及函数包装器

类模板 类模板多个类型默认类型简单数组模板 #pragma once template <class T=int>//类模板可以有一个默认的值 class myArray { public: myArray(); ~myArray(); }; #include "myArray.h" template <class T=int>//每一个函数都需要加上一个默认的值 myArray<T>::myArray() //类模板成员函数在外部,需要加载类型初始

你好,C++(37)上车的人请买票!6.3.3 用虚函数实现多态

6.3.3  用虚函数实现多态 在理解了面向对象的继承机制之后,我们知道了在大多数情况下派生类是基类的“一种”,就像“学生”是“人”类中的一种一样.既然“学生”是“人”的一种,那么在使用“人”这个概念的时候,这个“人”可以指的是“学生”,而“学生”也可以应用在“人”的场合.比如可以问“教室里有多少人”,实际上问的是“教室里有多少学生”.这种用基类指代派生类的关系反映到C++中,就是基类指针可以指向派生类的对象,而派生类的对象也可以当成基类对象使用.这样的解释对大家来说是不是很抽象呢?没关系,可以

虚函数和抽象函数

虚函数是有代码的并明确允许子类去覆盖,但子类也可不覆盖,就是说可以直接用,不用重写   抽象函数是没有代码,子类继承后一定要重写 在一个类中用虚函数:   是因为在超类中的有实际代码的方法,但明确允许子类可以作重写   而且当子类重写后,可以用子类实例超类:如果这样,超类变量调用虚函数时,执行的是子类的方法       在一个类中用抽象函数   是在写超类时不确定函数的代码,让子类去实现   抽象函数没有方法体. 简单来说虚函数(Virtual)已经包含了也必须包含默认的实现,所以在派生类中可以

C#基础(七)虚函数

若一个实例方法声明前带有virtual关键字,那么这个方法就是虚方法.虚方法与非虚方法的最大不同是,虚方法的实现可以由派生类所取代,这种取代是通过方法的重写实现的(以后再讲)虚方法的特点:虚方法前不允许有static,abstract,或override修饰符虚方法不能是私有的,因此不能使用private修饰符虚方法的执行:我们知道一般函数在编译时就静态地编译到了执行文件中,其相对地址在程序运行期间是不发生变化的,而虚函数在编译期间是不被静态编译的,它的相对地址是不确定的,它会根据运行时期对象实

C++ 虚函数 、纯虚函数、接口的实用方法和意义

也许之前我很少写代码,更很少写面向对象的代码,即使有写多半也很容易写回到面向过程的老路上去.在写面向过程的代码的时候,根本不管什么函数重载和覆盖,想到要什么功能就变得法子的换个函数名字,心里想想:反正函数重载本质也就是入栈了两个不同的函数. 回过头来讲,让我了解标题这三个概念的实际用处,还是在于我这第四次重写毕业论文的代码,将它改写成面向对象的时候,才理解的.在面向对象设计的过程中, 类是从抽象逐渐具体起来的,父类可以是非常非常抽象的东西,而最终实例化的子类就非常具体了.在这个继承的过程中,不断

【足迹C++primer】52、转换和继承,虚函数

转换和继承,虚函数 Understanding conversions between base and derived classes is essential to understanding how object-oriented programming works in C++. 理解基类和派生类之间的转换是必不可少的 理解面向对象编程在. Like built-in pointers, the smart pointer classes (§12.1, p. 450) support

虚函数、抽象函数以及接口的区别

抽象函数: 1,使用abstract关键字声明 2,强制继承者重写override,声明时不提供自身的实现 3,抽象类不能被实例化 4,抽象方法不提供自身的实现,并且强制子类重写 虚函数: 1,允许被重写,但不强制要求.声明时提供其自身实现 接口(interface) 1,接口就是协议,其声明的成员(属性,方法,事件和索引器)必须由其继承的类实现.接口不能直接被实例化. 虚方法与抽象方法的区别在于,虚方法提供自身的实现,并且不强制要求子类重写:而抽象方法不提供自身的实现,并且强制子类重写. 抽象

C++学习之路:虚函数与多态

summery:主要有以下几个内容 1.多态 2.静态绑定与动态绑定 3.虚函数 4.虚表指针 5.object slicing与虚函数 6.overload override overwrite的区别   @什么是多态性?  #多态是面向对象程序设计的重要特征之一 #多态性是指发出同样的消息被不同类型的对象接收时有可能导致完全不同的行为 #多态的实现:  $函数重载 $运算符重载 $模板  $虚函数 前三个都属于静态绑定, 虚函数属于动态绑定 tip: {静态绑定}:绑定过程出现在编译阶段,在

【足迹C++primer】52、,转换和继承虚函数

转换和继承,虚函数 Understanding conversions between base and derived classes is essential to understanding how object-oriented programming works in C++. 理解基类和派生类之间的转换是不可缺少的 理解面向对象编程在. Like built-in pointers, the smart pointer classes (§12.1, p. 450) support