類型聲明適用於對象文字，但不適用於類實現

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游樂場]

Answer 1

的類型的a被推斷為number[]這是不分配給元組[number, number] 。 顯式定義的類型ICoord對於a似乎工作：

type ICoord = [number, number];

type MyInterface = {
  a: ICoord;
}

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

TypeScript游樂場

Answer 2

這與上下文類型有關。

Typescript使用表達式的預期類型（在這種情況下為MyInterface ）來更好地推斷對象文字（還涉及函數參數）。 這就是為什么分配對象文字可以很好地工作並且將數組文字鍵入為元組類型的原因。

對於班級，情況有所不同。 implements子句僅用於在類被獨立鍵入后檢查類是否正確實現了接口。 implements關鍵字不會為任何類成員創建任何上下文類型。 這也是您必須指定函數參數類型的原因，即使它們在接口或基類中是顯而易見的。