24_经典问题解析二

关键词：对象的析构顺序、const对象、const成员函数、this指针

1. 关于析构的疑问：当程序中存在多个对象的时候，如何确定这些对象的析构顺序？

• 单个对象创建时构造函数的调用顺序
  1. 调用父类的构造过程
  2. 调用成员变量的构造函数（调用顺序与声明顺序相同）
  3. 调用类自身的构造函数

析构函数与对应的构造函数调用顺序相反。

• 多个对象析构时：析构顺序与构造顺序相反

编程说明：构造与析构顺序

#include 

class Member
{
private:
    const char* ms;
public:
    Member(const char* s)
    {
        printf("Member(const char* s): %s\n", s);
        
        ms = s; 
    }
    ~Member()
    {
        printf("~Member(): %s\n", ms);
    }

};

class Test
{
private:
    Member mA;
    Member mB;
public:
    Test() : mB("mB"), mA("mA")
    {
        printf("Test()\n");
    }
    ~Test()
    {
        printf("~Test()\n");
    }
};

Member gA("gA");

int main()
{
    Test t;

    return 0;
}

输出结果：

Member(const char* s): gA
Member(const char* s): mA
Member(const char* s): mB
Test()
~Test()
~Member(): mB
~Member(): mA
~Member(): gA

2. 关于析构的答案

• 对于栈对象和全局对象，类似于入栈和出栈的顺序，最后构造的对象被最先析构！！！
• 堆对象的析构发生在使用delete的时候，与delete的使用顺序相关！！！

3. 关于const对象的疑问：const关键字能否修饰类的对象？如果可以，有什么特性？

• const关键字能够修饰对象
• const修饰的对象为只读对象
• 只读对象的成员变量不允许被改变
• 只读对象是编译阶段的概念，运行时无效

C++中的const成员函数的定义：

Type ClassName::function(Type p) const

注意：类中的函数声明与实际函数定义中都必须带const关键字

• const对象只能调用const的成员函数[重点]
• const成员函数内部也只能调用const成员函数
• const成员函数中不能直接改写成员变量的值

编程说明：const成员函数初探

#include 

class Test
{
private:
    int mi;
public:
    Test(int i);
    Test(const Test& t);
    int getMi() const;
};

Test::Test(int i)
{
    mi = i;
}

Test::Test(const Test& t)
{
    mi = t.mi;
}

int Test::getMi() const
{
    return mi;
}

int main()
{
    const Test t(1);
    
    printf("t.getMi() = %d\n", t.getMi());

    return 0;
}

输出结果：

t.getMi() = 1

4. 关于类成员的疑问：成员函数和成员变量都是隶属于具体对象的吗？

每一个对象都拥有自己的成员变量，但是所有的对象共享一套成员函数

• 从面向对象的角度：对象由属性（成员变量）和方法（成员函数）构成；
• 从程序运行的角度：对象由数据和函数构成，数据可以位于栈，堆和全局数据区，函数只能位于代码段；代码段是只读的，在程序运行时是不可改变的，当编译器将最终的可执行程序编译完成后，代码段就确定了，不可以被改变。对象可以动态创建和删除，数据（栈数据、堆数据）也可以动态创建和删除，代码段不能动态创建和删除，因此所有的对象共享一套成员函数。

结论：

• 每一个对象拥有自己独立的属性（成员变量）
• 所有的对象共享类的方法（成员函数）
• 方法能够直接访问对象的属性
• 方法中的隐藏参数this用于指代当前对象

编程说明：成员函数的秘密

#include 

class Test
{
private:
    int mi;
public:
    Test(int i);
    Test(const Test& t);
    int getMi();
    void print();
};

Test::Test(int i)
{
    mi = i;
}

Test::Test(const Test& t)
{
    mi = t.mi;
}

int Test::getMi()
{
    return mi;
}

void Test::print()
{
    printf("this = %p\n", this);
}

int main()
{
    Test t1(1);
    Test t2(2);
    Test t3(3);
    
    printf("t1.getMi() = %d\n", t1.getMi());
    printf("&t1 = %p\n", &t1);
    t1.print();

    printf("t2.getMi() = %d\n", t2.getMi());
    printf("&t2 = %p\n", &t2);
    t2.print();

    printf("t3.getMi() = %d\n", t3.getMi());
    printf("&t3 = %p\n", &t3);
    t3.print();

    return 0;
}

输出结果：

t1.getMi() = 1
&t1 = 0xbff8a3f4
this = 0xbff8a3f4
t2.getMi() = 2
&t2 = 0xbff8a3f8
this = 0xbff8a3f8
t3.getMi() = 3
&t3 = 0xbff8a3fc
this = 0xbff8a3fc

this指针表示调用当前函数的调用对象的地址，即指向当前对象。

5. 小结

• 对象的析构顺序和构造顺序相反
• const关键字能够修饰对象，得到只读对象
• 只读对象只能调用const成员函数
• 所有对象共享类的成员函数
• 隐藏的this指针用于表示当前对象