首页 > 代码库 > Effective C++ .05 一些不自动生成copy assigment操作的情况

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函数,而必须由自己进行处理。 

 

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