77 C++对象模型探索。虚函数- 从静态联编,动态联编出发,分析 虚函数调用问题探究

什么叫做单纯的类:

比较简单的类,尤其不包括 虚函数 和虚基类。

什么叫不单纯的类:

从上一章的学习我们知道,在某些情况下,编译器会往类内部增加一些我们看不见但是真实存在的成员变量,例如vptr,有了这种变量的类,我们叫做不单纯的类。

同时,这种隐藏的成员变量的增加(使用)或者赋值的时机,往往都是在执行构造函数体之前,或者拷贝构造函数体之前。

这样做的问题?

因此,很容易想到,如果在构造函数体中有memset(this,0,sizeof(Teacher)) 这样的代码,就会把 编译器往类内部增加的vptr清空。

如果在copy构造函数中,使用了memcpy(this,&tm,sizeof(Teacher)); 这样的代码,就会把tm的vptr的值 copy 到this中去,很显然,这也是有问题的。

验证此问题的存在。

//验证在构造方法和copy构造方法中使用了memset 让vptr清空;和使用memcpy 后,让this的vptr的值和tm一样的问题

//要有vptr,就需要有virtual 函数
class Teacher41 {
public:
	Teacher41() {
		memset(this,0,sizeof(Teacher41));
		cout << "Teacher41的构造方法被执行" << endl;
	}

	Teacher41(const Teacher41 & tm) {
		memcpy(this,&tm,sizeof(Teacher41));
		cout << "Teacher41的copy构造方法被执行" << endl;
	}
	virtual void virfunc() {
		cout << "Teacher41 virfunc 方法被执行" << endl;
	}

	virtual ~Teacher41() {
		cout << "Teacher41的析构方法被执行" << endl;
	}

};

void main() {
	Teacher41 tea;//理论上,Teacher41在构造函数中会将vptr的值清空
	Teacher41 *ptea = &tea;
	long * temptea = (long *)ptea;
	long* vptr = (long *)(*temptea);

	cout << "断点在这里" << endl;

}

我们debug看到,如上的代码看到vptr里面的值果然变成了0X00000000

如果将上面的memset 和 memcpy 的代码注释掉,debug发现,vptr的就有具体的值的了

继续验证此问题的存在

那么按照推论,这时候我们再去访问 virtual 的函数就会有问题。因为vptr指针都指向了了0X00000000,那么通过vptr查找的时候,一定会有nullpoint exception,或者访问非法路径的问题。当然也无法通过vptr找到虚函数表。

当我们执行如下的代码访问虚函数 virfunc的时候,代码居然正常运行了。

使用类对象调用虚函数:OK

	Teacher41 tea1;
	tea1.virfunc();

//运行结果:Teacher41 virfunc 方法被执行

按照我们之前的理解,这个能正常运行的结论是不对的。

再使用指针访问虚函数:error

	Teacher41 tea;//理论上,Teacher41在构造函数中会将vptr的值清空
	Teacher41 *ptea = &tea;
	long * temptea = (long *)ptea;
	long* vptr = (long *)(*temptea);
	ptea->virfunc();
	cout << "断点在这里" << endl;

原因:这里就需要知道什么是静态联编,什么是动态联编。

这里虽然有虚函数指针,但是由于类对象调用,是静态联编,虽然将vptr的置为0X00000000了,但是由于静态联编是早都绑定了,不需要使用vptr,因此不会有问题发生。

什么叫联编?

在C++中,联编是指一个计算机程序的不同部分彼此关联的过程。按照联编所进行的阶段不同,可分为两种不同的联编方法:静态联编和动态联编。

1.静态联编

静态联编是指联编工作在编译阶段完成的,这种联编过程是在程序运行之前完成的,又称为早期联编。要实现静态联编,在编译阶段就必须确定程序中的操作调用(如函数调用)与执行该操作代码间的关系,确定这种关系称为束定,在编译时的束定称为静态束定。静态联编对函数的选择是基于指向对象的指针或者引用的类型。其优点是效率高,但灵活性差。

例1 :静态联编

class A
{
public:
	void f() { cout << "A" << ""; }
};

class B:public A
{
public:
	void f() { cout << "B" << endl; }
};

void main()
{
	A a;
	B b;
	A *pa = NULL;
	pa = &a;
	pa->f();
	pa = &b;//会把b继承a的部分赋值给pa
	pa->f();

}

该程序的运行结果为:A   A

从例1程序的运行结果可以看出,通过对象指针进行的普通成员函数的调用,仅仅与指针的类型有关,而与此刻指针正指向什么对象无关。要想实现当指针指向不同对象时执行不同的操作,就必须将基类中相应的成员函数定义为虚函数,进行动态联编。

2.动态联编:

动态联编是指联编在程序运行时动态地进行,根据当时的情况来确定调用哪个同名函数,实际上是在运行时虚函数的实现。这种联编又称为晚期联编,或动态束定。动态联编对成员函数的选择是基于对象的类型,针对不同的对象类型将做出不同的编译结果。C++中一般情况下的联编是静态联编,但是当涉及到多态性和虚函数时应该使用动态联编。动态联编的优点是灵活性强,但效率低。

动态联编规定,只能通过指向基类的指针或基类对象的引用来调用虚函数,其格式为:指向基类的指针变量名->虚函数名(实参表)或基类对象的引用名.虚函数名(实参表)

