趋势科技笔试【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();//2delete p;//3getchar();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都会崩溃。