符号表查询不能靠裸指针直接实现，因为裸指针不携带作用域、生命周期、重载信息或语义上下文，而符号查找依赖这些；clang/llvm 通过 astcontext + scope + declcontext 的层级化上下文调用 declcontext→lookup(declarationname) 实现，结合作用域链回溯与 c++ 名字查找规则。
符号表查询为什么不能靠裸指针直接实现
编译器里的符号表不是一块连续内存，也不是用 std::map<:string symbol></:string> 这种简单结构就能跑通的。裸指针本身不携带作用域、生命周期、重载信息或语义上下文——而符号查找恰恰依赖这些。你拿一个 Symbol* 去查“当前作用域里叫 f 的函数”，指针本身答不出“哪个 f”：是全局的？类成员？模板特化？还是被 using 声明引入的？
Clang/LLVM 中真正查符号的路径是 ASTContext + Scope + DeclContext
Clang 不靠指针遍历，而是靠层级化的上下文对象。比如在语义分析阶段查名，实际调用的是：
DeclContext->lookup(<code>DeclarationName</code>)
这个 lookup 方法内部会按作用域链（scope chain）逐层回溯，检查 DeclContext 的子节点、父节点、using 声明列表，再结合 C++ 名字查找规则（ADL、Koenig lookup、模板参数依赖等）。你传进去的不是指针，是 DeclarationName 这个封装了标识符拼写和重载键的值类型。
常见误操作：
- 试图用
Symbol*地址哈希做快速查找 → 编译器根本不用地址当 key，Decl*可能被移动或销毁 - 把
NamedDecl*存进自定义哈希表然后暴力遍历 → 忽略了嵌套作用域和隐藏规则，结果错漏百出 - 假设
getLookupResult()返回的是原始指针数组 → 实际返回的是LookupResult对象，内含重载集、可见性标记、SFINAE 状态
如果你非要“用指针参与符号查询”，唯一合理场景是 DeclContext 链式跳转
这里指针不是查询工具，而是上下文载体。例如在 VisitCallExpr 里想确认被调函数是否定义在当前 TU：
const DeclContext *DC = Call->getCalleeDecl()->getDeclContext();<br>while (DC) {<br> if (isa<code>TranslationUnitDecl</code>(DC)) { /* 是本文件顶层 */ }<br> DC = DC->getParent();<br>}
注意：getDeclContext() 返回的是 const DeclContext*，但你绝不会用它去“查名字”，只用来判断归属、访问 decls_begin() 或触发 lookup()。真正的查询动作永远发生在 DeclContext 实例上调用成员函数，而不是对指针解引用后手工匹配字符串。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
关键区别：
-
DeclContext*是上下文句柄，不是符号容器 - 所有符号数据都由 Clang 内部的
IdentifierTable和ASTContext::getLoadedLocalExternals()统一管理，外部不可见布局 - 任何绕过
ASTContext::getTranslationUnitDecl()->lookup()的裸指针遍历，都会漏掉模块导入、预编译头、延迟加载的 Decl
自己写玩具编译器时，指针唯一安全的用途是构建作用域链节点
如果你在手写 parser+semantic analyzer，可以用指针串起作用域：
struct Scope {<br> std::unordered_map<:string symbol> symbols;<br> Scope* parent; // ← 这里用指针合理：明确表达“继承关系”<br>};</:string>
但查询逻辑必须是：
Symbol* lookup(const std::string& name) {<br> auto it = symbols.find(name);<br> if (it != symbols.end()) return it->second;<br> return parent ? parent->lookup(name) : nullptr;<br>}
别试图把 Symbol* 当 key 存哈希表，也别用 reinterpret_cast<uintptr_t>(sym)</uintptr_t> 当唯一 ID——Symbol 对象可能被复制、移动或复用内存。真正稳定的标识是名字 + 作用域深度 + 声明位置（SourceLocation）。
最容易被忽略的一点：C++ 模板实例化会产生运行时才确定的符号，此时连 Symbol* 都还没构造出来，更别说靠指针查了。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
