《TC++PL》读书笔记（re迭代）

p325

Key ： <<只有>>在一个对象的构造函数执行完成后，才被认为对象构建（contruct）成功。此后， <<也只有在此之后>>，stack unwinding时才为该对象调用析构函数。

         一个由子对象组成的对象的构造，将一直持续到它所有的子对象都完成了构造工作

         数组的构造一直持续到它的所有元素都构造完成，而且， <<只有>>那些 构造完成的元素才会在stack unwinding时销毁

p326

class   A

{

         int   *p;

         void   init();

public :

      A(   int   s)

      {

            p =   new   int [s];

            init();

      }

      ~A()

      {

               delete [] p;

      }

};

这种方式可能会导致“内存泄露”。如果init()抛出异常，那么申请的内存就不会释放，<<因为>>对象没有构造完成，对它不会调用析构函数 

how对策 ：

class   A

{

      vector<   int > p;

         void   init();

public :

      A(   int   s):p(s)

      {

            init();

      }

};

现在，通过p使用的资源是由vector管理的。如果init()抛出异常，在p的析构函数被调用时，现在已经申请到的存储就会被释放

---

p332

how：决不能让析构函数抛出异常，会导致调用std:terminate()。因为编译器不知道应该处理引发异常处理机制启动的那个异常，还是析构函数里那个异常。通过抛出异常退出析构函数也违背了标准库的基本要求

how：析构函数里要调用函数时注意，因为可能调用一个抛出异常的函数，它可以保护自己，如下：

X::~X()

{

   try{

        f();  //可能抛出

   }

   catch(...){

        //做某些事

   }

}

如果有某个异常已经被抛出，但尚未被捕捉，标准库函数uncaught_exception()就会返回true。这就使程序员能在析构函数里，根据对象是被正常销毁还是作为stack unwinding中的一部分，描述不同的动作

p334

how：函数的定义一般不是可用的东西。即使在我们能访问所有库的源代码的情况下，我们也强烈地希望不要经常去查看它 

智能指针也一定程度防止了对象状态的破坏

bgImage.reset(new Image(imgSrc));

如果是：

delete bgImage;

bgImage = new Image(imgSrc);  //如果分配失败抛出异常，bgImage就成了野指针

---

p656

what 对象的状态：成员的值，和由成员所引用的对象的值

key ： 类设计的一个最主要考虑就使对象是定义良好的状态

典型情况是，成员函数在执行过程中并不维护不变式。在不变式非法时可能被调用的函数，不应该是接口的一部分。私用和保护函数可以服务于这一用途   【？？？？？todo：后半句不太懂】

how：在C++程序里表述不变式的概念：1）定义一个检查不变式的函数，并将对它的调用插入公用操作中

p657

what   不变式：一段代码，用来检查对象的状态

p658

不变式是断言的特殊形式

assert宏用来排错辅助，作用：源文件名，行号，abort()：

c标准库（言外之意，c++标准库）在<cassert>和<assert.h>里提供了assert()宏。assert()将去求它的参数的值，如果结果是0（false）就调用abort()

在执行abort()之前，assert()将输出它自己所在的源文件名和出现的行号，这些都使assert()成为一种很有用的 排错辅助功能。