如何通过GCC提取大型C代码库中仅声明未实现的函数与全局变量？

可以通过GCC配合相关选项及简单脚本实现提取需求，以下是几种实用方法：

方法1：预编译+脚本解析（轻量易实现） #

• 先用GCC预编译头文件，去除宏、注释和行号指令：

  gcc -E -P your_header.h > preprocessed.h
  

  -E 指定仅执行预编译步骤，-P 移除预编译生成的#line指令，简化后续解析。
• 编写脚本（Python/Perl/Awk均可）遍历预编译文件，匹配函数原型和全局变量声明：
  • 函数原型可匹配类似 ^[a-zA-Z0-9_]+[* ]+[a-zA-Z0-9_]+\([^)]*\); 的模式（需根据代码风格调整正则），注意排除带{的函数定义（头文件中极少出现）。
  • 全局变量重点匹配带extern的声明，比如 ^extern [a-zA-Z0-9_]+[* ]+[a-zA-Z0-9_]+;。

方法2：AST转储（精准可靠） #

利用GCC调用Clang的抽象语法树（AST）转储功能，直接获取语法分析后的声明信息：

gcc -fsyntax-only -Xclang -ast-dump your_header.h

• -fsyntax-only 仅做语法检查，不生成目标文件；-Xclang -ast-dump 触发AST输出。
• 输出内容中，函数声明对应FunctionDecl节点，全局变量声明对应VarDecl节点（带extern标记），可通过脚本过滤这些节点行，提取名称、类型等信息。例如：

  |-FunctionDecl 0x123456 <line:5:1, col:20> col:5 test_func 'void (int)'
  |-VarDecl 0x789abc <line:8:1, col:15> col:8 global_var 'int' extern
  

方法3：翻译单元转储 #

通过GCC生成翻译单元转储文件，获取完整的声明符号：

gcc -c -fdump-translation-unit your_header.h

• 执行后会生成后缀为.tu的文本文件，其中包含翻译单元内所有函数、变量的声明信息。
• 脚本解析该文件时，可定位function_decl和variable_decl相关段落，提取所需的声明列表。

补充说明 #

• 以上方法均无需完整编译代码，仅针对头文件做语法分析或预编译，完美避开-Wimplicit-function-declaration只能检测隐式声明的局限。
• 针对大型代码库，可编写批量处理脚本遍历所有头文件，统一提取声明后，再与nm获取的已实现符号列表对比，快速定位未实现的函数/全局变量。

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