配列が共用体型に対して網羅的であることを強制します

ここで説明するような手法を使用して作成された強い型のタプルがあるとします。

const tuple = <T extends string[]>(...args: T) => args;
const furniture = tuple('chair', 'table', 'lamp');

// typeof furniture[number] === 'chair' | 'table' | 'lamp'

設計時に、別の共用体タイプよりも網羅的であると主張したいと思います。

type Furniture = 'chair' | 'table' | 'lamp' | 'ottoman'

ユニオンfurniture内のすべてのタイプのみが含まれるようにするタイプを作成するにはどうすればよいFurnitureですか？

目標は、このような設計時に配列を作成できるようにすることであり、Furniture変更された場合に失敗する可能性があります。理想的な構文は次のようになります。

const furniture = tuple<Furniture>('chair', 'table', 'lamp')

これを行う方法はいくつかありますが、少し面倒かもしれません。ここでの2つの障害は、部分的な型パラメーターの推論がないことと、無効な型です。これが私の解決策です：

type Furniture = 'chair' | 'table' | 'lamp' | 'ottoman';

const exhaustiveStringTuple = <T extends string>() =>
  <L extends T[]>(
    ...x: L & ([T] extends [L[number]] ? L : [
      Error, "You are missing ", Exclude<T, L[number]>])
  ) => x;

const missingFurniture = exhaustiveStringTuple<Furniture>()('chair', 'table', 'lamp');
// error, [string, string, string] is not assignable to parameter of type
// ["chair", "table", "lamp"] & [Error, "You are missing", "ottoman"]

const extraFurniture = exhaustiveStringTuple<Furniture>()(
    'chair', 'table', 'lamp', 'ottoman', 'bidet');
// error, "bidet" is not assignable to a parameter of type 'Furniture'

const furniture = exhaustiveStringTuple<Furniture>()('chair', 'table', 'lamp', 'ottoman');
// okay

ご覧のとおり、exhaustiveStringTupleはカリー化された関数です。この関数の唯一の目的は、手動で指定された型パラメーターを取得し、呼び出しTによって型が制約されているTが推測されている引数を受け取る新しい関数を返すことです。（適切な部分型パラメーター推論があれば、カリー化を排除できます。）あなたの場合、Tはとして指定されFurnitureます。気になるのがexhaustiveStringTuple<Furniture>()、の場合は、代わりにそれを使用できます。

const furnitureTuple = 
  <L extends Furniture[]>(
    ...x: L & ([Furniture] extends [L[number]] ? L : [
    Error, "You are missing ", Exclude<Furniture, L[number]>])
  ) => x;

const missingFurniture = furnitureTuple('chair', 'table', 'lamp');
// error, [string, string, string] is not assignable to parameter of type
// ["chair", "table", "lamp"] & [Error, "You are missing", "ottoman"]

const extraFurniture = furnitureTuple('chair', 'table', 'lamp', 'ottoman', 'bidet');
// error, "bidet" is not assignable to a parameter of type 'Furniture'

const furniture = furnitureTuple('chair', 'table', 'lamp', 'ottoman');
// okay

もう1つの問題は、必要な引数を省略したときに発生するエラーが🤮であるということです。[Error, "You are missing ", "ottoman"]型に関しては文字通り意味がありませんが、開発者が（）を解釈できることを願って、ジャンクのタプルを作成しました。無効なタイプがある場合は、エラーメッセージをカスタマイズできます。

それが私にできる最善のことです。それはあなたが望むように振る舞いますが、私が言ったように、あなたが望むよりも厄介かもしれません。お役に立てば幸いです。幸運を！

私には他の提案があります

type RemoveFirstFromTuple<T extends any[]> = 
  T extends [] ? undefined :
  (((...b: T) => void) extends (a: any, ...b: infer I) => void ? I : [])

const tuple = <T extends string[]>(...args: T) => args;

type FurnitureUnion = 'chair' | 'table' | 'lamp';
type FurnitureTuple = ['chair', 'table' , 'lamp'];

type Check<Union, Tuple extends Array<any>> = {
  "error": never,
  "next": Check<Union, RemoveFirstFromTuple<Tuple>>,
  "exit": true,
}[Tuple extends [] ? "exit" : Tuple[0] extends Union ? "next" : "error"];

type R = Check<FurnitureUnion, FurnitureTuple>; // true
type R1 = Check<'chair' | 'lamp' | 'table', FurnitureTuple>; // true
type R2 = Check<'chair' | 'lamp' | 'table', ['chair', 'table' , 'lamp', 'error']>; // nerver

タプルから削除すると、タプルが取得され、最初の要素なしでタプルが返されます（後で必要になります）

チェックはタプルで繰り返されます。各ステップはnever、Tuple [0]がUnionを拡張しない場合に戻り、入力タプルが空の場合に終了し、Tuple [0]がUnionを拡張する場合に終了します。次のステップでは、Checkを再帰的に呼び出しますが、最初に前のutilによってTupleから最初の要素を削除します

遊び場