如何在clang-tidy的CStyleCastExpr匹配器中获取宏名称？

我之前也碰到过一模一样的问题——毕竟宏在预处理阶段就被展开成了具体值，AST里根本存不下原始的宏标识符，只能通过源码位置回溯的方式来获取。下面是具体的实现步骤和代码，帮你搞定这个需求：

核心思路 #

clang的AST会把宏直接展开成最终的常量或表达式，所以直接从SubExpr节点里拿不到宏名称。我们需要通过源码位置（SourceLocation）结合预处理器（Preprocessor）API，回溯到原始的宏定义位置，提取出宏的字符串名称。

具体实现代码 #

在你的PointersCastCheck::check函数里，添加以下逻辑即可：

void PointersCastCheck::check(const MatchFinder::MatchResult &Result) {
  // 获取绑定的C风格转换表达式
  const auto *CastExpr = Result.Nodes.getNodeAs<CStyleCastExpr>("cStyleCastExpr");
  if (!CastExpr) return;

  // 获取转换的子表达式，忽略外层括号和隐式转换，定位到真正的宏起始位置
  const Expr *SubExpr = CastExpr->getSubExpr()->IgnoreParenImpCasts();
  if (!SubExpr) return;

  // 获取子表达式的起始源码位置
  SourceLocation Loc = SubExpr->getBeginLoc();
  if (Loc.isInvalid()) return;

  // 通过预处理器检查该位置是否来自宏展开
  auto &PP = Result.Context->getPreprocessor();
  if (PP.isMacroExpansion(Loc)) {
    // 提取宏名称的字符串形式
    StringRef MacroName = PP.getMacroNameAtLoc(Loc);
    // 这里可以替换成你需要的处理逻辑，比如输出宏名称
    diag(Loc, "Detected macro %0 used in C-style cast") << MacroName;
  }
}

关键细节说明 #

• IgnoreParenImpCasts()：如果你的宏被括号包裹（比如#define H_KEY (5)），这个方法会帮你跳过外层括号，精准定位到宏的真正起始位置。
• isMacroExpansion(Loc)：判断当前源码位置是否来自宏展开，避免把普通常量误判成宏。
• getMacroNameAtLoc(Loc)：直接获取宏的原始名称字符串，比如你例子里的H_KEY。

嵌套宏的特殊处理 #

如果遇到嵌套宏（比如#define BASE 5; #define H_KEY BASE），上面的代码会返回最内层的宏名称（BASE）。如果你需要获取最外层的宏（H_KEY），可以循环回溯宏展开链：

StringRef MacroName;
SourceLocation CurrentLoc = Loc;
// 回溯到最外层的宏
while (PP.isMacroExpansion(CurrentLoc)) {
  MacroName = PP.getMacroNameAtLoc(CurrentLoc);
  CurrentLoc = PP.getImmediateMacroCallerLoc(CurrentLoc);
}

这样就能拿到最终的外层宏名称啦。

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