引言
TypeScript是一种开源的编程语言，它是JavaScript的超集，意味着所有的JavaScript代码都可以在TypeScript中运行。TypeScript添加了静态类型检查和其他一些新特性，以提高代码的可读性、可维护性和可扩展性。
基本类型
- number：数字
- string：字符串
- boolean：布尔
- 数组
- object: 对象
- null 和 undefined
null和undefined是所有其他类型的子类型，它们可以赋值给其他类型
通过添加strictNullChecks:true，可以获得更严格的空类型检查，null和undefined只能赋值给自身。
1. 数字类型（number）
letage: number=25;
2. 字符串类型（string）
letname: string="John";
3. 布尔类型（boolean）
letisDone: boolean=false;
4. 数组类型（array）
letnumbers: number[] = [1, 2, 3, 4, 5]; letfruits: Array<string>= ["apple", "banana", "orange"];
5. 对象（object）
functionprintValues(obj: object) { constvalues=Object.values(obj) values.forEach((v) =>console.log(v)) } printValues({ name: 'afd', age: 33})
6. null和undefined
letnullValue: null=null; letundefinedValue: undefined=undefined;
其他常用类型
- void类型：通常用于约束函数的返回值，表示该函数没有任何返回
functionsayHello(): void { console.log("Hello!"); }
- never类型：通常用于约束函数的返回值，表示该函数永远不可能结束
functionthrowError(message: string): never { thrownewError(message); } functioninfiniteLoop(): never { while (true) { // do something... } }
- 字面量类型：使用一个值进行约束。它可以用于限制变量的取值范围，只允许特定的字面量值赋给变量
letarr: [] // arr永远只能取值为一个空数组letgender='男'|'女'
- 元祖类型（Tuple）: 一个固定长度的数组，并且数组中每一项的类型确定
letperson: [string, number] = ["John", 25];
- any类型: any类型可以绕过类型检查，因此，any类型的数据可以赋值给任意类型
letdata: any="Hello"; data=123;
类型运算
类型运算符在TypeScript中用于对类型进行操作和组合。以下是对常见的类型运算符进行介绍：
1. 联合类型（Union Types）
使用 | 运算符将多个类型组合成一个联合类型。表示变量可以是多个类型中的任意一个。例如：
letage: number|string; age=25; // 合法age="25"; // 合法
2. 交叉类型（Intersection Types）
使用 & 运算符将多个类型组合成一个交叉类型。表示变量具有多个类型的属性和方法。例如：
interfaceA { name: string; } interfaceB { age: number; } typeC=A&B; letperson: C= { name: "John", age: 30};
3. 可选属性（Optional Properties）
使用 ? 运算符将属性标记为可选的。表示该属性可以存在，也可以不存在。例如：
interfacePerson { name: string; age?: number; } letperson1: Person= { name: "John"}; letperson2: Person= { name: "Jane", age: 25};
4. 泛型约束（Generic Constraints）
使用 extends 关键字对泛型进行约束，限制泛型参数必须满足某些条件。例如：
interfaceLengthwise { length: number; } functionlogLength<TextendsLengthwise>(arg: T): void { console.log(arg.length); } logLength("Hello"); // 输出 5logLength([1, 2, 3]); // 输出 3
在这个示例中，我们使用 extends 关键字约束泛型参数 T 必须满足 Lengthwise 接口的要求，即具有 length 属性。通过泛型约束，我们可以在函数内部使用泛型参数的特定属性或方法。 这些类型运算符可以帮助开发者更灵活地操作和组合类型，提供了更强大的类型系统支持。通过合理地使用这些运算符，可以提高代码的可读性和可维护性，并增强类型安全性。
类型别名
类型别名（Type Aliases）是TypeScript中的一种特性，它允许为已有的类型定义一个别名，以提高代码的可读性和可维护性。通过类型别名，可以给复杂或重复出现的类型定义一个简洁的名称。
以下是一些使用类型别名的示例：
1. 基本类型别名
typeID=number; letuserId: ID=123;
在这个示例中，我们使用type关键字为number类型定义了一个别名ID，然后将其用于声明变量userId。
2. 联合类型别名
typeStatus="success"|"failure"; letresult: Status="success";
在这个示例中，我们使用type关键字为字符串字面量类型定义了一个联合类型别名Status，它只允许取值为"success"或"failure"。然后将其用于声明变量result。
3. 复杂对象类型别名
typePoint= { x: number; y: number; }; letp: Point= { x: 10, y: 20 };
在这个示例中，我们使用type关键字为对象类型定义了一个别名Point，它包含了两个属性x和y。然后将其用于声明变量p。
通过使用类型别名，我们可以将复杂的类型定义简化为一个易于理解和使用的名称。
类型约束
在TypeScript中，函数可以通过参数类型、返回值类型和函数重载等方式进行约束。以下是函数的相关约束和函数重载的示例
1. 参数类型、返回值类型约束
functionmultiply(a: number, b: number): number { returna*b; } letresult=multiply(2, 3); // 返回 6
在这个示例中，函数multiply接受两个参数，都是number类型，并且返回值也是number类型。通过返回值类型的约束，我们可以确保函数返回的结果符合预期的数据类型。
2.函数重载
functiongetValue(value: string): string; functiongetValue(value: number): number; functiongetValue(value: string|number): string|number { if (typeofvalue==="string") { return"Hello, "+value; } elseif (typeofvalue==="number") { returnvalue*2; } thrownewError("value不是string或number类型"); } letresult1=getValue("John"); // 返回 "Hello, John"letresult2=getValue(5); // 返回 10
在这个示例中，我们定义了一个名为getValue的函数，并使用多个重载声明来定义不同参数类型对应的返回值类型。在函数体内部，我们根据参数的类型进行不同的处理。通过函数重载，我们可以根据不同的参数类型来调用相应的函数实现。
通过参数类型约束、返回值类型约束和函数重载等方式，我们可以在TypeScript中对函数进行更精确的约束和定义，以提高代码的可读性、可维护性和可靠性。
总结
通过了解这些基本类型和类型运算，开发者可以更好地定义变量、函数参数和返回值的数据类型，并在编码过程中捕获潜在的错误。这有助于提高代码质量、减少调试时间，并增强代码的可读性、可维护性和可靠性。
