为何无需限定即可调用std::mem::drop自由函数？

嗨，这个问题我当初刚学Rust的时候也困惑过！其实核心原因是Rust的预导入（prelude）机制在默默帮忙。

Rust标准库为了让开发者写代码更省心，会把一批最常用的类型、函数和特质自动“注入”到每个crate的根作用域里——这些内容就放在std::prelude模块下，不需要你手动写use语句就能直接引用。

std::mem::drop就是预导入列表里的成员之一！当你直接写drop(c);时，Rust的名字解析器会按这个顺序查找标识符：

• 首先检查当前函数或模块的本地作用域
• 找不到就逐层向外查找外层作用域
• 最后会检查预导入的std::prelude内容，刚好能匹配到std::mem::drop，所以不用写全限定路径或者导入语句也能调用。

顺便帮你理清容易混淆的点：你提到的std::ops::Drop trait的drop方法是完全不同的东西——那个是Rust自动调用的析构方法，你不应该手动调用它（强行调用会导致重复析构的问题）；而我们直接用的drop自由函数是专门用来手动提前释放值的工具，它被预导入就是为了方便日常使用。

关于你问的名字解析规则，Rust官方文档里的“名称解析”章节有系统讲解，核心逻辑就是从内到外、最后到预导入的查找顺序，下次可以去那里深挖细节~

内容来源于stack exchange