C++学习笔记----6、内存管理(四)---- 通常的内存陷阱(2)

2024-09-08 13:20

本文主要是介绍C++学习笔记----6、内存管理(四)---- 通常的内存陷阱(2),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

3、Windows环境下使用Visual C++发现并修复内存渗露

        内存渗露很难跟踪是因为你无法很容易地看着内存并且看到什么对象处于使用中,一开始在哪儿分配的内存。然而,是有程序可以为你做到这一点的。内存渗露检测工具有昂贵的专业软件包,也有免费下载的工具。如果你是在Microsoft Visual C++环境下工作,它的排错工具库有内建的对于内存渗露检测的支持。该内存检测默认没有打开,除非你生成了一个MFC项目。在其他项目中打开这个工具,需要在一开始包含下面三行代码。使用了#define的预处理宏,这个我们以后再讲。现在,只要使用这三行就行了。

#define _CRTDBG_MAP_ALLOC
#include <cstdlib>
#include <crtdbg.h>

        这三行的顺序不能调整。接下来,需要重新定义new操作符,如下面代码所示。也会用到一些其它的预处理宏,也会在以后再讲,现在用就是了。

#ifdef _DEBUG#ifndef DBG_NEW#define DBG_NEW new( _NORMAL_BLOCK, __FILE__,__LINE__)#define new DBG_NEW#endif
#endif

        #ifdef _DEBUG语句确保对于new的重新定义只有在编译应用的排错版本时才会做。这就是你正常想要的。发行版本通常不会再去做内存渗露检测,因为会有性能惩罚的。

        最后需要做的就是在main()函数的第一行加上下面这一行代码:

_CrtSetDbgFlag(_CRTDBG_ALLOC_MEM_DF | _CRTDBG_LEAK_CHECK_DF);

        这行代码告诉Visual C++ CRT(C运行时)库,当应用退出时,把所有检测到的内存渗露写到排错输出控制台。对于早期渗露程序,排错控制台会包含类似于下面的语句:

Detected memory leaks!
Dumping objects ->
c:\leaky\leaky.cpp(15) : {147} normal block at 0x014FABF8, 4 bytes long.
Data: < > 00 00 00 00
c:\leaky\leaky.cpp(33) : {146} normal block at 0x014F5048, 4 bytes long.
Data: <Pa > 50 61 20 01
Object dump complete.

        输出清晰地展示了哪个文件的哪一行的内存分配了但是没有被释放。行号在文件名后面的括号内。大括号内的数字是对于内存分配的计数。例如,{147}意味着从程序一开始的第147次内存分配。可以使用VC++ _CrtSetBreakAlloc()函数告诉VC++排错运行时在debugger中进入断点,当选定的内存分配执行时。例如,可以加入下面一行代码在main()函数的开头,让debugger在第147次内存分配时进入断点:

_CrtSetBreakAlloc(147);

        在这个内存渗露的程序中,有两个渗露点:第一个Simple对象没有被删除,以及在自由内存空间上生成的整数。在Visual C++ debugger输出窗口中,可以双击其中一个内存渗露点,会自动跳转到该行。

        当然了,像在Microsoft Visual C++(以上讨论的就是)以及Valgrind(后面会讨论)中的程序并不能实际上为你修复内存渗露----你可能会说,这不是搞笑吗?这些工具提供了你可以用来发现实际问题的信息。正常情况下,这包含了进入代码后发现指向对象的指针被覆写而原始对象没有被释放。大部分debugger提供了“观察点”功能,当这种情况发生时可以中断程序的执行。

4、在Linux环境下使用Valgrind发现并修复内存渗露

        Valgrind是一个Linux环境下的开源免费的例子,与其它工具相比,能够定位到出现内存渗露的代码的准确的行。

        下面的输出,就是由运行在早期内存渗露程序的Valgrind产生的,定位到了内存分配而没有释放的精确位置。Valgrind发现了同样的两个内存渗露----第一个Simple对象没有被删除,以及在自由内存空间上生成的整数:

==15606== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)
==15606== malloc/free: in use at exit: 8 bytes in 2 blocks.
==15606== malloc/free: 4 allocs, 2 frees, 16 bytes allocated.
==15606== For counts of detected errors, rerun with: -v
==15606== searching for pointers to 2 not-freed
blocks.
==15606== checked 4455600 bytes.
==15606==
==15606== 4 bytes in 1 blocks are still reachable in loss record 1 of 2
==15606== at 0x4002978F: __builtin_new (vg_replace_malloc.c:172)
==15606== by 0x400297E6: operator new(unsigned) (vg_replace_malloc.c:185)
==15606== by 0x804875B: Simple::Simple() (leaky.cpp:4)
==15606== by 0x8048648: main (leaky.cpp:24)
==15606==
==15606==
==15606== 4 bytes in 1 blocks are definitely lost in loss record 2 of 2
==15606== at 0x4002978F: __builtin_new (vg_replace_malloc.c:172)
==15606== by 0x400297E6: operator new(unsigned) (vg_replace_malloc.c:185)
==15606== by 0x8048633: main (leaky.cpp:20)
==15606== by 0x4031FA46: __libc_start_main (in /lib/libc-2.3.2.
so)
==15606==
==15606== LEAK SUMMARY:
==15606== definitely lost: 4 bytes in 1 blocks.
==15606== possibly lost: 0 bytes in 0 blocks.
==15606== still reachable: 4 bytes in 1 blocks.
==15606== suppressed: 0 bytes in 0 blocks.

        注意:强烈推荐使用std::vector,array,string,智能指针,以及其他现代C++构造函数,以避免内存渗露。

