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

时间:2024-07-29 08:04:07

主要讲了

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();
Man man2();
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 = ; string n2("obj2");
int a2 = ; NamedObject obj1(n1, a1); NamedObject obj2(n2, a2); obj1 = obj2; return ;
}

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