码迷,mamicode.com
首页 > 其他好文 > 详细

经典问题解析二(十九)

时间:2018-05-20 11:41:08      阅读:184      评论:0      收藏:0      [点我收藏+]

标签:C++   构造顺序   const 成员函数   const 对象   this 指针   

        今天我们来探讨下当程序中存在多个对象时,如何确定这些对象的析构顺序?那么单个对象创建时构造函数的调用顺序是:a> 调用父类的构造过程(我们会在后面进行讲解);b> 调用成员变量的构造函数(调用顺序与生命顺序相同);c> 调用类自身的构造函数。析构函数与对应构造函数的调用顺序相反。当多个对象析构时,析构顺序与构造顺序相反。

        下来我们以代码为例进行说明

#include <stdio.h>

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 mB;
    Member mA;
public:
    Test() : mA("mA"), mB("mB")
    {
        printf("Test()\n");
    }
    ~Test()
    {
        printf("~Test()\n");
    }
};

Member gA("gA")

int main()
{
    Test t;
    
    return 0;
}

        我们先来分析下,首先我们定义两个类 Member 和 Test,在类 Test 中定义了两个类成员 Member。当程序流往下执行时,首先会创建全局类 Member gA,下来是类 Member mB,mA;注意这块它们的顺序和声明的顺序是相同的。最后才是创建类 Test 本身,后面析构的顺序和构造顺序是相反的,我们来看看编译结果

技术分享图片

        我们看到结果和我们分析的是一致的。那么对于栈对象和全局对象,便类似于入栈与出栈的顺序,最后构造的对象是最先被析构的。堆对象的析构发生在使用 delete 的时候,与 delete 的使用顺序相关!!

        我们之前学习了 const 关键字,它可以修饰变量及函数。那么它是否可以修饰类的对象呢?如果可以的话,有何特性呢?const 关键字是可以修饰对象的,它修饰的对象为只读对象。只读对象的成员变量不允许被改变,只读对象是编译阶段的概念,运行时无效。我们下来来讲下 C++ 中的 const 成员函数:a> const 对象只能调用 const 成员函数;b> const 成员函数中只能调用 const 成员函数;c> const 成员函数中不能直接改写成员变量的值。const 成员函数的定义:Type ClassName::function(Type p) const。类中的函数声明与实际函数定义中都必须带 const 关键字。

        下来我们还是以示例代码进行分析说明

#include <stdio.h>

class Test
{
    int mi;
public:
    Test(int i);
    int getMI();
};

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

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

int main()
{
    const Test t(1);

    printf("t.getMI() = %d\n", t.getMI());
        
    return 0;
}

        我们将 main 函数中的 Test 对象定义为 const 的,然后输出 mi 的值,我们直接编译下,看看能否编译通过呢

技术分享图片

        我们看到直接报错了,它说这是个 const 类型的对象。我们前面讲过,const 类型的对象只能调用 const 成员函数,所以我们在 getMI 函数的声明和实现中都加上 const,再来编译看看

技术分享图片

        我们看到编译通过,并且完美运行。那么我们说过 const 成员函数是在其中不能改变值的,我们试试在 getMI 函数中赋值 mi 为 2,看看编译是否通过呢技术分享图片

        它说这个成员在只读的函数中,不能被改变。那么成员函数和成员变量都隶属于具体对象的吗?从面向对象的角度,对象由属性(成员变量)和方法(成员函数)构成。从程序运行的角度,对象由数据和函数构成,数据可以位于栈,堆和全局数据区,但函数只能位于代码段。结论便是:a> 每一个对象拥有自己独立的属性(成员变量);b> 所有的对象共享类的方法(成员函数);c> 方法能够直接访问对象的属性;d> 方法中的隐藏参数 this 用于指代当前对象。

        我们以代码为例进行说明

#include <stdio.h>

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

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

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

int Test::getMI() const
{
    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;
}

        我们定义了三个对象,分别打印出它们的 mi 的值,它们本身的地址以及对应的 this 指针的地址,看看编译结果

技术分享图片

        那么它们为什么能知道自己定义的 mi 的值对应的是多少呢?就是因为每个对象有个隐藏的 this 指针,而且通过打印可以看出这个 this 指针和他们本身的地址是相同的。可能有的小伙伴对拷贝构造函数中的 mi 的赋值有疑问,可以这样直接进行赋值嘛?这个 t.mi 不是私有成员嘛?通过运行,编译器告诉了我们答案,是可以这样写的。因为成员函数是位于代码段的,因此成员函数是唯一的。也就是说,成员函数只有一套,它能够直接访问对应类的成员变量。所以这块是不冲突的。通过今天对特定问题的学习,总结如下:1、对象的析构顺序与构造顺序相反;2、const 关键字能够修饰对象,得到的是只读对象,只读对象只能调用 const 成员函数;3、所有对象共享类的成员函数;5、隐藏的 this 指针用于表示当前对象。


         欢迎大家一起来学习 C++ 语言,可以加我QQ:243343083

经典问题解析二(十九)

标签:C++   构造顺序   const 成员函数   const 对象   this 指针   

原文地址:http://blog.51cto.com/12810168/2118370

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!