跳转至

条款 05：了解 C++默默编写并调用哪些函数？

  • 如果 empty class 没有声明，C++会默认声明default 构造、copy 构造、copy assignment 操作符、析构函数,并且他们都是public 且 inline 的。
    • 只有被调用时，它们才会被创建出来
    • 注意：编译器产生的析构函数是non-virtual 的
    • 代码不合法，会拒绝生出operator=。比如类的成员是一个引用，而operator= 不可能拷贝引用。此外，const 的赋值也是一个典型的例子。c++会拒绝编译

条款 06：若不想使用编译器自动生成的函数，就应该明确拒绝

  • 在private 里自行声明来拒绝其创建，这一操作被实现于 iostream 中
    • 借明确声明，防止自行创建。借 private，防止调用
    • 并不绝对安全，member 和friend 函数可以调用你的 private 函数。
    • 可以只声明不实现不用写函数名称，毕竟不会使用。这样函数没实现就调用会获得一个连接错误（linkage error）
    • 可以根据这个规则构造一个 Uncopyable 类用来被继承，包括不一定用 public 继承，且该类析构函数不一定需要 virtual,但有时候可能会产生多重继承 
      class
{
public：
private：
    HomeForScale(const HomeForSale&);
}

条款 07：为多态基类声明 virtual 析构函数

析构运作方式：从最深层派生（most derived）逐级向其 base class 调用析构 - 直接继承，通过base class 接口处理 derived class 对象时，delete/析构时可能只会销毁 base，不销毁 derived 的新增部分。导致局部销毁，资源内存泄露 - 如果不含 virtual 函数，通常表示它并不意图被用做一个 base class，virtual 析构便没有什么意义。（这会徒增内存） - 抽象类一般都作为 base class，所以声明一个pure virtual 纯虚的析构函数是有必要的 * 

class AWOV{
public:
    virtual ~AWOV = 0;
}

条款 08：别让异常逃离析构函数（感觉用不到，先跳过）

  • 如果析构有异常，多个相同对象析构被调用的太快，会导致同时出现多个异常，导致程序结束执行或者不明确行为。
  • 那么如何设计异常？

    • close 抛出异常就结束程序。通常通过调用abort()完成 ```c++ DBConn::~DBconn { try{db.close()}; catch(...) 制作运转记录，记下对close的调用失败; std:abort(); }

      ``` - 或者直接吞掉 - 上面两个方法都不太好，选择。。。

条款 09：绝不在构造和析构中调用 virtual

  • base 的构造函数调用期间，virtual 函数绝对不会下降到 derived class，会通向不明确的行为。
  • 析构也一样，derived class 的析构开始执行时，对象内的成员变量便呈现未定义值。进入 base class 后就会变成一个 base class 对象。

条款 10：令 operator= 返回一个 reference to * this(连锁赋值)--协议，并非强制

  • 如何实现连锁赋值 x = y = z =15? 
    Widget& operator=(const Widget& rhs)
{

    ...
    return* this;
};
...
  • 该规则同样适用于 *= += -= 等

条款 11：在 operator= 中处理“自我赋值”

  • 正常是 w=w
  • 但有时候会有潜在的自我赋值比如 a[i] = a[j],*px = *py,Base& rb,Derived* pd
  • 添加证同测试(identity test)，自我赋值时，不做任何事.(缺乏异常安全性,new 出问题了，可能导致返回一块被删除的类)
    • 且测试需要成本（代码变大，新的控制流分支），需要平衡大小和效率。 
      Widget& Widget::operator= (const Widget& rhs)
{
    if(this == &rhs) return *this;//证同测试

    delete pb;
    pb = new Bitmap(*rhs.pb);
    return *this;
}
  • 异常安全性的做法： 
    Widget& Widget::operator= (const Widget& rhs)
{
    Bitmap* pOrig = pb;
    pb = new Bitmap(*rhs.pb);
    delete pOrig;
    return *this;
}
  • pass by value 的一个高效代码（但不清晰） 
    Widget& Widget::operator= (Widget rhs)
{
    swap(rhs);
    return *this;
}

条款 12：copying 复制对象勿忘其每一个成分

  • 复制所有 local：新增变量时，往往会遗漏。
  • 调用所有 base classes 内的适当的 copying 函数。继承时，确保 derived class 实现 base class 的函数。否则会导致 base 的成员无法复制。 *