一、memset一个对象
这个是一个非常低级的错误,本身大家一看就看到这个代码是错误的,但是如果出现在面试题里,估计很多人会纠结一下,也可能会忽略这个问题。因为之前比较多的是用C语言,所以初始化一个结构的方法就是随手一个飘逸的memset一个结构。但是在C++中,这种方法可能会引起严重问题,特别的就是那些包含有虚函数的类实例。当然因为很多现实世界中出现的类中都包含有更多的复杂结构(例如vector等不透明结构),所以也不会有人这么做。只是这个操作的效果会比较有意思。
二、测试例子
[tsecer@Harry memsetvirtual]$ cat virobj.cpp
#include <stdlib.h>
#include <stdio.h>
#include <string.h>
struct CWithVirtual {
virtual void showself (void){
printf("%s
",__FUNCTION__);
}
};
int main()
{
CWithVirtual myobj ,* myobjptr = & myobj;
myobjptr->showself();
memset(myobjptr,0,sizeof(myobj));
myobjptr->showself();
}
[tsecer@Harry memsetvirtual]$ g++ virobj.cpp -o virobj.cpp.exe
[tsecer@Harry memsetvirtual]$ ./virobj.cpp.exe
showself
Segmentation fault (core dumped)
三、原因
这个原因大家都知道,就是因为一个包含虚函数的对象的最开始4个字节是一个地址,指向的是一个虚函数表,而C++的多态特征也正是基于这个指针实现的。从这个地方可以展开C++的很多特征,包括一个对象的内存布局,一个对象的这个指针由谁来初始化,如何实现虚函数表的唯一性、new/delete的实现机制、new/delete的重载等。事实上,一个对象的运行时类型识别也同样是通过这个指针来实现,所以说指针是C语言族最为强大的一个机制,也是大家认为最为危险的一个机制。