有关的信息Ada.Containers.Functional_Maps https://docs.adacore.com/gnat_rm-docs/html/gnat_rm/gnat_rm/the_gnat_library.html#ada-containers-functional-maps-a-cofuma-adsGNAT 文档中的内容相当深奥。
首先，它是这么说的：
…这些容器仍然可以安全使用。
在第二段中，在我看来，一旦程序退出创建这些对象的上下文，就无法释放为这些对象分配的内存。我了解您可能会遇到内存泄漏。我对吗？
它们也消耗内存，因为当容器不再被引用时，分配的内存不会被回收。
阅读文档中的接下来两句话：
因此，它们通常应该在幽灵代码和注释中使用，以便可以从最终的可执行文件中删除它们。本机的规格与 SPARK 2014 兼容。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
