我正在try 获取普通级联类型的子密钥.
type Cascade<C extends string, T extends Cascade<C, T>> = Partial<
Record<C, T[]>
>
/**
* {
* name: 'x',
* code: 'x',
* childGeoList: [{name: 'y', code: 'y'}]....
* }
*/
interface AreaItem extends Cascade<'childGeoList', AreaItem> {
name: string
code: Number
}
type ChildKey = AreaItem extends Cascade<infer K, infer _> ? K : never
// ？为什么A不是" children 地理列表"？
// 修复它并让ChildKey等于‘ChildGeoList’？
？为什么A不是" children 地理列表"？
修复它并让ChildKey等于‘ChildGeoList’？
不幸的是，TS的推理能力无法做到这一点.在事先不知道K和_是什么的情况下，类型Cascade<K, _>似乎太宽，编译器无法推断出任何有用的东西.
我的建议是对密钥进行更显式的计算，如下所示:
type ChildKey<C extends Record<string, any>> =
keyof { [K in keyof C as C[K] extends C[] | undefined ? K : never]: any };
在这里，您只需要寻找其值可能是未定义的C数组的任何C键.对于AreaItem，这将按预期工作:
type AreaItemChildKey = ChildKey<AreaItem>
// type AreaItemChildKey = "childGeoList"
如果你有其他妨碍你的属性，它可能会产生令人惊讶的结果:
interface Oops extends Cascade<'x', Oops> {
name: string;
hello: Oops[]
}
type OopsChildKey = ChildKey<Oops>
// type OopsChildKey = "x" | "hello"
这可能不是你想要的，但structurally美元与
interface Oops2 extends Cascade<'x' | 'hello', Oops2> {
name: string;
}
type Oops2ChildKey = ChildKey<Oops2>
// type OopsChildKey = "x" | "hello"
因此，在那里没有什么可做的.