你如何理解 TypeScript 中的静态类型检查？

静态类型检查是 TypeScript 语言的核心特性之一，它通过类型系统在编译阶段对代码进行错误检测，而非等到运行时才发现问题。它基于显式类型注解（如变量、函数参数、返回值声明类型），编译器（如 tsc）在不运行代码的情况下检查类型一致性。以下是详细说明：

1. 什么是静态类型检查？
   不执行程序的前提下，识别类型不匹配错误（例如变量值类型错误）或拼写错误。这包括基础类型检查（如数字不能赋给字符串变量）和复杂结构检查（如对象属性缺失）。例如：

let age: number = 30;  // 正确定义  
age = "thirty";        // 编译时错误：类型“string”不可分配给类型“number”  

const product = { price: 100 };  
const total = product.priece * 2;   // 拼写错误：属性 'priece' 不存在于类型 '{ price: number; }'，错误信息提示应为 price  

编译器错误在前移错误检测，预防潜在运行异常。

1. 关键机制与使用方法
   • 基础类型声明：直接标注类型以确保匹配度，如 let myNumber: number = 42，如不赋值字符串等错误值立即报错。
   • 接口/类型别名：确保复杂对象结构的一致性。

     interface User {  
     id: number;  
     name: string;  
     }  
     function greet(user: User) {  
     console.log(`Hi ${user.name}`);  
     }  
     greet({ id: 1 });       // 编译错误：缺少 'name' 属性（结构不兼容）  
     

      - **可选属性与联合类型**：支持灵活类型组合如 `year: number | undefined` 或方法参数的默认值（`defVar = "default"`）以处理遗漏情况。  
     

2. 主要优势
   • 错误早期发现：50% 常见 JavaScript 运行时错误可被编译器捕捉（例如空值操作或类型转换问题），显著提效。
   • 代码智能与重构：IDE 增强语法提示、自动完成，以及安全大规模重构支持对象属性一致性分析。
   • 可维护性与文档化：类型定义直接提升代码自释力和多团队协作稳定性。

总体而言，静态类型检查以最低成本（少量新增类型注解）获得巨大收益——代码质量和早期安全性提升。