offset_of!宏嵌套字段偏移参数的syn类型/结构体解析问询

• 嵌套字段序列（如offset_of!(Foo, x.y.VariantA.0)中的x.y.VariantA.0）在syn中会被解析为嵌套的ExprField结构，而非单个独立类型。
• ExprField的核心结构包含两个关键部分：
  • base: 表示当前成员访问的基础表达式，它可以是另一个ExprField实例，以此形成层层嵌套的字段访问链
  • member: 表示当前层级的成员，分为两种情况：
    • Member::Named(Ident): 对应命名字段（如x、y、VariantA）
    • Member::Unnamed(Index): 对应匿名索引（如0这类元组/枚举变体的位置索引）

示例解析（以x.y.VariantA.0为例） #

最终的syn解析结构是四层嵌套的ExprField：

1. 最底层：Expr::Path类型，对应根字段x
2. 第一层嵌套：ExprField { base: Expr::Path(x), member: Named("y") }
3. 第二层嵌套：ExprField { base: 第一层ExprField, member: Named("VariantA") }
4. 最外层：ExprField { base: 第二层ExprField, member: Unnamed(Index { index: 0 }) }

编写包裹宏的处理思路 #

要处理这种嵌套结构，需要编写递归逻辑：

• 从最外层ExprField开始，依次提取每一层的member
• 递归解析base字段，直到遇到非ExprField的基础表达式（通常是Expr::Path）
• 收集所有层级的成员信息后，再对应生成offset_of!所需的参数格式

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