TypeScript的严格类型检查与推导是编译器基于tsconfig.json的strict选项（含noImplicitAny、strictNullChecks等）及结构化规则协同实现的静态分析机制，涵盖初始化赋值、函数返回、上下文推断、控制流分析，并支持类型守卫、断言、泛型与条件类型等主动干预手段。
TypeScript 的严格类型检查和类型推导不是靠开关“开一下”就生效的，而是由编译器在多个层面协同完成的一套静态分析机制。它既依赖配置约束（如 strict 选项），也依赖语言本身的结构化类型规则和上下文推理能力。
启用严格检查：tsconfig.json 的核心配置
真正让 TypeScript “严格起来”的起点是 tsconfig.json 中的 strict 选项——它是一组子选项的总开关，开启后会同时激活以下关键检查：
-
noImplicitAny：禁止隐式
any类型。函数参数、未注解变量若无法推导，直接报错，不退化为any -
strictNullChecks：
null和undefined不再默认属于所有类型。必须显式写成string | null才能赋值 - strictFunctionTypes：函数参数采用逆变（contravariant）检查，避免因参数类型宽泛导致调用时出错
-
strictBindCallApply：对
bind/call/apply的参数做精确类型校验 -
strictPropertyInitialization：类中非可选、非
undefined初始化的属性，必须在构造函数中赋值
类型推导：编译器如何“看懂”你的意图
推导不是猜测，而是基于明确规则的静态分析。TypeScript 在以下场景自动确定类型，无需手动标注：
-
初始化赋值：变量声明时带初始值，如
const count = 42→ 推导为number；const user = { name: "Alice", age: 30 }→ 推导为{ name: string; age: number } -
函数返回值：函数体有明确 return 表达式，如
function getId() { return 123; }→ 返回类型为number -
上下文推断：回调、事件监听、数组方法中，参数类型由接收方决定。例如
arr.map(x => x * 2)中，x类型由arr元素类型决定 -
控制流分析：在
if (typeof v === "string")分支内，v被收窄为string；同理，instanceof、可辨识联合（discriminated union）也会触发类型收窄
类型守卫与类型断言：主动参与推导过程
当推导结果不够精确或运行时信息无法被静态捕获时，开发者可通过语法主动干预：
-
类型守卫：用函数返回类型谓词（
value is T）告诉编译器某个条件成立时的精确类型。例如：function isDate(v: unknown): v is Date { return v instanceof Date; }
之后if (isDate(x)) { x.getTime(); }就不会报错 -
类型断言：适用于你比编译器更清楚值的类型（比如 DOM 查询结果）。推荐用
as语法：document.getElementById("app") as HTMLDivElement。注意：断言不改变运行时行为，仅绕过检查，慎用 -
非空断言（!）：告诉编译器某个值一定不为
null或undefined，如el!.innerText。仅在逻辑确凿时使用
泛型与条件类型：让推导适应动态结构
面对 API 响应、表单字段、状态机等变化结构，基础推导会失效，这时需用高级类型能力引导编译器：
-
泛型约束：用
<t extends someinterface></t>限定输入范围，使返回类型能随输入变化而精准推导。例如：function pick<t k extends keyof t>(obj: T, keys: K[]): Pick<t k> { ... }</t></t> -
条件类型：用
T extends U ? X : Y实现类型层面的分支逻辑。常用于从函数类型中提取返回值、判断是否为数组、映射响应结构等 -
infer 关键字：配合条件类型，从复杂类型中“抽取出”某一部分。例如：
type ReturnType<t> = T extends (...args: any) => infer R ? R : never;</t>
