Typescript 使用解构+休息在 Fans 参数上添加类型

Question

问题

您好，尝试学习一些打字稿的打字，但在尝试在打字稿中添加打字时遇到了一些问题：

我不确定如何在 Typescript 中将其转换为强类型。

const omit = (prop: P, { [prop]: _, ...rest}) => rest;

• 所以问题是如何在第二个参数中为解构对象添加类型

我尝试了什么

这是我认为它应该看起来但不起作用的样子：

const omit = <P = string, R>(prop: P, { [prop]: _, ...rest } : {[prop: string], rest: R }): R => rest;

const omit = <P = string, O, R = Omit<O,P>>(prop: P, { [prop]: _, ...rest } : {[prop: string]: O[P], rest: R }): R => rest;

const omit = <P = string, R>(prop: P, { [prop]: _, ...rest } : {[prop]: P, rest: R }): R => rest;

Answer 1

这实际上写起来相当简单。您在使用泛型方面走在了正确的轨道上，但是您试图根据如何分解第二个参数来计算函数的结果来表达第二个参数的类型，这不是这里要走的路。

相反，允许第二个参数采用任何类型，方法是声明一个不受约束的泛型，并将第一个参数的类型指定为任何属性，即泛型实例化时使用的任何类型的键，即无论第二个参数的类型是什么。

const omit = <O, P extends keyof O>(prop: P, { [prop]: _, ...rest }: O): Omit<O, P> => rest;
const o = { a : 1, b: 2 };
const r = omit('a', o);

Playground Link

请注意，函数的返回类型将被正确推断为Omit<O, P>，无需指定。

const omit = <O, P extends keyof O>(prop: P, { [prop]: _, ...rest }: O) => rest;