C++ 面向对象特性

[freelsn]

复制构造函数与移动构造函数

class Test {
public:
    Test(): m_ptr(new int(3)) {}
    ~Test() { if (m_ptr != nullptr) {delete m_ptr;} }
    Test(const Test &obj)  // 深拷贝
    {
        m_ptr = new int(0);
        if (obj.m_ptr != nullptr) {
            *m_ptr = *obj.m_ptr;
        }
    }
    Test(Test &&obj): m_ptr(obj.m_ptr) { obj.m_ptr = nullptr; }
private:
    int *m_ptr;
};

Test func1() { return Test(); }
void func2(Test obj) {}

int main()
{
    Test obj1;
    func2(obj1);  // 复制
    Test obj2 = func1();  // 移动
    Test obj3(obj1);  // 复制
    return 0;
}

复制构造函数：

• 用已存在的对象初始化同类新对象
• 若未定义复制构造函数，编译器自动生成默认的按比特位进行复制的复制构造函数，即浅拷贝
• 复制构造函数被调用的三种情况：直接定义、函数传参、函数返回值

移动构造函数：

• 用于将某个临时对象的资源移交给另一个正在创建的新对象
• 当临时对象即将销毁并且用于拷贝构造新对象时，可触发移动构造函数以避免发生拷贝

[freelsn]

类的构造与析构

• 执行构造函数时先执行其初始化列表，再执行函数体
• 构造函数同其它函数一样，允许被重载，允许被委托

class Student {
public:
    Student();
    explicit Student(uint32_t id);
    Student(uint32_t id, uint32_t age);
    Student(char id) = delete;
    void setId(uint32_t id) { m_id = id; }
    uint32_t getId() { return m_id; }
private:
    uint32_t m_id = 0;
    uint32_t m_age;
}

Student::Student(uint32_t id, uint32_t age)
    : m_id(id), m_age(age) {}

Student::Student(): Student(0, 18) {}  // 委托

Student::Student(uint32_t id): Student(id, 18) {}

void foo(Student stud) {}

int main()
{
    Student stud1;
    Student stud3(1);
    Student stud4(1, 19);
    uint32_t id = 4;
    foo(id);  // wrong
    return 0;
}

• 使用 default 关键字可要求编译器生成默认构造函数
• 使用 explicit 关键字拒绝对象被隐式构造，foo(id); 默认会自动构造 Student 对象，但 explicit 阻止了这种操作
• 使用 delete 关键字删除部分构造函数避免对象不符合预期被构造，删除使用 char 构造对象，否则 char 可以被精度提升隐式转换成 uint_t，从而调用对应的构造函数