TypeScript筛选string[]类型键时出现“never类型不兼容”报错排查

问题原因 #

你的GiftOrderHistoryParams中state是可选属性，类型为string[] | undefined。原StringArrayKeyOf类型的判断逻辑是T[K] extends string[] ? K : never，但string[] | undefined并不直接继承string[]，因此state对应的键会被映射为never。最终整个StringArrayKeyOf<GiftOrderHistoryParams>的结果就是never，导致赋值key: 'state'时报错。

解决方案 #

修改StringArrayKeyOf类型，兼容可选属性的情况，只需判断属性的非空类型是否为string[]即可：

type StringArrayKeyOf<T extends object> = Exclude<{ 
  [K in keyof T]: NonNullable<T[K]> extends string[] ? K : never; 
}[keyof T], undefined>;

或者更简洁的写法，直接匹配可选的string[]类型：

type StringArrayKeyOf<T extends object> = {
  [K in keyof T]: T[K] extends string[] | undefined ? K : never;
}[keyof T];

验证代码 #

修正后，你的使用代码就能正常通过类型检查：

interface FilterOption {
  value: string;
  label: string;
}

interface GiftOrderHistoryParams {
  // 其他属性
  state?: string[];
}

interface Filter<P extends object> {
  label: string;
  options: FilterOption[];
  key: StringArrayKeyOf<P>;
}

const stateOptions: FilterOption[] = [
  { value: 'active', label: '활성' },
  { value: 'inactive', label: '비활성' }
];

const stateFilters: Filter<GiftOrderHistoryParams> = {
  label: '상태',
  options: stateOptions,
  key: 'state', // 类型检查正常通过
};

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