TypeScript面试AI辅助攻略：泛型与类型体操

一句话回答：TypeScript面试考点分基础类型系统、泛型约束、工具类型手写、条件类型四层，AI辅助备考的核心是让它帮你生成变体练习和逐步解释类型推导过程，而不是直接背AI给的答案。面试前三天重点攻泛型和infer，当天用Playground热身。

脉脉上有个帖子，一个三年前端 2024 年底面字节，说对方出了手写 DeepReadonly<T> 和自定义 PickByValue<T, ValueType>，直接在白板上卡住了。"我项目里 TS 写了两年，但没动手写过这种东西。"这种评论在那个帖子下面有四十多条相似的。

以前 TypeScript 面试问到 interface 和 type 的区别就算进阶了，现在一线互联网（字节、阿里、快手）的中高级前端面试基本都有手写工具类型环节。TypeScript 5.x 系列持续更新，很多团队已经在项目里用上了 satisfies、const 泛型、模板字面量类型，面试题也跟着往前走。

这篇整理 TypeScript 面试高频考点的分层结构，以及每个层级怎么用 AI 做针对性备考。

前端TypeScript面试高频考点的四个层级

面试里的 TS 考点不是随机的，分四层，层级越高，淘汰率越高。

第一层：概念区分

• any / unknown / never / void 的区别
• interface 和 type 的异同（几乎每轮必问）
• 类型断言 as 和类型守卫 is 的区别
• ?: 可选属性 vs 默认值 vs 联合类型 | undefined

第二层：泛型应用

• 泛型函数、泛型接口、泛型类
• extends 约束：T extends keyof U、T extends object
• 条件类型：T extends U ? X : Y
• infer 关键字：从类型里"提取"子类型

第三层：TypeScript类型体操（手写工具类型）

这层是 2024 年后大厂拉开差距的主战场。常见题目：

• 手写 Partial<T>、Required<T>、Pick<T, K>、Omit<T, K>
• 实现 ReturnType<T>、Parameters<T>（需要 infer）
• 手写 DeepPartial<T>（递归泛型）
• 实现 PickByValue<T, ValueType>（遍历映射类型）

在 TypeScript Playground 里动手写是唯一有效的练习方式——只看答案是假理解，写错了再看才是真学。

第四层：工程配置

• tsconfig.json 关键选项：strict、noImplicitAny、target、module、paths
• .d.ts 声明文件怎么写
• moduleResolution 的作用，esm vs commonjs 实际区别

初级岗位考第一二层就够。中高级岗位第三层是重头，第四层作为加分项，但你最好也能说清楚自己项目 tsconfig 里做了什么非默认配置，以及为什么。

AI辅助在TypeScript工具类型面试备考哪几个阶段最有用

实操下来，AI 最有价值的三个用途是理解、变体练习和项目诊断，不是直接问"帮我写 X 的实现"然后背答案。

理解阶段：让 AI 逐步拆解类型推导

TypeScript 类型系统里有很多反直觉的行为。分布式条件类型（Distributive Conditional Types）是经典例子：

type IsString<T> = T extends string ? true : false;
type Result = IsString<string | number>; // boolean，不是 true

很多人以为 Result 是 true，实际是 boolean。让 AI 解释时，关键是要它逐行拆解推导过程，而不只给结论：

"帮我解释 TypeScript 分布式条件类型的工作原理，用 IsString<string | number> 这个例子，一步一步展示类型推导过程，并告诉我什么情况下不会触发分布式行为。"

刷题阶段：让 AI 生成变体练习

刷题时只看答案容易有虚假的熟悉感。更好的做法：

把一道题的标准解法给 AI 看，让它生成 3 个难度相近的变体（换参数类型、加约束条件、改需求），自己写，写完再让它检查。

"以下是 Readonly<T> 的实现：type MyReadonly<T> = { readonly [K in keyof T]: T[K] }。帮我生成 3 道类似难度的类型体操练习题，不要给答案。"

项目诊断：找自己代码里的脆弱点

如果项目里的 TS 写得不规范，面试官追问项目细节时容易露馅。把有代表性的类型定义扔给 AI：

"这是我项目里的 API 返回值类型定义，帮我找出哪些地方不规范、哪里可以用工具类型简化，以及哪里不必要地用了 any。"

面灵 AI 的模拟面试功能可以模拟技术面试官追问你的 TS 项目细节，如果你不确定自己的表达是否经得起追问，可以开一局模拟面试提前找盲点。

常见题型×AI用法：TypeScript泛型面试题实战

概念辨析题

例："any 和 unknown 的区别，以及什么时候用哪个"

AI 给的答案通常是教科书级别的。问题在于面试官经常追问"你项目里用过 unknown 吗，什么场景"。所以备考时，同步准备一个真实项目场景，否则答到一半就会断片。

TypeScript泛型面试题

泛型是频率最高的题型之一。基础题：

function identity<T>(arg: T): T {
  return arg;
}

大厂常出的进阶题：

// 实现一个类型安全的 pick 函数
function pick<T, K extends keyof T>(obj: T, keys: K[]): Pick<T, K> {
  const result = {} as Pick<T, K>;
  keys.forEach(key => {
    result[key] = obj[key];
  });
  return result;
}

用 AI 的方式：先自己写，写不出来再让 AI 展示并逐行解释约束的含义（K extends keyof T 是什么意思、为什么要这样约束），再让它生成一道同类型的新题验证理解。

工具类型手写题

以 ReturnType<T> 为例，标准实现需要 infer：

type MyReturnType<T extends (...args: any[]) => any> = 
  T extends (...args: any[]) => infer R ? R : never;

备考技巧：把工具类型按"需要 infer 的"和"不需要 infer 的"分两组：

