Question

我想要一个带有泛型的类型，它扩展了函数的对象和'嵌套'函数，并且“返回”一个对象，其中每个函数都有一个修改过的函数签名

所以这个

{ foo: (a) => (b) => ({}), nested: { bar: (a) => (b) => ({}) } }

变成这个

{ foo: (a) => ({}), nested: { bar: (a) => ({}) } }

我试图像这样打字：

type Convertor<
  T extends { [key: string]: NestedMap<Function> | Function }
> = { [P in keyof T]: Converting<T[P]> }

这不起作用，因为Converting<T[P]>只有在它是一个函数时才会发生。即对于foo和nested.bar而不是nested，因为这是一个对象。

如何正确输入？

Answer 1

在conditional types登陆之前，您可以使用来自https://github.com/Microsoft/TypeScript/issues/12424#issuecomment-356685955

的疯狂解决方案

type False = '0';
type True = '1';
type If<C extends True | False, Then, Else> = { '0': Else, '1': Then }[C];

type Diff<T extends string, U extends string> = (
    { [P in T]: P } & { [P in U]: never } & { [x: string]: never }
)[T];

type X<T> = Diff<keyof T, keyof Object>

type Is<T, U> = (Record<X<T & U>, False> & Record<any, True>)[Diff<X<T>, X<U>>]

type DeepFun<T> = {
    [P in keyof T]: If<Is<Function & T[P], Function>, ()=>{}, DeepFun<T[P]>>
}

type MyType = { foo: (a:any) => (b:any) => ({}), nested: { bar: (a:any) => (b:any) => ({}) } }
type NewType = DeepFun<MyType>;
var d:NewType; // type is {foo: ()=>{}, nested: {bar: ()=>{}}}

是否可以为通用属于某种类型时创建别名？

1 个答案: