首页 > 代码库 > 关于C++虚函数的一些东西
关于C++虚函数的一些东西
先上概念,C++的多态性:系统在运行时根据对象类型,来确定调用哪个重载的成员函数的能力。
多态性是通过虚函数实现的。成员函数之前加了virtual,即成为虚函数。
有虚成员函数的类,编译器在其每个对象的开始处自动加一个指针,称为虚表指针,因为它指向一个表,称为虚函数表,表的元素是函数指针,指向该类的虚成员函数代码块。
该类的所有对象共享一张表。关于虚表指针和虚函数表的具体信息,可以参考皓叔的 虚函数表解析 。
虚函数的定义要遵循以下规则:
1.如果虚函数在基类与派生类中出现,仅仅是名字相同,而形式参数或者返回类型不同,那么即使加上了virtual关键字,也不会实现多态的。
【基类/派生类对象只能直接访问各自定义的函数,虽然派生类对象的虚表里有基类的虚函数指针,但是派生类对象不能调用】 2.只有类的成员函数才能说明为虚函数,因为虚函数仅适合用与有继承关系的类对象,所以普通函数不能说明为虚函数。 3.静态成员函数不能是虚函数,因为静态成员函数是属于类的,不属于任意对象。【静态成员函数也不能是const成员函数,因为编译器会在对象的const函数中自动插入一个const T *this参数,而静态成员函数不属于对象】
4.内联(inline)函数不能是虚函数。即使虚函数在类的内部定义定义,编译的时候系统仍然将它看做是非内联的。
【内联函数在编译时可能会展开代码,这样内存的代码区就没有该函数的代码了,已经不是一个函数的概念了,自然虚表里面也没法保存函数指针了】 5.构造函数不能是虚函数,因为构造的时候,对象还是一片位定型的空间,只有构造完成后,对象才是具体类的实例。6.析构函数可以是虚函数,而且通常声名为虚函数。
【有派生类的基类,其析构函数必须为虚函数,这样析构的时候会先析构派生类对象,再析构基类对象,否则派生类的部分就没被析构】
看到上面的规则1,有三个概念要注意:
Overload(重载):将语义、功能相似的几个函数用同一个名字表示,但<参数>或<参数与返回值都>不同(参数个数、类型或顺序不同),即函数重载。(1)相同的范围(在同一个类中或同一个文件内的普通函数);(2)函数名字相同;(3)参数不同;(4)virtual 关键字可有可无。Override(覆盖):是指派生类函数覆盖基类函数,只能是虚函数,特征是:(1)不同的范围(分别位于派生类与基类);(2)函数名字相同;(3)返回值和参数相同;(4)基类函数必须有virtual 关键字。Overwrite(重写):是指派生类的函数屏蔽了与其同名的基类函数,规则如下:(1)如果派生类的函数与基类的函数同名,但是参数不同。不论有无virtual关键字,基类的函数将被隐藏(注意别与重载混淆)。 【规则1】(2)如果派生类的函数与基类的函数同名,并且参数也相同,但是基类函数没有virtual关键字。此时,基类的函数被隐藏(注意别与覆盖混淆)。
关于C++虚函数的一些东西
声明:以上内容来自用户投稿及互联网公开渠道收集整理发布,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任,若内容有误或涉及侵权可进行投诉: 投诉/举报 工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。