为何Serde自动生成的Serialize/Deserialize代码包裹在const _: ()块中？

我在研究Serde的derive宏为Serialize和Deserialize生成的代码时，发现所有代码都被包裹在const _: () = {...}块里。比如定义如下结构体：

#[derive(Deserialize)]
struct MyNewType(i32);

通过cargo expand展开后得到：

#[doc(hidden)]
#[allow(non_upper_case_globals, unused_attributes, unused_qualifications)]
const _: () = {
    #[allow(unused_extern_crates, clippy::useless_attribute)]
    extern crate serde as _serde;
    #[automatically_derived]
    impl<'de> _serde::Deserialize<'de> for MyNewType {
        fn deserialize<__D>(
            __deserializer: __D,
        ) -> _serde::__private::Result<Self, __D::Error>
        where
            __D: _serde::Deserializer<'de>,
        {
         // 为简洁起见省略生成的实现代码
        }
    }
};

我尝试把块内代码复制出来直接使用，功能完全正常，那这个const块到底有什么作用？

核心作用总结： #

• 隔离作用域，避免命名冲突：const块是独立的作用域，内部定义的_serde别名、__D这类占位符不会和外部代码的同名标识符冲突。就算用户自己定义了同名变量或别名，也不会互相干扰。

• 集中处理警告抑制：可以把所有需要忽略的警告属性（比如#[allow(non_upper_case_globals)]）统一加在const块上，不用给内部每个生成的项单独添加，简化代码结构。

• 保证编译期处理逻辑：const块在编译阶段就会被求值，derive宏生成的impl本身就是编译期生效的代码，用const块能确保这些逻辑在编译阶段被正确处理，不会引入运行时开销。

• 兼容宏展开的语法稳定性：早期Rust的过程宏在生成代码时，直接生成impl可能会和周围代码产生语法冲突，而const块作为一个独立的顶层项，能更稳定地容纳生成的代码，避免展开时的语法问题。

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