如何定义仅接受特定数组值组合（顺序无关）的TypeScript类型？

要定义仅接受特定元素任意顺序组合、且元素不多不少的数组类型，可通过TypeScript的泛型和条件类型实现，具体步骤如下：

步骤1：声明只读元组以获取精确类型 #

首先将目标元素组合声明为只读元组，让TypeScript能推断出精确的元素类型和长度：

const acceptedCombo = ['a', 'b'] as const;
type AcceptedElements = typeof acceptedCombo[number]; // 类型为 'a' | 'b'
type AcceptedLength = typeof acceptedCombo['length']; // 类型为 2

步骤2：定义MyType类型 #

通过泛型约束数组长度，并确保数组元素的联合类型覆盖所有目标元素：

type MyType<T extends AcceptedElements[] = AcceptedElements[]> = 
  // 约束数组长度必须与目标组合一致
  T['length'] extends AcceptedLength 
    // 约束数组必须包含所有目标元素（即目标元素都能在数组中找到）
    ? (AcceptedElements extends T[number] ? T : never)
    : never;

验证效果 #

使用定义好的类型测试：

function foo(param: MyType) {}

// 合法调用
foo(['a', 'b']);
foo(['b', 'a']);

// 类型错误（多余元素）
foo(['a', 'b', 'c']);
// 类型错误（缺少元素）
foo(['a']);
// 类型错误（重复元素，缺少目标元素）
foo(['a', 'a']);

这种方式的优势是通用性强，即使acceptedCombo的元素数量增加（比如3个或更多），无需修改类型定义即可生效。

内容的提问来源于stack exchange，提问作者cdruc