如何键入没有可选参数的函数变体 - 使用映射元组

Question

我尝试为具有与源函数完全相同的参数的函数打字，但没有一个是可选的。

我尝试使用映射元组，使用逻辑：

type IFArgs = ArgsN<typeof getFunc>
type IMappedIFArgs = {[N in keyof IFArgs]-?: IFArgs[N]} // The -? removes "optionality"
const getFuncMandatory = <(...args: IMappedIFArgs) => string>getFunc // Error: IMappedIFArgs not a tuple...

其中 ArgsN 来自tsargs库，并巧妙地定义如下：

export type ArgsN<T extends (...args: any[]) => any> = T extends (...args: infer K) => any ? K : never;

根据 3.1 文档，当源是元组时，映射类型也应该是元组。 在 VS Code 中进行检查时，情况似乎几乎如此 - 但还不够接近编译器将其作为参数接受。 此外，映射类型的长度返回2 | 3 2 | 3 ，而不是3 - 这是有道理的，但不是我想要的。

任何想法如何使映射的元组成为有效的参数元组？ 关于如何使用其他机制存档相同的任何想法也很好。

Answer 1

您定义的一些类型已经存在于 TypeScript 中。

我还没有调查这里发生的事情和你所拥有的之间的区别，但这似乎有效：

function getFunc(n:number,s?:string):void{}
type IFArgs = Parameters<typeof getFunc>
type IMappedIFArgs = Required<IFArgs>

const getFuncMandatory = getFunc as ((...args: IMappedIFArgs) => string)

查看这些类型的定义以与您自己的实现进行比较： Parameters , Required