读Defective C++随笔 2

读Defective C++随笔 2

不尽知用兵之害者，则不能尽知用兵之利也 ——《孙子兵法》

3.不用抛异常就能避免C++异常的麻烦吗
new T()会抛异常，也就是说，到处都可能抛出异常。既然内存都不够了，也不指望能继续运行了，所以似乎不是大问题。但如果是尝试分配大块内存时内存不过，程序还是可以继续运行的，捕获异常就很重要了。特别的一点是，虽然new会抛异常，但堆栈溢出却不会，程序将直接崩溃掉。

另外，为了使p = new Obj()在构造时出现异常的情况下能够释放new分配的内存，编译器会自动生成一对try-catch包围构造函数，即使我们并没有使用异常。因此，当今的编译器大多提供禁止C++异常的编译选项来去掉这个额外开销。

4.为什么必须用delete[] p来释放动态分配的数组
各种C++文档里只说必须用delete[]，否则可能会导致崩溃。奇怪的是malloc()和free()却没有这种麻烦。观察new和delete的重载函数，就会发现new的参数包含内存块的大小，但delete却没有。很显然，内存分配器知道一个指针指向的内存块有多大，这些信息包含在堆的数据结构里。delete和free()的一个区别是它还要调用对象的析构函数。奇怪的是delete没有用内存块的大小除以size(*p)来取得数组元素个数，而是在new[]分配内存时多分配了一点来存元素个数。这样delete和delete[]对指针所指向的数据区就产生了不同的解释，会导致程序崩溃也就不足为奇了。当然，取决于编译器将这个个数存在哪个位置，也可能只是只调用了第一元素的析构函数，产生一些未释放的资源。
这是个很容易犯而又不好发现的错误，甚至有时很不明显。比如tvec3_t* p = new vec3_t; delete p;是错的么？查了定义后才能发现typedef float vec3_t[3];