代码语言

知识点思维导图

25 个知识节点

参考资料

面试题（03） - Code Intelligence、Repo Map 与 Memory（第 21～30 题）

读完后，你应能完成以下任务：

绘制“面试题（03） - Code Intelligence、Repo Map 与 Memory（第 21～30 题） / 回答标准”的关键对象与数据流，解释“原理题：说清机制、输入输出和相近概念的边界。”，并用源码位置、日志或 Trace 标注证据。

为“面试题（03） - Code Intelligence、Repo Map 与 Memory（第 21～30 题） / 第21题：编程 Agent 怎样从陌生仓库中找到正确修改位置？”设计正常与异常输入，验证“并保存足够证据供复现和回滚。”，输出首个偏差位置与回归测试结果。

实现“面试题（03） - Code Intelligence、Repo Map 与 Memory（第 21～30 题） / 第22题：文件检索、符号检索和语义检索分别适合什么问题？”的最小代码或配置，检验“不能用“看起来相关”代替评测。”，输出命令、结果与 Diff，并说明不适用边界。

一、先建立全局：Code Intelligence、Repo Map 与 Memory（第 21～30 题）是什么？

理解“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”，先要把标题中的对象放进同一条处理链：它接收什么输入，经过哪些状态变化，最终用什么证据判断结果。下表不另造概念，只把作者正文已经解释的章节按依赖顺序连起来。

“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”的第一个核心判断是：原理题：说清机制、输入输出和相近概念的边界。。先弄清这个判断中的对象和输入输出，后面的实现、故障和验收才有共同语境。

顺序	章节	读完本节应抓住的结论
1	回答标准	原理题：说清机制、输入输出和相近概念的边界。
2	第21题：编程 Agent 怎样从陌生仓库中找到正确修改位置？	并保存足够证据供复现和回滚。
3	第22题：文件检索、符号检索和语义检索分别适合什么问题？	不能用“看起来相关”代替评测。
4	第23题：AST 和 Tree-sitter 能为代码理解提供什么能力？	不能用“看起来相关”代替评测。
5	第24题：LSP 的定义跳转与引用分析和文本搜索有什么差别？	不能用“看起来相关”代替评测。
6	第25题：Repo Map 应保存哪些关系，什么时候会失效？	不能用“看起来相关”代替评测。

1.1 核心对象之间怎样衔接

flowchart LR
  S1["回答标准"] --> S2
  S2["第21题：编程 Agent 怎样从陌生仓库中找到正确修改位置？"] --> S3
  S3["第22题：文件检索、符号检索和语义检索分别适合什么问题？"] --> S4
  S4["第23题：AST 和 Tree-sitter 能为代码理解提供什么能力？"] --> S5
  S5["第24题：LSP 的定义跳转与引用分析和文本搜索有什么差别？"]

这张图只表达本文的讲解顺序，不替代正文机制。判断“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”是否真正掌握，需要能从最后一个结果沿图回到前面每个章节的输入、状态变化和证据。

1.2 再看失败：问题最早会出现在哪一步？

在“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”的对象和顺序已经明确后，再看可观察的失败：解析错误、旧索引、符号歧义、生成文件污染或结果无法回链。定位时不从最后一条错误猜原因，而是沿上图找第一个偏离正文结论的节点。

二、回答标准

原理题：说清机制、输入输出和相近概念的边界。
选型题：给出约束、比较维度、不适用场景和最终依据。

三、第21题：编程 Agent 怎样从陌生仓库中找到正确修改位置？

核心答案： 代码理解要组合文本、符号、语法树和依赖图，所有索引与记忆都绑定仓库版本、作用域和来源。

判断依据： 代码理解要组合文本、符号、语法树和依赖图，所有索引与记忆都绑定仓库版本、作用域和来源。

并保存足够证据供复现和回滚。面试时还应补充一个失败案例和对应的止损或回滚办法。

四、第22题：文件检索、符号检索和语义检索分别适合什么问题？

核心答案： 关键词检索找字面证据， AST 恢复语法结构， LSP 提供定义引用， Repo Map 和依赖图表达跨文件关系， Code RAG 在预算内召回片段。所有结果都绑定提交、文件和行号。

