用TypeScript 构建夜点心：条件范型：解剖promisify的条件范型并与Thenable进行比较

2023-10-13 12:23:49

前言：探索TypeScript中的条件范型

TypeScript中的条件范型是一项强大且多功能的工具，它允许开发者根据类型来动态定义函数的行为。这个特性在创建更灵活和通用的代码时特别有用。

深入剖析promisify函数中的条件范型

为了深入理解条件范型，让我们着眼于一个实际的例子：promisify函数。这个函数的功能类似于then方法：如果输入值是一个Promise，则直接返回该Promise；如果不是，则将其包装在一个Promise中并返回。

type Promisify<T> = T extends Promise<unknown> ? T : Promise<T>;

const promisify = <T>(input: T): Promisify<T> => {
  if (input instanceof Promise) {
    return input;
  } else {
    return Promise.resolve(input);
  }
};

分析promisify函数的条件范型

在这个函数中，我们使用条件范型Promisify来定义函数的类型。这个条件范型接受一个类型参数T，并返回一个新的类型，该类型是T的Promise类型或T类型，具体取决于T是否是一个Promise。

如果T是Promise类型，则Promisify返回T。
如果T不是Promise类型，则Promisify返回Promise。

使用函数重载提高灵活性

为了增加函数的灵活性，我们还可以使用函数重载。这样，我们可以为promisify函数提供多种签名，并根据输入值的不同来调用适当的签名。

function promisify<T>(input: T): Promisify<T>;
function promisify<T extends Promise<unknown>>(input: T): T;

const promisify = <T>(input: T): Promisify<T> => {
  if (input instanceof Promise) {
    return input;
  } else {
    return Promise.resolve(input);
  }
};