【C++深度剖析学习总结】 19 对象的销毁和临时对象的概念

对象的销毁

作者 CodeAllen ，转载请注明出处

1.对象的销毁
生活中的对象都是被初始化后才上市的
生活中的对象被销毁前会做一些清理工作

问题：C++中如何清理需要销毁的对象?
一般而言，需要销毁的对象都应该做清理

解决方案

• 为每个类都提供一个public的free函数
• 对象不再需要时立即调用free函数进行清理
  
  存在的问题
• free只是一个普通的函数，必须显示的调用
• 对象销毁前没有做清理，很可能造成资源泄漏
• C++编译器是否能够自动调用某个特殊的函数进行对象的清理？

2.析构函数
C++的类中可以定义一个特殊的清理函数

• 这个特殊的清理函数叫做析构函数
• 析构函数的功能与构造函数相反

定义：~ClassName()

• 析构函数没有参数也没有返回值类型声明
• 析构函数在对象销毁时自动被调用

析构函数使用

#include <stdio.h>

class Test
{
    int mi;
public:
    Test(int i)
    {
        mi = i;
        printf("Test(): %d\n", mi);
    }
    ~Test()
    {
        printf("~Test(): %d\n", mi);
    }
};

int main()
{
    Test t(1);
    
    Test* pt = new Test(2);
    
    delete pt;
    
    return 0;
}

/*
从结果可以看出来，delete时候释放了pt，函数return的时候释放了t
Test(): 1
Test(): 2
~Test(): 2
~Test(): 1
*/

  

 

  
1
  
2
  
3
  
4
  
5
  
6
  
7
  
8
  
9
  
10
  
11
  
12
  
13
  
14
  
15
  
16
  
17
  
18
  
19
  
20
  
21
  
22
  
23
  
24
  
25
  
26
  
27
  
28
  
29
  
30
  
31
  
32
  
33
  
34
  
35
 

析构函数的定义准则

• 当类中自定义了析构函数，并且构造函数中使用了系统资源（如：内存申请，文件打开等），则需要自定义析构函数

小结
析构函数是对象销毁时进行清理的特殊函数
析构函数在对象销毁时自动被调用
析构函数是对象释放系统资源的保障

临时对象的概念

作者 CodeAllen ，转载请注明出处

1.有趣的问题
下面的程序输出什么？为什么？

有趣的问题

#include <stdio.h>

class Test {
    int mi;
public:
    Test(int i) {
        mi = i;
    }
    Test() {
        Test(0);  //等价于没有，过了这一行就没了
    }
    void print() {
        printf("mi = %d\n", mi);
    }
};

int main()
{
    Test t;
    
    t.print();

    return 0;
}

  

 

  
1
  
2
  
3
  
4
  
5
  
6
  
7
  
8
  
9
  
10
  
11
  
12
  
13
  
14
  
15
  
16
  
17
  
18
  
19
  
20
  
21
  
22
  
23
  
24
 

2.发生了什么？
程序意图：

• 在Test()中以0作为参数调用Test(int i)
• 将成员变量mi的初始值设置为0
  运行结果：
• 成员变量mi的值为随机值
• 究竟哪个地方出了问题? 临时对象的出现

3.思考
构造函数是一个特殊的函数

• 是否可以直接调用？
• 是否可以在构造函数中调用构造函数？
• 直接调用构造函数的行为是什么？

4.答案

• 直接调用构造函数将产生一个临时对象
• 临时对象的生命周期只有一条语句的时间
• 临时对象的作用域只在一条语句中
• 临时对象是C++中值得警惕的灰色地带

解决方案

#include <stdio.h>
class Test {
    int mi;
   
    void init(int i)  //私有的初始函数
    {
        mi = i;
    }
public:
    Test(int i) {
        init(i);   //用的时候调用，就不会产生临时对象
    }
    Test() {
        init(0);
    }
    void print() {
        printf("mi = %d\n", mi);
    }
};
int main()
{
    Test t;
   
    t.print();
    return 0;
}

  

 

  
1
  
2
  
3
  
4
  
5
  
6
  
7
  
8
  
9
  
10
  
11
  
12
  
13
  
14
  
15
  
16
  
17
  
18
  
19
  
20
  
21
  
22
  
23
  
24
  
25
  
26
 

5.编译器的行为
现代C++编译器在不影响最终执行结果的前提下，会尽力减少临时对象的产生！！！

临时对象

#include <stdio.h>
class Test
{
    int mi;
public:
    Test(int i)
    {
        printf("Test(int i) : %d\n", i);
        mi = i;
    }
    Test(const Test& t)
    {
        printf("Test(const Test& t) : %d\n", t.mi);
        mi = t.mi;
    }
    Test()
    {
        printf("Test()\n");
        mi = 0;
    }
    int print()
    {
        printf("mi = %d\n", mi);
    }
    ~Test()
    {
        printf("~Test()\n");
    }
};
Test func()
{
    return Test(20);
}
int main()
{
    Test t = Test(10); //预计运行过程： 1.生成临时对象 2.用临时对象初始化t对象
                       //==>调用拷贝构造函数，实际运行过程：==> Test t = 10; 推荐这么写就可以避免临时对象
    Test tt = func();  // ==> Test tt = Test(20); ==> Test tt = 20;
   
    t.print();
    tt.print();
   
    return 0;
}

  

 

  
1
  
2
  
3
  
4
  
5
  
6
  
7
  
8
  
9
  
10
  
11
  
12
  
13
  
14
  
15
  
16
  
17
  
18
  
19
  
20
  
21
  
22
  
23
  
24
  
25
  
26
  
27
  
28
  
29
  
30
  
31
  
32
  
33
  
34
  
35
  
36
  
37
  
38
  
39
  
40
  
41
  
42
  
43
  
44
 

小结
直接调用构造函数将产生一个临时对象
临时对象是性能的瓶颈，也是bug的来源之一
现代C++编译器会尽力避开临时对象
实际工程开发中需要人为的避开临时对象

文章来源: allen5g.blog.csdn.net，作者：CodeAllen的博客，版权归原作者所有，如需转载，请联系作者。

原文链接：allen5g.blog.csdn.net/article/details/105742771