Ada.Containers.Formal_Indefinite_Vectors存储多态对象内存泄漏排查

先说结论：自定义的始终返回True的"="函数不会直接引发内存泄漏。这个函数仅用于容器内元素的相等性判断（比如Contains、Index这类操作），和Clear方法的内存释放逻辑完全无关。

你遇到的内存泄漏，更可能是以下两种情况导致：

• 存储的是访问类型的多态对象：Ada.Containers.Formal_Indefinite_Vectors存储访问类型时，Clear只会释放容器自身用来存访问值的内存（比如底层数组），但不会自动释放访问值指向的堆对象。你得在调用Clear之前，手动遍历容器里的每个元素，用Unchecked_Deallocation释放对应的对象内存。
• 多态类型未正确实现Finalization：如果你的多态类型继承了Ada.Finalization.Controlled或Limited_Controlled，但没正确重写Finalize方法来释放内部持有的堆资源，就算容器销毁了元素对象，内部的资源也会泄漏。

可以按以下步骤验证：

1. 在调用Clear前，遍历容器所有元素，手动释放每个多态对象的内存（如果是访问类型），再执行Clear，之后用gnatmem检测是否还有泄漏。
2. 检查多态类型的Finalization逻辑，确保所有堆分配的内部资源在对象销毁时被正确释放。

另外要注意，Formal_Indefinite_Vectors是为形式验证设计的容器，它的内存管理逻辑和非Formal版本的容器基本一致，但对不定类型、访问类型的处理要求更严格，必须手动管理好对象的生命周期。

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