判断依据： 代码理解要组合文本、符号、语法树和依赖图，所有索引与记忆都绑定仓库版本、作用域和来源。文本、符号和图关系各自解决不同问题：关键词找字面证据，符号索引找定义引用，依赖图找影响传播。

工程实践： 用真实改动任务评估 Recall@K、定位准确率和无关上下文比例，不能用“看起来相关”代替评测。面试时还应补充一个失败案例和对应的止损或回滚办法。

五、第23题：AST 和 Tree-sitter 能为代码理解提供什么能力？

六、第24题：LSP 的定义跳转与引用分析和文本搜索有什么差别？

七、第25题：Repo Map 应保存哪些关系，什么时候会失效？

八、第26题：Code RAG 应怎样分块、索引并绑定仓库版本？

九、第27题：怎样从调用链和数据流判断改动影响面？

十、第28题：大型 Monorepo 和 Multi-repo 的检索难点有什么不同？

核心答案： 代码理解要组合文本、符号、语法树和依赖图，所有索引与记忆都绑定仓库版本、作用域和来源。

十一、第29题：Memory、Context 和知识库分别保存什么？

核心答案： Context 是本轮输入， Memory 是跨轮次保存的用户或任务状态，知识库保存可检索的外部事实。记忆按命名空间隔离，记录来源与版本，并支持冲突、TTL、衰减、删除和审计。

判断依据： 代码理解要组合文本、符号、语法树和依赖图，所有索引与记忆都绑定仓库版本、作用域和来源。 Checkpoint 必须带版本、幂等键和输入摘要，恢复前要验证代码、工具和权限是否仍兼容。

工程实践： 删除、过期和冲突合并是状态模型的一部分；只有写入没有治理的记忆会持续污染后续任务。面试时还应补充一个失败案例和对应的止损或回滚办法。

十二、第30题：记忆为什么需要命名空间、冲突处理、TTL 和删除能力？

十三、动手验证：先跑通 Code Intelligence、Repo Map 与 Memory（第 21～30 题），再改变一个变量

前面的章节已经建立问题、概念和机制。现在把“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”放进同一套基线中运行；本节不再引入新术语，只验证前文结论能否被复现。

13.1 基线与候选只允许一个变量不同

验证“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”时，先固定仓库提交、目标文件、语言版本、构建配置和查询任务。候选方案只能改变本次要验证的变量；如果同时更换数据、依赖和配置，即使结果改善，也不能知道是哪一项产生作用。

执行“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”时，动作是：生成语法树与符号索引，执行定义、引用、调用或影响范围查询。原始结果不能只保留截图或汇总分数，必须同步保存：文件路径、行列范围、节点类型、符号标识、召回结果和仓库提交，使下一次复查可以在同一输入上重放。

实验要素	本文要求
固定条件	固定仓库提交、目标文件、语言版本、构建配置和查询任务
唯一变量	本次候选方案与基线之间的一项明确差异
原始证据	文件路径、行列范围、节点类型、符号标识、召回结果和仓库提交
通过阈值	每条结论都能回到当前提交的源码位置，跨文件关系可复查
立即停止	解析错误、旧索引、符号歧义、生成文件污染或结果无法回链

13.2 执行前先排除不可比较条件

“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”开始前先确认下面四项；任一项不成立，都应先修复实验条件，而不是解释结果。

基线能够在“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”的当前环境重复运行。
候选只改变一个与“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”结论直接相关的条件。
“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”的基线和候选使用同一批输入、同一版本依赖与同一通过阈值。
“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”的原始输出和失败现场不会被重试、格式化或汇总覆盖。

13.3 执行后先核对证据完整性

结果出来后先检查证据，再讨论“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”是否通过。缺少中间状态时，最终输出只能说明现象，不能证明机制。

检查项	当前文章的判定
输入可追溯	固定仓库提交、目标文件、语言版本、构建配置和查询任务
过程可回放	生成语法树与符号索引，执行定义、引用、调用或影响范围查询
结果可审计	文件路径、行列范围、节点类型、符号标识、召回结果和仓库提交

“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”的一次合格基线对照按以下顺序执行：

