有没有办法在打字稿中获取函数参数的名称？ [复制]

Question

我正在尝试制作一个包装函数，它将一个函数作为输入并返回一个新类型的函数，该函数允许参数列表和包含参数名称作为键的对象。

我为此编写了以下代码。该代码按预期工作。问题是我传递了一个附加类型，其中包含作为参数名称的键和作为该参数类型的值。我想动态地做到这一点。我想访问参数的名称

//I want remove this Args parameters and make it dynamically using F type.
function wrapper<F extends (...args: any) => any, Args>(func: unknown) {
   type ParametersList = Parameters<F>;
   return func as (...args: [Args] | ParametersList) => ReturnType<F>;
}
const add = (x: number, y: number) => x + y;
const wrappedAdd = wrapper<typeof add, { x: number; y: number }>(add);

Parameters 函数返回一个命名元组（我猜这是一个新特性）。有什么方法可以获取该元组的名称/标签。您也可以建议任何其他方式。 谢谢。

###编辑： 好的，经过一些研究，我发现我们无法获取函数参数的名称。所以现在我的目标是稍微缩短我的代码。在上面的代码中，我传递了一个对象来代替Args。我只想传递一个字符串数组。

const wrappedAdd = wrapper<typeof add, ["x", "y"]>(add);

我想使用这个数组动态生成一个对象。谢谢

Answer 1

我认为最好在全局范围内定义任何类型。

type Elem = any;

type Predicate<Key extends number, Value extends Elem> = Record<Key, Value>

type Reduce<
    Arr extends ReadonlyArray<Elem>,
    Result extends Record<string, any> = {}
    > = Arr extends []
    ? Result
    : Arr extends [infer H]
    ? Result & Predicate<0, H>
    : Arr extends readonly [...infer Tail, infer H]
    ? Tail extends ReadonlyArray<Elem>
    ? Reduce<Tail, Result & Predicate<Tail['length'], H>>
    : never
    : never;


function wrapper<F extends (...args: any) => any>(func: F):
    (...args: [Reduce<Parameters<F>>] | Parameters<F>) => ReturnType<F> {
    return func
}

const add = (x: number, y: string, z: number[]) => x + y;

const wrappedAdd = wrapper(add);
const add = (x: number, y: string, z: number[]) => x + y;

const wrappedAdd = wrapper(add)({ 0: 1, 1: 'hello', 2: [1] }); // ok
const wrappedAdd2 = wrapper(add)(1, 'hello', [1]); // ok

顺便说一句，这里不需要使用类型断言。我的意思是你可以摆脱as运营商

如果您对此类类型的更多示例感兴趣，可以查看我的article

这里你有 Reduce 类型在几乎纯 JS 中的表示：

const reduce = <T,>(arr: T[], cache = {}) => {
    if (arr.length === 0) {
        return cache
    }
    if (arr.length === 1) {
        const [head] = arr;
        return { ...cache, [0]: head }
    }
    const [head, ...rest] = arr;
    return reduce(rest, { ...cache, [rest.length]: head })
}

Playground

就像@jcalz 说的：

参数名称在类型系统中是不可观察的，除非是 IntelliSense 的文档

TS中没有办法推断出参数名并放入其他类型，所以我决定使用索引类型。

0 用于第一个参数，1 用于第二个参数，等等......

关于使用参数名称：

Docs

但有一个地方开始出现差异：可读性。

它们纯粹是为了文档和工具。

const add = (x: number) => x + x

type Args = Parameters<typeof add>

type Infer = Args extends [infer R] ? R : never // number
type Infer2 = Args extends [x: infer R] ? R : never // number

因此，我认为在当前版本的 TypeScript 中是不可能的。