如何在Clang 8.0.1中完整打印Expr的全限定名称？

我明白你在开发反射工具时遇到的痛点——明明设置了PrintingPolicy的FullyQualifiedName，但属性参数里的表达式还是没法输出完整的全限定名。这其实是因为Clang的printPretty方法在处理属性参数这类特殊上下文的表达式时，全限定名的打印逻辑有局限，它更偏向于生成贴近源代码风格的输出，而非严格的全限定标识符。

问题分析 #

你遇到的两种情况：

1. [[custom_attr(&Transform::public_val)]]打印成&Transform::public_val而非&math::Transform::public_val：这是因为属性参数里的MemberExpr在解析时，当前作用域已经是math::Transform内部，printPretty默认会省略外层作用域，即使你设置了FullyQualifiedName也可能不生效。
2. static_cast<float (*)(const Transform&)>(Transform::static_overload)的打印结果不完整：同样是因为printPretty在处理cast表达式的操作数时，没有正确应用全限定名规则。

解决方案：手动遍历AST节点获取全限定名 #

既然依赖printPretty的自动打印不可靠，我们可以直接遍历AST节点，从对应的声明（Decl）中提取全限定名，再拼接成完整的表达式。这种方式更适合反射工具这种需要精确名称的场景。

下面是改进后的代码，针对你遇到的两种情况做了特殊处理：

#include "clang/AST/ASTContext.h"
#include "clang/AST/Expr.h"
#include "clang/AST/Decl.h"
#include "clang/AST/Type.h"
#include "clang/AST/ExprCXX.h"
#include "llvm/Support/raw_ostream.h"
#include "clang/AST/OperationKinds.h"

std::string getFullQualifiedExprString(const Expr *expr, const ASTContext &Context) {
    if (!expr) return "";

    // 处理取地址的成员表达式：&Transform::public_val
    if (const auto *unaryOp = dyn_cast<UnaryOperator>(expr)) {
        if (unaryOp->getOpcode() == clang::UO_AddrOf) {
            const Expr *subExpr = unaryOp->getSubExpr()->IgnoreParens();
            if (const auto *memExpr = dyn_cast<MemberExpr>(subExpr)) {
                if (const auto *memberDecl = memExpr->getMemberDecl()) {
                    return "&" + memberDecl->getQualifiedNameAsString();
                }
            }
        }
    }

    // 处理static_cast表达式
    if (const auto *castExpr = dyn_cast<StaticCastExpr>(expr)) {
        // 打印cast的目标类型（全限定）
        PrintingPolicy typePolicy(Context.getLangOpts());
        typePolicy.FullyQualifiedName = true;
        typePolicy.PrintCanonicalTypes = true;
        std::string typeStr;
        llvm::raw_string_ostream typeStream(typeStr);
        castExpr->getType().print(typeStream, typePolicy);
        typeStream.flush();

        // 递归处理cast的操作数，获取全限定名
        std::string argStr = getFullQualifiedExprString(castExpr->getSubExpr()->IgnoreParens(), Context);
        return "static_cast<" + typeStr + ">(" + argStr + ")";
    }

    // 处理普通的声明引用：Transform::static_overload
    if (const auto *declRef = dyn_cast<DeclRefExpr>(expr)) {
        if (const auto *namedDecl = declRef->getDecl()) {
            return namedDecl->getQualifiedNameAsString();
        }
    }

    // 其他情况 fallback 到增强版的printPretty
    PrintingPolicy printPolicy(Context.getLangOpts());
    printPolicy.FullyQualifiedName = true;
    printPolicy.SuppressScope = false;
    printPolicy.SuppressUnwrittenScope = false;
    printPolicy.PrintCanonicalTypes = true;

    std::string exprStr;
    llvm::raw_string_ostream stream(exprStr);
    expr->printPretty(stream, nullptr, printPolicy);
    stream.flush();
    return exprStr;
}

代码说明 #

• 取地址成员表达式：识别UnaryOperator（取地址&），然后提取内部的MemberExpr，直接从MemberDecl获取全限定名，拼接成&math::Transform::public_val。
• static_cast表达式：拆分cast的类型部分和操作数部分，分别处理类型的全限定打印，再递归处理操作数的全限定名，最后组合成完整的cast表达式。
• 普通声明引用：直接从DeclRefExpr对应的NamedDecl获取全限定名。
• ** fallback逻辑**：对于其他未覆盖的表达式类型，使用增强后的PrintingPolicy作为兜底。

为什么这个方案更可靠？ #

Clang的printPretty是为了生成可读性强的代码输出，它会根据上下文省略不必要的作用域；而反射工具需要的是精确的、无歧义的全限定名，直接从AST的Decl节点获取名称是最准确的方式，不受打印逻辑的上下文限制。

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