保存“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”基线版本及输入摘要，确认基线本身可以重复运行。
写下“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”候选方案唯一变化的变量，以及它预期影响的指标。
在同一环境执行“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”：生成语法树与符号索引，执行定义、引用、调用或影响范围查询。
为“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”保存：文件路径、行列范围、节点类型、符号标识、召回结果和仓库提交。
使用“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”预登记条件判断：每条结论都能回到当前提交的源码位置，跨文件关系可复查。
如果“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”未通过，不修改第二个变量，先恢复基线并保留失败现场。

十四、用一张矩阵验证 Code Intelligence、Repo Map 与 Memory（第 21～30 题）的关键结论

矩阵按正文顺序列出“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”的结论。一次实验只选择一行，只改变这一行对应的条件；不要把多行合并成一个无法归因的大实验。

正文章节	已解释的结论	本轮唯一变量	必须保存的证据
回答标准	原理题：说清机制、输入输出和相近概念的边界。	只改变与“回答标准”相关的条件	文件路径、行列范围、节点类型、符号标识、召回结果和仓库提交
第21题：编程 Agent 怎样从陌生仓库中找到正确修改位置？	并保存足够证据供复现和回滚。	只改变与“第21题：编程 Agent 怎样从陌生仓库中找到正确修改位置？”相关的条件	文件路径、行列范围、节点类型、符号标识、召回结果和仓库提交
第22题：文件检索、符号检索和语义检索分别适合什么问题？	不能用“看起来相关”代替评测。	只改变与“第22题：文件检索、符号检索和语义检索分别适合什么问题？”相关的条件	文件路径、行列范围、节点类型、符号标识、召回结果和仓库提交
第23题：AST 和 Tree-sitter 能为代码理解提供什么能力？	不能用“看起来相关”代替评测。	只改变与“第23题：AST 和 Tree-sitter 能为代码理解提供什么能力？”相关的条件	文件路径、行列范围、节点类型、符号标识、召回结果和仓库提交
第24题：LSP 的定义跳转与引用分析和文本搜索有什么差别？	不能用“看起来相关”代替评测。	只改变与“第24题：LSP 的定义跳转与引用分析和文本搜索有什么差别？”相关的条件	文件路径、行列范围、节点类型、符号标识、召回结果和仓库提交
第25题：Repo Map 应保存哪些关系，什么时候会失效？	不能用“看起来相关”代替评测。	只改变与“第25题：Repo Map 应保存哪些关系，什么时候会失效？”相关的条件	文件路径、行列范围、节点类型、符号标识、召回结果和仓库提交

14.1 记录本次实际实验

下面的记录用于“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”当前这一次实验，不是第二套知识目录。先从矩阵选择一个章节，再填写实际值；没有填写的字段表示尚未验证。

topic: "Code Intelligence、Repo Map 与 Memory（第 21～30 题）"
selected_chapter: required
claim_from_article: required
baseline_version: required
changed_condition: exactly_one
execution: "生成语法树与符号索引，执行定义、引用、调用或影响范围查询"
evidence: "文件路径、行列范围、节点类型、符号标识、召回结果和仓库提交"
pass_when: "每条结论都能回到当前提交的源码位置，跨文件关系可复查"
stop_when: "解析错误、旧索引、符号歧义、生成文件污染或结果无法回链"
observed_result: required
first_deviation: null_or_evidence
recovery_replay: required_after_failure

14.2 边界实验必须证明能够停止和恢复

成功路径只能证明“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”在当前样本上工作，不能证明它可以进入生产。边界实验需要主动制造：解析错误、旧索引、符号歧义、生成文件污染或结果无法回链，并观察系统是否在产生不可逆副作用前停止。

场景	只改变什么	应保存什么	通过标准
正常路径	使用已知有效输入	文件路径、行列范围、节点类型、符号标识、召回结果和仓库提交	每条结论都能回到当前提交的源码位置，跨文件关系可复查
边界路径	把一个输入推进到约束临界值	临界值前后的输出与指标	不静默降级，不把部分结果冒充成功
明确失败	注入：解析错误、旧索引、符号歧义、生成文件污染或结果无法回链	原始错误、首个异常阶段和最终状态	失败被正确分类且没有扩大副作用
恢复重放	执行：固定失败文件，检查解析器、构建信息、增量索引和版本绑定	原失败样本的复测证据	原样本恢复，正常样本没有回归

