虚函数与虚析构函数原理

#define SHAPE_H

#include <iostream>

using namespace std;

class Shape{

public:

Shape();

~Shape();

double calcArea();

};

#endif

Shape::Shape()

{

//cout << "Shape()" << endl;

}

Shape::~Shape()

{

//cout << "~Shape()" << endl;

}

double Shape::calcArea()

{

//cout << "Shape::calcArea()" << endl;

return 0;

}

#define CIRCLE_H

#include "Shape.h"

class Circle :public Shape

{

public:

Circle(int r);

~Circle();

protected:

int m_iR;

};

#endif

Circle::Circle(int r)

{

m_iR = r;

//cout << "Circle()" << endl;

}

Circle::~Circle()

{

//cout << "~Circle()" << endl;

}

#include "Circle.h"

#include <iostream>

using namespace std;

int main(void)

{

Shape shape;

//对象的大小是其数据成员大小的总和这里对象shape没有任何的数据成员

//理论上其所占的内存单元是0

//

//但实际上却打印出了1 这是因为shape在实例化的时候要标明自己的存在

//而C++对一个数据成员都没有的对象用1个内存单元去标记它只是标记它的存在

cout << sizeof(shape) << endl;

//指针p是int型的而shape是Shape类型的取地址时不能直接指

//必须使用强制类型转换将Shape类型的地址转换成int型的

int *p = (int *)&shape;

//打印出对象shape的地址

cout << p << endl;

//cout << (unsigned int)(*p) << endl;

Circle circle(100);

//这里的circle有一个int型的数据成员m_iR 理论上应该打印出4

//实际上也是4 而不是5 没有加1

//因为它已经有了数据成员能够标记出自己的存在

//不需要额外的内存单元来标记自己的存在

cout << sizeof(circle) << endl;

int *q = (int *)&circle;

//打印出对象circle的地址

cout << q << endl;

//circle的地址第一个位置应该放的就是其数据成员m_iR

//即m_iR处在对象地址的第一个位置指针q就是指向了m_iR

//这里的 unsigned int 要不要均可

//会打印出实例化circle时传入的100

cout << (unsigned int)(*q) << endl;

/*q++;

cout << (unsigned int)(*q) << endl;*/

system("pause");

return 0;

}

//概念：

//（1）对象的大小：在类实例化出的对象中，它的数据成员所占据的内存大小

//(注意：是数据成员，而不包括成员函数）

//

//（2）对象的地址：通过一个类实例化了一个对象，该对象在内存中会占有

//一定的内存单元，该内存单元的第一个内存单元的地址，即对象的地址

//

//（3）数据成员的地址：当用一个类去实例化一个对象之后，这个对象当中可能

//有一个或多个数据成员，每一个数据成员所占据的地址，就是这个对象的数据成

//员地址。对象的每一个数据成员，因为数据类型可能不同，所以占据的内存大小

//也有不同，地址也是不同的

//

//（4）虚函数表指针：在具有虚函数的情况下，实例化一个对象时，该对象的

//第一块内存中所存储的是一个指针，即虚函数表指针，因为它也是一个指针，

//所以占据的内存大小也应该是 4

#define SHAPE_H

#include <iostream>

using namespace std;

class Shape

{

public:

Shape();

~Shape();

//double calcArea();

//virtual ~Shape();

virtual double calcArea();

};

#endif

Shape::Shape()

{

//cout << "Shape()" << endl;

}

Shape::~Shape()

{

//cout << "~Shape()" << endl;

}

double Shape::calcArea()

{

//cout << "Shape::calcArea()" << endl;

return 0;

}

#define CIRCLE_H

#include "Shape.h"

class Circle :public Shape

{

public:

Circle(int r);

~Circle();

protected:

int m_iR;

};

#endif

Circle::Circle(int r)

{

m_iR = r;

//cout << "Circle()" << endl;

}

Circle::~Circle()

{

//cout << "~Circle()" << endl;

}

#include "Circle.h"

//通过计算对象的大小来证明虚函数表指针的存在

int main(void)

{

Shape shape;

//当类中出现虚函数或虚析构函数（任一或同时只要有"虚"）时

//随着类的实例化,对象的数据成员中产生了虚函数表指针vftable_ptr

//(和普通的指针一样占4个基本内存单元）所以应该打印出4

cout << sizeof(shape) << endl;

int *p = (int *)&shape;

cout << p << endl;//此时shape的前4个内存单元就是虚函数指针所在

cout << (unsigned int)(*p) << endl;

//继承了父类的虚函数那么也会产生虚函数表（内含指向成员函数入口的指针）

//同时在circle的数据成员中产生指向虚函数表首地址的虚函数表指针

Circle circle(100);

cout << sizeof(circle) << endl;

int *q = (int *)&circle;

//虚函数表指针的地址

cout << q << endl;

//虚函数表指针中存的指向虚函数表的地址

cout << (unsigned int)(*q) << endl;

q++;

//对象的前四个基本内存单元是虚函数表指针的所在

//后四个基本内存单元是m_iR的所在

cout << (unsigned int)(*q) << endl;

system("pause");

return 0;

}

//两个类各自产生自己的虚函数表和虚函数表指针

//（1）当只有Shape类中有double calcArea(); 并带virtual时两个虚函数

//表里指向calcArea()的指针相同（此时Circle类中没有定义calcArea()）

//（2）当Circle类中也有 double calcArea();父类中有virtual时两个虚函

//数表里指向calcArea()的指针就不同了

//

//

//子类中定义了计算面积的函数那么虚函数表中关于计算面积的函数指针就

//【覆盖】掉了父类中的原有指针的值

//

//如果没有子类中没有定义同名的计算面积的虚函数那么子类的虚函数表里

//就会使用父类的虚函数表里的相应的函数指针（函数入口地址）

//

//如果子类也定义了同名的虚函数在子类的虚函数表中就会把原来的父类的

//虚函数地址给【覆盖】掉覆盖成子类的虚函数的函数地址

//

//

//虚析构函数在父类中通过virtual 修饰析构函数之后通过父类指针指向子类

//对象再通过delete 接父类指针就可以释放掉子类对象

//

//理论前提：执行完子类的析构函数就会执行父类的析构函数

//

//那么如果我们使用父类的指针通过delete的方式去释放子类的对象只要能做到

//通过父类的指针执行到子类的析构函数就可以实现了

//

//虚析构函数没有【覆盖】现象