TypeScript泛型约束使用时出现2536错误的原因及解决方法

你的代码里的2536错误，根源出在对泛型参数FiltersKeys的遍历方式上——先给你拆解清楚问题：

你定义的FiltersKeys extends keyof IFilterFields，意味着FiltersKeys本身就是IFilterFields的键的子集（比如"costMin" | "costMax"这种联合类型）。但你写的[K in keyof FiltersKeys]，取的是这个联合类型类型本身的键，也就是string | number | symbol，并不是你期望的具体字段名。这就导致TypeScript无法确认K是IFilterFields的有效索引，自然会抛出「无法用K索引IFilterFields」的错误。

而你之前用"costMin"|"costMax"能正常工作，是因为这两个是IFilterFields的明确键，TypeScript可以直接确定IFilterFields["costMin"]是IFilterField<number>类型，因此能安全访问defaultValue属性。

正确的实现方式 #

你需要直接遍历FiltersKeys中的每个具体键，而不是keyof FiltersKeys，修改后的类型定义如下：

export type IFiltersState<FiltersKeys extends keyof IFilterFields> = {
  [K in FiltersKeys]: IFilterFields[K]["defaultValue"];
};

原理说明 #

• FiltersKeys extends keyof IFilterFields确保泛型参数是IFilterFields的键的子集（可以是单个键、多个键的联合）。
• [K in FiltersKeys]表示遍历FiltersKeys中的每个具体键K，此时K是IFilterFields的有效索引，TypeScript可以确定IFilterFields[K]是IFilterField<>的实例，因此能安全访问其defaultValue属性。

举个实际使用的例子：

// 生成只包含costMin和costMax的筛选状态类型
type CostFilters = IFiltersState<"costMin" | "costMax">;
// 等价于：
// {
//   costMin: number;
//   costMax: number;
// }

这样就完美实现了你想要的效果：新类型拥有原类型的部分键，且每个键对应的类型等于原类型该键的defaultValue属性类型。

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