syn库中的Span是什么？代码中span字段应传入什么值

proc_macro::Span 是 Rust 过程宏框架提供的源码位置标记，对应原始 Rust 源码中一段代码的区间范围，核心作用是给编译器提供语法节点的位置信息：后续编译器做语法检查、报错提示、给IDE提供语法高亮跳转的时候，会直接根据你绑定的Span定位到对应的源码行。
举个实际例子：如果你生成的标识符绑定了宏调用位置的Span，后续这个标识符触发类型错误、未定义错误时，编译器的错误红线会直接划在用户写宏调用的那行；如果绑了错误的Span，报错位置会完全错乱，用户根本没法定位问题。

你贴的代码里所有需要填Span的位置，传值逻辑完全一致，没有特殊要求，按场景选就行：

• 如果你希望生成的新语法节点，报错时指向宏输入里已经存在的某段代码，直接取那个已有语法节点的Span即可。syn 提供了Spanned trait，所有解析出来的语法节点（比如你代码里的item_impl）都可以直接调用.span()拿到对应的位置值，所有span字段都可以复用这个值。
• 如果没有可复用的现有节点位置，90%的场景直接传Span::call_site()就对了——这个值代表宏被用户调用的位置，报错时会直接指向用户写宏的代码行，完全符合用户的调试直觉。
• 只有生成需要卫生性的临时隐藏变量时，才需要用到Span::mixed_site()，普通业务代码生成场景基本碰不到。

对应你给出的示例代码，补全后参考如下：

use proc_macro::Span;
use syn::{FnArg, PatType, Pat, PatIdent, Ref, Ident, Colon};

FnArg::Typed(PatType {
    attrs: vec![],
    pat: Box::new(Pat::Ident(PatIdent {
        attrs: vec![],
        // 引用符号&的span，直接复用通用位置即可
        by_ref: Some(Ref { span: Span::call_site() }),
        mutability: None,
        // 标识符的span，和其他节点保持一致即可
        ident: Ident::new(struct_name.as_str(), Span::call_site()),
        subpat: None,
    })),
    // syn 2.x版本中，标点的spans字段是对应个数的Span数组，冒号只需要传一个Span
    colon_token: Colon { spans: [Span::call_site()] },
    ty: todo!(),
})

注意：不要为了图省事找不存在的"默认空Span"，这类Span要么在稳定版Rust里根本不存在，要么会导致后续编译报错位置完全错乱，调试成本极高。

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