Effective C++ 改善程序与设计的55个具体做法笔记与心得 2

二. 构造/析构/赋值运算

5. 了解C++默默编写并调用哪些函数

唯有当这些函数被调用，他们才会被编译器创建出来。

请记住：
‌‌‌‌　　编译器可以暗自为class创建default构造函数、copy构造函数、copy assignment操作符，以及析构函数。

6. 若不想使用编译器自动生成的函数，就该明确拒绝

请记住：
‌‌‌‌　　为驳回编译器自动（暗自）提供的机能，可将相应的成员函数声明为private并且不予实现。使用像Uncopyable这样的base class也是一种做法。

7. 为多态基类声明virtual析构函数

‌‌‌‌　　析构函数的运作方式是：最深层派生的那个class其析构函数最先被调用，然后是其为每一个base class的析构函数被调用。
请记住：

• polymorphic（带多态性质的）base classes应该声明一个virtual析构函数。如果class带有任何virtual函数，他就应该拥有一个virtual析构函数。
• Classes的设计目的如果不是作为base class使用，或不是为了具备多态性，就不该声明为virtual析构函数。

8. 别让异常逃离析构函数

请记住：

• 析构函数绝对不要吐出异常。如果一个被析构函数调用的函数可能抛出异常，析构函数应该捕捉任何异常，然后吞下他们（不传播）或结束程序。
• 如果客户需要对某个操作函数运行期间抛出的异常作出反应，那么class应该提供一个普通函数（而非析构函数）执行该操作。

9. 绝不在构造和析构过程中调用virtual函数

请记住：

• 在构造和析构期间不要调用virtual函数，因为这类调用从不下降至derived class（比起当前执行构造函数和析构函数的那层）

解释：
‌‌‌‌　　在C++中，当你在构造函数或析构函数中调用一个虚函数时，它不会执行你期待的"多态"行为，即它不会调用任何派生类的覆盖版本。这是因为，当构造函数或析构函数执行时，对象的类型被视为正在构造或析构的类的类型，而不是任何派生类的类型。

让我们通过一个例子来说明这个问题:

#include 
using namespace std;

class Base {
public:
    virtual void foo() { cout << "Base::foo\n"; }
    Base() { foo(); }
    virtual ~Base() { foo(); }
};

class Derived : public Base {
public:
    void foo() override { cout << "Derived::foo\n"; }
    Derived() { foo(); }
    ~Derived() { foo(); }
};

int main() {
    Derived d;  // 输出？
    return 0;
}

你会看到程序的输出为：

Base::foo
Derived::foo
Derived::foo
Base::foo

‌‌‌‌　　即使 foo 在 Derived 中被覆盖，在 Base 的构造函数和析构函数中调用 foo 仍会调用 Base 的版本，而不是 Derived 的版本。这通常不是你期望的行为，因此最好的做法就是避免在构造函数和析构函数中调用虚函数，除非你确切知道你在做什么，且你的设计确实需要这样做。

10. 令operator= 返回一个reference to * this

请记住：

• 令赋值（assignment）操作符返回一个reference to * this

11. 在operator= 中处理“自我赋值”

请记住：

• 确保当对象自我赋值时operator= 有良好行为。其中技术包括比较“来源对象”和“目标对象”的地址、精心周到的语句顺序、以及copy-ans-swap。
• 确定任何函数如果操作一个以上的对象，而其中多个对象是同一个对象时，其行为仍然正确。

12. 复制对象时勿忘其每一个成分

请记住：

• Copying函数应该确保复制“对象内的所有成员变量”及“所有base class成分”
• 不要尝试以某个copying函数实现另一个copying函数。应该将共同机能放进第三个函数中，并由两个copying函数共同调用。