【TS】TS总结

1. 类型声明

• 通过:类型明确指定变量的类型。
• 示例：

  leta:string;letb:number;letc:boolean;functiondemo(x:number,y:number):number{returnx+y;}

2. 类型推断

• TypeScript 会根据赋值自动推断变量类型。
• 示例：

  letd=-99;// 推断为 numberd=false;// 报错

3. 类型总览

• JavaScript 原始类型：string、number、boolean、null、undefined、bigint、symbol、object
• TypeScript 扩展类型：void、never、unknown、any、enum、tuple
• 自定义类型：type、interface

4. 常用类型

4.1 字面量类型

• 值只能是特定的字面量。
• 示例：

  leta:'你好';letgender:'男'|'女';

4.2any

• 任意类型，放弃类型检查。
• 显式与隐式：

  leta:any;// 显式letb;// 隐式（推断为 any）

4.3unknown

• 类型安全的any，赋值给其他类型需先断言或类型判断。
• 示例：

  leta:unknown='hello';letx:string;x=aasstring;// 断言

4.4never

• 表示永远不会有值。
• 常用于函数返回值或类型推断中的不可能分支。
• 示例：

  functionerror(message:string):never{thrownewError(message);}

4.5void

• 表示空或undefined，常用于无返回值的函数。
• 示例：

  functiondemo():void{console.log('no return');}

4.6object

• 表示非原始类型（对象、数组、函数等）。
• 通常使用具体结构进行限制：

  letperson:{name:string;age?:number};

4.7tuple（元组）

• 固定长度的数组，各位置类型可不同。
• 示例：

  lett:[string,number];t=['hello',123];

4.8enum（枚举）

• 定义一组具名常量。
• 示例：

  enumColor{Red,Blue,Black}letc:Color=Color.Red;

5. 自定义类型

• 使用type定义类型别名。
• 示例：

  typeStudent={name:string;age:number;grade:1|2|3;};

6. 抽象类

• 用abstract声明，不能实例化，只能被继承。
• 可包含抽象方法和普通方法。
• 示例：

  abstractclassPerson{abstractspeak():void;walk(){console.log('walking...');}}

7. 接口

• 用interface定义，可重复声明（合并）。
• 可用于限制类结构或作为类型使用。
• 与抽象类的区别：
  • 接口只能有抽象成员
  • 类使用implements实现接口
  • 示例：

    interfacePerson{name:string;speak():void;}

8. 属性修饰符

9. 泛型

• 用于在定义时不指定具体类型，使用时再确定。
• 可约束泛型范围。
• 示例：

  functionidentity<T>(arg:T):T{returnarg;}functiongetLength<Textends{length:number}>(arg:T):number{returnarg.length;}

本文涵盖类型系统、自定义类型、类与接口、泛型等核心概念，适用于快速复习与查阅。