构造、析构、赋值运算:条款5-条款12

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

编译器为class默认创建6个函数:

  • default构造函数
  • copy构造函数
  • move构造函数
  • copy assignment操作符
  • move assignment操作符
  • 析构函数
struct A { 
    A() {}                                                 //default构造函数
    A(const A& a) {}                                //copy构造函数
    A(A&& a) {}                                       //move构造函数
    A& operator=(const A& other) {}      //copy assignment操作符
    A& operator=(A&& a) {}                    //move assignment操作符
    ~A() {}                                              //析构函数
};
  • 如果自己构造了带参数的构造函数,编译器不会产生default构造函数
  • base class如果把拷贝构造函数或者赋值操作符设置为private,不会产生这两个函数
  • 含有引用成员变量或者const成员变量不产生赋值操作符
class NamedObject{
private:
    std::string& str;//引用定义后不能修改绑定对象
    const std::string con_str;//const对象定义后不能修改
};

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

将默认生成的函数声明为private,或者C++ 11新特性"=delete"

class Uncopyable{
    //Uncopyable(const Uncopyable&) = delete;                        //拒绝使用默认
    //Uncopyable& operator= (const Uncopyable&) = default;   //使用默认
private:
    Uncopyable(const Uncopyable&);
    Uncopyable& operator= (const Uncopyable&);
}

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

  • 给多态基类应该主动声明virtual析构函数
    • 当子类对象经由一个父类指针删除时,如果父类带有一个non-virtual析构函数,可能会使得对象的子类成分没有被销毁。
  • 非多态基类,没有virtual函数,不要声明virtual析构函数
    • 没有virtual函数的类一般不做基类,为其声明vitual会导致在创建对象时,C++编译器会给对象添加一个vptr指针,类中创建的虚函数的地址会存放在一个虚函数表中,vptr指针就是指向這个表的首地址。

条款8:别让异常逃离析构函数

  • 析构函数绝对不要突出异常
    • 析构函数抛出异常会导致程序提前结束、不明确行为、内存泄漏(构造函数抛出异常不会引起内存泄露)
    • 如果一个被析构函数调用的函数可能抛出异常,析构函数中要及时捕捉异常并吐下他们(防止传播)或结束程序
Base::~Base() {
    try {function();}
    catch(...) {
        //记录function调用失败
        std::abort();
    }
}

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

在调用子类构造函数时,会先调用父类构造函数。
父类构造期间,父类成员初始化,且子类成员尚未初始化,虚表指针指向父类的虚函数表,此时调用的虚函数都是父类的函数。
父类构造完成后,初始化子类成员,虚表指针指向子类虚函数表,此时调用的虚函数是子类的函数。

条款10:令赋值(assignment)返回一个reference to *this

为了实现赋值连锁形式

x=y=z=15;    //赋值连锁

// 返回 reference to *this
Widget& operator=(const Widget& ths) 
{
    ...
    return* this;
}
// operator += 等等要遵循

条款11:在operator=中实现“自我赋值”

Widget& Widget::operator== (const Widget& rhs){
    if(this == &rhs) return *this
    
    ···
}

条款12:复制对象时勿忘其每一部分

  • 记得实现copy构造函数和copy赋值操作符的时候,调用base的相关函数
  • 可以让拷贝构造函数和赋值操作符调用一个共同的函数,例如init
原文地址:https://www.cnblogs.com/narjaja/p/10067735.html