13.3 How do virtual functions work in C++?
这道题问我们虚函数在C++中的工作原理。虚函数的工作机制主要依赖于虚表格vtable,即Virtual Table。当类中定义了虚函数时,一个虚表格就建立了用来保存该类的虚函数的地址。此时编译器Compiler也会在该类中增加一个虚指针vptr(Virtual Pointer),用来指向虚表格。当一个虚函数在派生类中没有被重写时,派生类中的虚表格中仍然存的是基类的虚函数的地址。当虚函数被调用时,就要到虚表格中取找函数地址。C++中的动态绑定机制主要就是通过虚表格来实现的。
当我们将基类的指针指向一个派生类的实体时,虚指针vptr就指向派生类的虚表格,这样就保证了派生类中的虚函数能被调用,参见如下代码:
class Shape {
public:
int edge_len;
virtual int circumference() {
cout << "Circumference of Base Class\n";
return ;
}
}; class Triangle: public Shape {
public:
int circumference() {
cout << "Circumference of Triangle Class\n";
return * edge_len;
}
}; int main() { Shape *x = new Shape();
x->circumference(); // "Circumference of Base Class"
Shape *y = new Triangle();
y->circumference(); // "Circumference of Triangle Class" return ;
}