【C++基础入门】19.C++中经典问题解析（二）

文章目录

一、关于析构的疑问

二、关于 const 对象的疑问

三、关于类成员的疑问

四、小结

---

一、关于析构的疑问

              问题一：  程序中存在多个对象的时候，如何确定这些对象的析构顺序?

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

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

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

     下面看一个构造与析构顺序示例代码：

#include 

class Member
{
    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
{
    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;
}

         输出结果如下：

         注意这几行代码主要用来说明成员的构造顺序只声明顺序有关，mB("mB"), mA("mA") 这么写除了会误导别人，没有其他的作用。

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

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

二、关于 const 对象的疑问

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

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

• C++ 中的 const 成员函数
  • const 对象只能调用 const 的员函数
  • const 成员函数中只能调用 const 成员函数
  • const 成员函数中不能直接改写成员变量的值
• const 成员函数的定义：
  • Type ClassName::function(Type p) const
  • 类中的函数声明与实际函数定义中都必须带 const 关键字。

        下面看一个类的 const 函数示例：

#include 

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

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

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

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

        输出报错，说 getMi() 不能被调用，因为 t 是只读对象，只读对象只能够调用的成员函数时 const 成员函数。

         所以将 const 成员函数加上 const，就能够编译通过。

#include 

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

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

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

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

        输出结果如下：

三、关于类成员的疑问

        问题三：  成员函数和成员变量都是隶属于具体对象的吗?

• 从面向对象的角度
  • 对象由属性（成员变量）和方法（成员函数）构成
• 从程序运行的角度
  • 对象由数据和函数构成
  • 数据可以位于栈，堆和全局数据区
  • 函数只能位于代码段
• 结论
  • 每一个对象拥有自己独立的属性（成员变量)
  • 所有的对象共享类的方法（成员函数)
  • 方法能够直接访问对象的属性
  • 方法中的隐藏参数 this 用于指代当前对象

        下面看一下成员函数的秘密：

#include 

class Test
{
    int mi;
public:
    int mj;
    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;
}

        输出结果如下：

  这个示例告诉我们

• 在类的成员中，有一个隐含的参数，这个参数是一个指针，并且这个指针的值就是调用这个函数所对应的对象的地址。
• 每个对象都有自己的一套成员变量，对象与对象之间的成员变量是独立的，不同的，但是每一个对象都共享一个类的成员函数。

        拷贝构造函数是一种特殊的成员函数，所以它能够直接访问对象的成员变量。（成员函数只有一套，成员函数能够直接访问对应类的成员变量）

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

四、小结

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