[C++] effective_C++_条款05

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

• 一个空类为了区分不同的对象，其通占有1个字节

  编译器为空类默认生成拷贝函数、析构函数、拷贝构造函数以及赋值运算符

  假设有下面这个空类：

  class EmptyClass {
  
  };

  编译器会为EmptyClass生成下面4个函数：

  class EmptyClass {
  public:
      EmptyClass() {
  
  }
      ~EmptyClass() {
  
  }
      EmptyClass(const EmptyClass& obj) {
  
  }
      EmptyClass& operator= (const EmptyClass& obj) {
  
  }
  };

  当然，拷贝构造函数和赋值运算符函数体的内容由成员变量决定，假设有成员变量var1和var2，那么拷贝构造函数和赋值运算符的函数体如下：

  EmptyClass(const EmptyClass& obj) : var1(obj.var1),           var2(obj.var2){
  
  }
  
  EmptyClass& operator= (const EmptyClass& obj) {
      var1 = obj.var1;
      var2 = obj.var2;
      return *this;
  }

• 当成员变量含有const或引用时，比如：

  class SampleClass {
  private:
      const int var1;
      double& var2;
  };

  这时候编译器会报错，告诉你无法提供合适的构造函数，因为对于const变量以及引用变量，需要在声明的时候初始化，而编译器提供的默认构造函数无法做到，可以改成下面的形式：

  class SampleClass {
  private:
      const int var1;
      double& var2;
  public:
      SampleClass(const int a = 0, double b = 0) : var1(a), var2(b){
  
  }
  };

  这样编译器就不会报错了，但是如果你使用赋值运算：

  SamleClass obj1;
  SamleClass obj2;
  obj2 = obj1;

  编译器会提示”operator=”函数在SampleClass中不可用，这说明编译器没有为SampleClass生成赋值运算函数，因为var1和var2在初始化后，值不会再改变。但是拷贝构造是可以执行的，如:

  SampleClass obj1;
  SampleClass obj2(obj1);

  上面这段代码是可以编译通过的，这是因为编译器会为SampleClass生成默认的拷贝构造函数：

  SampleClass(const SampleClass& s) : var1(s.var1), var2(s.var2) {
  
  }

  这种方法并不会破坏const和reference的特性。

• 总之，编译器会尽量去生成这4个成员函数，但如果成员变量出现了const和reference的成员变量，则编译器拒绝生成默认的构造函数和赋值运算符重载函数。