类型声明适用于对象文字，但不适用于类实现

Question

我想要一个类型来表示一个坐标。我应用于接口的类型适用于对象，但不适用于类。

type ICoord = [number, number]

type MyInterface = {
    a: ICoord
}

var obj: MyInterface = { // works
    a: [0, 0]
}

class C implements MyInterface { // gets below compilation error
    a = [0, 0]
}

Property 'a' in type 'C' is not assignable to the same property in base type 'MyInterface'. Type 'number[]' is missing the following properties from type '[number, number]': 0, 1

为什么我不能将[0, 0] 分配给a？

[TypeScript Playground]

Answer 1

a 的类型被推断为number[]，它不能分配给元组[number, number]。将a 的类型显式定义为ICoord 似乎可行：

type ICoord = [number, number];

type MyInterface = {
  a: ICoord;
}

class C implements MyInterface {
  a: ICoord = [0, 0];
}

TypeScript Playground

Answer 2

这与上下文类型有关。

Typescript 使用表达式的预期类型（在这种情况下为MyInterface）来更好地推断对象字面量（也包括函数参数）。这就是为什么分配对象字面量效果很好并且数组字面量被键入为元组类型的原因。

对于类，情况有些不同。 implements 子句仅用于检查类在独立类型化之后是否正确实现了接口。 implements 关键字不会为任何类成员创建任何上下文类型。这也是您必须指定函数参数类型的原因，即使它们从接口或基类中显而易见。