如何将TypeScript对象类型映射为指定顺序的元组类型？

需求背景 #

需要把如下对象类型：

type ObjectType = {
  prop1: number;
  prop2: string;
  prop3: boolean;
  prop4: string;
};

转换成对应属性顺序的元组类型：

type TupleType = [number, string, boolean, string]

同时要解决运行时用展开运算符将数组传入固定参数函数的问题——直接用Object.values会得到(string | number | boolean)[]类型的联合数组，无法满足...args的类型要求，报错提示"A spread argument must either have a tuple type or be passed to a rest parameter"，且不想修改函数参数格式。

解决方案1：从对象类型推导固定顺序元组 #

通过定义属性顺序元组，让TypeScript严格推导对应值类型的元组：

type ObjectType = {
  prop1: number;
  prop2: string;
  prop3: boolean;
  prop4: string;
};

// 定义严格的属性顺序元组（核心：作为单一顺序数据源）
type ObjectKeyOrder = ['prop1', 'prop2', 'prop3', 'prop4'];

// 推导对应值类型的元组
type TupleType = { [Idx in keyof ObjectKeyOrder]: ObjectType[ObjectKeyOrder[Idx]] };
// 此时 TupleType 等价于 [number, string, boolean, string]

运行时将对象转为元组数组，同时让TS识别为元组类型：

const obj: ObjectType = {
  prop1: 1,
  prop2: 'two',
  prop3: true,
  prop4: 'four'
};

// 用属性顺序元组提取值，as const 确保TS推导为元组而非数组
const argsTuple = (['prop1', 'prop2', 'prop3', 'prop4'] as const).map(key => obj[key]);

// 测试函数
function someFunc(a: number, b: string, c: boolean, d: string) {
  console.log(a, b, c, d);
}

someFunc(...argsTuple); // 类型校验通过，无报错

解决方案2：从键值对元组数组提取值元组 #

如果已经维护了TupleListType这种键值对元组数组，可以直接提取值的类型：

type TupleListType = [
  [string, number],
  [string, string],
  [string, boolean],
  [string, string],
];

// 提取每个子元组的第二个元素类型，组成目标元组
type TupleFromList = { [Idx in keyof TupleListType]: TupleListType[Idx][1] };
// TupleFromList 等价于 [number, string, boolean, string]

运行时转换并使用：

const argsTupleList: TupleListType = [
  ["prop1", 1],
  ["prop2", "two"],
  ["prop3", true],
  ["prop4", "four"],
];

// 提取值并断言为目标元组类型
const argsTuple = argsTupleList.map(item => item[1]) as TupleFromList;

someFunc(...argsTuple); // 正常使用，类型校验通过

关键注意点 #

• Object.values无法满足需求的原因：它返回的是无序的联合类型数组，TS无法确定元素的顺序和数量，因此不能用于展开传入固定参数的函数。
• 维护属性顺序元组的优势：即使对象定义后续被修改，只要同步更新顺序元组，就能保证类型和运行时的一致性，避免因对象属性顺序变化导致的问题。

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