Typescript：なぜ配列<number>は[number、number、number]と同じですか？

Question

私は活字体で、この非常に単純なコードを持っている：私は[4, 2, 2]にsomeThingを割り当てるときに、具体的なクラスで

type SomeType = [number, number, number]; // Should be an array of exactly 3 numbers 

interface IThing { 
    someThing: SomeType 
} 

abstract class SomeClass { 
    abstract getThing(): IThing; 
} 

class ConcreteClass extends SomeClass { 
    getThing() { 
     return { 
      someThing: [4, 2, 2]; 
     } 
    } 
} 

を、活字体は、そのType number[] is not assignable to type [number, number, number]を文句を言います。これはなぜですか、それ以外の方法でsomeThingが3つの数字だけの配列であることを保証できますか？

Answer 1

あなたはそれが正常に動作し、戻りの型注釈に置く場合：推測されるリターンすなわち

type SomeType = [number, number, number]; // Should be an array of exactly 3 numbers 

let x: SomeType; 
// Okay 
x = [1,2,3]; 
// Not okay 
let y = [1,2,3]; // inferred `number[]` 
x = y; 

：あなたは次のような場合にはある型注釈が存在しない場合には

type SomeType = [number, number, number]; // Should be an array of exactly 3 numbers 

interface IThing { 
    someThing: SomeType 
} 

abstract class SomeClass { 
    abstract getThing(): IThing; 
} 

class ConcreteClass extends SomeClass { 
    getThing(): IThing { // annotation here 
     return { 
      someThing: [4, 2, 2] // no error here 
     } 
    } 
} 

タイプは希望の3タップタイプと互換性がありません。