Rust宏定义中路径开头的双冒号::有什么含义与作用

语法本身的含义 #

Rust 里写在路径最开头的::是绝对路径标记，作用是强制编译器从 crate 根命名空间开始解析后续路径，完全跳过当前作用域的同名项查找。

举个最直观的对比：

• 写std::collections::HashMap时，编译器会先检查当前作用域有没有自定义的std模块、use导入的std别名，找不到才会去根路径匹配标准库的std
• 写::std::collections::HashMap时，编译器直接绕开当前作用域的所有同名定义，从根位置定位标准库的std，不会被局部命名干扰。

宏定义中必须加前导::的核心原因 #

声明宏（macro_rules!定义的宏）是惰性展开的：宏本身的代码不会在定义位置做路径解析，而是会被完整替换到调用宏的代码位置，再参与编译。要注意Rust声明宏的卫生性仅覆盖局部变量名，不会对模块路径做隔离，路径解析完全跟随调用方的作用域。

如果宏里写路径不带开头的::，就很容易受调用方作用域的命名影响产生编译错误。比如调用宏的代码刚好在当前模块定义了自己的std模块，或者导入了同名的其他项，宏展开后就会把std解析到这些自定义项上，根本找不到标准库的HashMap。

你可以自己做个测试：如果把宏里的前导::去掉，在下面的代码里调用宏100%会编译失败：

// 调用方作用域里自定义了同名std模块
mod std {
    pub mod collections {
        pub struct HashMap;
    }
}

fn main() {
    // 宏展开后会优先匹配当前模块下的std，和标准库HashMap完全无关
    let m = hashmap!{ "key" => "value" };
}

加上前导::之后，不管调用方的作用域里有什么同名的自定义内容，都会强制从crate根路径查找标准库的std，从根源上避免这种命名冲突问题，这是Rust声明宏编写时的通用最佳实践。

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