在打字稿界面键迭代中使用条件类型

Question

你好有2个接口和一个类型

interface A {
    k1: string
    k2: string
}

interface B {
    k3: string
    k4: A
}

type Error = { key:string, value:string}

我开发了一个声明，它使用给定接口的所有键和type = Error[] 创建一个接口

type AutoErrors<P> = { 
    [K in keyof P]-?: Error[] 
}

这很好用，因为AutoErrors<A> 给出了

{
  k1: Error[]
  k2: Error[]
}

但现在我希望它是递归的，即如果参数类型键不是字符串类型，我希望它的类型是AutoErrors<T>

例如AutoErrors<B>应该是

{
  k3: Error[],
  k4: AutoErrors<A>
}

我试过了

type AutoErrors<X> = {
  [K in keyof X]-?: X[K] extends string ? Error[] : AutoErrors<X[K]>;
};

但效果不好，好像测试 X[K] extends string 没有得到很好的解释

Answer 1

您的问题works in the Playground 中发布的代码，所以我怀疑发生了其他事情。事实证明，这个问题与可选属性有关，例如

type UhOh = AutoErrors<{ a?: string }>; // becomes {a: string}, not good

原来的AutoErrors<> 定义在这种情况下不起作用，因为string | undefined 没有扩展string。如您所知，解决方法是检查string | undefined 而不仅仅是string：

type AutoErrors<X> = {
  [K in keyof X]-?: X[K] extends string | undefined ?
  Error[] : AutoErrors<X[K]>
}

哪个有效：

type Okay = AutoErrors<{ a?: string }>; // becomes {a: Error[]}, as expected

很高兴你知道发生了什么。

Answer 2

您可以使用类似于DeepReadOnly 的方法

export type primitive = string | number | boolean | undefined | null
export type DeepError<T> = 
    T extends (infer U)[] ? Array<DeepErrorObject<U>> :
    T extends primitive ? Error[] : DeepErrorObject<T>;

export type DeepErrorObject<T> = {
readonly [P in keyof T]: DeepError<T[P]>
}
// sample usage
interface A {
    k1: string
    k2: string
} 
interface B {
    k3: string
    k4: A
    k4Arr: B[]
}
type Error = { 
    key:string, 
    message:string
}

type ErrorA = DeepError<B>
let d: ErrorA;
d.k4Arr[0].k3; // Error[]