7

这是我的程序

#include <vld.h>

using namespace std;

int main() {
    int* p = new int(100);
}

视觉检漏仪报告

Visual Leak Detector Version 2.3 installed.
WARNING: Visual Leak Detector detected memory leaks!
---------- Block 1 at 0x00891B60: 4 bytes ----------
  Call Stack:
    c:\xxx\documents\visual studio 2010\projects\stl1\stl1\stl1.cpp (11): stl1.exe!main + 0x7 bytes
    f:\dd\vctools\crt_bld\self_x86\crt\src\crtexe.c (555): stl1.exe!__tmainCRTStartup + 0x19 bytes
    f:\dd\vctools\crt_bld\self_x86\crt\src\crtexe.c (371): stl1.exe!mainCRTStartup
    0x76B7338A (File and line number not available): kernel32.dll!BaseThreadInitThunk + 0x12 bytes
    0x774B97F2 (File and line number not available): ntdll.dll!RtlInitializeExceptionChain + 0x63 bytes
    0x774B97C5 (File and line number not available): ntdll.dll!RtlInitializeExceptionChain + 0x36 bytes
  Data:
    64 00 00 00                                                  d....... ........


Visual Leak Detector detected 1 memory leak (40 bytes).
Largest number used: 40 bytes.
Total allocations: 40 bytes.
Visual Leak Detector is now exiting.
The program '[8992] stl1.exe: Native' has exited with code 0 (0x0).

为什么40 bytes内存泄漏，它真的应该是4 bytes。

谁能解释这里发生了什么？

4

2 回答 2

5

首先，当您要求分配 4 个字节时，您总是会得到一个更大的块的可能性很高（这是安全的，因为您应该只使用您要求的 4 个字节）。

为什么？

  1. 分配大小必须存储在某个地方（考虑new X[count]大小写，并且delete[]必须调用counttimes X 的析构函数

  2. 然后，堆分配通常通过堆的递归分段来完成，例如Buddy_memory_allocation。这是因为您希望开销尽可能低（即用于管理分配的字节数与实际分配的字节数相比）。您需要记住是否使用了某些内存块。

  3. 调试也可能会增加分配大小。在 Visual Studio 上，malloc / free 函数在返回的指针前插入 4 个字节，并带有类似 ( 0xDDDDDDDD) 的“内存保护”，并在请求的大小之后为另一个内存保护分配 4 个字节。当您调用 malloc 或 free（间接地，new 和 delete）时，堆处理程序的代码会检查守卫并断言它们没有被修改。如果是，它会停止你的程序，这样你就可以看到修改内存的“周围”。IIRC，0xCDCDCDCD用于填充分配区域，0xFEEEFEEE用于填充已释放区域但尚未返回到系统的块，并0xDDDDDDDD用于边界。

因此，即使您只使用“4”，您收到的块的大小似乎也是 40 字节（可能更多）。VLD 不会跟踪您的代码，它会拦截内存管理功能（如malloc/free），并构建每个已分配块的列表。当元素被释放时，这个列表被解析以移除元素。终止后，将列出任何剩余的项目。

因此收到的 malloc 调用可能来自::operator new将请求大小扩大到 40 字节的 a，或者可能在 VLD 中添加了一个 32 字节的块来跟踪“分配请求”。

在查看VLD 源代码后，特别是 vldnew 函数，它为每个分配分配一个标头：

vldblockheader_t *header = (vldblockheader_t*)RtlAllocateHeap(g_vldHeap, 0x0, size + sizeof(vldblockheader_t))

在您的情况下，可能vldblockheader_t是 36 个字节。

于 2015-10-01T11:20:53.557 回答
0

为什么 40 字节内存泄漏，它真的应该是 4 字节。

它与动态分配对象的附加信息和动态（堆）内存的有效1、2管理有关。

关于前者，应该有可用的信息，以便在对象生命周期结束后释放分配的堆内存。

至于后者，有一种叫做容量的东西 ，它不一定等于分配的大小。它可以相等或更大，额外的空间允许适应增长，而无需在每次插入时重新分配。

请注意，在您的情况下，此容量不假设类型大小的限制int。

例子：

vectors 是表示可以改变大小的数组的序列容器。在内部，向量使用动态分配的数组来存储它们的元素。调用以下三个vector成员函数：

  • size()

  • max_size()

  • capacity()

将返回不同的值，并为您提供有关分配堆内存时使用的策略的一些见解。

1. 如果最初分配的对象需要增长，则可能需要完全重新分配，而不是扩展到相邻/连续的内存部分。涉及很多操作。

2. 可以为内存对齐添加额外的填充（4字节的倍数，这样可以用更少的内存访问来读取它）

于 2015-10-01T13:04:43.723 回答