• 不需要 infer：Partial、Required、Readonly、Pick、Omit、Record、Extract、Exclude
• 需要 infer：ReturnType、Parameters、ConstructorParameters、Awaited

先熟透第一组（映射类型语法），再攻第二组。TypeScript 官方文档的 Utility Types 章节是最权威的参考，里面有每个工具类型的源码实现。

条件类型题（递归 + 边界）

一道典型题：

// 实现 DeepReadonly，把对象及所有嵌套属性变为 readonly
type DeepReadonly<T> = {
  readonly [K in keyof T]: T[K] extends object ? DeepReadonly<T[K]> : T[K];
};

这类递归题用 AI 适合调试边界：先写一版，让 AI 帮你找它无法正确处理的 case（比如数组、函数类型、Date 对象），然后改进。这个过程比直接看答案理解更深。

面试前三天准备清单

前三天

• 刷 type-challenges 的 easy 全部 + medium 前 10 题，在 TypeScript Playground 里写，不要只看题解
• 重点攻 infer 关键字：能手写 ReturnType、Parameters、Awaited 的实现
• 实验分布式条件类型：写一个联合类型传进去，看 hover 提示里的推导结果
• 写错的题用 AI 问"为什么我的版本不对，具体哪里类型不匹配"

前一天

• 整理自己项目里的 TS 亮点：泛型抽象、类型收窄、第三方库类型扩展
• 准备 3 个 "我在项目里用 TS 解决过什么问题" 的回答，要有具体的场景和代码
• 过一遍 tsconfig.json，重点 strict、paths、moduleResolution
• 如果用 React + TS，复盘 ComponentProps、泛型组件、as props 写法

前端面试里 TS 往往和框架考点绑在一起，如果需要同步准备 React/Vue 这边的题目，前端工程师面试AI辅助攻略里有更多通用前端面试策略可以对照。

当天

• 打开 TypeScript Playground，写三个不同的泛型函数热身
• 把最近写的工具类型手写一遍，检查手感
• 不要临时补新知识点，准备好的东西能说清楚比多背一个概念有用

TypeScript类型系统面试常见翻车点

翻车点一：背了概念写不出代码

interface 和 type 的区别说得头头是道，但让手写用 type 实现映射类型时语法报错——面试官见多了这种情况。TypeScript 类型系统的知识必须在 Playground 里动手写，光背文章没用。

翻车点二：项目 TS 质量差被追问

有人简历写"熟练 TypeScript"，但项目里所有 API 响应类型都是 any，或者随处 as 强转。面试官会从项目代码入手问类型定义。备考时用 AI 把自己的项目代码过一遍，找会被问到的脆弱点，提前准备解释。

翻车点三：只知道工具类型的作用，不会手写

能说出 Partial 的作用，但被要求实现时不知道 { [K in keyof T]?: T[K] } 这个映射类型语法。内置工具类型至少默写八个：Partial、Required、Readonly、Pick、Omit、Record、Extract、Exclude。

翻车点四：没跟上 TypeScript 5.x 新特性

2024 年以后有面试开始出 const 泛型（function fn<const T>(...)）、satisfies 运算符、using 关键字（显式资源管理）。如果只看 4.x 的资料，这些问题会措手不及。不需要每个都深入，但起码能解释是什么、解决了什么问题。

常见问题

TypeScript any 和 unknown 有什么区别？

any 是类型系统的"逃生舱"，赋值给它的变量可以随意访问属性和调用方法，编译器不做检查。unknown 是更安全的版本，赋值没问题，但访问前必须先缩小类型（通过 typeof、instanceof 或自定义类型守卫）。项目里如果不确定类型，优先用 unknown，让编译器帮你发现潜在问题，而不是用 any 把问题推到运行时。

TypeScript interface 和 type 有什么区别？

最关键的两点：interface 支持声明合并（同名接口会自动合并），type 不支持。type 可以定义联合类型和元组类型，interface 只能定义对象形状。工程里的常见做法是：对象形状优先用 interface，联合类型、映射类型、条件类型用 type。

TypeScript 泛型怎么理解，面试怎么答？

泛型就是"类型参数化"——函数、接口、类都可以接收类型作为参数，使同一段代码适用于不同类型而保持类型安全。答题时说个例子比说定义有用：function getFirst<T>(arr: T[]): T { return arr[0] } 对 string[] 和 number[] 都能正确推断返回值类型，这比返回 any 安全得多。能解释这个，再说一个你项目里实际用过的泛型场景，基本就稳了。

TypeScript 类型体操必须会吗？

看岗位。初级前端通常不考手写工具类型。中高级岗位（字节、阿里、快手等），3 年以上前端基本必考，hard 题不要求，但 easy 到 medium 要写得顺手。如果目标是高级前端工程师，类型体操跳不过去。

TypeScript infer 关键字怎么理解？

infer 只能在条件类型的 extends 右侧使用，作用是在类型匹配时"提取"子类型。type ReturnType<T> = T extends (...args: any[]) => infer R ? R : never 这里 infer R 就是说"如果 T 是函数类型，就把它的返回类型提取出来赋给 R"。面试时能背这个例子，能说清楚推导过程就及格了。

项目里满是 any，面试前怎么补救？

如果时间只剩一周，不现实在项目里全面改 TS。重点做两件事：一，把你最熟悉的一个核心模块（比如 API 层或状态管理）改得像样——面试官追问时只需要讲这部分；二，对其他地方的 any 有解释，说清楚是历史遗留还是技术限制，不要装作不知道。能客观分析自己代码的问题，反而比"项目 TS 用得很好"更有说服力。

---

作者 · 林舟。职业发展顾问，做过互联网公司招聘官，也做过 6 年多岗位候选人。写文章分享求职一线的真实观察，不卖课也不做培训。