程序员面试题库第 88 页，收录第 4351–4400 题，共 5000 道完整解析，覆盖前端、JavaScript、React、Vue、Node.js、AI Agent、网络、数据库与系统设计。
按稳定语义路径排序
Vitest 中 vi.fn() 配合 mockReturnValue 与 mockImplementation 该如何选择，链式 mockResolvedValueOnce 解决什么问题？ 本文先给出可直接复述的结论，再用最小代码说明Vitest vi.fn mockReturnValue mockImplementation的工作方式、判断依据、项目边界和常见误区。
Vitest 的 vi.mock() 为什么会被提升到文件顶部，这一提升对工厂函数里引用外部变量有什么限制？ 本文先给出可直接复述的结论，再用最小代码说明Vitest vi.mock 提升 hoisting的工作方式、判断依据、项目边界和常见误区。
从 JavaScript 渐进迁移时 allowJs 与 checkJs 应如何分阶段启用 本文先给出可直接复述的结论，再用最小代码说明TypeScript 迁移 allowJs checkJs的工作方式、判断依据、项目边界和常见误区。
用具名导出的无类型工具包解释环境模块声明，说明模块说明符、声明文件纳入、脚本与模块作用域，以及空声明变 any 的代价。
迁移中大量临时 any 应如何标记与收敛，避免永远留在代码里 本文先给出可直接复述的结论，再用最小代码说明TypeScript 迁移 any 收敛 unknown的工作方式、判断依据、项目边界和常见误区。
通过已有请求选项接口补充字段，解释外部模块语境、声明合并条件、运行时能力与升级冲突，避免把模块增强当成替换整个库类型。
tsc --build 与普通 tsc 在增量构建行为上有什么本质差异 本文先给出可直接复述的结论，再用最小代码说明TypeScript tsc --build 增量构建的工作方式、判断依据、项目边界和常见误区。
TypeScript 项目引用出现循环依赖时会怎样、应如何拆分 本文先给出可直接复述的结论，再用最小代码说明TypeScript 项目引用 循环依赖的工作方式、判断依据、项目边界和常见误区。
为什么被引用的子项目必须开启 composite，它强制了哪些编译约束 本文先给出可直接复述的结论，再用最小代码说明TypeScript composite 约束的工作方式、判断依据、项目边界和常见误区。
用跨模块唯一符号示例复现 TS4023，解释公开类型的可表达性、显式公共接口和非导出辅助类型，避免用 any 或跳过检查掩盖发布问题。
解释 .d.ts.map 如何连接声明位置与 TypeScript 源码，区分 JavaScript 调试映射，并分析缺少源码、路径失效和编辑器支持导致的跳转问题。
以浏览器启动配置为例解释全局增强的文件作用域、可选字段、命名与生命周期，说明重复声明和跳过声明检查的风险。
第三方库自带类型与 @types 包冲突或版本错位时如何处理 本文先给出可直接复述的结论，再用最小代码说明TypeScript @types 版本冲突 自带声明的工作方式、判断依据、项目边界和常见误区。
编辑器打开 monorepo 包时跳到 .d.ts 而不是源码，项目引用层面如何调整 本文先给出可直接复述的结论，再用最小代码说明TypeScript monorepo 跳转到d.ts而非源码的工作方式、判断依据、项目边界和常见误区。
区分已有声明文件作为输入、实现文件生成声明和打包复制步骤，解释 declaration、emitDeclarationOnly、noEmit 与发布产物缺失的排查方法。
开启 emitDecoratorMetadata 与 experimentalDecorators 对依赖注入类库意味着什么 本文先给出可直接复述的结论，再用最小代码说明TypeScript emitDecoratorMetadata experimentalDecorators的工作方式、判断依据、项目边界和常见误区。
verbatimModuleSyntax 与导入省略（import elision）之间有什么关系 本文先给出可直接复述的结论，再用最小代码说明TypeScript verbatimModuleSyntax 导入省略的工作方式、判断依据、项目边界和常见误区。
incremental 生成的 .tsbuildinfo 文件应不应该提交到版本库 本文先给出可直接复述的结论，再用最小代码说明TypeScript tsbuildinfo 是否提交的工作方式、判断依据、项目边界和常见误区。
isolatedModules 对代码写法施加了哪些约束、为什么转译工具需要它 本文先给出可直接复述的结论，再用最小代码说明TypeScript isolatedModules 约束的工作方式、判断依据、项目边界和常见误区。
在纯 JavaScript 文件里用 JSDoc 注解获得类型检查的收益与边界是什么 本文先给出可直接复述的结论，再用最小代码说明TypeScript JSDoc 类型注解 checkJs的工作方式、判断依据、项目边界和常见误区。
大型项目开启 strict 后报错过多，应如何拆分 strict 旗标渐进治理 本文先给出可直接复述的结论，再用最小代码说明TypeScript strict 渐进开启 noImplicitAny的工作方式、判断依据、项目边界和常见误区。
TypeScript 的 moduleResolution 选项 node、node16、nodenext、bundler 各自适用什么场景 本文先给出可直接复述的结论，再用最小代码说明TypeScript moduleResolution 模式区别的工作方式、判断依据、项目边界和常见误区。
在类型测试里断言 never 或 any 时为什么不能直接用相等比较 本文先给出可直接复述的结论，再用最小代码说明TypeScript 类型测试 any never 断言的工作方式、判断依据、项目边界和常见误区。
noEmit 纯类型检查模式下，构建链路与 tsc 输出职责应如何划分 本文先给出可直接复述的结论，再用最小代码说明TypeScript noEmit 类型检查职责的工作方式、判断依据、项目边界和常见误区。
moduleResolution 设为 node16/nodenext 后为什么相对导入必须写 .js 扩展名 本文先给出可直接复述的结论，再用最小代码说明TypeScript nodenext 导入必须写扩展名的工作方式、判断依据、项目边界和常见误区。
依赖包的 exports 字段如何改变 TypeScript 的类型解析结果 本文先给出可直接复述的结论，再用最小代码说明TypeScript package.json exports 类型解析的工作方式、判断依据、项目边界和常见误区。
tsconfig 里 paths 映射不生效时，与 baseUrl 及打包器的关系是什么 本文先给出可直接复述的结论，再用最小代码说明TypeScript paths baseUrl 别名不生效的工作方式、判断依据、项目边界和常见误区。
TypeScript 项目引用（Project References）解决 monorepo 中的什么核心问题 本文先给出可直接复述的结论，再用最小代码说明TypeScript project references 作用的工作方式、判断依据、项目边界和常见误区。
配置项目引用后，为什么源码里的跨包 import 应指向包名而非相对路径到输出目录 本文先给出可直接复述的结论，再用最小代码说明TypeScript 项目引用 import 重定向的工作方式、判断依据、项目边界和常见误区。
如何用类型快照测试防止库导出的公共 API 类型被意外改动 本文先给出可直接复述的结论，再用最小代码说明TypeScript 公共 API 类型快照 回归的工作方式、判断依据、项目边界和常见误区。
resolveJsonModule 让 import JSON 可用，但会带来什么类型与产物上的变化 本文先给出可直接复述的结论，再用最小代码说明TypeScript resolveJsonModule 影响的工作方式、判断依据、项目边界和常见误区。
「找不到模块」诊断在 TypeScript 中出现时应按什么顺序排查解析配置 本文先给出可直接复述的结论，再用最小代码说明TypeScript 找不到模块 TS2307 排查的工作方式、判断依据、项目边界和常见误区。
区分图片 URL、组件和 CSS Modules 映射的导出形状，解释通配声明、资源存在性、加载器配置与更精确的逐文件声明。
开启 skipLibCheck 能跳过什么、又会掩盖哪些真实问题 本文先给出可直接复述的结论，再用最小代码说明TypeScript skipLibCheck 利弊的工作方式、判断依据、项目边界和常见误区。
strictNullChecks 上线前，如何用类型化边界逐步隔离不可空假设 本文先给出可直接复述的结论，再用最小代码说明TypeScript strictNullChecks 迁移策略的工作方式、判断依据、项目边界和常见误区。
tsconfig 的 target 与 lib 不一致时会引发什么类型与运行时的错位 本文先给出可直接复述的结论，再用最小代码说明TypeScript target lib 区别的工作方式、判断依据、项目边界和常见误区。
区分 reference path、types 和 lib 的编译依赖作用，解释文件位置、模块导入、运行时初始化以及声明发布后的路径维护。
@ts-expect-error 与 @ts-ignore 在迁移期的行为差异是什么 本文先给出可直接复述的结论，再用最小代码说明TypeScript ts-expect-error ts-ignore 区别的工作方式、判断依据、项目边界和常见误区。
发布类型库时为什么需要 tsd/dtslint 这类类型测试工具而不是普通单测 本文先给出可直接复述的结论，再用最小代码说明TypeScript tsd dtslint 类型测试的工作方式、判断依据、项目边界和常见误区。
如何用 expect-type 或 vitest 的 expectTypeOf 为类型层面写单元测试 本文先给出可直接复述的结论，再用最小代码说明TypeScript 类型测试 expectTypeOf的工作方式、判断依据、项目边界和常见误区。
用单一 ESM 包说明 JavaScript 与类型入口的对应关系，解释 exports 条件、包内路径、typesVersions 的适用边界和独立消费验证。
tsconfig 中 typeRoots 与 types 两个选项分别控制什么、误配会导致什么现象 本文先给出可直接复述的结论，再用最小代码说明TypeScript typeRoots types 区别的工作方式、判断依据、项目边界和常见误区。
用 JavaScript 包的函数签名解释声明文件如何参与类型检查，说明声明与真实导出的对应关系、运行时缺失、版本匹配和自动生成的适用场景。
对比接口继承和交叉类型的兼容要求、冲突诊断时机与字段替换方式，展示 never 属性，并说明联合类型无法直接作为普通接口继承目标。
TypeScript 交叉类型如何合并多个对象类型？请处理冲突属性。 本文先给出可直接复述的结论，再用最小代码说明TypeScript 交叉类型合并对象 冲突属性的工作方式、判断依据、项目边界和常见误区。
TypeScript 中 keyof 对可选属性与只读属性有何影响？ 本文先给出可直接复述的结论，再用最小代码说明TypeScript keyof 对可选与只读属性影响的工作方式、判断依据、项目边界和常见误区。
TypeScript 中布尔字面量类型（true/false）有哪些实际应用？请举例。 本文先给出可直接复述的结论，再用最小代码说明TypeScript 布尔字面量类型应用的工作方式、判断依据、项目边界和常见误区。
TypeScript 中 const 断言 (as const) 如何影响字面量类型推断？与枚举有何关联？ 本文先给出可直接复述的结论，再用最小代码说明TypeScript as const 字面量推断 与枚举关系的工作方式、判断依据、项目边界和常见误区。
TypeScript 中字面量类型可以通过 null 或 undefined 组合吗？请举例。 本文先给出可直接复述的结论，再用最小代码说明TypeScript 字面量与 null undefined 组合的工作方式、判断依据、项目边界和常见误区。
TypeScript 是否支持数字或 bigint 字面量类型？如何生成枚举值联合？ 本文先给出可直接复述的结论，再用最小代码说明TypeScript 数字 bigint 字面量类型的工作方式、判断依据、项目边界和常见误区。
