【前端高频面试题】 - TypeScript 篇

【前端高频面试题】—— TypeScript 篇（2025-2026 最新趋势版）

以下是目前大厂和中高级前端岗位最常问的 TypeScript 面试题，按出现频率和难度从高到低排序，涵盖基础、进阶、工程化、类型体操等多个维度。

基础 & 核心概念（几乎必问）

1. TypeScript 和 JavaScript 的主要区别是什么？TypeScript 的优势和劣势分别有哪些？
2. type 和 interface 有什么区别？什么场景下应该用哪个？
3. 什么是类型推断（Type Inference）？举几个常见的类型推断场景。
4. const 和 readonly 的区别？什么时候用 readonly？
5. 什么是类型兼容性（Type Compatibility）？结构类型系统和标称类型系统有什么区别？
6. any、unknown、never 三者的区别和使用场景分别是什么？
7. 泛型（Generics）是什么？为什么需要泛型？写出几个常见的泛型工具类型的使用场景。

中级 & 常用高级类型（非常高频）

8. extends 在 TypeScript 中有几种含义？分别是什么？
9. 条件类型（Conditional Types）是什么？infer 关键字怎么用？
10. 分布式条件类型（Distributive Conditional Types）是什么？什么时候会触发分布式？
11. keyof、typeof、in、as const 这几个关键字分别在什么场景下使用？
12. 请手写以下几个高频工具类型（至少说出思路）：
    • Partial
    • Required
    • Pick<T, K>
    • Omit<T, K>
    • Exclude<T, U>
    • Extract<T, U>
    • NonNullable
    • ReturnType
    • Parameters
    • ConstructorParameters
    • InstanceType
13. 如何实现一个深度 Partial（DeepPartial）？

进阶 & 类型体操（中高级必考）

14. 如何约束泛型参数必须是某个类型的 key？（keyof）
15. 如何写一个类型，让它接收一个对象类型，返回这个对象所有值的联合类型？
16. 如何实现一个类型 Get<T, K>，可以支持多级路径（如 Get<User, ‘address.street’>）？
17. 什么是映射类型（Mapped Types）？如何利用映射类型实现一个类型反转（key 和 value 互换）？
18. 如何实现一个类型 IsEqual<T, U>，判断两个类型是否完全相等？（考虑分布式）
19. 如何写一个类型，让它把一个联合类型转成交叉类型？（Union to Intersection）
20. 模板字面量类型（Template Literal Types）在 4.1+ 版本有什么典型应用场景？

工程 & 实际应用（大厂偏爱）

21. 在项目中如何更好地使用 TypeScript？（最佳实践角度）
22. @ts-ignore、@ts-expect-error、@ts-nocheck、@ts-check 分别是什么意思？使用场景和优先级？
23. declare 关键字有什么作用？什么时候需要用 declare？
24. 如何给第三方没有类型定义的库写类型声明文件（.d.ts）？
25. 如何处理 React 中常见的类型问题？
    • FC vs FunctionComponent
    • PropsWithChildren
    • useRef 的泛型
    • forwardRef + useImperativeHandle 的类型
    • event 类型（React.MouseEvent、React.ChangeEvent 等）
26. TypeScript 如何实现函数重载（Function Overloading）？
27. const enum 和普通 enum 的区别？tree-shaking 的时候有什么影响？
28. satisfies 操作符（4.9+）有什么用？举例说明。

类型体操 & 难题（资深/难题）

29. 实现一个类型 Flatten，把多维数组展平为一维
30. 实现一个类型 Mutable，把所有 readonly 属性变成可变
31. 实现一个类型 DeepReadonly，深度 readonly
32. 实现一个类型 Diff<T, U>，找出 T 中不在 U 中的属性
33. 实现一个类型 PromiseAll 的类型定义（类似 Promise.all 的类型）
34. 实现一个类型 Last，获取元组最后一个元素类型
35. 实现一个类型 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 的实际价值

如果你正在准备面试，可以告诉我你现在的水平（初级/中级/高级）或者你最想深入的几个题，我可以：

• 给你详细答案 + 代码示例
• 帮你模拟面试追问
• 提供更难的体操题

你想先看哪几道题的详细解析？或者直接来一套模拟面试？