TypeScript进阶：一文搞懂infer及其精妙用法

协变与逆变

协变和逆变的概念起源于数学，在TypeScript中，协变和逆变是用于类型是如何随其子类型或超类型而变化的。

• 协变：如果一个类型T是另一个类型S的子类型，那么T可以被用在S的位置上，并且不会产生任何错误。
• 逆变：如果一个类型T是另一个类型S的超类型，那么S可以被用在T的位置上，并且不会产生任何错误。

infer

infer用于从类型中推断类型。它可以用来推断函数参数的类型、函数返回值的类型，或者类的属性类型。

infer的语法如下：

infer T

其中，T是要推断的类型。

infer的用法

infer的用法有很多，以下是一些常见的用法：

• 推断函数参数的类型：

function foo<T>(x: T) {
  // ...
}

在这个例子中，infer被用来推断函数参数x的类型。T的类型将根据foo函数的实际调用情况而定。

• 推断函数返回值的类型：

function foo<T>(): T {
  // ...
}

在这个例子中，infer被用来推断函数foo的返回值类型。T的类型将根据foo函数的实际返回值而定。

• 推断类的属性类型：

class Foo<T> {
  x: T;
  // ...
}

在这个例子中，infer被用来推断类Foo的属性x的类型。T的类型将根据Foo类的实际实例而定。

infer的精妙用法

infer的精妙用法有很多，以下是一些例子：

• 使用infer来简化代码：

function foo<T>(x: T) {
  return x;
}

function bar<T>(x: T) {
  return foo(x);
}

这两个函数的功能是相同的，但是使用infer可以使代码更加简洁。

• 使用infer来创建泛型工具类：

function map<T, U>(array: T[], f: (x: T) => U): U[] {
  return array.map(f);
}

这个函数可以将一个数组中的元素映射到另一个数组中。infer被用来推断数组元素的类型和映射函数的返回值类型。

• 使用infer来创建装饰器：

function log(target: any, propertyKey: string, descriptor: PropertyDescriptor) {
  const originalMethod = descriptor.value;

  descriptor.value = function(...args: any[]) {
    console.log(`Calling ${propertyKey} with args ${args}`);

    return originalMethod.apply(this, args);
  };
}

这个装饰器可以将一个方法的调用信息记录到控制台。infer被用来推断方法参数的类型和返回值类型。

总结

infer是一个非常强大的工具，可以用来推断类型、简化代码、创建泛型工具类和装饰器。通过理解infer的用法，我们可以编写出更加灵活和健壮的TypeScript代码。