tag 标签: 虚函数

相关博文
  • 热度 2
    2018-2-11 16:24
    1721 次阅读|
    0 个评论
    C++多态(1)
    1. 多态 多态是人类思维方式的一种直接模拟,多态性是指不同对象接收到相同的消息时,根据对象类的不同而产生不同的动作。多态性提供了同一个接口可以用多种方法进行调用的机制,从而可以通过相同的接口访问不同的函数。就是同一个函数名称,作用在不同的对象上将产生不同的行为。 多态从实现的角度来讲可以划分为两类:编译时的多态和运行时的多态。前者是在编译过程中确定了同名操作的具体操作对象,而后者是在程序运行过程中才动态地确定操作所针对的具体对象。这种确定操作的具体对象过程就是联编。联编是指计算机程序自身彼此关联的过程,即把一个标识符名和一个存储地址联系在一起的过程。在面向对象上来讲,就是把一条消息和一个对象的方法结合起来的过程。按照联编进行阶段的不同,分为:静态联编和动态联编,它们分别对应着多态的两种实现方式。 1.1 多态的引入 #includeiostream using namespace std; class Animal { public: void sleep() { cout "Animal sleep...." endl; } void breath() { cout "Animal breath..." endl; } }; class Fish:public Animal { void breath() { cout "Fish breath...." endl; } }; int main() { Fish fh; Animal *an = fh; an-breath(); system("pause"); return 0; } 在上述代码中,主函数定义了一个 Fish 类的对象 fh, 接着定义了一个指向 Animal 类的指针变量 an ,将 fh 的地址赋给了指针变量 an ,然后利用该变量调用 breath() 。这种情况很容易和 C++ 的多态性混淆 ,fh 是 Fish 类的对象,应该调用 Fish 的 breath() ,但是结果却不是这样的。 这是因为 C++ 编译器在编译的时候,要确定每个对象调用的函数地址,这称为早期绑定。当 Fish 类的对象 fh 的地址赋给 an 时, C++ 编译器进行了类型转换,编译器认为变量 an 保存的就是 Animal 对象的地址。所以在主函数调用的是 Animal 对象的 breath() 函数。此时, Fish 创建的对象 fh 在内存中的存储如下图所示。 在构造 Fish 类的对象时,系统首先要调用 Animal 的构造函数去构造 Animal 类的对象,然后才调用 Fish 类的构造函数完成自身部分的构造。因此,当将 Fish 类的对象转换为 Animal 类型时,该对象就被认为是原对象整个内存模型的上半部分,也就是图中“ Animal 的对象所占的内存”。当利用类型转换完成后的对象指针去调用它的方法时,是调用它所在的内存中的方法。 2 .函数重载 由静态联编支持的多态性称为编译时的多态性或静态多态性,也就是说,确定同名操作的具体对象的过程是在编译过程中完成的。可以用函数重载和运算符重载来实现编译时的多态性。 函数重载也称为多态函数,是实现编译时的多态性的形式之一。函数重载时,函数名相同,但是函数所带的参数个数或数据类型不同。函数重载分为两种情况: 参数个数或类型有所差别的重载; 函数的参数完全相同但属于不同的类; 当函数的参数完全相同但属于不同的类时,为了让编译器正确区分调用哪个类的同名函数,可以采用以下两种方法: 用对象名区别:在函数名前面加上对象名来限制; 用类名和作用域运算符加以区别; 3. 虚函数 由动态联编支持的多态性称为运行时的多态性或者动态多态性,也就是说同名操作的具体操作对象的过程是在运行过程中完成的。在 C++ 中,可以用虚函数来实现运行时的多态。虚函数是实现运行时多态的一个重要方式,是重载的另一种形式,实现的是动态重载,即函数调用与函数体之间的联系是在运行时建立的,也就是动态联编。 #includeiostream using namespace std; class Animal { public: void sleep() { cout "Animal sleep...." endl; } virtual void breath() { cout "Animal breath..." endl; } }; class Fish:public Animal { void breath() { cout "Fish breath...." endl; } }; int main() { Fish fh; Animal *an = fh; an-breath(); system("pause"); return 0; } 实事上,当将基类中的成员函数 breath() 声明为虚函数时,编译器在编译的时候发现 Animal 类中有虚函数,此时编译器会为每个包含虚函数的类创建一个虚表,该表是一个一维数组,在这个数组中存放每个虚函数的地址。上述代码中 Animal 类和 Fish 类都包含了一个虚函数 breath() ,因此编译器会为这两个类分别建立一个虚表。 当 Fish 类的 fh 对象构造完成后,其内部的虚表指针也就被初始化为指向 Fish 类的虚表。在类型转换后,调用 an-breath() ,由于 an 实际上指向的是 Fish 类的对象,该对象内部的虚表指针指向的是 Fish 类的虚表,因此最终调用的是 Fish 类的 breath() 函数。 下边说明使用派生类对象指针时应注意的问题: (1)声明为指向基类对象的指针可以指向它的公有派生类的对象,但不允许指向它的私有派生类的对象; (2)允许声明为指向基类对象的指针指向它的公有派生类的对象,但不允许将一个声明为指向派生类对象的指针指向基类的对象; (3)声明为指向基类对象的指针,当其指向它的公有派生类对象时,只能直接访问派生类中从基类继承下来的成员,不能直接访问公有派生类中定义的成员。要想访问,可以将基类指针用显式类型转换方式转换为派生类指针。 虚函数可以很好地实现多态,使用时要注意以下的问题: (1)虚函数的声明只能出现在类函数原型的声明中,不能出现在函数体实现的时候,而且基类中只有保护成员或公有成员才能被声明为虚函数; (2)在派生类中重新定义虚函数时,关键字 virtual 可以写可以不写,但是在容易引起混乱的地方,应该写上关键字; (3)动态联编只能通过成员函数来调用或通过指针、引用来访问虚函数,如果以对象名的形式来访问虚函数,将采用静态联编。 在派生类中重新定义基类中的虚函数,是函数重载的另一种形式,但是它与函数重载有如下区别: (1)一般的函数重载,要求其函数的参数或参数类型必须有所不同,函数的返回类型也可以不同; (2)重载一个虚函数时,要求函数名、返回类型、参数个数、参数类型和参数的顺序必须与基类中的虚函数的原型完全相同; (3)如果仅返回类型不同,其余相同,则系统会给出错误的信息; (4)如果函数名相同,而参数个数、参数的类型或者参数顺序不同,系统认为是普通的函数重载,虚函数的特性将被丢失。 3.1 多级继承和虚函数 多级继承可以看作是多个单继承的组合,多级继承的虚函数与单继承的虚函数的调用相同,一个虚函数无论被继承多少次,仍保持其虚函数的特性,与继承的次数无关。 #includeiostream using namespace std; class Base { public: virtual ~Base() {}; virtual void func() { cout "Base func..." endl; } }; class Derived1 :public Base { public: void func() { cout "Derived1 func..." endl; } }; class Derived2 :public Derived1 { public: void func() { cout "Derived2 func..." endl; } }; void test(Base b) { b.func(); } int main() { Base bobj; Derived1 d1Obj; Derived2 d2Obj; test(bobj); test(d1Obj); test(d2Obj); system("pause"); return 0; } 在上述代码中,定义了一个多级继承,在基类中定义了虚函数 func() ,在主函数调用该函数时,不同类创建的对象其调用的函数是不同的,即实现了多态“一个接口,多种实现”的功能。上述代码中在析构函数前加上关键字 virtual 进行说明,则该析构函数就称为虚析构函数。 使用虚析构函数时,要注意以下两点: (1)只要基类的析构函数被声明为虚析构函数,则派生类的析构函数无论是否使用 virtual 关键字进行声明,都自动成为虚函数; (2)如果基类的析构函数为虚函数,则当派生类未定义析构函数时,编译器所生成的析构函数也为虚函数; 一般来说,在程序中最好把基类的析构函数声明为虚函数。这将使所有派生类的析构函数自动成为虚函数 。这样,如果程序中用 delete 运算符准备删除一个对象,而 delete 运算符的操作对象是指向派生类对象的基类指针,系统会调用相应类的析构函数;否则系统会只执行基类的析构函数,而不执行派生类的析构函数,从而可能导致异常发生。 所以专业的编程人员一般习惯声明虚析构函数,即使基类不需要虚析构函数,也显式地定义一个函数体为空的虚析构函数,以保证在撤销动态存储空间时能得到正确的处理。 构造函数不能声明为虚函数,这是因为在执行构造函数时类对象还未完全建立过程,当然谈不上函数与类对象的关联。
