题目与范围
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：如何支持旧版本？
通过版本判断适配项目已有回退，记录差异，并在所有支持的解释器上运行相同契约测试。