Typescript非空數組接口與數組創建中斷

當你說

const myArray = [1,2];

Typescript將其推斷為number[]——一個可變數組，可能有也可能沒有元素。因此myArray[0]可能是未定義的。或者，如果有一個函數將數組重置為空呢。

type NonEmptyArray<T> = T[] & { 0: T };

function myFunction(param: NonEmptyArray<number>){

}

const myArray = [1,2];

resetMyArrayEmpty(myArray) // <-- we do not know how it alters the array

myFunction([1,2]); // OK
myFunction(myArray); // ERROR

Typescript無法保證所定義的數組保持不變，因此會出現錯誤。您要么取得所有權并顯式地說類型是number[] & {0: number}，要么確保數組是不可變的，如下所述：

一種方法是采用readonly數組并將數組定義為使用const斷言。像這樣：

type NonEmptyArray<T> = readonly T[] & { 0: T };

function myFunction(param: NonEmptyArray<number>){

}

const myArray = [1,2] as const;

myFunction([1,2]); // OK
myFunction(myArray); // OK

https://tsplay.dev/N7bVrw