借鉴this答案的思路，您可以创建一个函数，通过使用所传递数组的类型参数T进行类型检查。将其键入为T extends Colors[]以确保数组的每一项都在Colors中，还将其键入为[Colors] extends [T[number]] ? unknown : 'Invalid'以确保Colors类型的每一项都在所传递数组中：

type Colors = 'red' | 'blue' | 'pink';
const arrayOfAllColors = <T extends Colors[]>(
  array: T & ([Colors] extends [T[number]] ? unknown : 'Invalid')
) => array;

const missingColors = arrayOfAllColors(['red', 'blue']); // error
const goodColors = arrayOfAllColors(['red', 'blue', 'pink']); // compiles
const extraColors = arrayOfAllColors(['red', 'blue', 'pink', 'bad']); // error

更一般地说，将它 Package 在另一个函数中，以便可以传递和使用联合类型的类型参数：

type Colors = 'red' | 'blue' | 'pink';
const arrayOfAll = <T>() => <U extends T[]>(
  array: U & ([T] extends [U[number]] ? unknown : 'Invalid')
) => array;
const arrayOfAllColors = arrayOfAll<Colors>();

const missingColors = arrayOfAllColors(['red', 'blue']); // error
const goodColors = arrayOfAllColors(['red', 'blue', 'pink']); // compiles
const extraColors = arrayOfAllColors(['red', 'blue', 'pink', 'bad']); // error

扩展确定性性能的答案，对于广义函数，您可以编写工厂

type Colors = 'red' | 'blue' | 'pink';

const enforceArrayMembers =
    <T>() =>
    <U extends T[]>(
        array: U & ([T] extends [U[number]] ? unknown : 'Invalid'),
    ) =>
        array;

const arrayOfAllColors = enforceArrayMembers<Colors>();
const missingColors = arrayOfAllColors(['red', 'blue']); // error
const goodColors = arrayOfAllColors(['red', 'blue', 'pink']); // compiles
const extraColors = arrayOfAllColors(['red', 'blue', 'pink', 'bad']); // error

// as IFEE
const missingColors2 = enforceArrayMembers<Colors>()(['red', 'blue']); // error
const goodColors2 = enforceArrayMembers<Colors>()(['red', 'blue', 'pink']); // compiles
const extraColors2 = enforceArrayMembers<Colors>()(['red', 'blue', 'pink', 'bad']); // error