TypeScript索引类型联合类型签名异常及正确定义方法问询

这个问题我之前也踩过坑！TypeScript的结构类型系统默认允许对象有多余属性（只要满足目标类型的必填属性），所以你现在的写法会让混合了KnownDynamicType和OtherKnownDynamicType属性的对象“蒙混过关”——因为TypeScript认为只要有propA，这个对象就符合KnownDynamicType，多余的propB不会触发错误。

下面给你几个可行的解决方案，从简单到健壮，你可以根据自己的场景选择：

方案1：用satisfies关键字做即时检查（TypeScript 4.9+） #

如果你不想修改原有的接口定义，satisfies是最轻便的选择。它能在不改变变量类型的前提下，强制检查值是否严格匹配你期望的类型：

interface KnownDynamicType { propA: boolean; }
interface OtherKnownDynamicType { propB: number; }

// 明确我们允许的三种值类型
type AllowedDynamicValues = KnownDynamicType | OtherKnownDynamicType | string;

interface DataModel {
  name: string;
  dynamic: {[key: string]: AllowedDynamicValues};
}

const data: DataModel = {
  name: 'My Data Model',
  dynamic: {
    someKnownType: { propA: true },
    someOtherKnownType: { propB: 1 },
    someField1: 'foo',
    someField2: 'bar'
  } satisfies Record<string, AllowedDynamicValues> // 检查初始值的严格性
};

data.dynamic.foo = 'bar'; // 正常通过

// 这行现在会报错：对象包含多余的propB，且propB类型不符合要求
data.dynamic.someObject = { 
  propA: false,
  propB: ''
} satisfies AllowedDynamicValues;

优点：零侵入，不需要修改原有接口；缺点：每次赋值都要手动加satisfies，适合偶尔的严格检查场景。

方案2：用工具类型实现“精确类型”检查 #

我们可以定义一个工具类型，强制要求对象必须完全匹配目标类型，不能有多余属性：

// 工具类型：确保T严格等于U，不能有多余属性
type Exact<T, U> = T extends U ? (U extends T ? T : never) : never;

interface KnownDynamicType { propA: boolean; }
interface OtherKnownDynamicType { propB: number; }

// 用Exact包装每个对象类型，确保严格匹配
type AllowedDynamicValues = 
  Exact<KnownDynamicType, KnownDynamicType> | 
  Exact<OtherKnownDynamicType, OtherKnownDynamicType> | 
  string;

interface DataModel {
  name: string;
  dynamic: {[key: string]: AllowedDynamicValues};
}

const data: DataModel = {
  name: 'My Data Model',
  dynamic: {
    someKnownType: { propA: true },
    someOtherKnownType: { propB: 1 },
    someField1: 'foo',
    someField2: 'bar'
  }
};

data.dynamic.foo = 'bar'; // 正常通过

// 直接报错：这个混合属性的对象不属于任何一种AllowedDynamicValues
data.dynamic.someObject = { 
  propA: false,
  propB: ''
};

优点：自动检查所有赋值，不需要手动加关键字；缺点：Exact类型对有可选属性或索引签名的接口支持有限，适合你的这种“纯必填属性”场景。

方案3：用判别式联合（最健壮的方案） #

如果可以修改原有的接口，给每个对象类型加一个判别属性（比如type字段），TypeScript就能明确区分不同类型，从根源上防止混合属性：

// 给每个对象类型添加唯一的判别式
interface KnownDynamicType { type: 'known'; propA: boolean; }
interface OtherKnownDynamicType { type: 'other'; propB: number; }

type AllowedDynamicValues = KnownDynamicType | OtherKnownDynamicType | string;

interface DataModel {
  name: string;
  dynamic: {[key: string]: AllowedDynamicValues};
}

const data: DataModel = {
  name: 'My Data Model',
  dynamic: {
    someKnownType: { type: 'known', propA: true },
    someOtherKnownType: { type: 'other', propB: 1 },
    someField1: 'foo',
    someField2: 'bar'
  }
};

data.dynamic.foo = 'bar'; // 正常通过

// 报错：KnownDynamicType不包含propB属性
data.dynamic.someObject = { 
  type: 'known',
  propA: false,
  propB: ''
};

// 报错：没有判别式，无法匹配任何对象类型
data.dynamic.someObject = { 
  propA: false,
  propB: ''
};

优点：不仅能防止混合属性，还能在后续代码中通过判别式做类型收窄（比如if (item.type === 'known') { ... }），大幅提升类型安全性；缺点：需要修改原有接口，调整现有代码的赋值逻辑。

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