C&C++ 面向对象编程OOP

[JAX1024Dev]

前言

构造函数、析构函数、赋值函数

对于每个类会产生四个缺省的函数。

class A
{
    A(void);  // 缺省的无参构造函数
    A(const A &a);  // 缺省的拷贝构造函数
    ~A(void);  // 缺省的析构函数
    A & operator = (const A &a);  // 缺省的赋值函数
}

其中缺省的拷贝构造函数和缺省的赋值函数均采用“位拷贝”而非“值拷贝”的方式实现，倘若其中有指针变量，必然会出现错误。

构造函数初始化表

构造函数有个特殊的初始化方式“初始化表达式表“，初始化表位于函数参数表之后，却在函数体{}之前。
使用规则：
如果类存在继承关系，派生类必须在其初始化表里调用基类的构造函数。
类的 const 常量只能在初始化表中被初始化，因为它不能在函数体内用赋值的方式来初始化。
类的数据成员的初始化可以采用初始化表或函数体内赋值两种方式，这两种方式的效率不完全相同。非内部数据成员应当采用初始化表初始化，以提高效率。

赋值函数

四步实现：

1. 检查自赋值，为第二步做准备。
2. 用 delete 释放原有内存资源，现在不释放，以后就没有机会了，将造成内存泄漏。
3. 分配新的内存资源。
4. 返回本对象的引用，目的是为了实现a = b = b这样的链式表达式。

派生类实现基本函数

这三种基本函数都不能被派生类继承，如果类之间存在继承关系，应该注意以下事项：

• 派生类的构造函数应该在初始化表里调用基类的构造函数。
• 基类与派生类的析构函数都应该为虚。
• 在编写派生类的赋值函数时，注意不要忘记对基类数据成员重新赋值。

Derived & Derived::operator = (const Derived &other)
{
    // 自检查
    if (this == &other)
        return *this;
    // 基类数据成员直接赋值 向上转型
    // 因为不能直接操作私有数据成员，因此使用这种方式
    Base::operator = (other);
    // 派生类成员赋值

    // 返回本对象引用
    return *this;
}