TypeScript type类型怎么拓展

TypeScript 是一种静态类型检查的语言，它允许开发者在代码编写阶段就发现潜在的错误，TypeScript 的类型系统非常强大，可以很好地处理复杂的数据结构，有时候我们需要对 TypeScript 的类型进行拓展，以满足特定的需求，本文将详细介绍如何拓展 TypeScript 的类型。

1、基础类型拓展

TypeScript 的基础类型包括数字、字符串、布尔值、数组、元组、枚举、函数等，我们可以通过声明一个同名的类型来拓展这些基础类型。

// 拓展字符串类型
type StringWithLength = string & { length: number };
// 使用拓展后的字符串类型
function printStringLength(str: StringWithLength) {
  console.log(str.length);
}

2、接口类型拓展

接口是 TypeScript 中非常重要的一种类型，它可以用来描述对象的形状，我们可以通过在接口中添加额外的属性和方法来拓展接口类型。

interface Person {
  name: string;
  age: number;
}
// 拓展 Person 接口
interface Employee extends Person {
  id: number;
  position: string;
}
// 使用拓展后的接口类型
function printEmployeeInfo(employee: Employee) {
  console.log(Name: ${employee.name}, Age: ${employee.age}, ID: ${employee.id}, Position: ${employee.position});
}

3、类类型拓展

TypeScript 中的类是一种面向对象的编程方式，我们可以通过继承和实现接口来拓展类类型。

class Animal {
  name: string;
}
class Dog extends Animal {
  bark() {
    console.log('Woof!');
  }
}
// 使用拓展后的类类型
function makeDogSound(dog: Dog) {
  dog.bark();
}

4、泛型类型拓展

泛型是 TypeScript 中一种非常强大的特性，它允许我们为函数、接口或类定义一种通用的类型参数，我们可以通过在泛型类型中添加约束来实现类型的拓展。

interface Box<T> {
  content: T;
}
// 使用拓展后的泛型类型
function getContent<T>(box: Box<T>): T {
  return box.content;
}

5、交叉类型拓展

交叉类型是将多个类型合并为一个类型的操作，我们可以通过交叉类型来实现类型的拓展。

type PersonKeys = 'name' | 'age';
type EmployeeKeys = 'id' | 'position';
type PersonAndEmployeeKeys = PersonKeys | EmployeeKeys;

6、映射类型拓展

映射类型是一种将旧的类型转换为新类型的操作，我们可以通过映射类型来实现类型的拓展。

type ReadonlyPerson = Readonly<Person>; // 只读 Person 类型
type PartialPerson = Partial<Person>; // 可部分填充的 Person 类型
type PickPerson = Pick<Person, 'name' | 'age'>; // 从 Person 类型中选择 'name' 和 'age' 属性的类型

7、条件类型拓展

条件类型是一种根据条件判断来选择类型的操作，我们可以通过条件类型来实现类型的拓展。

type StringIfTrue<T> = T extends true ? string : never; // T 为 true，则返回 string 类型，否则返回 never 类型
type NumberIfFalse<T> = T extends false ? number : never; // T 为 false，则返回 number 类型，否则返回 never 类型

8、infer关键字拓展（高级）

infer关键字用于在条件类型中声明一个类型变量，该变量会在条件分支中被赋予不同的类型，我们可以使用infer关键字来实现更复杂的类型拓展。

type ReturnTypeOf<T> = T extends (...args: any[]) => infer R ? R : any; // 获取函数的返回值类型，支持泛型函数和带条件的函数重载等情况