Effective C++ ——构造/析构/赋值运算符
条款五:了解C++默认编写并调用那些函数
是否存在空的类?
假设定义类为class Empty{};当C++编译器处理过后会变成如下的形式:
class Empty{
Empty(){}
~Empty(){}
Empty& operator=(const Empty& rhs){.....}
Empty(const Empty& rhs){.....}
}
可以分别称为构造函数,析构函数,赋值构造函数,复制构造函数!惟有当这些函数被需要(被调用),它们才会被编译器创建出来。下面代码造成每一个函数被编译器产出:
Empty e1;//默认构造
//析构函数
Empty e2(e1);//拷贝构造
e2 = e1;//赋值操作符
唯有这些函数被调用时,它们才会被编译器创建出来,且都是public && inline。
在有些情况下编译器会阻止产生赋值操作符和复制构造函数,例如当函数的成员变量中存在引用变量或者const变量的时候,因为此时编译器不知道怎样将右边的对象的相应成员赋值给左边的成员,此时要主要构造函数中对于const或者引用的成员一定要采用初始化列表的形式,不然会出错!例如对于下面的类将不会产生对应的赋值或者复制构造函数:
class People{
private:
const int age;
Addredd& addr;
.......
public:
......
}
如果某个base classes将赋值操作符声明为private,编译器将拒绝为其derived classes生成一个赋值操作符。原因为:编译器为derived classes所生成的赋值操作符想象中可以处理base classes成分,但它们无法调用derived classes无权调用的成员函数。编译器两手一摊,无能为力。
条款六:如果不想使用编译器自动生成的函数,就应该明确的拒绝
编译器默认生成的函数都是public。为了阻止这些函数被创建出来,可以将(赋值操作符、拷贝构造)函数声明为private。但是一般而言这个做法并不安全,因为成员函数和友元函数还是可以调用你的private函数。解决办法我们只声明,不做任何的定义,这样如果对这些函数进行对应的调用一定会出现链接错误,例如:
class People{
private:
People(const People&);
const People& operator=(const People&);
......
}
还有一种做法就是写一个不能进行赋值或者复制的父类,然后继承它!例如:
class Uncopyable{
protected:
Uncopyable(){} //允许derived对象构造和析构
~Uncopyable(){}
private:
Uncopy(const Uncopyable&); //阻止拷贝构造和赋值操作符
Uncopyable& operator=(const Uncopyable&);
};
为了阻止HomeForSale对象被拷贝,我们被唯一需要做的就是继承Uncopyable:
class HomeForSale:private Uncopyable
任何方式尝试拷贝HomeForSale对象,编译器便试着生成一个拷贝构造函数和一个赋值操作符,这些函数的“编译器生成版”会尝试调用其base class的对应兄弟,那么调用会被编译器拒绝,因为其base class的拷贝函数是private。
条款七:为多态的基类声明virtual析构函数
class Base {};
class Derive : public Base {}; int main() {
Base *b = new Derive;
delete b;
return 0;
}
class Base {
public:
virtual ~Base() {} // 虚析构函数,确保了可以调用派生类中的析构
};
class Derive : public Base {}; int main() {
Base *b = new Derive;
delete b;
return 0;
}
那什么时候需要使用virtual析构函数就很明显了:只要这个类有可能被作为基类而存在,那就它的析构函数必须是virtual的。当然书中也给出了一个相对容易判断的准则:只要出现了virtual关键字修饰的方法,就必须将析构设置为virtual的(这个道理很容易解释,因为我只要设计了virtual函数,那我就是希望可以有一个派生类继承这个类,所以析构就需要为virtual的了)。
将一个类的析构函数设置为纯虚函数,它的应用场景就是:我希望一个类不能被实例化,但是我又不希望提供任何虚函数结构,那弄到最后,我只能将析构函数设置为纯虚函数了。但这里还是有一点需要注意,将普通函数方法设置成纯虚函数后,不实现这个函数的定义是可以的。将析构函数设置为纯虚函数,无论如何都需要定义个析构函数,因为派生类在执行析构函数的时候总是要调用基类的析构,所以代码应该如下:
class Base {
public:
virtual ~Base() = 0;
};
Base::~Base() {} class Derive : public Base {}; int main() {
Base *b = new Derive;
delete b;
return 0;
}
请记住:
- 带多态性质的base class都应该定义virtual析构函数,如果一个class有任何的virtual函数,那么他也要有一个virtual析构函数
- 如果一个class不是为了作为一个多态作用,或者一个base class来使用,那么就不要定义virtual 析构函数!
条款八:别让异常逃离析构函数
异常判断是与C语言不同一个功能,带来方便的同时也会带来一些问题,例如:
class widget{
public:
....
~widget(){}
}; void doSomething(){ std::vecotr<widget> v;
.....
}
在doSomething的函数结束的时候,vector中的对象会对应的调用widget类的析构函数,如果此时有100个成员,在调用的对应成员的析构函数的时候如果出现了多次的析构异常,那么此时程序就可能会异常的停止或者出现不确定的情况,为了阻止这种情况出现一个原则就是:不要让析构函数出现异常!
为了防止在析构函数中出现异常,主要有以下的几种方法:
1.在可能造成异常的代码中做异常的判断,捕获异常后,要么终止程序的执行,要么就是吞下异常,让程序继续执行。
DBConn::~DBConn(){
try{
db.close();
}catch(...){
std::abort();
}
}
DBConn::~DBConn(){
try{
db.close();
}catch(...){
}
}
2.将可能造成异常的代码放到一个独立的函数中,然后在析构的时候提前调用,这样能提前发现异常并做处理,具体的例子请参看书
请记住:
- 虚构函数不要出现异常,如果一个被析构函数调用的函数中出现了异常,则要么结束程序要么就吞下异常!
- 如果客户需要对一个运行期间出现异常的函数做出反应,那么应该提供一个独立的函数而非析构函数来执行此操作!
条款九:绝对不要在构造函数或者析构函数中调用virtual函数
首先上例子:
class People{
public:
People();
virtual void task() const = 0;
....
}; People::People(){
....
task();
} class Student : public People{
public:
virtual void task() const;
.....
};
在People的构造函数中,调用了虚函数task,当我们定义一个student对象的时候,student的构造函数将会调用,在初始化化student的成员函数之前将首先调用父类的构造函数,在父类的构造函数中调用了pure virtual函数,此时本意想通过虚函数来调用子类的对应函数,但是此时子类的构造函数还没有构造成功,因此此时调用的还是父类的pure virtual task,报错!如果task不是纯虚函数,不会报错,但是会出现我们不想要的情况!
同样的如果再析构函数中调用virtual函数,当在子类中调用virtual函数的时候,子类中的成员变量变量将呈现未定义的状态,进入父类的析构函数的时候,此时将对象单纯的看作是父类的对象,此时的所有virtual函数调用或者dynamic_cast等都会那么看待!
既然不能通过父类的虚函数在构造函数中调用子类中的函数,可以通过在子类调用父类的构造函数的时候将子类的信息传递给父类来执行!
class People{
public:
People();
void task(std::string info) const;
....
}; People::People(std::sting info){
....
task(info);
} class Student : public People{
public:
Student():People(createinfo(parame)){....}
.....
private:
static std::string createinfo(std::string parame){....}
}
请记住:
- 在构造函数和析构函数中不要调用虚函数,因为此时虚函数不会下降为对应的子类
条款10:让操作符=返回一个reference to *this
对一些存在的操作符重载的时候,最好是要兼容这些操作符本身就有的属性,例如对于操作符=,可以实现连等的操作,例如
int a = b = c = 10;这样可以认为10先赋值给c,然后c的值又赋值给b,b的值最后赋值给a,同样的对于类中操作符=的重载也要支持
这样的操作,那么可以将operator返回操作符的左值,为了效率问题,返回左值的一个引用,例如:
class People{
public:
People& operator=(const People& rhs){
.....
return *this;
}
...
private:
...
};
此外对于类似的+=,-=等也要用同样的准则,不过如果不遵守这个准则,编译也能通过,但是兼容性不理想,因为在库中存在的类中的operator=操作符都是遵循这个原则的,所以没有特殊的原因不要另辟蹊径!
请记住:
- 领操作符operator=返回一个reference to *this
条款11:在operator=中处理“自我赋值”
“自我赋值”发生在对象被赋值给自己时:
class Widget {...};
Widget w;
...
w = w;//赋值给自己
当对象进行自我赋值的时候会出现什么问题的呢?看下面的例子:
class Bitmap{.....};
class Wdiget{
public:
Wdiget& operator=(const Wdiget& rhs){
delete p;
p = new Bitmap(*rhs.p);
return *this;
}
...
private:
Bitmap* p;
};
在这个例子中,如果rhs与this指向的是同一个对象,那么当delete p以后,就包含一个空的对象,因此最终的p指向一个被删除的对象!为解决这个问题我们可以在delete之前首先做判同操作,如下:
Wdiget& operator=(const Wdiget& rhs){
if(&rhs == this){
return *this;
}
delete p;
p = new Bitmap(*rhs.p);
return *this;
}
这样在正常情况下是不会出现自我赋值情况,但是如果在new Bitmap的时候出现异常怎么办呢?此时this的p已经被释放,下面是另外的一种解决办法:
Wdiget& Wdiget::operator=(const Wdiget& rhs){
Bitmap* tmp = p;
p = new Bitmap(*rhs.p);
delete tmp;
return *this;
};
这样当在new Bitmap出现异常的情况下,this还是保持原先的不变!
请记住:
- 确保当对象进行自我赋值的时候有良好的行为,其中包括来源对象和目标对象的比较,设计良好的赋值顺序,以及copy and swap技术
- 要确保当一个函数操作对个对象,并且多个对象可能是同一个对象的时候行为也是准确的
条款12:复制对象时勿忘其每一个成分
C++中类会将成员都封装起来,类的copy操作只能通过赋值函数和复制构造函数,在进行对应的copy操作的时候注意要将成员的每一个成员进行对应的复制!例如:
class People{
private:
string name;
public:
People(const People& rhs):name(rhs.name){
}
People& operator=(const People& rhs){
name = rhs.name;
return *this;
}
};
在上面的例子中只有一个成员没有任何的问题,但是当加入另一个成员变量的时候也要注意对应的修改这个拷贝构造函数。否则虽然编译器不会警告任何错误,在后面可能去出现意想不到的问题!
在继承体系中,主要子类的拷贝构造函数要主动的去调用父类的相关拷贝构造函数,例如:
class Student:public People{
private:
string school;
public:
Student(const Student& rhs):school(rhs.school){}
Student& operator=(const Student& rhs){
school = rhs.school;
return *this;
}
};
在上面的例子中,复制了子类中的所有成员,但是相关父类中的name成员变量缺没有复制,此时name变量不能被复制为rhs的name值,取代的是调用People的默认构造函数,正确的方式如下:
Student::Student(const Student& rhs):People(rhs),school(rhs.school){}
Student& Student::operator=(const Student& rhs){
Student::operator=(rhs);
school = rhs.school;
return *this
}
当编写一个copy函数的,必须要确保(1)复制所有的local变量(2)调用父类的对应的copy函数。
请记住:
- Copying 函数应该确保复制“对象内的所有成员函数”及“所有base class成分”
- 不要尝试以某个copying函数去实现另一个copying函数,应将共同的机制放进第三个函数中,并由两个copying函数共同调用
可以参考以前的博客<<C++在单继承、多继承、虚继承时,构造函数、复制构造函数、赋值操作符、析构函数的执行顺序和执行内容>>
Effective C++ ——构造/析构/赋值运算符的更多相关文章
- Effective C++ —— 构造/析构/赋值运算(二)
条款05 : 了解C++默默编写并调用哪些函数 编译器可以暗自为class创建default构造函数.copy构造函数.copy assignment操作符,以及析构函数. 1. default构造函 ...
- Effective C++ -- 构造析构赋值运算
05.了解C++默默编写并调用哪些函数 编译产生的析构函数时non-virtual,除非这个类的基类析构函数为virtual 成员变量中有引用和const成员时,无法自己主动生成copy assign ...
- 《Effective C++》第2章 构造/析构/赋值运算(1)-读书笔记
章节回顾: <Effective C++>第1章 让自己习惯C++-读书笔记 <Effective C++>第2章 构造/析构/赋值运算(1)-读书笔记 <Effecti ...
- 《Effective C++》第2章 构造/析构/赋值运算(2)-读书笔记
章节回顾: <Effective C++>第1章 让自己习惯C++-读书笔记 <Effective C++>第2章 构造/析构/赋值运算(1)-读书笔记 <Effecti ...
- C++ map.insert 传参类型不同,构造/析构次数不同
1. 传参方式 使用 insert 为 map 插值时,insert 的传参包含以下几种可能: make_pair 生成对象 pair(key_type, value_type) 生成对象 pair( ...
- EffectiveC++ 第2章 构造/析构/赋值运算
我根据自己的理解,对原文的精华部分进行了提炼,并在一些难以理解的地方加上了自己的"可能比较准确"的「翻译」. Chapter 2 构造 / 析构 / 赋值 条款 05:了解C++ ...
- c++继承构造析构调用原则以及特殊变量处理
一.继承中的构造析构调用原则 1.子类对象在创建时会首先调用父类的构造函数 2.父类构造函数执行结束后,执行子类构造函数 3.当父类构造函数有参数时,需要在子类的初始化列表中显示调用: 4.析构函数调 ...
- HexoC++第04课 构造析构.md
C++第04课 构造析构.mdhtml {overflow-x: initial !important;}#write, body { height: auto; } #write, #write h ...
- Effective C++笔记:构造/析构/赋值运算
条款05:了解C++默默编写并调用哪些函数 默认构造函数.拷贝构造函数.拷贝赋值函数.析构函数构成了一个类的脊梁,只有良好的处理这些函数的定义才能保证类的设计良好性. 当我们没有人为的定义上面的几个函 ...
随机推荐
- [SCOI2016]背单词
题目描述 Lweb 面对如山的英语单词,陷入了深深的沉思,”我怎么样才能快点学完,然后去玩三国杀呢?“.这时候睿智的凤老师从远处飘来,他送给了 Lweb 一本计划册和一大缸泡椒,他的计划册是长这样的: ...
- bzoj 1076: [SCOI2008]奖励关
Description 你正在玩你最喜欢的电子游戏,并且刚刚进入一个奖励关.在这个奖励关里,系统将依次随机抛出k次宝物,每次你都可以选择吃或者不吃(必须在抛出下一个宝物之前做出选择,且现在决定不吃的宝 ...
- 51nod 1364 最大字典序排列(线段树)
1364 最大字典序排列基准时间限制:1 秒 空间限制:131072 KB 分值: 80 难度:5级算法题 给出一个1至N的排列,允许你做不超过K次操作,每次操作可以将相邻的两个数交换,问能够得到的字 ...
- 【线段树】【BZOJ1798】【AHOI2009】维护序列
还是那个学弟@lher出的丧题之一. 链接:http://www.lydsy.com/JudgeOnline/problem.php?id=1798 题意简析:就是题目啊... 解题思路:显然是线段树 ...
- 【NOIP2013】传染病控制
题目背景 近来,一种新的传染病肆虐全球.蓬莱国也发现了零星感染者,为防止该病在蓬莱国大范围流行,该国政府决定不惜一切代价控制传染病的蔓延.不幸的是,由于人们尚未完全认识这种传染病,难以准确判别病毒携带 ...
- k-d树模板(BZOJ2648)
实现了插入一个点,查询距某个位置的最近点. #include <cstdio> #include <algorithm> using namespace std; , inf ...
- 解决win10 VC++6.0 应用程序无法正常运行 0xc0000142
废话不多说,无法正常运行原因就是win10不兼容中文版的vc,解决方法就是一句话,用英文版的msdev.exe替换中文版的msdev.exe,msdev.exe是vc的启动程序.直接上来教你怎么做.废 ...
- # C语言程序设计第一次作业1234
---恢复内容开始--- C语言程序设计第一次作业 1.求圆面积和周长 输入圆的半径,计算圆的周长和面积 (1)流程图 (2)测试数据及运行结果 测试数据r=3 运行结果 2.判断闰年 输入一个四位年 ...
- Linux学习之CentOS(十八)-----恢复Ext3下被删除的文件与 使用grep恢复被删文件内容(转)
前言 下面是这个教程将教你如何在Ext3的文件系统中恢复被rm掉的文件. 删除文件 假设我们有一个文件名叫 'test.txt' $ls -il test.txt 15 -rw-rw-r– 2 roo ...
- LeetCode 2
No1 Given a sorted array and a target value, return the index if the target is found. If not, return ...