带有不同类型可选键和 strictNullChecks 的 Typescript 接口(interface)类型

Question

我正在尝试在 typescript 中创建以下界面:

type MoveSpeed = "min" | "road" | "full";

interface Interval {
  min?: number,
  max?: number
}

interface CreepPlan {
  [partName: string] : Interval;
  move?:    MoveSpeed;
}

但是，这个语法是无效的。编译器说 Property 'move' of type '"min"| “路” | “满” | undefined' 不可分配给字符串索引类型 'Interval'。。

我正在使用编译器选项 strictNullChecks:true，这就是为什么 undefined 隐式包含在 move? 键中的原因。

但是，这个语法是有效的:

type MoveSpeed = "min" | "road" | "full";

interface Interval {
  min?: number,
  max?: number
}

interface CreepPlan {
  [partName: string] : Interval;
  move:    MoveSpeed;            // 'move' is required
}

我想表达的想法是“CreepPlan 由字符串:间隔对组成，除了可选的‘移动’键，它是一个字符串:移动速度对。”可以用 typescript 表达吗？

Answer 1

您在编写时声明 CreepPlan 上的所有属性都具有 Interval 类型的值:

interface CreepPlan {
  [partName: string] : Interval;
}

即 CreepPlan 的任何和每个字符串索引可访问属性都将是一个 Interval。这也适用于 move，因为 foo['move'] 与 foo.move 相同。

但是，查看 Interval，它没有必需的结构:

interface Interval {
  min?: number,
  max?: number
}

该契约(Contract)中没有必填字段，但它确实需要一个对象。它会很乐意接受一个空对象，但它需要一些可以具有min 和max 属性的对象。

另一方面，您的 MoveSpeed 类型允许 undefined:

Property 'move' of type '"min" | "road" | "full" | undefined' is not assignable to string index type 'Interval'.

因此，Interval 必须是一个没有必需属性(string 很容易满足)但不允许 undefined 的对象，MoveSpeed 是否允许。

您的类型是不相交的，但在您将它们解决一两次之前并不明显。