【前端高频面试题】—— TypeScript 篇（2025-2026 最新趋势版）
以下是目前大厂和中高级前端岗位最常问的 TypeScript 面试题，按出现频率和难度从高到低排序，涵盖基础、进阶、工程化、类型体操等多个维度。
基础 & 核心概念（几乎必问）
TypeScript 和 JavaScript 的主要区别是什么？TypeScript 的优势和劣势分别有哪些？
type 和 interface 有什么区别？什么场景下应该用哪个？
什么是类型推断（Type Inference）？举几个常见的类型推断场景。
const 和 readonly 的区别？什么时候用 readonly？
什么是类型兼容性（Type Compatibility）？结构类型系统和标称类型系统有什么区别？
any、unknown、never 三者的区别和使用场景分别是什么？
泛型（Generics）是什么？为什么需要泛型？写出几个常见的泛型工具类型的使用场景。
中级 & 常用高级类型（非常高频）
extends 在 TypeScript 中有几种含义？分别是什么？
条件类型（Conditional Types）是什么？infer 关键字怎么用？
分布式条件类型（Distributive Conditional Types）是什么？什么时候会触发分布式？
keyof、typeof、in、as const 这几个关键字分别在什么场景下使用？
请手写以下几个高频工具类型（至少说出思路）：
- Partial
- Required
- Pick<T, K>
- Omit<T, K>
- Exclude<T, U>
- Extract<T, U>
- NonNullable
- ReturnType
- Parameters
- ConstructorParameters
- InstanceType
如何实现一个深度 Partial（DeepPartial）？
进阶 & 类型体操（中高级必考）
如何约束泛型参数必须是某个类型的 key？（keyof）
如何写一个类型，让它接收一个对象类型，返回这个对象所有值的联合类型？
如何实现一个类型 Get<T, K>，可以支持多级路径（如 Get<User, ‘address.street’>）？
什么是映射类型（Mapped Types）？如何利用映射类型实现一个类型反转（key 和 value 互换）？
如何实现一个类型 IsEqual<T, U>，判断两个类型是否完全相等？（考虑分布式）
如何写一个类型，让它把一个联合类型转成交叉类型？（Union to Intersection）
模板字面量类型（Template Literal Types）在 4.1+ 版本有什么典型应用场景？
工程 & 实际应用（大厂偏爱）
在项目中如何更好地使用 TypeScript？（最佳实践角度）
@ts-ignore、@ts-expect-error、@ts-nocheck、@ts-check 分别是什么意思？使用场景和优先级？
declare 关键字有什么作用？什么时候需要用 declare？
如何给第三方没有类型定义的库写类型声明文件（.d.ts）？
如何处理 React 中常见的类型问题？
- FC vs FunctionComponent
- PropsWithChildren
- useRef 的泛型
- forwardRef + useImperativeHandle 的类型
- event 类型（React.MouseEvent、React.ChangeEvent 等）
TypeScript 如何实现函数重载（Function Overloading）？
const enum 和普通 enum 的区别？tree-shaking 的时候有什么影响？
satisfies 操作符（4.9+）有什么用？举例说明。
类型体操 & 难题（资深/难题）
实现一个类型 Flatten，把多维数组展平为一维
实现一个类型 Mutable，把所有 readonly 属性变成可变
实现一个类型 DeepReadonly，深度 readonly
实现一个类型 Diff<T, U>，找出 T 中不在 U 中的属性
实现一个类型 PromiseAll 的类型定义（类似 Promise.all 的类型）
实现一个类型 Last，获取元组最后一个元素类型
实现一个类型 TupleToObject，把元组转成对象类型（key 和 value 相同）
总结：面试准备建议（2025-2026 版）
- 基础必背：type vs interface、any/unknown/never、泛型、条件类型、infer、keyof、as const
- 高频手写：Partial、Required、Pick、Omit、Exclude、ReturnType、Parameters
- 进阶必懂：分布式条件类型、映射类型、模板字面量类型、satisfies
- 工程必会：第三方类型声明、React 常见类型、@ts- 指令区别
- 加分项：能手写 5–8 个工具类型 + 能讲清楚分布式条件类型 + 能说出 satisfies 的实际价值
如果你正在准备面试，可以告诉我你现在的水平（初级/中级/高级）或者你最想深入的几个题，我可以：
- 给你详细答案 + 代码示例
- 帮你模拟面试追问
- 提供更难的体操题
你想先看哪几道题的详细解析？或者直接来一套模拟面试？
