题目与范围
Python 3.14 增加了用于读取延迟注解的 annotationlib。加载器需要支持前向引用，避免发现阶段执行任意注解表达式，并为旧 Python 保留兼容路径。核心能力是运行时内省与副作用控制，因此分类为 coding。
面试官考察点
应区分读取注解与求值注解，根据消费者选择 VALUE、FORWARDREF 或 STRING，并明确可信代码何时可以求值。还要讨论缓存失效、模块重载、嵌套类型别名和版本化回退，不能依赖解释器私有属性。
先澄清的问题
- 加载的是可信应用代码还是第三方插件？
- Schema 生成器需要运行时对象、字符串还是未解析引用？
- 需要支持哪些 Python 版本？
- 注解表达式是否允许导入模块或调用函数？
- 插件重载后如何报告、缓存和重试失败？
- 注解数据是否属于公开兼容契约？
30 秒答题框架
“先停止调用总是求值注解的辅助函数。Python 3.14 上对不可信发现使用 annotationlib.get_annotations() 的 Format.FORWARDREF 或 Format.STRING，只在显式可信阶段使用 Format.VALUE。将结果规范化为内部 Schema，按对象隔离失败，并对旧版本保留版本判断的回退。测试覆盖前向引用、可选导入、嵌套别名、重载和确定性错误。”
分步作答
步骤 1：分离发现与求值
定义两个阶段：发现阶段记录名称或 ForwardRef，不解析；解析阶段只处理批准的模块和符号。这样 Schema 发现不会因为注解存在而导入可选依赖或执行表达式。
步骤 2：选择注解格式
Schema 需要源文本时用 Format.STRING，需要结构化未解析名称时用 Format.FORWARDREF，只有确实需要运行时对象且代码可信时才用 Format.VALUE。把格式选择作为加载器 API 契约的一部分。
步骤 3：隔离失败与副作用
按函数或类捕获解析错误，诊断中附带对象路径和格式，同时继续发现独立插件。不要把未解析引用静默转为 Any，否则兼容缺陷会隐藏。导入和符号求值前执行允许列表检查。
步骤 4：加入版本兼容
Python 3.14 及以上使用文档化的 annotationlib API。旧版本使用项目已有兼容层并记录较弱保证。不要把私有 annotate 或解释器内部结构当成长期接口。
步骤 5：测试确定性和生命周期
测试引用后定义、缺失模块、嵌套泛型别名、字符串和模块重载。断言发现阶段不会导入被阻止的模块，重复读取产生相同规范化 Schema，且插件身份或源码变化时缓存失效。
参考答案
“问题是阶段混用：发现阶段求值了本应只描述 Schema 的数据。我会使用 Python 3.14 的文档化 annotationlib，对不可信内省选择 STRING 或 FORWARDREF，只在显式可信解析器中使用 VALUE。每个对象隔离诊断，保留未解析引用，并用允许列表控制求值。版本适配器保持旧 Python 行为，测试覆盖前向引用、缺失可选模块、别名、重载、副作用导入和稳定输出。”
常见错误
- 总是求值注解 → 发现阶段执行可选导入和表达式 → 分离格式与阶段。
- 把失败转成
Any→ Schema 漂移被静默掩盖 → 保留未解析引用和诊断。 - 使用解释器私有字段 → 升级破坏加载器 → 依赖文档化
annotationlib。 - 共用全局缓存 → 重载后返回旧 Schema → 按插件身份和源码建立失效规则。
- 给所有插件完整求值权限 → 不可信代码产生副作用 → 使用允许列表和可信阶段。
- 只测简单内建类型 → 前向引用在生产失败 → 覆盖缺失名称和嵌套别名。
追问
追问 1：何时适合使用 VALUE？
消费者需要运行时类型对象，且模块和注解表达式可信时。它应属于显式解析阶段，不应成为默认发现行为。
追问 2：为什么保留 FORWARDREF 而不是字符串？
它以结构化值保留未解析引用，让后续解析器区分缺失名称与普通字符串注解。
追问 3：Python 3.14 改变了什么？
注解默认延迟求值，并由 annotationlib 提供文档化读取格式。依赖立即求值的代码必须明确目标格式。
追问 4：如何支持旧版本？
通过版本判断适配项目已有回退，记录差异，并在所有支持的解释器上运行相同契约测试。