四道稍微高级点的 C++ 试题

---------------------------------------------------------------------------
1. 写出下面程序的输出。
class abc;
void del(abc *pobj)
{
delete pobj;
}

class abc
{
public:
abc(){
printf("abc\r\n");
}

~abc(){
printf("~abc\r\n");
}
};


int main(int argc, char *argv[])
{
abc *pobj = new abc;
del(pobj);
}

答： abc

说明：定义 del 函数的时候，abc 的析构函数未定义，因此不会调用。

---------------------------------------------------------------------------
2. 写出下面程序的输出。
void * operator new(size_t size)
{
printf("malloc %u\r\n", size);
return malloc(size);
}

void operator delete(void * memblock)
{
printf("free\r\n");
return free(memblock);
}

class abc
{
public:
abc()
{
printf("abc\r\n");
throw int();
}

~abc()
{
printf("~abc\r\n");
}
};

int main(int argc, char * argv[])
{
try
{
new abc;
}
catch (int & i)
{
printf("%d\r\n", i);
}
return 0;
}

答：
malloc 1
abc
free
0
如果将“new abc;”换成“abc a;”，结果将是：
abc
0

说明：
1). 在 C++ 中，构造函数抛出异常后不会触发析构函数的调用，这和 object pascal 不一样。C++ 认为构造失败意味着对象没有产生，既然没有生就没有死。然而，当构造函数抛出异常时，仍会调用 delete 函数以释放内存。
operator new 重载全局 new，所以下面构造的时候 new 肯定会调用该 operator new。operator delete 同样。因此先输出 malloc 1。
new 分配完内存后，会自动调用构造函数，所以输出 abc。
在构造函数内部，抛出异常，throw int();
这个异常被捕获，输出 i，其值为 0。
但是在捕获的异常被处理之前，必须先释放内存。因为异常出错，但此时 new 分配内存的工作已经完成，如果不进行 delete 的话，势必会内存泄露。
2). 当生成堆栈对象时，C++ 自动调用的 operator new 和 operator delete 是全局的 operator new 和 operator delete。

---------------------------------------------------------------------------
3. 写出下面程序的输出。
template <typename T>
class abc{
public:
abc(){
printf("primary\r\n");
}
};

template<>
abc<int>::abc()
{
printf("member spec\r\n");
};

template<typename T, typename P>
class abc<T (*)(P)>
{
public:
abc(){
printf("partial spec\r\n");
}
};

int main(int argc, char *argv[])
{
abc<void* (*)(int)> f_abc;
abc<int> i_abc;
}

答：
partial spec
member spec

说明：模板部分特化。

---------------------------------------------------------------------------
4. 下面的代码能否通过编译？为什么？

class a
{
public:
virtual ~a()
{
}
private:
void operator delete(void *p);
};

int main(int argc, char *argv[])
{
a _1;
}

答： 不能

说明：
1) 如果一个类有虚析构函数的话，那么自定义 delete 函数必须有函数体。
2) 这个题目中，并不会调用 delete 函数。
3) 对于本题，delete 函数不被调用，但是编译器需要它，因此，不能没有定义。

参考：
如果对象是动态创建(也就是 new 出来的)，那么在 delete 的时候系统会先调析构函数然后调 operator delete。编译器在编译的时候会把这 2 个步骤合并到一个函数里，看反汇编就知道了，函数名字类似 'scalar deleting destructor'。如果只是声明了 operator delete 函数而没有定义，那么编译的时候会得不到函数地址，这样生成 'scalar deleting destructor' 内置函数的时候就会报错了。