Rust自定义Vector：为何先销毁元素再调用dealloc释放内存？

核心原因很简单：alloc::dealloc只负责把整块内存还给分配器，完全不会处理元素自身的销毁逻辑，和元素是不是指针、存储位置是否连续没有关系。

具体来说：

• 元素的Drop trait是用来清理自身持有的资源的：比如String要释放内部的堆内存，File要关闭操作系统的文件句柄，Box要回收指向的堆数据。如果跳过元素销毁直接调用dealloc，这些资源就会被永久遗弃，造成内存泄漏或者资源泄漏。
• 循环调用pop()的目的就是逐个销毁元素：每次pop会移除Vec的最后一个元素，同时自动触发该元素的drop方法（只要T实现了Drop）。把所有元素都pop完，就能确保每个元素的资源都被正确清理。
• dealloc只关心内存本身：它不会检查内存里的内容，只是告知分配器“这块内存可以重新分配给其他使用了”。如果内存里的元素还没执行销毁逻辑，它们持有的外部资源就永远得不到回收。

举个实际的例子：如果你的MyVec存储的是String类型，每个String自己在堆上都有一段独立的内存空间。要是直接调用dealloc释放MyVec的内存，这些String的堆内存就没人去释放了，会一直占用系统资源直到程序退出。

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