恢复动作不是简单重启。对于“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”，第一步是：固定失败文件，检查解析器、构建信息、增量索引和版本绑定。完成后使用原始失败样本复测；只验证一个新样本成功，不能证明触发条件已经消失。

“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”边界实验结束后，应把正常、临界、失败和恢复四类记录放在同一个运行批次中。这样才能区分“候选方案真的修复问题”和“环境变化让问题暂时没有出现”。

十五、Code Intelligence、Repo Map 与 Memory（第 21～30 题）的结果解释

解释“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”实验时先看首个偏差，而不是最后一条错误。最后的异常通常只是上游状态错误的结果；从末端反推容易误把症状当根因。

观察结果	可以支持的判断	下一步
主链路没有达到预期	解析错误、旧索引、符号歧义、生成文件污染或结果无法回链	先执行：固定失败文件，检查解析器、构建信息、增量索引和版本绑定
异常链路无法恢复	解析错误、旧索引、符号歧义、生成文件污染或结果无法回链	先执行：固定失败文件，检查解析器、构建信息、增量索引和版本绑定
新样本成功但原样本仍失败	修复没有覆盖原始触发条件	固定原失败输入，恢复基线后重新比较
指标改善但证据无法回链	数据、版本或中间状态没有固定	暂停发布，补齐可追溯记录后重跑

“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”只有同时满足“每条结论都能回到当前提交的源码位置，跨文件关系可复查”，并且没有出现“解析错误、旧索引、符号歧义、生成文件污染或结果无法回链”，才可以认为主链路通过。这里的“通过”只对当前固定版本、样本和环境有效，不能外推到尚未测试的容量、权限或数据分布。

如果“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”候选方案与基线差异很小，先检查证据分辨率是否足够；如果差异很大，先排除数据泄漏、环境漂移和版本不一致。两种情况都不能只看一个汇总均值，需要回到逐样本输出和中间状态。

“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”故障定位完成后，记录“现象、首个偏差、根因、改动、原样本复测”五项。缺少原样本复测时，只能标记为待观察，不能标记为已解决。

十六、Code Intelligence、Repo Map 与 Memory（第 21～30 题）的发布判断

发布判断需要把“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”的质量、失败边界和恢复能力放在同一份记录中。以下任一条件缺失，都应停止扩量，而不是用“基本正常”替代证据。

“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”的基线与候选只存在一个计划内变量。
“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”的输入、代码、依赖、配置和数据版本可以追溯。
“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”的正常、临界、失败和恢复样本使用同一套断言。
“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”的原始输出、中间状态和失败现场已经保留。
“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”的日志、Trace、截图和测试数据已经脱敏。
“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”的停止条件、负责人和回滚入口已经演练。
“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”尚未覆盖的输入、权限、容量和外部依赖已经登记。

最终记录至少包含基线版本、唯一变量、原始证据、首个偏差、恢复复测和发布责任人。没有参与本次修改的人如果不能据此重放“Code Intelligence、Repo Map 与 Memory（第 21～30 题）”的判断，就不能发布。

十七、总结

第21题：编程 Agent 怎样从陌生仓库中找到正确修改位置？：实现时围绕“问题、约束、证据和候选方案”建立确定性契约，模型只负责需要推理的部分。
第22题：文件检索、符号检索和语义检索分别适合什么问题？：工程实践：用真实改动任务评估 Recall@K、定位准确率和无关上下文比例，不能用“看起来相关”代替评测。
第23题：AST 和 Tree-sitter 能为代码理解提供什么能力？：工程实践：用真实改动任务评估 Recall@K、定位准确率和无关上下文比例，不能用“看起来相关”代替评测。
第24题：LSP 的定义跳转与引用分析和文本搜索有什么差别？：工程实践：用真实改动任务评估 Recall@K、定位准确率和无关上下文比例，不能用“看起来相关”代替评测。
第25题：Repo Map 应保存哪些关系，什么时候会失效？：工程实践：用真实改动任务评估 Recall@K、定位准确率和无关上下文比例，不能用“看起来相关”代替评测。