Rust宏模式中__impl的语法意义与作用探究

先来看你提供的nom库宏代码：

#[macro_export] macro_rules! map(
    // Internal parser, do not use directly
    (__impl $i:expr, $submac:ident!( $($args:tt)* ), $g:expr) => ( ... );
    ($i:expr, $submac:ident!( $($args:tt)* ), $g:expr) => ( map!(__impl $i, $submac!($($args)*), $g); );
    ($i:expr, $f:expr, $g:expr) => ( map!(__impl $i, call!($f), $g); );
);

从语法角度看，__impl是什么？ #

从Rust正式语法来说，它就是一个普通的标识符——编译器不会把它当作特殊语法处理，和你自己定义的my_impl这类名称没有本质区别。但它的命名遵循了Rust社区的惯例：双下划线开头的标识符通常用来表示内部私有实现细节。

它存在的原因是什么？ #

你猜的完全正确！这个__impl分支是宏的核心实现逻辑，其他不带__impl的分支都是对外的“入口”，最终都会转发到这个内部分支。这么做的好处主要有三点：

• 代码复用：所有公开调用路径最终都走同一个实现，避免重复编写相同的解析逻辑
• 隐藏内部细节：rustdoc默认会忽略以双下划线开头的宏分支，生成的文档里只会展示对外公开的调用方式，不会把内部实现暴露给用户，防止用户误用未稳定的内部API
• 隔离实现与接口：库作者可以自由修改__impl分支的逻辑，只要对外的公开分支保持兼容，就不会影响用户代码

__impl在Rust中还有其他特殊意义吗？ #

在Rust语言本身（语法、编译器层面），__impl没有任何特殊含义。不过有几个相关的惯例需要注意：

• 双下划线开头的标识符是社区默认的“内部私有”标记，告诉其他开发者：这是库的实现细节，不要直接依赖，后续可能会无预警修改
• 编译器内部确实有一些双下划线开头的特殊标识符（比如__rust_unstable这类），但__impl不属于这类，它只是库作者自定义的命名
• 这种用特殊标识符区分宏内部分支的做法在Rust生态里很常见，很多库会用__internal、__impl这类名称来隔离内部实现和公开接口

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