Effetive C++读书笔记-第1、2章

1 熟悉C++ & 2 构造/析构/赋值运算

2 尽量以const,enum,inline替换#define

1 对于常量声明,尽量用const代替#define

2 #define不具有封装性,所以在类内部用static const来代替。(声明时就要赋初值)

3 也可以用枚举代替static const,因为枚举没有地址的概念,空间分配在常量区,所以无法对其取地址(C++中,enum类型可以直接转换为int,但是从int转换成enum要经过强制转换)

4 形似函数的宏,最好使用内联(inline)函数替换

3 尽可能使用const

1 类内部的const成员必须通过成员初始化列表进行初始化

2 常量指针和指向常量的指针

const T * p;    //指向常量的指针
T const * p;    //指向常量的指针
T * const p;    //常量指针

3 迭代器

const vector<int>::iterator;    //迭代器本身是常量(不可移动)
vector<int>::const_iterator;    //迭代器所指之物是常量

4 const返回值可以防止对自建类的临时变量进行赋值

class A{};
const A operator *(const A &lhs, const A &rhs);
A a, b, c;
a * b = c;  //不可以(如果返回值没有const就可以了)

5(P19~25) const类对象只可以调用类内部的const成员函数,普通类对象可以调用const和非const成员函数。成员变量声明为mutable可被const成员函数修改。如果非const成员函数和const成员函数进行一样的过程,可以在非const成员函数内调用const成员函数(需要使用强制类型转换)

class A{
public:
    const char & operator[](int pos) const {
        //balabala
        return text[pos];
    };
    char & operator[](int pos){
        return const_cast<char &>(static_cast<const A &>(*this)[pos]);
    };
private:
    string text;
};

6 const可以被施加于任何作用于内的对象,函数参数,函数返回类型,成员函数本体。

4 确定对象被使用前已先被初始化

1 对于内置类型(int, float等),在使用前要手动初始化(赋初值)

2 使用自建类的构造函数进行初始化的时候,最好使用成员初始化列表,而不要在构造函数本体内使用赋值操作(这样白白浪费默认的成员初始化列表的初始化行为,此行为在进入构造函数之前执行),初始化列表的初始化顺序,应当和类中的声明顺序相同。因为构造顺序是取决于类中的声明顺序的。这样写的好处是不会造成误解。

3 static对象的寿命从构造到程序结束为止(析构函数在main函数结束时被自动调用),包括全局static变量,命名空间内,类内,函数内,文件作用域内的static声明的对象。函数中的static变量成为local static对象,其余的是非local static对象。

在不同编译单元(产生单一目标文件的源码)内,如果存在非local static对象的相互使用的话,是难以保证被使用的static对象是已经被构造的,C++对定义域不同编译单元的非local static对象的初始化顺序没有明确定义。所以应尽量使用函数内部的非local static对象,函数内声明此static对象并返回指向这个对象的引用,这样只有在第一次调用的时候才是初始化此static对象,之后调用此函数不会在进行初始化,只会访问之前初始化好的static对象。

5 了解C++默默编写并调用哪些函数

如果对包括引用成员变量,或是const成员变量的类进行赋值操作,必须自定义赋值操作符。

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

可以将相应的拷贝构造函数和赋值符声明为private,并且不予已实现,仅仅是声明,这样可以防止复制的行为。并且也无法通过友元函数和成员函数去调用。除此之外可以直接声明一个空类,该类将拷贝构造函数和赋值符声明为private,通过继承该类就可以获得无法被拷贝的能力。

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

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

1 基类的析构函数声明为虚函数可以在通过基类指针释放派生类的情景下,正确的释放内存,如果不设置为虚函数,就不能释放派生类的空间,只能释放派生类中基类的部分,造成内存泄漏。

2 纯虚函数是不用实现的,但是纯虚析构函数必须实现。

class A{
    virtual ~A();
};
//必须实现,否则子类析构会出错
A::A(){ }

3 声明虚析构函数会带来虚函数表的额外开销,所以如果没有继承需求的时候(类内部没有虚函数),尽量不要声明虚析构函数。

8 别让异常逃离析构函数

1 析构函数应该捕捉可能出现的异常,选择结束程序或者不继续向外传播。

2 如果需要对某个操作函数运行期间抛出的异常做反映,那么class应提供一个普通函数执行该操作。

9 绝不在构造和析构过程中调用virtual函数

基类和派生类产生多态效果的实现方法是虚函数,但是在派生类的构造期间,首先是调用基类的构造函数的,在构造基类的过程中,编译器不会认定这个是派生类,因而,如果说构造函数中调用了虚函数的话,将不会调用派生类重写的虚函数,而是继续调用基类中的虚函数。(如果基类是纯虚函数就会报错,因为纯虚函数不实现,程序无法进行连接)。如果想在派生类和基类的构造函数中,实现不同的功能的话,如A->B,在A中想打印A的日志,B中想打印B的日志,那么可以通过普通函数,传入不同参数的方法实现。

10 令operator=返回reference to *this

返回类型是指向本身的引用类型(即reference to *this)才可以实现连续赋值。

11 在operator=中处理自我赋值

赋值的时候,一般先要把本身的内存释放,然后将传入的参数进行内存拷贝。但是如果出现了自我赋值的情况就会出错,因为释放后,再复制,指针指向的地方是未定义的。最简单的解决方法就是将传入的参数和this指针进行比较,相等则不进行赋值操作;除此之外还可以先保存要释放的内存的指针,进行拷贝后,再释放这块内存,这样就不会出现自我赋值被释放的情况;还有一种方法是通过自行实现赋值操作符的情况,原先传入的参数类型一般都是const T &,现在可以使用const T,这样传入的一定是参数的一个拷贝(临时对象),这个时候把临时对象的指针和要赋值对象的指针值(就是指向的内存)进行互换,这样临时对象退出作用域就自动删除空间(也就是原先要赋值的指针拥有的空间)了,而临时对象原先的空间就被保存下来了。(这样等于是把原先手动执行的拷贝操作交给了编译器)

12 复制对象时勿忘其每一个成分

1 构造函数确保复制对象内的每一个成员变量,尤其是基类(在成员初始化列表中调用基类的复制构造函数)。

2 如果拷贝构造函数和赋值符有相同的代码段,不要相互调用,原因是使用拷贝构造函数的时候是对象未被初始化的时候,而使用赋值符的时候是对象被初始化以后的赋值,这样相互调用很明显会出现问题。所以最好是把相同代码用一个函数包括起来,供这两个函数调用。

猜你喜欢

转载自blog.csdn.net/u012630961/article/details/80182056