JavaScript是动态类型，运行时确定类型；TypeScript是静态类型，编译时检查类型，提供IDE提示、安全重构和运行前错误拦截，但类型信息编译后完全擦除。
TypeScript 和 JavaScript 在类型系统上的根本区别，就一句话：JavaScript 是动态类型，运行时才决定类型；TypeScript 是静态类型，编译时就检查类型。这个差异直接决定了你写代码时会不会被 IDE 提前拦住、重构时敢不敢动、上线后有没有一堆 Cannot read property 'xxx' of undefined 报错。
为什么变量能“随便改类型”在 JS 里合法，但在 TS 里直接报错？
因为 JavaScript 不需要声明类型，引擎只管执行——let x = 42 后再写 x = "hello" 完全没问题；而 TypeScript 要求类型稳定（除非显式用 any 或联合类型），它默认按首次赋值推导类型，或依赖你写的注解：
let x = 42; // TS 推导为 number x = "hello"; // ❌ 编译报错：不能将 string 赋给 number
这不是限制，是约束。你得主动告诉 TS：“这个变量可能既是数字又是字符串”，就得写成：
let x: number | string = 42; x = "hello"; // ✅ 合法
- JS 的自由带来灵活性，也带来不确定性——尤其当函数参数没文档、对象结构靠猜时
- TS 的约束换来可预测性——IDE 能精准提示
user.name.toUpperCase()是否安全，而不是等用户点按钮才崩溃 - 别滥用
any，它等于关掉类型检查开关；更推荐用unknown+ 类型守卫（如typeof或instanceof）来安全处理未知输入
函数参数和返回值类型不写，TS 就“看不见”问题？
对。TS 默认对无类型标注的函数做宽松推导，但不会强制校验调用处——比如：
function add(a, b) { return a + b; }
add("1", 2); // TS 不报错（a、b 是 any），但运行结果是 "12"
加上类型标注后，错误立刻暴露：
function add(a: number, b: number): number { return a + b; }
add("1", 2); // ❌ 编译报错：类型 "string" 的参数不能赋给类型 "number"
- 不写类型 ≠ 没类型，TS 会尝试推导，但推导结果常是
any（尤其在无初始值或复杂逻辑时） - 接口（
interface）和类型别名（type）不是装饰，是契约——定义函数入参结构、API 响应格式、组件 props，让协作方一眼看懂“你该传什么” - 箭头函数、回调函数、Promise 的
then回调，最容易漏写返回类型，导致后续链式调用失去类型保护
类型错误真的只在编译时报？上线后还有影响吗？
没有。TS 的所有类型信息在编译后全部擦除，生成的 JS 文件里 完全不包含任何类型代码。也就是说：
-
tsc编译失败 → 你根本拿不到 JS 文件，
自然无法部署 - 编译成功 → 输出的 JS 和手写的 JS 行为 100% 一致，性能、兼容性、运行时行为零差异
- 但注意：
as类型断言（如elem as HTMLInputElement）只是告诉 TS “信我”，运行时仍可能出错——它不生成类型检查代码，只是跳过编译检查 - 真正运行时的类型错误（如访问
undefined.name），TS 只能靠你加可选链（?.name）或非空断言（!.）来规避，但它不会替你加
自然无法部署最常被忽略的一点：类型系统不是万能胶。它管得住“结构”，管不住“业务逻辑”——age: number 允许传 -5 或 300，status: string 也允许传任意字符串。真要约束值域，得靠运行时校验（如 zod、yup）或细化类型（如 type Age = number & { __brand: 'Age' }）。类型是第一道防线，不是最后一道。
