在其自身的初始值设定项中引用的循环类型

Question

[下面我相信我遇到了循环键入问题，这是因为正在为MethodReturns的user然后是this.every的userId运行this.every。

这里是错误：

'user'隐式具有类型'any'，因为它没有类型注释，并且在其自己的初始化程序中直接或间接引用。（7022）

这里是链接：

PlaygroundLink

这里是代码：

export type ThenArg<T> = T extends Promise<infer U> ? U : T

export type FirstArg<T extends any> =
    T extends [infer R, ...any[]] ? R :
    T extends [] ? undefined :
    T;

export type MethodReturns<C extends any, M extends Array<keyof C>> = {
    [K in M[number]]: C[K]['fn'] extends ((...args: any[]) => any) ? FirstArg<ThenArg<ReturnType<C[K]['fn']>>> : never
}

type User = { id: number, uuid: string, name: string }
const getUserById = (id: number): User => ({ id, uuid: '1234', name: 'thomas' })
const getUserByUuid = (uuid: string): User => ({ id: 1, uuid, name: 'thomas' })

class Example {

    every <T extends Array<keyof Example>, M extends MethodReturns<Example, T>, G>(a: T, b: (solo: M) => G) {
        // return function (): G {
        //     return b({} as M) as G
        // }
        return { keys: a, fn: b}
    }

    steve = this.every(['woof'], ({ woof }) => woof + 1)
    meow = this.every([], () => 1)
    woof = this.every(['meow'], ({ meow }) => meow + 1)

    user = this.every(['userId'], ({ userId }) => getUserById(userId))
    userId = this.every(['user'], ({ user }) number => user.id)

}

有没有一种方法可以按语法进行这项工作，并且不会引起问题。正如您在上面看到的那样，我正在键入这些返回值，但仍然不能解决问题：

理想情况下，我可以为this.every提供一个可选类型，如果允许的话，它将允许MethodReturns以某种方式使用它。

class Example {
    user = this.every<number>(['userId'], ({ userId }) => getUserById(userId))
    userId = this.every<User>(['user'], ({ user }) number => user.id)
}

我也将接受其他语法作为答案。

Answer 1

我认为您将不得不手动注释属性。可以使用适当类型的类型别名简化此过程，例如：

type PropThing<T, K extends keyof Example> =
    { keys: K[], fn: (solo: MethodReturns<Example, K[]>) => T }
然后执行以下操作应避免出现错误：

user: PropThing<User, "userId"> = this.every(['userId'], ({ userId }) => getUserById(userId))
userId: PropThing<number, "user"> = this.every(['user'], ({ user }) => user.id)
好的，希望能有所帮助；祝你好运！

Link to code