TypeScript基础教程：基本类型与类型运算

本文重点讲解TypeScript基础：基本类型与类型运算，让我们来一起学习TypeScript吧！

引言

TypeScript是一种开源的编程语言，它是JavaScript的超集，意味着所有的JavaScript代码都可以在TypeScript中运行。TypeScript添加了静态类型检查和其他一些新特性，以提高代码的可读性、可维护性和可扩展性。

基本类型

number：数字
string：字符串
boolean：布尔
数组
object: 对象
null 和 undefined

null和undefined是所有其他类型的子类型，它们可以赋值给其他类型

通过添加strictNullChecks:true，可以获得更严格的空类型检查，null和undefined只能赋值给自身。

1. 数字类型（number）

let age: number = 25;

2. 字符串类型（string）

let name: string = "John";

3. 布尔类型（boolean）

let isDone: boolean = false;

4. 数组类型（array）

let numbers: number[] = [1, 2, 3, 4, 5]; let fruits: Arraystring> = ["apple", "banana", "orange"];

5. 对象（object）

function printValues(obj: object) { const values = Object.values(obj) values.forEach((v) => console.log(v)) } printValues({ name: 'afd', age: 33 })

6. null和undefined

let nullValue: null = null; let undefinedValue: undefined = undefined;

其他常用类型

void类型：通常用于约束函数的返回值，表示该函数没有任何返回

function sayHello(): void { console.log("Hello!"); }

never类型：通常用于约束函数的返回值，表示该函数永远不可能结束

function throwError(message: string): never { throw new Error(message); } function infiniteLoop(): never { while (true) { // do something... } }

字面量类型：使用一个值进行约束。它可以用于限制变量的取值范围，只允许特定的字面量值赋给变量

let arr: [] // arr永远只能取值为一个空数组 let gender = '男' | '女'

元祖类型（Tuple）: 一个固定长度的数组，并且数组中每一项的类型确定

let person: [string, number] = ["John", 25];

any类型: any类型可以绕过类型检查，因此，any类型的数据可以赋值给任意类型

let data: any = "Hello"; data = 123;

类型运算

类型运算符在TypeScript中用于对类型进行操作和组合。以下是对常见的类型运算符进行介绍：

1. 联合类型（Union Types）

使用 | 运算符将多个类型组合成一个联合类型。表示变量可以是多个类型中的任意一个。例如：

let age: number | string; age = 25; // 合法 age = "25"; // 合法

2. 交叉类型（Intersection Types）

使用 & 运算符将多个类型组合成一个交叉类型。表示变量具有多个类型的属性和方法。例如：

interface A { name: string; } interface B { age: number; } type C = A & B; let person: C = { name: "John", age: 30 };

3. 可选属性（Optional Properties）

使用 ? 运算符将属性标记为可选的。表示该属性可以存在，也可以不存在。例如：

interface Person { name: string; age?: number; } let person1: Person = { name: "John" }; let person2: Person = { name: "Jane", age: 25 };

4. 泛型约束（Generic Constraints）

使用 extends 关键字对泛型进行约束，限制泛型参数必须满足某些条件。例如：

interface Lengthwise { length: number; } function logLengthextends Lengthwise>(arg: T): void { console.log(arg.length); } logLength("Hello"); // 输出 5 logLength([1, 2, 3]); // 输出 3

在这个示例中，我们使用 extends 关键字约束泛型参数 T 必须满足 Lengthwise 接口的要求，即具有 length 属性。通过泛型约束，我们可以在函数内部使用泛型参数的特定属性或方法。这些类型运算符可以帮助开发者更灵活地操作和组合类型，提供了更强大的类型系统支持。通过合理地使用这些运算符，可以提高代码的可读性和可维护性，并增强类型安全性。

类型别名

类型别名（Type Aliases）是TypeScript中的一种特性，它允许为已有的类型定义一个别名，以提高代码的可读性和可维护性。通过类型别名，可以给复杂或重复出现的类型定义一个简洁的名称。

以下是一些使用类型别名的示例：

1. 基本类型别名

type ID = number; let userId: ID = 123;

在这个示例中，我们使用type关键字为number类型定义了一个别名ID，然后将其用于声明变量userId。

2. 联合类型别名

type Status = "success" | "failure"; let result: Status = "success";

在这个示例中，我们使用type关键字为字符串字面量类型定义了一个联合类型别名Status，它只允许取值为”success”或”failure”。然后将其用于声明变量result。

3. 复杂对象类型别名

type Point = { x: number; y: number; }; let p: Point = { x: 10, y: 20 };

在这个示例中，我们使用type关键字为对象类型定义了一个别名Point，它包含了两个属性x和y。然后将其用于声明变量p。

通过使用类型别名，我们可以将复杂的类型定义简化为一个易于理解和使用的名称。

类型约束

在TypeScript中，函数可以通过参数类型、返回值类型和函数重载等方式进行约束。以下是函数的相关约束和函数重载的示例

1. 参数类型、返回值类型约束

function multiply(a: number, b: number): number { return a * b; } let result = multiply(2, 3); // 返回 6

在这个示例中，函数multiply接受两个参数，都是number类型，并且返回值也是number类型。通过返回值类型的约束，我们可以确保函数返回的结果符合预期的数据类型。

2.函数重载

function getValue(value: string): string; function getValue(value: number): number; function getValue(value: string | number): string | number { if (typeof value === "string") { return "Hello, " + value; } else if (typeof value === "number") { return value * 2; } throw new Error("value不是string或number类型"); } let result1 = getValue("John"); // 返回 "Hello, John" let result2 = getValue(5); // 返回 10

在这个示例中，我们定义了一个名为getValue的函数，并使用多个重载声明来定义不同参数类型对应的返回值类型。在函数体内部，我们根据参数的类型进行不同的处理。通过函数重载，我们可以根据不同的参数类型来调用相应的函数实现。

通过参数类型约束、返回值类型约束和函数重载等方式，我们可以在TypeScript中对函数进行更精确的约束和定义，以提高代码的可读性、可维护性和可靠性。