ts中数组指定类型后为什么可以赋值空数组

Question

let arr:{}[]
arr=[]

let arr1:number[]
arr1=[]

let arr2:string[]
arr2=[]

为什么指定了类型还能赋值为空呢

Answer 1

type[]的意思是类型是数组且数组内元素的类型为type，空数组当然也符合，没有元素就不会校验元素类型;如果你是不希望赋值为空数组，必须至少有一个元素那你可以这么做：

let arr3: [number, ...number[]]
arr3 = [] // error
arr3 = [1] // ok
arr3 = [1,2] // ok