打字稿中的动态键和值类型检查

Question

我已经开始学习打字稿了。我确信可能会有与此类似的票证，但想快速了解一下。

i have keys
type keys = 'a' | 'e' | 'i' | 'o' | 'u';
I want these to restrict the possible a keys in an object

{
numbers : number;
symbols : string;
[key : keys] : string | number | boolean;
}

但是我得到了这个错误An index signature parameter type cannot be a union type. Consider using a mapped object type instead. 所以我尝试了

{
numbers : number;
symbols : string;
[key in keys] : string | number | boolean;
}

但我从 TSLint 得到了another error。 我希望如果有人可以通过示例帮助我解决这些问题，它们为什么以及如何变化？请和解决方案。

我想要的结果是

key with only values of a, e, i, o, u and these Keys can have any of the string, number, boolean types of values.

Answer 1

Mapped types 与index signatures 相似，但又不相同。如您所见，索引签名的键只能是string 或number。映射类型允许您指定一组更窄的键，但您不能将其他属性添加到映射类型。

你可以做的是使用intersection：

type X = {numbers: number; symbols: string} & {[K in keys]: string | number | boolean}

// type X = {
//  numbers: number;
//  symbols: string;
// } & {
//  a: string | number | boolean;
//  e: string | number | boolean;
//  i: string | number | boolean;
//  o: string | number | boolean;
//  u: string | number | boolean;
// }

这与您想要的基本相同，因为交集A & B 意味着您必须同时符合A 和B。

表示这种类型的另一种方法是使用映射的conditional 类型来表示整个事物而不是交集。这对您来说看起来会更复杂，但评估结果会更好地供人们使用：

type Y = { [K in "numbers" | "symbols" | keys]:
  K extends "numbers" ? number :
  K extends "symbols" ? string :
  string | number | boolean };

// type Y = {
// a: string | number | boolean;
// e: string | number | boolean;
// i: string | number | boolean;
// o: string | number | boolean;
// u: string | number | boolean;
// numbers: number;
// symbols: string;

无论哪种方式都应该有效。希望有帮助；祝你好运！

Answer 2

    type keys =  'a' | 'e' | 'i' | 'o' | 'u'

    type Dynamic = {
      [index in  keys]: string | number | boolean
    }&{
      numbers : number;
      symbols : string;
    }