模板字面量导致TypeScript映射对象丢失类型信息的问题

核心问题在于你在映射类型中错误地使用了E[keyof E]（所有枚举键对应值的联合类型），而非针对每个枚举成员K的具体类型S[K]。通过调整映射类型的写法，让每个别名函数绑定到原枚举键的具体类型，就能保留精准的参数约束。

完整代码示例 #

先定义基础类型和枚举：

// 状态键枚举
enum StateKeys {
  Test1 = "test1",
  Test2 = "test2"
}

// 基于枚举的状态类型，每个键对应特定值类型
type AppState = {
  [K in StateKeys]: K extends StateKeys.Test1 ? string | undefined : number | undefined;
};

// 初始状态（类型唯一来源）
const initialState: AppState = {
  [StateKeys.Test1]: "initial value",
  [StateKeys.Test2]: 42
};

// Action类型：绑定具体枚举键K，payload对应状态中K的类型
type UpdateAction<K extends StateKeys> = {
  type: `UPDATE_${K}`;
  payload: AppState[K];
};

错误的别名映射（丢失类型约束） #

原来的写法会导致参数类型泛化为所有值的联合：

// ❌ 问题写法：payload变成string | number | undefined，Action泛型为StateKeys联合类型
type BadAliasedActions = {
  [K in StateKeys as `update${Capitalize<K>}`]: (payload: AppState[keyof StateKeys]) => UpdateAction<StateKeys>;
};

正确的别名映射（保留类型约束） #

调整为直接引用当前枚举成员K对应的状态类型和Action泛型：

// ✅ 正确写法：每个别名函数绑定到具体K的类型
type AliasedActions = {
  [K in StateKeys as `update${Capitalize<K>}`]: (payload: AppState[K]) => UpdateAction<K>;
};

验证类型检查 #

创建别名actions实例后，TypeScript会正确约束参数类型：

const aliasedActions: AliasedActions = {
  updateTest1: (payload) => ({ type: "UPDATE_test1", payload }),
  updateTest2: (payload) => ({ type: "UPDATE_test2", payload })
};

// ✅ 正确：updateTest1接受string | undefined
aliasedActions.updateTest1("new string");
aliasedActions.updateTest1(undefined);

// ❌ 报错：updateTest1不接受number类型
aliasedActions.updateTest1(123);

// ✅ 正确：updateTest2接受number | undefined
aliasedActions.updateTest2(100);
aliasedActions.updateTest2(undefined);

// ❌ 报错：updateTest2不接受string类型
aliasedActions.updateTest2("invalid");

关键原理 #

在映射类型中：

• [K in StateKeys]遍历枚举的每个成员，K会被推断为单个枚举键的具体类型（而非整个枚举的联合类型）
• as子句仅用于生成别名键，不改变K的类型绑定
• 直接使用AppState[K]和UpdateAction<K>，让每个别名函数的参数和返回值都绑定到当前K对应的具体类型，避免泛化为联合类型

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