C++是一片荆棘遍布的雷区,等待用于挑战的你去探索,在《Effective C++》系列的第5篇中我们已经看到当用户进行赋值或者拷贝操作的时候,即使我们没有定义拷贝构造函数或者拷贝赋值运算符操作,编译器也会自动为其生成copy构造函数和copy赋值运算符,这不失为一种比较好的机制,避免了我们写冗余且无聊的copy赋值和copy构造代码,但凡事都有两面性,当然C++的这种机制也不例外,如果我们不想让编译器自动生成copy赋值操作和copy构造函数呢?有什么解决方法呢?C++聪明的设计人员早已想到我们的这种需求,设计了如下的两种解决方法:
1、将类的copy构造函数和copy赋值运算符声明为private,卓越性体现在两个方面:
- 由于我们自己编写了这两个函数,那么编译器不会为其生成默认的copy构造函数和copy赋值运算符。
- 我们写了这两个函数,用户却无法在类外直接调用这两个函数,因此结束了用户的copy构造和copy赋值操作。
class A{
public:
A();
A(int x):x(x){
}
private:
int x;
A(const A&);
A& operator=(const A&);
};
2、上面的方式已经解决了大部分情况,此时我们可以考虑一下,如果我们在A中使用member函数或者friend类或者friend函数进行copy构造或者copy赋值呢?这就有些尴尬了,说好的不给类生成copy构造函数和copy赋值运算符呢?兵来将挡,水来土掩,当然有新的解决办法呀,答案就是为不准备生成copy赋值运算和copy构造函数的这个类B创建基类A呀,然后当B中的member函数或者friend函数或者friend类准备进行赋值运算或者copy构造的时候,哈哈哈,上当了,编译器此时准备为B生成这两个函数,这时会调用基类A中的这两个函数,而这两个函数在A中是private,在B中是不可访问的,因此,编译器拒绝为B生成这两个函数。
#include <iostream>
#include <cstring>
#include <string>
using namespace std;
class A{
public:
A();
A(int x) :x(x){
};
private:
int x;
A(const A&);
A& operator=(const A&);
};
class B :public A{
public:
B(int x, int y) :A(x){
this->y = y;
}
B createTempB(B b){
B temp = b;
return temp;
}
void show(){
cout << y << endl;
}
private:
int y;
};
int main(){
B b(1, 10);
return 0;
}
编译代码时候报错,提示A(const A&)在A中声明为private的。