相关资源
  • 所需E币: 0
    时间: 2021-3-24 18:59
    大小: 258.96KB
    上传者: samewell
    C++语言中的虚函数研究虚函数是面向对象的C++语言中的一个非常重要的概念.它充分体现了面向对象思想中的继承和多态性这两大特性,动态绑定是C++中实现多态的一个重要途径,虚函数是动态绑定
  • 所需E币: 0
    时间: 2021-3-17 17:15
    大小: 258.96KB
    上传者: czdian2005
    C++语言中的虚函数研究
  • 所需E币: 0
    时间: 2020-12-11 23:28
    大小: 270.5KB
    上传者: czdian2005
    C++语言中的虚函数研究.pdf
  • 所需E币: 0
    时间: 2020-6-18 18:02
    大小: 210.5KB
    上传者: Argent
    C++编程语言,面向对象编程思想,许多高校都已开设课程,学习一门编程语言,有利于锻造个人的思维能力,为后续软件编程打好坚实的基础。本手搜集的各高校老师的教课文本,笔记,有需要的建议下载保存,学习学习,希望对你有用。
  • 所需E币: 0
    时间: 2020-6-18 18:03
    大小: 583.5KB
    上传者: Argent
    C++编程语言,面向对象编程思想,许多高校都已开设课程,学习一门编程语言,有利于锻造个人的思维能力,为后续软件编程打好坚实的基础。本手搜集的各高校老师的教课文本,笔记,有需要的建议下载保存,学习学习,希望对你有用。