TypeScript 是 JavaScript 的静态类型标注层，编译后仍为纯 JS；它通过类型注解、接口等在开发阶段做静态分析，不改变运行时行为，可渐进式引入并弥补 JS 运行时类型检查的不足。
JavaScript 本身不支持运行时类型检查
JavaScript 是动态类型语言，变量类型在运行时才确定，typeof 和 instanceof 只能做粗粒度判断，无法校验对象结构、函数参数或返回值。比如：function processUser(user) { return user.name.toUpperCase(); } —— 若传入 null 或没有 name 的对象，只能等到执行时报 TypeError: Cannot read property 'toUpperCase' of undefined 才暴露问题。
TypeScript 不是新语言，而是 JavaScript 的类型标注层
TypeScript 编译后仍是纯 JavaScript，它只在开发阶段介入：通过类型注解、接口、泛型等描述代码意图，再用 tsc 做静态分析。关键点：
-
tsc默认不修改 JS 行为，只删类型信息、转译语法（如class→function） - 类型错误不会阻止编译（除非配置
"noEmitOnError": true），但会高亮提示 - JS 文件可通过
// @ts-check+ JSDoc（如/** @type {string[]} */）启用轻量类型检查，无需改后缀
在已有 JavaScript 项目中渐进式引入类型检查
不必重写全部代码。推荐路径：
- 初始化：在项目根目录运行
npx tsc --init，修改tsconfig.json中"allowJs": true和"checkJs": true - 对关键模块（如工具函数、API 响应解析）加
.d.ts声明文件，或直接重命名为.ts并补类型 - 避免全局
any：用// @ts-ignore要带注释说明原因；优先用unknown+ 类型守卫（如typeof x === 'string'） - 注意
strict模式开启后，undefined和null不再隐式属于所有类型，需显式处理
类型检查的边界在哪？别指望它解决所有问题
TypeScript 能捕获大部分结构错误，但以下情况它无能为力：
立即学习“Java免费学习笔记（深入）”；
- 运行时动态构造的对象（如
JSON.parse()返回值默认是any，需手动断言或用zod/yup做运行时校验） - 第三方库未提供类型定义时，
require('xxx')的返回值为any，容易掩盖错误 - 类型兼容性基于“结构子类型”（duck typing），和 Java/C# 的名义类型不同——两个字段完全相同的对象可互相赋值，哪怕没声明同一接口
真正难的不是写类型，是在类型严格性和开发灵活性之间找平衡点；很多团队卡在把 any 改成 unknown 后，忘了补上后续的类型收缩逻辑。
