Effective C++ 随笔(2)

时间:2021-09-17 22:06:45

条款5 了解c++默默编写并调用哪些函数

编译器自动生成的copy 构造函数,copy赋值操作符,析构函数,构造函数,这些都是public和inline的,此处inline的意思是他们的定义都是在头文件当中的

假设有一个引用类型的数据成员,那么上面的赋值操作是不对的,因为引用不能改变

条款6 如不想使用编译器自动生成的函数,就该明确拒绝

上面的赋值构造函数,赋值操作符都可以有编译器自动生成,为了拒绝使用上面两种函数,可以创建一个将这种函数定义私用成员的类,从而不会使用这些函数

class Uncopyable {
protected:
Uncopyable(){}
~Uncopyable(){}
private:
Uncopyable(const Uncopyable&);
Uncopyable& operator=(const Uncopyable&);
} class myclass: private Uncopyable{ };

条款7 为多态基类声明virtual 析构函数

声明为virtual

应该经析构函数声明为virtual,从而在多态调用时可以层层将各个类层次的资源析构干净,防止内存的泄露等问题

在某些类里声明纯虚析构函数很方便。纯虚函数将产生抽象类——不能实例化的类(即不能创建此类型的对象)。有些时候,你想使一个类成为抽象类, 但刚好又没有任何纯虚函数。怎么办?因为抽象类是准备被用做基类的,基类必须要有一个虚析构函数,纯虚函数会产生抽象类,所以方法很简单: 在想要成为抽象类的类里声明一个纯虚析构函数。

这里是一个例子:

class awov {
public:
virtual ~awov() = 0; // 声明一个纯虚析构函数
};

这个类有一个纯虚函数,所以它是抽象的,而且它有一个虚析构函数,所以不会产生析构函数问题。但这里还有一件事:必须提供纯虚析构函数的定义:

awov::~awov() {} // 纯虚析构函数的定义

这个定义是必需的,因为虚析构函数工作的方式是:最底层的派生类的析构函数最先被调用,然后各个基类的析构函数被调用。 这就是说,即使是抽象类,编译器也要产生对~awov的调用,所以要保证为它提供函数体。如果不这么做,链接器就会检测出来,从而在程序的运行时刻报错

没有必要声明为virtual

有时是没有必要声明为virtual的,因为使用多态的缺点会生成v-table,从而增加编译的复杂度,同时是程序变大,变大的程序在一些内存比较紧缺的嵌入式设备上无法加载进入内存。

有下面几种情况没有必要声明为virtual

一、所有方法为static,则不会存在类的概念,从而已不存在析构的问题

二、虽然使用继承,但是实现为多态的方式,也就是不会通过基类的引用指向继承类(指向继承类时的析构函数调用关系为,首先调用继承类,再去调用base类;构造函数相反)。也就是,此时只能是使用基类的引用指向基类,派生类的引用指向派生类。

上述两种情况都不需要在析构函数上加virtual关键字。

条款9:决不在构造析构过程中调用virtual函数

在构造函数中虚函数都不是虚函数,因此在使用多态是就会出现问题,假设首先对

条款10 为了实现连锁赋值,赋值操作符必须返回一个引用,指向操作符左侧的实参

widget& operator=(const Widget& rhs){
......
return *this;
}

条款12:赋值对象时勿忘其每一部分 当编写一个copying函数时,应该做到两点:

(1)赋值所有的local变量成员

(2)调用所有base class的copying函数

因为要对一个对象进行赋值,同时也要赋值他的父类中的成员对象,但是这些成员对象有时是private的无法直接访问,这是就需要通过父类的copying函数来进行 例如:

//base class
class class1{
public:
class1(const class1& c);
class1& operator=(const class1&);
private:
int p;
};
class1::class1(const class1& c1){
this->p=c1.p;
} class1& class1::operator=(const class1& c1){
p=c1.p;
return *this;
}
//derived class
class class2:public class1{
public:
class2(const class2&);
class2& operator=(const class2&);
private:
int pp;
}; class2::class2(const class2& c2):class1(c2),pp(c2.pp){
} class2& class2::operator=(const class2* c2){
class1::operator=(c2);
pp=c2.pp;
return *this;
}