简而言之：您上面描述的情况不是内存泄漏，因为一块内存被分配（例如通过 malloc）给一个指针，后来该指针被覆盖或以其他方式丢失（范围），导致无法显式释放分配的内存。

那么valgrind给出的泄漏报告是什么？

标准库实现在如何实现指定的 C++ 标准功能方面具有很大的自由度。

在您的情况下，您看到的是libc++，与不同libstdc++，当可执行文件第一次尝试在给定线程内引发异常时（main 也被视为线程），会创建一个线程本地存储（TLS）内存实例（通过） 。__calloc_with_fallback(aka process)

__cxa_eh_globals * __cxa_get_globals () {
//  Try to get the globals for this thread
    __cxa_eh_globals* retVal = __cxa_get_globals_fast ();

//  If this is the first time we've been asked for these globals, create them
    if ( NULL == retVal ) {
        retVal = static_cast<__cxa_eh_globals*>
                    (__calloc_with_fallback (1, sizeof (__cxa_eh_globals)));
        if ( NULL == retVal )
            abort_message("cannot allocate __cxa_eh_globals");
        if ( 0 != std::__libcpp_tls_set ( key_, retVal ) )
           abort_message("std::__libcpp_tls_set failure in __cxa_get_globals()");
       }
    return retVal;
    }

代码可以在这里找到：

实例化内存的代码libc++立即通过调用将关联指针注册到关闭的内存管理器__libcpp_tls_set。

这里的想法是，作为进程关闭过程的一部分：一旦进程的所有状态都被释放/销毁/清理，注册的TLS相关分配（因为进程中可能有多个线程）__libcpp_tls_set最终会被释放（或释放）。

Valgrind在这里提出了一个问题，因为它无法跟踪分配的真实位置并将其与相关的销毁对齐，尽管自进程运行开始以来分配的所有内存最终都会被明确释放 – 而不是通过操作系统清理隐式释放。

使用以下代码可以轻松复制您所看到的泄漏：

int main()
{
    try
    {
        throw 1;
    }
    catch (int)
    {} 

    return 0;
}

建造：

c++ -pedantic-errors -Wall -Wextra -Werror -O2 -o exceptiontest exceptiontest.cpp -L/usr/lib -lc++

运行 valgrind：

valgrind –leak-check=full –show-reachable=yes –track-origins=yes –log-file=exceptiontest.log -v./exceptiontest

Valgrind 输出：

==551373== HEAP SUMMARY:
==551373==     in use at exit: 16 bytes in 1 blocks
==551373==   total heap usage: 2 allocs, 1 frees, 160 bytes allocated
==551373==
==551373== Searching for pointers to 1 not-freed blocks
==551373== Checked 135,200 bytes
==551373==
==551373== 16 bytes in 1 blocks are still reachable in loss record 1 of 1
==551373==    at 0x484DA83: calloc (in /usr/libexec/valgrind/vgpreload_memcheck-amd64-linux.so)
==551373==    by 0x48AE65F: ??? (in /usr/lib/llvm-14/lib/libc++abi.so.1.0)
==551373==    by 0x48AD4E9: __cxa_get_globals (in /usr/lib/llvm-14/lib/libc++abi.so.1.0)
==551373==    by 0x48B03F6: __cxa_throw (in /usr/lib/llvm-14/lib/libc++abi.so.1.0)
==551373==    by 0x109105: main (in temp/exception_test/exceptiontest)
==551373==
==551373== LEAK SUMMARY:
==551373==    definitely lost: 0 bytes in 0 blocks
==551373==    indirectly lost: 0 bytes in 0 blocks
==551373==      possibly lost: 0 bytes in 0 blocks
==551373==    still reachable: 16 bytes in 1 blocks
==551373==         suppressed: 0 bytes in 0 blocks
==551373==
==551373== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)

如您所见，编写的程序非常简单且完全符合标准，并且不会显式或隐式泄漏内存，但根据所使用的 c++ 标准库实现，valgrind 会引发与未释放块相关的问题。

当使用构建程序时libstdc++，正如预期的那样，没有产生泄漏或可到达的块：

==551500== HEAP SUMMARY:
==551500==     in use at exit: 0 bytes in 0 blocks
==551500==   total heap usage: 2 allocs, 2 frees, 73,860 bytes allocated
==551500==
==551500== All heap blocks were freed -- no leaks are possible
==551500==
==551500== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)