如何在Clang AST中区分Derived<int>中的Base<T>与Base<int>？

示例代码：

template<typename T>
class Base { };

template<typename T>
class Derived1 : public Base<T>
{ };


template<typename T>
class Derived2 : public Base<int>
{ };

Derived1的基类是依赖基类（依赖模板参数T），Derived2的基类则不依赖模板参数。但当获取Derived1<int>或Derived2<int>的实例节点时，它们的基类都显示为Base<int>，无法直接区分原始的基类模式。已知可以通过基类索引回溯到派生类的原始模板节点判断，但这种方式繁琐，有没有更便捷的方法？尝试从基类模板参数查找信息但未获有效内容。

便捷解决方案：利用CXXBaseSpecifier的模板参数依赖性判断 #

直接从派生类原始模板节点的基类说明符入手，检查其模板参数的依赖性，无需绕路到实例化后的类节点：

1. 获取派生类的ClassTemplateDecl节点（原始模板定义，而非实例化后的CXXRecordDecl）
2. 遍历该节点的CXXBaseSpecifiers列表，对每个基类说明符做如下检查：
   • 如果基类是模板实例化类型（TemplateSpecializationType），遍历它的模板实参
   • 判断实参是否标记为依赖类型：Clang AST会为依赖于模板参数的实参设置isDependent()或isTypeDependent()属性

对于Derived1的基类Base<T>，其模板实参T的isTypeDependent()会返回true；而Derived2的基类Base<int>的实参是具体类型，无依赖性标记。

具体Clang AST代码示例 #

// 假设已获取到目标派生类的ClassTemplateDecl* templateDecl
for (const auto& baseSpec : templateDecl->getBases()) {
  QualType baseType = baseSpec.getType();
  if (const auto* tsType = baseType->getAs<TemplateSpecializationType>()) {
    bool isDependentBase = false;
    for (const auto& arg : tsType->template_arguments()) {
      if (arg.isDependent() || (arg.getKind() == TemplateArgument::ArgKind::Type && arg.getType()->isDependentType())) {
        isDependentBase = true;
        break;
      }
    }
    if (isDependentBase) {
      // 该基类为依赖基类
      llvm::errs() << "Found dependent base class: " << baseType.getAsString() << "\n";
    } else {
      llvm::errs() << "Found non-dependent base class: " << baseType.getAsString() << "\n";
    }
  }
}

关键说明 #

• 直接操作原始模板定义的基类信息，避免了从实例化节点回溯的繁琐步骤
• Clang AST已经内置了依赖性判断逻辑，无需手动解析模板参数名称或表达式
• 对于复杂依赖场景（如Base<decltype(T::foo)>这类表达式依赖），可以结合Expr::isTypeDependent()进一步判断表达式的依赖性

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