5、双重删除与无效指针

        一旦使用delete释放与指针相关的内存,它就可以被程序的其它部分使用了。然而,什么也阻挡不了你继续使用这个指针哪,这个指针现在就成了一个悬挂指针。双重删除也是一个问题。如果你对一个指针进行两次delete操作,程序就可能会释放分配给了另一个对象的内存。

        双重删除与使用已经释放了的内存都是难以跟踪的难题,因为其症状并不会立马显现。如果双重删除出现在一个相对短的时间,程序可能会继续工作,因为与其相关的内存可能不会那么快被重新用到,如果一个被删除了的对象马上被用到,很大可能其仍然是完整的,不会出问题。

        当然了,无法保证这样的行为能够正常工作或者继续正常工作。内存分配器无法保证对于已经删除的对象进行保护。即使能够工作,使用已经被删除的对象也是极端糟糕的编程风格。

        为了避免双重删除与使用已经释放了的内存,应该在释放内存后将指针赋值nullptr。

        许多内存渗露检测程序也能够检测到双重删除与使用释放了的对象。

这篇关于C++学习笔记----6、内存管理(四)---- 通常的内存陷阱(2)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1148224

相关文章

C++ 中的 if-constexpr语法和作用

《C++中的if-constexpr语法和作用》if-constexpr语法是C++17引入的新语法特性,也被称为常量if表达式或静态if(staticif),:本文主要介绍C++中的if-c... 目录1 if-constexpr 语法1.1 基本语法1.2 扩展说明1.2.1 条件表达式1.2.2 fa

C++中::SHCreateDirectoryEx函数使用方法

《C++中::SHCreateDirectoryEx函数使用方法》::SHCreateDirectoryEx用于创建多级目录,类似于mkdir-p命令,本文主要介绍了C++中::SHCreateDir... 目录1. 函数原型与依赖项2. 基本使用示例示例 1:创建单层目录示例 2:创建多级目录3. 关键注

C++从序列容器中删除元素的四种方法

《C++从序列容器中删除元素的四种方法》删除元素的方法在序列容器和关联容器之间是非常不同的,在序列容器中,vector和string是最常用的,但这里也会介绍deque和list以供全面了解,尽管在一... 目录一、简介二、移除给定位置的元素三、移除与某个值相等的元素3.1、序列容器vector、deque

C++常见容器获取头元素的方法大全

《C++常见容器获取头元素的方法大全》在C++编程中,容器是存储和管理数据集合的重要工具,不同的容器提供了不同的接口来访问和操作其中的元素,获取容器的头元素(即第一个元素)是常见的操作之一,本文将详细... 目录一、std::vector二、std::list三、std::deque四、std::forwa

C++字符串提取和分割的多种方法

《C++字符串提取和分割的多种方法》在C++编程中,字符串处理是一个常见的任务,尤其是在需要从字符串中提取特定数据时,本文将详细探讨如何使用C++标准库中的工具来提取和分割字符串,并分析不同方法的适用... 目录1. 字符串提取的基本方法1.1 使用 std::istringstream 和 >> 操作符示

C++原地删除有序数组重复项的N种方法

《C++原地删除有序数组重复项的N种方法》给定一个排序数组,你需要在原地删除重复出现的元素,使得每个元素只出现一次,返回移除后数组的新长度,不要使用额外的数组空间,你必须在原地修改输入数组并在使用O(... 目录一、问题二、问题分析三、算法实现四、问题变体:最多保留两次五、分析和代码实现5.1、问题分析5.

C++ 各种map特点对比分析

《C++各种map特点对比分析》文章比较了C++中不同类型的map(如std::map,std::unordered_map,std::multimap,std::unordered_multima... 目录特点比较C++ 示例代码 ​​​​​​代码解释特点比较1. std::map底层实现:基于红黑

C++中函数模板与类模板的简单使用及区别介绍

《C++中函数模板与类模板的简单使用及区别介绍》这篇文章介绍了C++中的模板机制,包括函数模板和类模板的概念、语法和实际应用,函数模板通过类型参数实现泛型操作,而类模板允许创建可处理多种数据类型的类,... 目录一、函数模板定义语法真实示例二、类模板三、关键区别四、注意事项 ‌在C++中,模板是实现泛型编程

nvm如何切换与管理node版本

《nvm如何切换与管理node版本》:本文主要介绍nvm如何切换与管理node版本问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录nvm切换与管理node版本nvm安装nvm常用命令总结nvm切换与管理node版本nvm适用于多项目同时开发,然后项目适配no

利用Python和C++解析gltf文件的示例详解

《利用Python和C++解析gltf文件的示例详解》gltf,全称是GLTransmissionFormat,是一种开放的3D文件格式,Python和C++是两个非常强大的工具,下面我们就来看看如何... 目录什么是gltf文件选择语言的原因安装必要的库解析gltf文件的步骤1. 读取gltf文件2. 提