TypeScript 对象联合类型映射时方法参数类型推导问题

你当前的类型不匹配问题核心是联合类型转换时丢失了成员对应关系：

• 当你把Definition<"one", 1> | Definition<"two", 2>这个联合类型整体传入Action时，Action<TDefinition>的属性推导规则是直接取联合类型所有成员的属性联合：
  • name的类型是"one" | "two"
  • method的入参类型是1 | 2
• 这两个属性是独立的联合类型，没有绑定「name值和data类型一一对应」的约束，自然会出现name为"one"时data仍被推导为联合类型的问题。

你尝试修改Definition为映射类型的思路不可行：

• 接口不支持[key in TName]这类映射语法，该语法仅能在类型别名中使用
• 该写法会完全改变Definition原有{name, data}的结构，和后续Action、Changer的设计不兼容，额外引入的索引签名还会带来类型安全隐患。

核心是利用TypeScript的分布式条件类型特性，让Definition联合的每个成员单独完成Action类型转换，保留每个成员内name和data的绑定关系：

1. 新增分布式工具类型，把Definition联合转换为对应Action联合
2. 更新Changer的actions类型定义，使用转换后的Action联合
3. （可选）增加泛型构造函数，避免手动标注类型时的推导丢失

完整代码如下：

interface Definition<TName extends string, TData extends any> {
  name: TName;
  data: TData;
}

interface Action<TDefinition extends Definition<string, any>> {
  name: TDefinition["name"];
  method: (data: TDefinition["data"]) => void;
}

// 分布式转换Definition联合为Action联合，触发联合类型分发
type DistributeActions<T extends Definition<string, any>> = 
  T extends Definition<string, any> ? Action<T> : never;

interface Changer<TDefinition extends Definition<string, any>> {
  // 用DistributeActions转换后的联合作为数组元素类型
  actions: DistributeActions<TDef>[];
}

// 可选：泛型构造函数，自动推导配置类型，减少手动标注成本
function createChanger<TDef extends Definition<string, any>>(config: Changer<TDef>) {
  return config;
}

// 测试
const set = createChanger<Definition<"one", 1> | Definition<"two", 2>>({
  actions: [
    {
      name: "one",
      method: (data) => data, // ✅ data自动推导为类型1，传2会直接报类型错误
    },
    {
      name: "two",
      method: (data) => data, // ✅ data自动推导为类型2，传1会直接报类型错误
    }
  ],
});

补充说明：通过set.actions[0].method()调用时，TypeScript无法静态确定数组索引0对应的具体action类型（数组元素可动态修改、重排），因此这里的参数仍会显示为1 | 2。如果需要根据name精确匹配调用时的参数类型，可以额外给Changer增加按name调用的dispatch方法，通过映射类型建立name到data的索引关系即可实现。

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