跳至主要內容

深入泛型

Qxw大约 2 分钟TypescriptTypescript

提示

  1. 泛型接口
  2. 泛型类
  3. 泛型约束
  4. 泛型参数默认类型
  5. 泛型条件类型
  6. 泛型工具类型
  7. 使用泛型创建对象

一、前言

  1. 什么是泛型？

    软件工程中，我们不仅要创建一致的定义良好的API，同时也要考虑可重用性。组件不仅能够支持当前的数据类型，同时也能支持未来的数据类型。

  2. 什么时候使用泛型？

    • 当你的函数、接口或类将处理多种数据类型时
    • 当函数、接口或类在多个地方使用该数据类型时

二、泛型接口

具体实例如下：

interface Identities<V, M> {
    value: V,
    message: M
}

function identity<T, U> (value: T, message: U): Identities<T, U> {
  console.log(value + ": " + typeof (value));
  console.log(message + ": " + typeof (message));
  let identities: Identities<T, U> = {
    value,
    message
  };
  return identities;
}

console.log(identity(68, "Semlinker"));

三、泛型类

具体实例如下：

interface GenericInterface<U> {
  value: U
  getIdentity: () => U
}

class IdentityClass<T> implements GenericInterface<T> {
  value: T

  constructor(value: T) {
    this.value = value
  }

  getIdentity(): T {
    return this.value
  }

}

const myNumberClass = new IdentityClass<Number>(68);
console.log(myNumberClass.getIdentity()); // 68

const myStringClass = new IdentityClass<string>("Semlinker!");
console.log(myStringClass.getIdentity()); // Semlinker!

四、泛型约束

  1. 确保属性存在

    function identity<T>(arg: T[]): T[] {
   console.log(arg.length);  
   return arg; 
}

  2. 检查对象上的键是否存在

    interface Person {
  name: string;
  age: number;
  location: string;
}

type K1 = keyof Person; // "name" | "age" | "location"
type K2 = keyof Person[];  // number | "length" | "push" | "concat" | ...
type K3 = keyof { [x: string]: Person };  // string | number

function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
  return obj[key];
}

五、泛型参数默认类型

遵循下面规则：

  • 有默认类型的类型参数被认为是可选的。
  • 必选的类型参数不能在可选的类型参数后。
  • 如果类型参数有约束，类型参数的默认选项必须满足这个约束。
  • 当指定类型实参时，你只需要指定必选类型参数的类型实参。未指定的类型参数会被解析为它们的默认类型。
  • 如果指定了默认类型，且类型推断无法选择一个候选类型，那么将使用默认类型作为推断结果。
  • 一个被现有类或接口合并的类或者接口的声明可以为现有类型参数引入默认类型。
  • 一个被现有类或接口合并的类或者接口的声明可以引入新的类型参数，只要它指定了默认类型。
interface A<T=string> {
  name: T;
}

const strA: A = { name: "Semlinker" };
const numB: A<number> = { name: 101 };

参考文献