我如何使用 libclang 解析来自宏扩展的注释？

Question

给定以下 C++ 程序：

#define SOME_MACRO \
  (void) x; /* some comment in macro */ \

int main()
{
  int x = 0;
  /* some comment in main */
  SOME_MACRO
  SOME_MACRO
  return 0;
}

我希望 libclang 就SOME_MACRO中扩展的评论给我回电。

我尝试注册一个评论处理程序，并设置预处理器 output 选项如下：

struct CommentPrinter : clang::CommentHandler {
  bool HandleComment(Preprocessor & pp, SourceRange comment) {
    llvm::outs() << "new comment : \n";
    comment.dump(pp.getSourceManager());
    return false;
  }
};

  struct frontend_t : clang::ASTFrontendAction
  {
    std::unique_ptr<clang::ASTConsumer>
      CreateASTConsumer(clang::CompilerInstance& CI,
          clang::StringRef source_file) override
      {
        CI.getPreprocessorOutputOpts().ShowComments = 1;
        CI.getPreprocessorOutputOpts().ShowMacroComments = 1;
        CI.getPreprocessor().addCommentHandler(new CommentPrinter);
        return std::make_unique<ast_consumer_t>();
      }
  };

但是我的评论处理程序只在第 2 行和第 7 行的评论上被调用。你知道是否可以在第 8 行和第 9 行的评论上调用吗？

Answer 1

我不认为你可以。 C++ 标准（草稿链接）定义了文件在“翻译阶段”的处理方式。 当宏处理器可以开始处理您的#define和宏扩展时，注释已经被删除：

第 3 阶段：
源文件被分解为预处理标记 ([lex.pptoken]) 和空白字符序列（包括注释）。 源文件不应以部分预处理标记或部分注释结束。
每条评论都由一个空格字符代替。

阶段 4：执行预处理指令，展开宏调用，并执行 _Pragma 一元运算符表达式。 [...] 然后删除所有预处理指令。