首先,我们来看一段代码
class Hello
{
public:
Hello(){};
~Hello(){};
void Printf()
{
printf("aaaasaf \n");
}
};
int main() {
Hello *p = NULL;
p->Printf();
}
大家认为代码能够编译通过吗?程序执行过程中会报错吗?
出乎意料,程序顺利执行完成,调用了Hello的Printf函数,打印出了“aaaasaf”。
个人理解,上述程序编译后的内存模型如下图
对于非virtual函数,c++直接将函数代码编译至代码段,并将对该函数的调用代码,替换为代码段的地址,故上述代码的"p->Printf()"被替换成了执行0x00abcdef,并传入参数p,虽然并未实例化Hello对象,但是编译器依然允许对非virtual函数的调用。
这一点可以在linux下,使用nm命令,查看可执行文件来验证,编译器将函数编译后,对应上地址,并将代码中对函数的调用替换成地址。
但是如果将Hello的Printf函数声明为virtual函数,则程序不能够执行完成。
这是因为对virtual函数的调用,需要使用对象的虚表指针,在通过虚表指针中的函数地址,取代码段寻找相应的函数。该段程序中没有实例化对象,也就无处找到虚表指针,程序自然就无法执行了。
关于虚函数表的介绍,大家可以参考陈皓老师的文章C++ 虚函数表解析