如何在TypeScript中结合计算类型与额外属性？

问题背景 #

需要为以下结构的对象定义TypeScript类型：

{
  "1bcc10d3-425e-4a91-9a90-d7f2969986f9": {
    result: {
      key: "value"
    }
  },
  another_key: ["test", "12345"]
}

其中字符串键既包含任意格式的UUID，也包含固定命名的键（如another_key），但此前尝试的几种写法均因类型冲突失败：

尝试1：接口混合索引签名与固定属性 #

interface MyResultType {
  [uuid: string]: {
    result: {
      key: string;
    }
  };
  another_key: string[];
}

报错：

Property 'another_key' of type 'string[]' is not assignable to 'string' index type '{ result: { key: string; }; }'.ts(2411)

原因：字符串索引签名会覆盖所有字符串键，固定属性的类型必须与索引签名类型兼容，此处string[]不匹配索引签名的类型。

尝试2：交叉类型 #

type MyResultType = {
  [uuid: string]: {
    result: {
      key: string;
    };
  };
} & {
  another_key: string[];
};

赋值时报错：

Type '{ '1bcc10d3-425e-4a91-9a90-d7f2969986f9': { result: { key: string; }; }; another_key: string[]; }' is not assignable to type 'MyResultType'.
  Type '{ '1bcc10d3-425e-4a91-9a90-d7f2969986f9': { result: { key: string; }; }; another_key: string[]; }' is not assignable to type '{ [uuid: string]: { result: any; }; }'.
    Property 'another_key' is incompatible with index signature.
      Property 'result' is missing in type 'string[]' but required in type '{ result: any; }'.ts(2322)

原因：交叉类型要求对象同时满足两个类型，但固定键不符合索引签名的类型要求。

尝试3：Omit<string, ...>作为索引参数 #

type MyResultType = {
  [uuid: Omit<string, 'another_key'>]: {
    result: any;
  };
} & {
  another_key: string[];
};

报错：

An index signature parameter type must be 'string', 'number', 'symbol', or a template literal type.ts(1268)

原因：索引参数只能是string、number、symbol或模板字面量类型，Omit<string, ...>不合法。

解决方案 #

方法1：模板字面量约束UUID格式（推荐） #

利用模板字面量类型匹配标准UUID格式（xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx），让索引签名仅作用于UUID键，避免与固定键冲突：

// 定义标准UUID的模板字面量类型
type UUID = `${string}-${string}-${string}-${string}-${string}`;

interface MyResultType {
  [key: UUID]: {
    result: {
      key: string;
    };
  };
  another_key: string[];
}

// 合法使用示例
const result: MyResultType = {
  '1bcc10d3-425e-4a91-9a90-d7f2969986f9': {
    result: { key: 'value' },
  },
  another_key: ['test', '12345'],
};

这种方式既严格约束了UUID键的格式，又保证固定键的类型独立，无冲突。

方法2：使用satisfies运算符（TypeScript 4.9+） #

若不需要严格校验UUID格式，可通过satisfies运算符验证对象符合预期类型，同时保留对象的具体类型：

type UUIDEntries = Record<string, { result: { key: string } }>;
type FixedEntries = { another_key: string[] };

// 验证对象同时符合两个类型要求
const result = {
  '1bcc10d3-425e-4a91-9a90-d7f2969986f9': {
    result: { key: 'value' },
  },
  another_key: ['test', '12345'],
} satisfies UUIDEntries & FixedEntries;

satisfies仅做类型检查，不会改变result的推断类型，避免了交叉类型赋值时的冲突问题。

方法3：联合类型+类型断言（临时方案） #

通过将索引签名的类型设为联合类型，包含UUID键和固定键的类型，再用类型断言绕过严格检查（不推荐，会降低类型安全性）：

type MyResultType = {
  [uuid: string]: { result: { key: string } } | string[];
  another_key: string[];
};

const result = {
  '1bcc10d3-425e-4a91-9a90-d7f2969986f9': {
    result: { key: 'value' },
  },
  another_key: ['test', '12345'],
} as MyResultType;

注意：访问任意字符串键时，需要通过类型守卫判断其具体类型。

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