理解动态联编，探究C++ this指针和普通成员函数以及虚函数的关系

为什么可以通过虚函数的动态连编实现动态多态？

        经过一个中午的多方资料查询，我得出一个结论：普通成员函数是在调用的时候把this指针作为参数传进来，因而默认是调用当前类的这个函数，而虚函数是直接绑定在this指针上，也就是说在构造类的时候不仅像生成普通的成员函数一样，生成了虚函数（可能实现了也可能没实现）而且直接把虚函数的函数指针绑定到了this指针后面的地址里。所以可以把基类指针赋值为不同的派生类指针，通过这个基类指针调用不同派生类里面的虚函数。因为那些函数都已经绑定到实参上去了。而普通成员函数基类只能调用基类自己的，因为这些函数是把this指针作为参数传进来，而不是直接绑定到this指针上。所以关于this指针，我的理解是，他是有类型的，所谓指针的类型，所有类型的指针都是一个道理，起始地址加访问范围。

        在这里多说一点，我查资料查到一个博客写的非常透彻，学到了很多，但是有一点我不赞同，那篇博客里说this指针没有固定类型，对于普通成员函数，this指针是当前类的起始位置加当前类的范围，而对于虚函数，this指针是最初声明函数的这个类（基类）的起始地址加当前实现这个函数的这个类（这个派生类）的范围，但是我试验了一下，不管是对于什么函数，this指针的起始位置都是当前类的起始位置，所以我感觉this指针和其他所有的指针类型一样，是有自己的固定类型的，就是和结构体一样的道理呗。看图：

#include <iostream>
using namespace std;

class A {
public:
	virtual void fun() {
		cout << "father abstract: " << this << endl;
	}
	void f() {
		cout << "father ordinary " << this << endl;
	}
};
class B : public A {
public:
	void fun() {
		cout << "son abstract: " << this << endl;
	}
	void f() {
		cout << "son ordinary " << this << endl;
	}
};

int main() {
	A aa;
	B bb;
	aa.fun();
	aa.f();
	bb.fun();
	bb.f();
}

输出结果为：

总结：

        为什么虚函数能动态联编？因为虚函数直接绑定到this指针上了，而普通函数的调用是把this指针作为参数传进来。

附录：

        可以理解为基类指针被赋值为派生类对象地址之后调用普通成员函数，实际上还是基类指针类型调用的这个函数，所以即使是同名同参同返回值的函数，也只能调用基类自己的。但是对于虚函数，虽然也是基类指针类型调用的这个虚函数，但是虚函数绑定在这个地址后面了，这时候还管你什么指针类型？就是个十六进制长整型类型呗，都绑定在它后面了，肯定是调用派生类的呗。