如何基于Array<keyof T>组合出TypeScript新类型？

要解决你的问题，核心是保留索引与对应属性键的精确类型关联——原来的定义丢失了具体键的类型信息，导致TypeScript无法进行严格校验。以下是完整的解决方案：

interface ICars {
    brand: 'skoda' | 'ford' | 'volvo';
    category: 'family' | 'off-road' | 'racing';
    model: string;
}

// 用as const固定索引对应的属性键，让TypeScript推断精确的元组类型
const carIndexColumns = {
    brand_category: ['brand', 'category'] as const,
    brand_model: ['brand', 'model'] as const,
} as const;

// 提取所有合法的索引名称类型
type CarIndexKeys = keyof typeof carIndexColumns;
// 根据索引名称，提取对应的属性键集合
type IndexKeySet<I extends CarIndexKeys> = typeof carIndexColumns[I][number];

// 定义严格约束的findCarByIndex函数
function findCarByIndex<I extends CarIndexKeys>(
  { index }: { index: I },
  // 生成严格匹配索引键的类型：必须包含所有指定键，且不能有额外键
  criteria: { [P in IndexKeySet<I>]: ICars[P] }
): void {
  // 这里编写函数逻辑，比如根据索引和条件查询车辆
}

// ✅ 正确：完全匹配brand_model索引的所有要求键
const requiredCar1 = findCarByIndex(
  { index: 'brand_model' },
  { brand: 'skoda', model: 'octavia' }
);

// ❌ 错误：包含brand_category索引外的model属性
const requiredCar2 = findCarByIndex(
  { index: 'brand_category' },
  { brand: 'ford', category: 'racing', model: 'mondeo' }
);

// ❌ 错误：缺少brand_model索引要求的model属性
const requiredCar3 = findCarByIndex(
  { index: 'brand_model' },
  { brand: 'ford' }
);

关键实现说明 #

1. 用as const锁定精确类型
   原来的IndexColumns类型将数组泛化为Array<keyof ICars>，丢失了每个索引对应的具体键信息。使用as const后，TypeScript会把每个数组推断为只读元组，保留精确的元素类型（比如['brand', 'category']会被推断为readonly ['brand', 'category']）。

2. 建立索引与键的强关联类型
   通过typeof carIndexColumns获取索引对象的类型，再用IndexKeySet<I>提取指定索引对应的属性键集合，让TypeScript明确知道每个索引对应的必填属性。

3. 生成严格的条件参数类型
   函数的第二个参数使用映射类型{ [P in IndexKeySet<I>]: ICars[P] }，确保参数必须包含该索引对应的所有属性，且不能有额外属性（TypeScript对对象字面量会自动触发额外属性检查；若需要对变量也严格校验，可以追加& { [key: string]: never }来彻底禁止额外键）。

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