TypeScript 如何实现同键且值类型兼容的对象类型约束

现有类的泛型设计仅提取了构造参数的键名（字符串联合类型），在定义PropMap、ActionMap时直接把所有键的值类型降级为AnyProp/AnyAction联合，完全丢失了「具体键 ↔ 对应type字面量」的绑定关系，自然无法实现值级别的精细类型校验。

核心逻辑是把构造参数的完整对象结构作为类的泛型，通过映射类型自动推导每个键对应的Action类型，不需要手动维护键和类型的映射表。

1. 新增映射类型 #

基于传入的Prop结构，自动推导每个键对应的精确Action类型：

type TypeName = 'A' | 'B' | 'C'

class Action<K extends TypeName> { 
  type: K
  constructor(type: K) { this.type = type } 
}
type AnyProp = { type: TypeName }

// 根据Prop结构生成对应ActionMap
type MappedActionMap<TProps extends Record<string, AnyProp>> = {
  // 遍历Prop的每个键，通过索引访问拿到对应prop的type字面量，生成匹配的Action类型
  [Key in keyof TProps]: Action<TProps[Key]['type']>
}

2. 重构Thing类泛型 #

把原来仅接收字符串联合的泛型，替换为接收完整Prop对象结构的泛型，让TS自动从构造函数入参推导全量类型，不做类型降级：

class Thing<TProps extends Record<string, AnyProp>> {
  props: TProps
  constructor(props: TProps) { 
    this.props = props 
  }

  // 方法参数直接使用映射生成的精确ActionMap，按需套Partial即可
  myMethod(actions: Partial<MappedActionMap<TProps>>) { 
    /* ... */ 
  }
}

调用构造函数时，TS会自动从传入的实参推导完整的TProps类型，不需要手动写泛型：

// 自动推导TProps为 { foo: { type: 'A' }, bar: { type: 'B' } }
const thing = new Thing({
  foo: { type: 'A' },
  bar: { type: 'B'}
})

// 合法调用：每个键的Action类型和对应Prop的type完全匹配
thing.myMethod({
  foo: new Action('A'),
  bar: new Action('B'),
}) 

// 非法调用：所有不匹配的场景都会被TS直接拦截
thing.myMethod({
  // 报错：foo位置期望Action<'A'>，实际传入Action<'B'>
  foo: new Action('B'),
  // 报错：存在不在原键集合中的多余属性
  notExistKey: new Action('C')
})

• 不需要手动书写Thing<{foo: 'A', bar: 'B'}>这类冗余泛型，TS会在构造函数调用时自动完成全量类型推导
• 因为映射类型完全基于传入Props的键集合生成，多传键、少传键、值类型不匹配的场景都会被静态校验拦截
• 方法参数使用Partial的需求完全兼容，只需要在映射类型外层套一层Partial即可，不影响核心校验能力

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