BFE.devAI解答 - TypeScript 类型谜题
15. 实现OmitThisParameter<T>

type MyOmitThisParameter<T> = T extends (this: any, ...args: infer P) => infer R ? (...args: P) => R : T;

解释：

我们要实现的是一个能够去掉函数类型中 this 参数的工具类型，那么首先我们可以通过条件类型对函数类型进行解构：

type MyOmitThisParameter<T> = T extends (this: any, ...args: infer P) => infer R ? any : T; // 这里先简化了返回类型

其中，infer P 表示我们要获取函数类型中的所有 ...args 参数，infer R 表示我们要获取函数类型的返回值。在这个条件类型中，我们要判断 T 是否是一个函数类型，并且这个函数类型中是否包含 this 参数。如果包含，我们就进行处理，否则直接返回该类型。

在对 T 进行处理的部分，我们在函数类型中去掉 this 参数即可：

type MyOmitThisParameter<T> = T extends (this: any, ...args: infer P) => infer R ? (...args: P) => R : T;

我们将原来的 (this: any, ...args: infer P) => infer R，变成了 (...args: P) => R。这样就去掉了函数类型中的 this 参数。最终的 MyOmitThisParameter 类型就实现了。