---------------------------------------------------------------------------
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' 内置函数的时候就会报错了。