TypeScript中extends的用法

介绍

extends 关键字在 TypeScript 中有多种应用，包括泛型约束、继承类、接口继承和条件类型。通过灵活使用 extends，TypeScript 提供了丰富的工具来增强类型安全性，使代码更具表现力和可维护性。

1. 约束接口的继承
extends 关键字也可用于接口。通过接口继承，我们可以创建一个继承另一个接口的新接口，并添加额外的属性或方法。

interface Person {name: string;age: number;
}interface Employee extends Person {employeeId: number;
}const employee: Employee = {name: "John",age: 30,employeeId: 12345
};

2. 约束类的继承
在 TypeScript 中，extends 关键字也用于类的继承。子类可以继承父类的属性和方法，并在需要时进行重写。

class Animal {name: string;constructor(name: string) {this.name = name;}
}class Dog extends Animal {breed: string;constructor(name: string, breed: string) {super(name);this.breed = breed;}
}const myDog = new Dog("Fido", "Golden Retriever");
console.log(myDog.name); // 访问父类属性
console.log(myDog.breed); // 访问子类属性

3. 约束泛型类型参数
在 TypeScript 中，泛型（generics）使我们能够编写可重用的函数、类和组件，同时保持类型的安全性。extends 关键字在泛型中常常用于约束泛型类型参数，以确保传入的类型符合某些要求。

function lengthOfArray<T>(arr: T[]): number {return arr.length;
}const numbers = [1, 2, 3];
const result = lengthOfArray(numbers);

在上面的示例中，T 是泛型类型参数，它可以是任何类型。但有时我们希望泛型参数必须是某种类型的子类型。这时可以使用 extends 关键字来添加约束：

function firstElement<T extends Array<any>>(arr: T): T[0] {return arr[0];
}const numbers = [1, 2, 3];
const firstNum = firstElement(numbers); // firstNum 的类型是 number

<T extends Array> 表示 T 必须是 Array 或其子类型。这确保了传入的参数 arr 是一个数组，从而允许我们安全地访问其第一个元素。

4.条件类型
在 TypeScript 2.8+ 中，extends 关键字还被用于条件类型。条件类型使我们能够基于类型参数的属性来确定最终的类型。

type NonNullable<T> = T extends null | undefined ? never : T;const x: string | null = "hello";
const y: string = x; // 编译通过const a: string | null = null;
const b: string = a; // 报错

在上述示例中，NonNullable 是一个条件类型，它检查泛型类型 T 是否是 null 或 undefined，如果是，则返回 never 类型，否则返回 T 类型。这允许我们确保某个值不会为 null 或 undefined。