趋势科技笔试【7】
题目:下列程序的输出是什么?
class C { public: int a; ~C(){cout <<"~C"<<endl;} void f(){std::cout << "foo C" <<std::endl;} }; int _tmain(int argc, _TCHAR* argv[]) { C *p = NULL; if(!p) { C c; p = &c; } p->f();//1 ((C*)NULL)->f();//2 delete p;//3 getchar(); return 0; }
答案:
1和2正常运行,3处会导致程序崩溃。
解释:
很显然,c在括号外已经析构了,p必然是一个野指针。
那么野指针能不能够继续调用f()函数呢。实验证明,是可以的。
那么原因在哪里呢?
当我们定义一个C c时,sizeof(c)=成员变量的大小,不包含函数的大小。因此可见,函数列表是属于类的,不属于一个对象。
f()函数可以解释如下:
void f(const C* this)
{
cout << "foo C" <<endl;
}
当传入野指针或空指针时,f(NULL)中的NULL未调用任何东西,因此不会造成程序崩溃,程序是安全的。
以上运行结果是在vs下的结果;如果在dev下,则该编译器不允许空指针调用,因此在2,3都会崩溃。
版权声明:本文为博主原创文章,未经博主允许不得转载。