如何为含特定字符串键的TypeScript对象定义差异化类型

你想要的对象结构是year键对应number类型，其余字符串键对应自定义的MyObject类型，但直接定义索引签名会和year的类型冲突——因为TypeScript要求索引签名的类型必须覆盖所有键的类型，而year本身属于字符串键，所以直接写会报错。

你的尝试为何无效 #

1. 写法一的交叉类型：{year: number} & {[key: string]: MyObject}会让year的类型变成number & MyObject，如果MyObject是对象类型，这个交叉结果是never（number和对象无交集），导致无法给year赋值，因此无效。
2. 写法二的Exclude<string, "year">：TypeScript不支持用排除特定字面量的字符串类型作为索引签名的键，索引签名仅允许string、number、symbol或模板字符串类型，因此这种写法会直接报错。

可行解决方案 #

方案1：联合类型索引签名（基础版）

将索引签名的类型设为number | MyObject，同时显式定义year为number。这种写法允许year是number，其他键可以是number或MyObject：

// 自定义你的MyObject类型
type MyObject = {
  value: string;
};

type Test = {
  year: number;
  [key: string]: number | MyObject;
};

// 正确使用
const validObj: Test = {
  year: 2024,
  user: { value: "Alice" },
  product: { value: "Laptop" }
};

缺点：非year键也可以赋值number类型，如果需要严格限制，看方案2。

方案2：交叉类型+Omit（严格版，推荐）

通过交叉{year: number}和Omit<Record<string, MyObject>, "year">，实现只有year是number，其余键必须是MyObject的约束：

type MyObject = {
  value: string;
};

type Test = {
  year: number;
} & Omit<Record<string, MyObject>, "year">;

// 正确使用
const validObj: Test = {
  year: 2024,
  user: { value: "Alice" },
  product: { value: "Laptop" }
};

// 错误示例：非year键赋值number会报错
const invalidObj: Test = {
  year: 2024,
  age: 30 // 类型"number"不能赋值给类型"MyObject"
};

这个方案利用TypeScript的交叉类型优先级，让year的显式定义覆盖索引签名的约束，同时确保其他键符合MyObject类型。

方案3：断言函数（运行时验证）

如果需要在运行时也保证对象结构正确，可以写一个类型断言函数做校验：

type MyObject = { value: string };
type Test = {
  year: number;
  [key: string]: MyObject;
};

function isTest(obj: unknown): obj is Test {
  if (typeof obj !== "object" || obj === null) return false;
  const o = obj as Record<string, unknown>;
  
  // 校验year是number
  if (typeof o.year !== "number") return false;
  
  // 校验其他键都是符合结构的MyObject
  for (const key in o) {
    if (key === "year") continue;
    const val = o[key];
    if (typeof val !== "object" || val === null || !("value" in val) || typeof (val as MyObject).value !== "string") {
      return false;
    }
  }
  return true;
}

// 使用示例
const obj = { year: 2024, user: { value: "Alice" } };
if (isTest(obj)) {
  console.log(obj.year, obj.user.value); // 这里obj类型被推断为Test
}

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