Effective C++ .05 一些不自动生成copy assigment操作的情况

主要讲了

1. 一般情况下编译器会为类创建默认的构造函数，拷贝构造函数和copy assignment函数

2. 执行默认的拷贝构造/copy assignment函数时，如果成员有自己的拷贝构造/copy assignment函数就执行它，否则就按bit拷贝/赋值

3. 几种编译器不会为类生成默认的copy assigment操作的情况

这几种情况如下：

a. 类里面已经有了相应的的构造函数，拷贝构造函数，copy assignment函数。此时再生成默认的这些函数就失去其原来的意义了。

b. 其他情况是由于2中的一些步骤不能执行或者如果执行而违反了C++的一些设计规范

    b.1 一些成员（或父类）的copy asignment函数是私有的，导致拷贝步骤无法执行，默认函数也就不生成了

class Age {

    public:

        Age(int _age) : age(_age) {}

    private:

        int age;

        

        Age& operator=(const Age& rhs) {

            if (&rhs != this) {

                this->age = rhs.age;

            }

            return *this;

        }

};



class Man {

private:

    Age age;

public:

    Man(int _age): age(_age) {}

};





    Man man1(12);

    Man man2(22);

    man1 = man2;

编译器提示：

 [Note] 'Man& Man::operator=(const Man&)' is implicitly deleted because the default definition would be ill-formed:

 [Error] 'Age& Age::operator=(const Age&)' is private                  

 

    b.2 类中成员有些是const的或者是引用类型，我们知道，const变量在赋值后不能再被assignment，而引用类型变量也是如此（指向的对象不能被改变）

#include <iostream>

#include <cstdlib>

#include <string>



using namespace std;



class NamedObject {

public:

    string& name;

    int& age;

    NamedObject(string& _name, int& _age):name(_name), age(_age) {}

};



int main() {

    string n1("obj1");

    int a1 = 123;



    string n2("obj2");

    int a2 = 321;

    

    NamedObject obj1(n1, a1);

    

    NamedObject obj2(n2, a2);

    

    obj1 = obj2;

    

    return 0;

}

obj1 = obj2，就相当于对const变量重新赋值和更改引用指向对象，显然这是不能被支持的，所以编译器不能创建默认行为的copy assignment函数，而必须由自己进行处理。