TypeScript 类、泛型的使用实践记录：探讨TypeScript中的泛型的使用方法和场景，以及如何使用类型约束来增加代码的灵活性和安全性。 以下是一份关于 TypeScript 类与泛型的使用实践记录示例：
TypeScript 类与泛型实践
一、基础类定义与泛型引入
首先创建一个简单的类 Box ，用于存储不同类型的数据。 class Box { private value: T;
constructor(value: T) { this.value = value; }
getValue(): T { return this.value; } } 在这个类中，通过泛型 允许 Box 类可以处理任意类型的数据。例如，可以创建存储数字的 Box 实例和存储字符串的实例： let numberBox = new Box(5); console.log(numberBox.getValue()); // 输出 5
let stringBox = new Box("Hello, TypeScript"); console.log(stringBox.getValue()); // 输出 "Hello, TypeScript" 二、泛型在类方法中的应用
进一步扩展 Box 类，添加一个方法用于比较当前 Box 中的值与另一个 Box 中的值是否相等（假设存储的值有可比性）。 class Box { //... 构造函数和 getValue 方法保持不变
compareWith(otherBox: Box): boolean { return this.value === otherBox.getValue(); } } 这里的 compareWith 方法使用了泛型 ，并且通过 extends T 约束 U 必须是 T 类型或者是 T 的子类型。这样可以确保比较操作在类型兼容的情况下进行。 let numberBox1 = new Box(5); let numberBox2 = new Box(5); console.log(numberBox1.compareWith(numberBox2)); // 输出 true
let stringBox1 = new Box("TypeScript"); let stringBox2 = new Box("JavaScript"); console.log(stringBox1.compareWith(stringBox2)); // 输出 false 三、泛型类的继承与扩展
创建一个继承自 Box 类的 SpecialBox 类，用于在存储值的基础上添加一个额外的标识属性。 class SpecialBox extends Box { private tag: string;
constructor(value: T, tag: string) { super(value); this.tag = tag; }
getTag(): string { return this.tag; } } 使用 SpecialBox 类： let specialNumberBox = new SpecialBox(10, "Important Number"); console.log(specialNumberBox.getValue()); // 输出 10 console.log(specialNumberBox.getTag()); // 输出 "Important Number" 通过以上实践，可以看到 TypeScript 类与泛型的结合提供了强大的代码复用性和类型安全性，能够灵活地处理各种类型相关的编程场景，使得代码更加健壮和可维护。 以下是关于如何使用类型约束来增加代码灵活性和安全性的介绍：
一、理解类型约束
类型约束是一种在编程语言（如TypeScript）中用于限制类型参数范围的机制。它能够确保在泛型编程或其他类型相关操作中，使用的类型符合预期的规则，从而避免因类型不匹配导致的错误。
二、基本类型约束的应用
- 在函数中的应用
- 例如，在一个函数中，期望传入一个具有特定属性的对象。可以通过接口定义这个对象的形状，然后使用类型约束来确保传入的参数符合接口要求。
- 假设我们有一个函数 printUserInfo ，它需要接收一个包含 name 和 age 属性的对象。
typescript
复制
interface User {
name: string;
age: number;
}
function printUserInfo(user: User) {
console.log(Name: ${user.name}, Age: ${user.age});
}
- 这样，当调用 printUserInfo 函数时，TypeScript会检查传入的参数是否满足 User 接口的约束，即必须有 name （字符串类型）和 age （数字类型）这两个属性。这增加了代码的安全性，因为避免了传入不符合要求的对象而导致的运行时错误。
- 在类中的应用
- 对于类的属性和方法，类型约束也很重要。以一个简单的 Animal 类为例，假设它有一个 makeSound 方法，但不同的动物发出的声音不同。
typescript 复制 abstract class Animal { abstract makeSound(): string; } class Dog extends Animal { makeSound(): string { return "Woof"; } } class Cat extends Animal { makeSound(): string { return "Meow"; } }
- 这里通过抽象类 Animal 对 makeSound 方法进行类型约束（返回值为字符串），任何继承自 Animal 的类都必须实现这个方法并且返回一个字符串类型的值。这种约束使得代码结构更加清晰，也保证了代码在多态场景下的安全性和一致性。
三、泛型类型约束
- 简单泛型约束
- 在泛型编程中，类型约束可以确保泛型参数具有必要的属性或方法。例如，定义一个函数 printLength ，它可以接受一个包含 length 属性的数组。
typescript 复制 function printLength<T extends { length: number }>(arr: T[]) { console.log(arr.length); } printLength([1, 2, 3]); printLength(["a", "b", "c"]);
- 这里的 <T extends { length: number }> 就是类型约束，它表示 T 类型必须包含一个 length 属性，且这个属性是数字类型。这样，函数就可以安全地访问 arr.length ，而不管 arr 的具体元素类型是什么，只要满足这个约束条件即可。这增加了代码的灵活性，因为可以处理多种符合约束的类型数组。
- 多个类型约束
- 有时需要对泛型参数施加多个约束。例如，定义一个函数来比较两个对象，这两个对象不仅要有比较方法（如 compareTo ），还要有一个标识属性（如 id ）。
typescript 复制 interface Comparable { compareTo(other: any): number; } interface Identifiable { id: number; } function compareObjects<T extends Comparable & Identifiable, U extends Comparable & Identifiable>(obj1: T, obj2: U): number { if (obj1.id === obj2.id) { return obj1.compareTo(obj2); } return -1; }
- 在这个例子中， T 和 U 都需要同时满足 Comparable 和 Identifiable 接口的约束，这样就确保了传入函数的对象具有必要的属性和方法，使得函数能够正确地执行比较操作，增强了代码的安全性和逻辑性。
通过合理地运用类型约束，可以在保证代码安全性的前提下，让代码能够适应多种符合约束条件的类型，从而增加了代码的灵活性。
