C++运行时

C++当涉及到多态时，具有虚函数的子类就具有动态类型了。

C++的RTTI技术用来在运行时，提供运行时的类型信息。RTTI的使用通过两个关键字dynamic_cast 和 typeid  。两个关键字都是在运行时起作用，需要虚函数表的支持。说到这里需要了解C++对象的内存分布。

下边是一张网上的图片点击打开链接：

图中是VC++编译器的实现。虚函数表中，索引为 -1 的地方，是一个指向Complete Object Locator（完全对象定位器）类型对象的指针，根据这个对象，可以获知整个类继承的图谱。GCC中索引为-1的地方，貌似只是一个指向typeinfo 对象的指针。

另外，类的非静态成员函数虽然有个隐私的this指针作为第一个参数，不过由于非静态成员函数的调用与约定是__thiscall，this指针参数不入栈，而是直接放到寄存器当中。而一般的自定义函数的调用约定是__cdecl。

class BaseClass
{
public:
	virtual void __cdecl  func(int i)   //显示的声明调用约定为__cdecl
	{
		cout << "  "<< i + m_i<<"  "<< endl;
	}

private:
	int m_i = 100;
};

typedef void (*Fptr)(BaseClass* other, int a);

int main()
{
	BaseClass obj;
	int **vpt = (int**)*(int**)&obj;
	((Fptr)vpt[0])(&obj, 100);

	system("pause");
	return 0;
}

虚函数表指针位于对象的起始地址，由于虚函数表中的元素是函数指针，所以对象的起始4个字节是二级指针，*(int**)&obj 之后，按int* 类型获取其起始四个字节的内容，接着将这个int* 类型转换为int**, 这样 vpt[0] 便得到表中索引为0的元素，得到的类型为int*，需要转换为函数指针，该函数指针所指的即为成员函数函数func。

dynamic_cast关键字的运行同样需要多态的支持，否则编译器就会发生错误，提示所指对象的类型不是多态类。dynamic_cast 用来转换相互之间具有基层关系的类型转换。总的来说，转换的结果如果是将指针或引用指向一个包含该指针或引用类型（静态类型）的subObject（子对象）的时候，转换才会成功。否则的话，指针时返回的值为空，而引用的情况则会发生异常。

class A {
	int a;
public:
	/*virtual void f()
	{
		cout << "virtual f";
	}*/
	~A() {
		cout << "~A()";
	}
};

class B{
	int b;
public:
	virtual ~B() {
		cout << "~B()";
	}
};
class C : public A, public B {
	int c;
public:
	~C() {
		cout << "~C()";
	}
};
int main() {
	C * c = new C;
	B * b1 = dynamic_cast<B*> (c);
	A * a2 = dynamic_cast<A*>(b1);
	cout << c << endl;
	//c->~C();
	cout << b1 << endl;
	//b1->~B();
	cout << a2 << endl;
	//a2->f();
        a2->~A();
         system("pause");
	return 0;
}

注意这里A的析构函数是非虚的，但是B和C的析构函数是虚拟的（因为B是虚拟的，所以C自动为虚拟的），若A没有虚函数，那么C对象中的B的子对象会放在A的子对象的前边（而不是通常的左往右的顺序），另外，基类指针指向子类对象时，实际会做调整，指向子类对象中的基类子对象，不过上边的b1 虽然实际指向的B在C中的子对象，动态类型转换（注意这里B含有虚函数，是多态类，否则直接编制错误，提示非多态类），仍然可以转化为A。

另外，由于C的析构函数是虚拟的，所以上边的 b1->~B() 实际调用的是C的析构函数，不过C的析构函数中，会调用B和A的析构函数，所以无论是b1->~B() 还是 c->~C() (猜测: C++继承时，基类的析构函数如果是虚的，派生类的析构函数最后可能通过某种name mangling方式，和基类的析构函数的名称变为一样的 ), 都能正确的调用~C()~B()~A() ， 都能正确的析构；不过由于A的析构函数是非虚拟的，所以 a2->~A() 只会调用A的析构函数，输出为 ~A().