TS泛型定义实例

定义泛型函数

• 为了确保传入的类型与返回的类型相同，使用类型变量T表示传入参数和返回值的类型

  function identity<T>(arg: T): T {
    return arg
  }

• 泛型函数两种调用方式：

  // 指定传入参数类型
  // 事实没必要使用尖括号（<>）来明确地传入类型
  let output = identity<string>("myString");

  // 较常用，使用 类型推论，推断传入类型和返回类型
  // 编译器可以查看myString的值，然后把T设置为它的类型
  let output = identity("myString");

使用泛型变量

• 明确表示传入的参数为T类型的数组，确保参数有.length这个属性

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

  // 也可以这样表示
  function loggingIdentity<T>(arg: Array<T>): Array<T> {
    console.log(arg.length);
    return arg;
  }

泛型类型

• 泛型函数的类型，只需要将类型参数写在最前面，跟函数声明一样

  function identity<T>(arg: T): T {
    return arg;
  }
  
  let myIdentity: <T>(arg: T) => T = identity;
  // 也可以使用不同的泛型参数名，只要在数量上和使用方式上能对应上就可以
  let myIdentity2: <U>(arg: U) => U = identity;

• 可以使用带有调用签名的对象字面量来定义泛型函数

  function identity<T>(arg: T): T {
    return arg;
  }
  
  let myIdentity: {<T>(arg: T): T} = identity;

• 上面例子里的对象字面量可以拿出来做为一个接口

  interface GenericIdentityFn {
    <T>(arg: T): T;
  }
  
  function identity<T>(arg: T): T {
    return arg;
  }
  
  let myIdentity: GenericIdentityFn = identity;
  

• 把泛型参数当作整个接口的一个参数，指定GenericIdentityFn的类型，这样接口里的其它成员也能知道这个参数的类型

  interface GenericIdentityFn<T> {
      (arg: T): T;
  }
  
  function identity<T>(arg: T): T {
      return arg;
  }
  
  let myIdentity: GenericIdentityFn<number> = identity;

泛型类

• 泛型类看上去与泛型接口差不多。 泛型类使用（ <>）括起泛型类型，跟在类名后面

  class GenericNumber<T> {
      zeroValue: T;
      add: (x: T, y: T) => T;
  }
  
  let myGenericNumber = new GenericNumber<number>();
  myGenericNumber.zeroValue = 0;
  myGenericNumber.add = function(x, y) { return x + y; };

• GenericNumber类的使用是十分直观的，并且你可能已经注意到了，没有什么去限制它只能使用number类型。 也可以使用字符串或其它更复杂的类型

  let stringNumeric = new GenericNumber<string>();
  stringNumeric.zeroValue = "";
  stringNumeric.add = function(x, y) { return x + y; };
  
  console.log(stringNumeric.add(stringNumeric.zeroValue, "test"));

泛型约束

• 定义一个接口来描述约束条件。 创建一个包含.length属性的接口，使用这个接口和extends关键字来实现约束

  interface Lengthwise {
      length: number;
  }
  
  function loggingIdentity<T extends Lengthwise>(arg: T): T {
      console.log(arg.length);  
      return arg;
  }
  
  loggingIdentity("good") // √
  loggingIdentity(123) // ×
  loggingIdentity({length: 10, value: 3}) // √
  loggingIdentity({}) // ×
  loggingIdentity([]) // √

在泛型约束中使用类型参数

• 声明一个类型参数，且它被另一个类型参数所约束。 比如，现在我们想要用属性名从对象里获取这个属性。 并且我们想要确保这个属性存在于对象 obj上，因此我们需要在这两个类型之间使用约束

  function getProperty(obj: T, key: K) {
      return obj[key];
  }
  
  let x = { a: 1, b: 2, c: 3, d: 4 };
  
  getProperty(x, "a");
  getProperty(x, "m"); // error: Argument of type 'm' isn't assignable to 'a' | 'b' | 'c' | 'd'.