是否应在AST中存储纯语义信息？编译器社区最佳实践咨询

我们已经有了程序的经典抽象语法树（AST），想咨询是否值得将纯语义信息（比如引用变量的类型、字节大小等）存入AST？我需要这些信息开展各类分析，包括变量使用分析、类型分析、控制流分析。

如果这么做，多个分析器可以直接获取信息，每个分析器只需单次遍历AST且彼此独立，但语法与语义信息会存在同一位置；另一种方案是保持AST最小化，仅保留语法细节，但这会导致不同分析器重复执行相同操作（比如维护符号表等）。

补充说明：Clang会将隐式（非语法层面）信息如类型转换存入其AST，示例如下：

`-FunctionDecl 0x5aeab50 <test.cc:1:1, line:4:1> f 'int (int)'
  |-ParmVarDecl 0x5aeaa90 <line:1:7, col:11> x 'int'
  `-CompoundStmt 0x5aead88 <col:14, line:4:1>
    |-DeclStmt 0x5aead10 <line:2:3, col:24>
    | `-VarDecl 0x5aeac10 <col:3, col:23> result 'int'
    |   `-ParenExpr 0x5aeacf0 <col:16, col:23> 'int'
    |     `-BinaryOperator 0x5aeacc8 <col:17, col:21> 'int' '/'
    |       |-ImplicitCastExpr 0x5aeacb0 <col:17> 'int' <LValueToRValue>
    |       | `-DeclRefExpr 0x5aeac68 <col:17> 'int' lvalue ParmVar 0x5aeaa90 'x' 'int'
    |       `-IntegerLiteral 0x5aeac90 <col:21> 'int' 42
    `-ReturnStmt 0x5aead68 <line:3:3, col:10>
      `-ImplicitCastExpr 0x5aead50 <col:10> 'int' <LValueToRValue>
        `-DeclRefExpr 0x5aead28 <col:10> 'int' lvalue Var 0x5aeac10 'result' 'int'

我知道没有强制限制，但希望获取编译器社区认可的合适方法来开展特定语义分析，此问题为咨询建议而非寻求解决方案。

• 优先选择将语义信息与AST关联：这是Clang、GCC等主流编译器的标准做法。正如你看到的Clang示例，它会把类型信息直接附加到AST节点，甚至插入隐式转换这类语义节点，本质是把语义分析结果固化下来，避免后续分析重复做符号表构建、类型推导这类工作。
• 不要为"纯语法AST"牺牲效率：保持AST仅含语法信息的方案，虽然看似分离了语法与语义，但实际中每个分析器都要重复执行相同的前置工作，冗余成本会随着分析任务数量增加而快速上升。
• 灵活选择语义信息存储方式：不一定非要把所有语义信息塞进AST节点字段里，也可以让AST节点通过指针关联外部符号表，这样既不会让AST过于臃肿，又能让分析器快速获取变量类型、字节大小这类数据。
• 根据场景调整策略：如果你的分析任务非常单一，或者AST需要频繁序列化传输，最小化AST可能有价值；但针对你提到的多分析场景（变量使用、类型、控制流分析），嵌入或关联语义信息的AST能大幅提升整体效率。

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