Valgrind DHAT检测到std::unordered_map内存问题，请求排查原因

先来看你提供的Valgrind DHAT输出日志：

==27444== -------------------- 22 of 50 --------------------
==27444== max-live: 245,820 in 5 blocks
==27444== tot-alloc: 245,820 in 5 blocks (avg size 49164.00)
==27444== deaths: none (none of these blocks were freed)
==27444== acc-ratios: 0.00 rd, 1.00 wr (48 b-read, 246,108 b-written)
==27444== at 0x4C28425: operator new(unsigned long) (vg_replace_malloc.c:333)
==27444== by 0x6EAB0F0: __gnu_cxx::__pool<true>::_M_initialize() (in /usr/lib64/libstdc++.so.6.0.19)
==27444== by 0x5A86D4: __gnu_cxx::__pool<true>::_M_initialize_once() (mt_allocator.h:329)
==27444== by 0x5AF772: __gnu_cxx::__common_pool_base<__gnu_cxx::__pool, true>::_S_initialize() (mt_allocator.h:433)
==27444== by 0x5410E1F: pthread_once (pthread_once.S:103)
==27444== by 0x5879C2: __gthread_once(int*, void (*)()) (gthr-default.h:699)
==27444== by 0x5AF4E6: __gnu_cxx::__common_pool_base<__gnu_cxx::__pool, true>::_S_initialize_once() (mt_allocator.h:445)
==27444== by 0x6231F0: __gnu_cxx::__mt_alloc<std::__detail::_Hash_node_base*, __gnu_cxx::__common_pool_policy<__gnu_cxx::__pool, true> >::allocate(unsigned long, void const*) (mt_allocator.h:694)
==27444== by 0x622294: std::_Hashtable<unsigned long, std::pair<unsigned long const, __std_cxx::ExtKey_Map<std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >, unsigned long, __std_cxx::__mt_alloc<std::pair<unsigned long, std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >*> > >*>, __std_cxx::__mt_alloc<std::pair<unsigned long, __std_cxx::ExtKey_Map<std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >, unsigned long, __std_cxx::__mt_alloc<std::pair<unsigned long, std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >*> > >*> >, std::__detail::_Select1st, std::equal_to<unsigned long>, std::hash1<unsigned long, void>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, false, true> >::_M_allocate_buckets(unsigned long) (hashtable.h:779)
==27444== by 0x620399: std::_Hashtable<unsigned long, std::pair<unsigned long const, __std_cxx::ExtKey_Map<std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >, unsigned long, __std_cxx::__mt_alloc<std::pair<unsigned long, std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >*> > >*>, __std_cxx::__mt_alloc<std::pair<unsigned long, __std_cxx::ExtKey_Map<std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >, unsigned long, __std_cxx::__mt_alloc<std::pair<unsigned long, std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >*> > >*> >, std::__detail::_Select1st, std::equal_to<unsigned long>, std::hash1<unsigned long, void>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, false, true> >::_Hashtable(unsigned long, std::hash1<unsigned long, void> const&, std::__detail::_Mod_range_hashing const&, std::__detail::_Default_ranged_hash const&, std::equal_to<unsigned long> const&, std::__detail::_Select1st const&, __std_cxx::__mt_alloc<std::pair<unsigned long, __std_cxx::ExtKey_Map<std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >, unsigned long, __std_cxx::__mt_alloc<std::pair<unsigned long, std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >*> > >*> > const&) (hashtable.h:831)
==27444== by 0x61E6FA: std::_Hashtable<unsigned long, std::pair<unsigned long const, __std_cxx::ExtKey_Map<std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >, unsigned long, __std_cxx::__mt_alloc<std::pair<unsigned long, std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >*> > >*>, __std_cxx::__mt_alloc<std::pair<unsigned long, __std_cxx::ExtKey_Map<std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >, unsigned long, __std_cxx::__mt_alloc<std::pair<unsigned long, std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >*> > >*> >, std::__detail::_Select1st, std::equal_to<unsigned long>, std::hash1<unsigned long, void>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, false, true> >::_Hashtable(unsigned long, std::hash1<unsigned long, void> const&, std::equal_to<unsigned long> const&, __std_cxx::__mt_alloc<std::pair<unsigned long, __std_cxx::ExtKey_Map<std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >, unsigned long, __std_cxx::__mt_alloc<std::pair<unsigned long, std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >*> > >*> > const&) (hashtable.h:397)
==27444== by 0x61CB5C: std::unordered_map<unsigned long, __std_cxx::ExtKey_Map<std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >, unsigned long, __std_cxx::__mt_alloc<std::pair<unsigned long, std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >*> > >*, std::hash1<unsigned long, void>, std::equal_to<unsigned long>, __std_cxx::__mt_alloc<std::pair<unsigned long, __std_cxx::ExtKey_Map<std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >, unsigned long, __std_cxx::__mt_alloc<std::pair<unsigned long, std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >*> > >*> > >::unordered_map(unsigned long, std::hash1<unsigned long, void> const&, std::equal_to<unsigned long> const&, __std_cxx::__mt_alloc<std::pair<unsigned long, __std_cxx::ExtKey_Map<std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >, unsigned long, __std_cxx::__mt_alloc<std::pair<unsigned long, std::unordered_map<int, unsigned long, std::hash<int>, std::equal_to<int>, __std_cxx::__mt_alloc<unsigned long> >*> > >*> > const&) (unordered_map.h:142)

核心结论：这不是你的代码问题，是GCC STL内存池的正常行为 #

从调用栈能清晰看到，这些未释放的内存来自__gnu_cxx::__mt_alloc——也就是GCC专为多线程场景设计的内存分配器，它的工作机制是这样的：

• 为了减少频繁调用malloc/free带来的性能开销，它会预先分配一块内存池，把小内存块的分配/释放都在池内完成；
• 这些内存池的内存不会主动归还给操作系统，而是留着给后续的内存分配请求复用；
• 程序退出时，操作系统会自动回收进程的所有内存，所以这完全不属于“内存泄漏”——只是Valgrind检测到内存没有被显式free而已。

进一步验证的小技巧 #

如果你还是不放心，可以试试这两个方法：

• 切换默认分配器：把代码中__std_cxx::__mt_alloc替换成STL默认的分配器，再跑Valgrind，你会发现这类内存未释放的报告消失了；
• 检查容器生命周期：确认你的std::unordered_map对象在程序退出前被正确销毁（就算是全局对象，销毁时也只会释放容器内的元素内存，内存池本身还是不会还给系统）。

总而言之，这个情况是GCC STL内存分配器的设计特性，不用修改你的代码，完全不用担心实际的内存泄漏问题。

内容的提问来源于stack exchange，提问作者Surya