装饰 function Typescript 定义

Question

尝试为以下“装饰器”function（我在我的 TS 项目中作为第 3 方依赖项）创建 TypeScrip 定义：

const decorate = (...args) => {
  const [methods, ...decorators] = args.reverse();

  return methods.map((method) => decorators.reduce((acc, decorator) => decorator(acc), method));
};

// usage: 

const [decorated1, decorated2] = decorate(decorator1, decorator2, [entry1, entry2])

我想知道是否可以为这个 function 创建定义，而每组参数量没有无穷无尽的重载？

谢谢

Answer 1

答案很大程度上取决于您想要获得的详细程度。

以下不是完整的答案，但这里有一些可以帮助您入门的要素（ 游乐场链接）。

---

成分：变换类型的arrays

// Ingredient 1

type Generic<F> = ["Generic, applied", F]

type MapList<TS extends any[]> =
    TS extends [infer T, ...infer R]
        ? [Generic<T>, ...MapList<R>]
        :
    TS extends []
        ? []
        :
    never


// Resolves to [Generic<1>, Generic<2>, Generic<3>]
type TestMapList = MapList<[1, 2, 3]>

---

成分 2：应用一般转换函数签名的装饰器

我认为您的装饰器需要正确输入才能使其正常工作。 像这样的东西可以工作。

// Ingredient 2


type Source<FN extends (s: any) => any> =
    FN extends (s: infer S) => any
        ? S
        : never

type Target<FN extends (s: any) => any> =
    FN extends (s: any) => infer T
        ? T
        : never

type TransformSource<S> = ["some generic transforming the source", S]
type TransformTarget<T> = ["some generic transforming the target", T]

const decorator
    : <FN extends (s: any) => any>(fn: FN) => (s: TransformSource<Source<FN>>) => TransformTarget<Target<FN>>
    = undefined!


const decorated
    : (s: TransformSource<"source">) => TransformTarget<"target">
    = decorator((a: "source") => "target" as "target")

---

正确输入 compose function

由于至少 TS 4.1(?) 可以为compose和pipe函数提供正确的类型。

https://dev.to/babak/introducing-the-recursive-pipe-and-compose-types-3g9o

---

我认为您需要做一些工作，但是这些构建块的组合应该可以帮助您实现目标。