如何自动识别函数访问的数据成员？GCC/Clang/MSVC是否支持输出该信息？

要自动识别示例中foo函数访问了Bar的x和z成员但未访问y，可以借助主流编译器的静态分析能力或中间表示（IR）提取信息，以下是GCC、Clang和MSVC的具体实现方式：

Clang 实现方案 #

Clang的AST（抽象语法树）分析能力和LibTooling框架是最直接的解决途径：

• 编写基于LibTooling的工具或Clang插件，遍历foo函数的AST节点，识别所有MemberExpr类型的节点，记录被访问的成员名（x、z）
• 对比Bar结构体的所有成员，即可找出未被访问的y
• 也可配合clang-check工具或自定义静态检查器快速验证

GCC 实现方案 #

GCC可通过两种方式获取成员访问信息：

• GCC插件：利用GCC插件接口，在编译过程中遍历GIMPLE中间表示，识别结构体成员的引用操作并记录
• 编译参数输出中间代码：编译时添加-fdump-tree-gimple参数，生成的GIMPLE代码中会清晰显示foo仅引用了bar.x和bar.z，无bar.y的相关操作

MSVC 实现方案 #

MSVC的实现途径包括：

• 复用Clang方案：借助MSVC兼容的Clang前端，直接使用上述Clang的AST分析方法
• 静态分析API：使用Visual Studio的Code Analysis SDK编写自定义规则，遍历AST识别成员访问
• 汇编输出验证：编译时添加/FAcs参数生成汇编代码，从汇编指令的内存偏移可看出仅访问了x和z对应的位置，无y的访问操作

总结 #

三款主流编译器都能满足需求：Clang的AST分析灵活直接，GCC通过中间表示或插件可提取信息，MSVC可借助Clang前端或自身工具链实现。无需第三方工具，基于编译器生态即可完成成员访问情况的识别。

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