类模板未使用方法未出现在Clang AST中，如何获取所有方法定义？

问题场景 #

我基于Clang的libTooling开发源码到源码转换工具时遇到如下问题：
给定C++代码：

template<typename T>
struct s {
    void lazy1() {}
    void lazy2() {} // 未使用
};

int main() {
    s<int> inst;
    inst.lazy1();
    return 0;
}

在生成的AST中，被调用的lazy1()拥有完整的CompoundStmt子节点（即函数体定义），但未被使用的lazy2()没有对应的函数体节点：

[...]
`-ClassTemplateSpecializationDecl 0x7de4a8 <line:1:1, line:5:1> line:2:8 struct s definition
[...]
  |-CXXMethodDecl 0x7de790 <line:3:2, col:16> col:7 used lazy1 'void ()'
  | `-CompoundStmt 0x7de310 <col:15, col:16>
  |-CXXMethodDecl 0x7de840 <line:4:2, col:16> col:7 lazy2 'void ()'
[...]

需要获取模板特化的所有方法定义，包括未被使用的部分，且希望得到可靠的非hack方案，必要时可修改Clang源码。此前尝试过相关方案但无效。

原因分析 #

这是Clang的**延迟实例化（lazy instantiation）**机制导致的：为了优化编译性能，Clang仅会实例化模板中被实际使用的成员的定义，未被使用的成员函数只会保留声明，不会生成函数体对应的AST节点。

解决方案 #

方案1：修改Clang源码强制实例化所有成员函数定义 #

这是最可靠的方案，直接从编译器层面修改模板特化的处理逻辑：

1. 定位到Clang源码中处理类模板特化的核心函数：Sema::InstantiateClassTemplate（位于clang/lib/Sema/SemaTemplateInstantiate.cpp）。
2. 在该函数完成默认的成员实例化后，遍历类模板特化的所有成员函数：
   • 筛选出未被实例化定义的CXXMethodDecl；
   • 调用Sema::InstantiateFunctionDefinition强制实例化其函数体。
3. 添加防护逻辑：比如检查该函数是否已经被实例化，避免重复处理或递归实例化问题。

示例代码片段（修改InstantiateClassTemplate）：

// 在现有实例化逻辑之后添加
for (const auto *Member : ClassTemplate->getTemplateInstantiationPattern()->decls()) {
  if (const auto *MD = dyn_cast<CXXMethodDecl>(Member)) {
    // 获取特化后的方法声明
    auto *SpecializedMD = cast<CXXMethodDecl>(
      MD->getInstantiatedFromMember() ? MD : 
      ClassSpecialization->getMemberSpecialization(MD));
    if (SpecializedMD && !SpecializedMD->hasBody() && !SpecializedMD->isDeleted()) {
      // 强制实例化函数定义
      getSema().InstantiateFunctionDefinition(
        SourceLocation(), SpecializedMD, /*ForVTable=*/false);
    }
  }
}

方案2：不修改Clang源码的替代方案（需调整输入代码） #

如果无法修改Clang源码，可以通过在输入代码中添加显式模板实例化指令，强制编译器实例化整个模板特化：

// 在main函数后添加
template struct s<int>;

这种方式会让Clang实例化s<int>的所有成员函数，包括未被使用的lazy2()，从而在AST中获取完整的函数体定义。但缺点是需要修改输入代码，可能不适用于所有场景。

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