全局分配的内存会发生什么？

Question

我有一个这样的程序：

int *number0 = new int;

int main()
{
    int *number1 = new int;
}

我想，两个内存分配都会引入内存泄漏，虽然valgrind只会在main函数中抱怨number1。 这是为什么？

Answer 1

Valgrind不是检测是否存在所有可能的内存泄漏的完美工具，而是一种可以检测到一些内存泄漏的有用工具。 这意味着valgrind输出不能用于确定特定代码段是否包含任何泄漏。

你的new都没有相应的delete ，从这个意义上说，他们都被泄露了。

很可能valgrind认为number0内存不会被泄露，因为它指向的内存在程序执行结束时是可以访问的。 与此相反， number1超出了范围，因此它指向的内存在程序执行结束时无法访问，因此valgrind认为它被泄露。

Answer 2

运行这个

int *x = new int;

int main()
{   
    return 0;
}

使用valgrind（3.8.1）与（ -v --track-origins=yes --leak-check=full --show-reachable=yes ）使用valgrind（3.8.1）编译（即没有主要的泄漏，用g ++ 4.8.1编译）我明白了：

==34301== 
==34301== HEAP SUMMARY:
==34301==     in use at exit: 4 bytes in 1 blocks
==34301==   total heap usage: 1 allocs, 0 frees, 4 bytes allocated
==34301== 
==34301== Searching for pointers to 1 not-freed blocks
==34301== Checked 189,064 bytes
==34301== 
==34301== 4 bytes in 1 blocks are still reachable in loss record 1 of 1
==34301==    at 0x4C2A879: operator new(unsigned long) (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==34301== 
==34301== LEAK SUMMARY:
==34301==    definitely lost: 0 bytes in 0 blocks
==34301==    indirectly lost: 0 bytes in 0 blocks
==34301==      possibly lost: 0 bytes in 0 blocks
==34301==    still reachable: 4 bytes in 1 blocks
==34301==         suppressed: 0 bytes in 0 blocks

这意味着您还应该注意in use at exit类别in use at exit 。

看起来valgrind似乎没有错过它，只是把它放在另一个类别中，可能是因为只有当你无法通过任何方式追踪该地址并释放它时它们才会假设丢失的东西，但这个变量永远不会丢失 。

但是这样：

int *x = new int;

int main()
{

    x = new int;    
    return 0;
}

被检测为泄漏，你真的失去跟踪你分配的内存中。

编辑：如记忆检查手册中所述 ：

“仍然可以到达”。 这包括上面的情况1和2（对于BBB块）。 找到该块的起始指针或起始指针链。 由于仍然指向该块，程序员至少在原则上可以在程序退出之前释放它。 “仍然可以访问”的块是非常常见的，可以说不是问题。 因此，默认情况下，Memcheck不会单独报告此类块。

因此，如前所述他们确实发现了它，他们只是认为它不那么令人兴奋

Answer 3

我使用valgrind 3.8.1 / g ++ 4.8.1看到两个泄漏：

$ g++ -o foo -g foo.cc
$ valgrind ./foo
...
==7789== HEAP SUMMARY:
==7789==     in use at exit: 8 bytes in 2 blocks
==7789==   total heap usage: 2 allocs, 0 frees, 8 bytes allocated
==7789== 
==7789== LEAK SUMMARY:
==7789==    definitely lost: 4 bytes in 1 blocks
==7789==    indirectly lost: 0 bytes in 0 blocks
==7789==      possibly lost: 0 bytes in 0 blocks
==7789==    still reachable: 4 bytes in 1 blocks
==7789==         suppressed: 0 bytes in 0 blocks

在我的测试中，“绝对丢失”的字节是main 。

Answer 4

这个

  int *number0 = new int;

不是内存泄漏，因为它在执行结束时被回收。

这种配置是[潜在的]内存泄漏，因为

int main()
{
     int *number1 = new int;
}

代码的其他部分可以调用

    main () ;

它可以被反复调用。