说我有这个:
type TypeMapping = {
Boolean: boolean,
String: string,
Number: number,
ArrayOfString: Array<string>,
ArrayOfBoolean: Array<boolean>
}
export interface ElemType {
foo: keyof TypeMapping,
default: valueof TypeMapping
}
而不是使用any
默认,我想有条件地定义它,我试过这个:
export interface ElemType<T extends TypeMapping> {
foo: keyof T,
default: T
}
但这似乎不太正确,有没有人知道这样做的正确方法?
如果不清楚,对于任何具有ElemType类型的给定对象,foo指向的键必须与foo指向的值匹配。例如,这是有效的:
{
foo: 'String',
default: 'this is a string'
}
但这不是:
{
foo: 'Boolean',
default: 'this should be a boolean instead'
}
所以默认字段的类型取决于类型字段的值/类型。
简洁地说,如果foo
是'ArrayOfBoolean'
,那么default
应该是:Array<boolean>
。如果foo
是'Number'
,那么默认应该是number
,如果foo是'Boolean'
那么默认应该是boolean
等。
您可以在Catalyst的答案中定义ElemType
,然后使用映射类型为所有可能的ElemType
获取K
的并集:
interface ElemType<K extends keyof TypeMapping> {
foo: K;
default: TypeMapping[K];
}
type ElemTypeMap = {[K in keyof TypeMapping]: ElemType<K>};
// type ElemTypeMap = {
// Boolean: {foo: "Boolean", default: boolean},
// String: {foo: "String", default: string},
// ...
// }
type SomeElemType = ElemTypeMap[keyof TypeMapping];
// Look up in ElemTypeMap by all keys and take the union:
// {foo: "Boolean", default: boolean} | {foo: "String", default: string} | ...
你必须告诉typescript以某种方式验证实际的obj,如果不使用泛型,你就无法逃脱;我就是这样做的:
type TypeMapping = {
Boolean: boolean;
String: string;
Number: number;
ArrayOfString: Array<string>;
};
export interface ElemType<K extends keyof TypeMapping> {
foo: K;
default: TypeMapping[K];
}
const Elem = <E extends keyof TypeMapping, T extends ElemType<E>>(t: ElemType<E>) => t;
Elem({ foo: "Boolean", default: true }); //yup
Elem({ foo: "Boolean", default: "" }); //nope