相关疑难解决方法(0)

给定一个使用此处描述的技术创建的强类型元组：

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')