2021年12月24日

通常タプル型は以下のように定義する。 let a = [1, true] //(number|boolean)[] 推論された型は (number|boolean)[] となる。 これだと、aにnumberかbooleanをpushできてしまうなど厳密なタプルにならない。 厳密にする場合にタプル生成の関数を作る。 function tuple ( ...ts: T ): T { return ts } let aa = tuple(1, true) //[number, boolean] unknownのサブタイプのパラメーターTを宣言する。Tは任意の種類の型の配列。 tupleは、任意の数のパラメーターtsを取る。Tはレストパラメーターを表すので、それに対してタプル型を推論する。 tupleはtsについて推論したのと同じタプル型の値を返す。