实现动态联编需要同时满足以下三个条件:

① 必须把动态联编的行为定义为类的虚函数。

② 类之间应满足子类型关系,通常表现为一个类从另一个类公有派生而来。

③ 必须先使用基类指针指向子类型的对象,然后直接或者间接使用基类指针调用虚函数

例 2 动态联编

 
#include"iostream.h"
using namespace std;
 
classA
{
	public:
    virtual void f()//虚函数
    {cout<<"A"<<"";}
};
 
classB:public A
{
    public:
    virtual void f()//虚函数
    {cout<<"B"<<endl;}
};
 
void main()
{ 
    A*pa=NULL;
    A a;
    B b;
    pa=&a;
    pa->f();
    pa=&b;
    pa->f();
}

该程序的运行结果为:A  B

从例2程序的运行结果可以看出,将基类A中的函数f定义为虚函数后,当指针指向不同对象时执行了不同的操作,实现了动态联编。

动态联编要求派生类中的虚函数与基类中对应的虚函数具有相同的名称、相同的参数个数和相同的对应参数类型、返回值或者相同,或者都返回指针或引用,并且派生类虚函数所返回的指针或引用的基类型是基类中虚函数所返回的指针或引用的基类型的子类型。

如果不满足这些条件,派生类中的虚函数将丢失其虚特性,在调用时进行静态联编。

例 3 通过指向基类的指针来调用虚函数

#include <iostream>
using namespace std;
 
class base
{	
public:	
	virtual void fun1(){
		cout<<"base fun1"<<endl;
	}
	
	virtual void fun2(){
		cout<<"base fun2"<<endl;
	}
	
	void fun3(){
		cout<<"base fun3"<<endl;
	}
	
	void fun4(){
		cout<<"base fun4"<<endl;
	}
	
};
 
class derived:public base
{
public:	
	virtual void fun1(){
		cout<<"derived fun1"<<endl;
	}
	
	virtual void fun2(int x){
		cout<<"derived fun2"<<endl;
	}
	
	virtual void fun3(){
		cout<<"derived fun3"<<endl;
	}
	
	void fun4(){
		cout<<"derived fun4"<<endl;
	}
};
 
int main()
 
{
	base *pb;
	derived d;
	pb=&d;   //通过指向基类的指针来调用虚函数
	pb->fun1();
	pb->fun2();
	pb->fun3();
	pb->fun4();
	return 0;
}

输出结果为:

Derived fun1

base fun2

base fun3

base fun4

分析:本例中函数fun1在基类base和派生类derived中均使用了关键字virtual定义为虚函数,并且这两个虚函数具有相同的参数个数、参数类型和返回值类型。因此,当指针pb访问fun1函数时,采用的是动态联编。函数fun2在基类base和派生类derived中定义为虚函数,但这两个虚函数具有不同的参数个数,函数fun2丢失了其虚特性,在调用时进行静态联编。函数fun3在基类base中说明为一般函数,在派生类derived中定义为虚函数。在这种情况下,应该以基类中说明的成员函数的特性为标准,即函数fun3是一般成员函数,在调用时采用静态联编。函数fun4在基类base和派生类derived中均说明为一般函数,因此基类指针pb只能访问base中的成员。

例 4:通过基类对象的引用来调用虚函数

 
#include <iostream>
using namespace std;
 
class CPoint
{
public:
	CPoint(double i,double j){
		x=i;
		y=j;
	}
 
	virtual double Area(){
		return 0;
	}
	
private:	
	double x,y;
	
};
 
class CRectangle:public CPoint
{
public:
	CRectangle(double i, double j, double k, double l);
 
	double Area(){
		return w*h;
	}
 
private:
	double w,h;
		
};
 
CRectangle::CRectangle(double i, double j, double k, double l):CPoint(i,j)
{ 
	w=k;
	h=l; 
}
 
void fun(CPoint &s)
{  
	cout<<s.Area()<<endl; 
 }//通过基类对象的引用来调用虚函数
 
 
int  main()
{	
	CRectangle rec(3, 5.2, 15, 25);	
	fun(rec);	
	return 0;
}

该程序的运行结果为:375

 例4中的成员函数Area在基类CPoint中使用了关键字virtual定义为虚函数,在派生类CRectangle中定义为一般函数,但是进行了动态联编(以基类为准),结果为15*25即375。这是因为一个虚函数无论被公有继承多少次,它仍然保持其虚特性。在派生类中重新定义虚函数时,关键字virtual可以写也可不写,但为了保持良好的编程风格,避免引起混乱时,应写上该关键字。

结论:

不要在构造函数中,直接使用memset。

不要在copy 构造函数中,直接使用memcpy。

在有虚函数的类中,只要使用了指针,或者使用了引用,都不要使用mem之类的函数,不要将整个空间清空,拷贝,移动之类的。

额外的验证 在其他地方能用这个memset 和 memcpy吗?

验证一下:

在构造函数和copy构造函数中,已经取消了 memset 和 metcpy

使用指针,发生异常

	Teacher41 tea1;
	Teacher41 *ptea1 = &tea1;
	memset(ptea1, 0, sizeof(Teacher41));
	ptea1->virfunc();

不使用指针,不使用引用

如下的是OK的。

	Teacher41 tea1;
	memset(&tea1,0,sizeof(Teacher41));
	tea1.virfunc();

  • 28
    点赞
  • 17
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值