C++虚函数

此篇笔记记录我对于C++虚函数的简单探索，由于非虚继承出现多个基类部分会产生代码冗余，所以源代码都是虚继承，使每个基类部分都只有一份。以此简单谈谈C++中虚函数表的布局。

单继承

class A {
	public:
		A(int value = 0):a(value) {}
		virtual void f() { std::cout << "A f()" << std::endl; }
		virtual void f2() { std::cout << "A f2()" << std::endl; }
		virtual ~A() { std::cout << "~A()" << std::endl; }
	private:
		int a;
};
class D : virtual public A {
	public:
		D(int value = 0):A(value), d(value) {}
		void f() { std::cout << "D f()" << std::endl; }  //override f()
		virtual void fd() { std::cout << "D fd()" << std::endl; }
		virtual void fd2() { std::cout << "D fd2()" << std::endl; }
	private:
		int d;
};

由图中可以看出f()函数出现在了子类的虚函数表中

二重继承

class A {
	public:
		A(int value = 0):a(value) {}
		virtual void f() { std::cout << "A f()" << std::endl; }
		virtual void f2() { std::cout << "A f2()" << std::endl; }
		virtual ~A() { std::cout << "~A()" << std::endl; }
	private:
		int a;
};
class B {
	public:
		B(int value = 0):b(value) {}
		virtual void fb() { std::cout << "B fb()" << std::endl; }
		virtual void fb2() { std::cout << "B fb2()" << std::endl; }
		virtual ~B() { std::cout << "~B()" << std::endl; }
	private:
		int b;
};
class D:virtual public A,virtual public B {
	public:
		D(int value = 0):A(value), B(value), d(value) {}
		virtual void fd() { std::cout << "D fd()" << std::endl; }
		virtual void fd2() { std::cout << "D fd2()" << std::endl; }
		virtual ~D() { std::cout << "~D()" << std::endl; }
		void f() { std::cout << "D f()" << std::endl; } //override f()
		void fb() { std::cout << "D fb()" << std::endl; } //override fb()
	private:
		int d;
};

由虚函数表f()，fb()已经被override了，并且它们在虚函数表中的位置与实际在源代码中的位置有关.
由于D先继承class A,然后继承class B，所以A的虚函数表的位置在B之前。(虚函数表位置从低地址到高地址如图从上到下)

菱形继承

class A{
	public:
		A(int value = 0): a(value) {}
		virtual void f() { std::cout << "A f()" << std::endl; }
		virtual void f2() { std::cout << "A f2()" << std::endl; }
		virtual void ~A() { std::cout << "~A()" << std::endl; }
	private:
		int a;
};
class B : virtual public A{
	public:
		B(int value = 0): A(value), b(value) {}
		virtual void fb() { std::cout << "B fb()" << std::endl; }
		virtual void fb2() { std::cout << "B fb2()" << std::endl; }
		virtual ~B() { std::cout << "~B()" << std::endl; }
	private:
		int b;
};
class C : virtual public A{
	public:
		C(int value = 0): A(value), c(value) {}
		virtual void fc() { std::cout << "C fc()" << std::endl; }
		virtual void fc2() { std::cout << "C fc2()" << std::endl; }
		virtual ~C() { std::cout << "~C()" << std::endl; }
	private:
		int c;
};
class D: virtual public B, virtual public C {
	public:
		D(int value = 0):B(value), C(value), d(value) {}
		void f() { std::cout << "D f()" << std::endl; } //override f()
		void fb() { std::cout << "D fb()" << std::endl; } //override fb()
		void fc() { std::cout << "D fc()" << std::endl; } //override fc()
		virtual void fd() { std::cout << "D fd()" << std::endl; }
		virutal void fd2() { std::cout << "D fd2()" << std::endl; }
		virtual ~D() { std::cout << "~D()" << std::endl; }
	private:
		int d;
};

由于是虚继承所以只有一份class A的虚函数表，其中f()，fb(),fc()出现在了class D的虚函数表中，并且顺序与在源代码中的顺序相同.
由于是先继承了class B，所以其虚函数表的位置比class C的低，同理class A的虚函数表被包含在class B中，并且由于是虚继承所以只存在一份，在class C中没有关于class A的虚函数表

总结一下：就虚函数表位置方面来说，基类在最低的地址处，其次按照继承顺序虚函数表的位置递增，就虚函数表中函数指针的位置来说，按照源代码编辑顺序进行排序。