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. 属性修饰符
| 修饰符 | 说明 |
|---|---|
readonly | 只读，不可修改 |
public | 公开（默认） |
protected | 仅在类及子类中可访问 |
private | 仅在类内部可访问 |
9. 泛型
- 用于在定义时不指定具体类型，使用时再确定。
- 可约束泛型范围。
- 示例：
functionidentity<T>(arg:T):T{returnarg;}functiongetLength<Textends{length:number}>(arg:T):number{returnarg.length;}
本文涵盖类型系统、自定义类型、类与接口、泛型等核心概念，适用于快速复习与查阅。
