带索引签名的类型使用Omit后显式属性类型丢失的原因

核心原因：TypeScript对索引签名与显式属性的合并逻辑 #

当类型同时包含显式属性和索引签名时，TypeScript会将索引签名视为该类型所有对应键的通用约束——显式属性的类型必须是索引签名类型的子集。而Omit<T, K>的底层实现是Pick<T, Exclude<keyof T, K>>，这个过程会触发TypeScript的特殊类型合并规则：

1. 对于带索引签名的TypeA，keyof TypeA会同时包含显式属性名（如'prop1'、'prop2'）和索引签名的键类型（如string）。
2. 执行Exclude<keyof TypeA, 'prop2'>后，得到的键集合是'prop1' | string。
3. 当执行Pick<TypeA, 'prop1' | string>时，TypeScript会识别到集合中包含索引签名的键范围（string），因此会优先生成一个带有索引签名的类型。此时显式属性prop1的类型会被索引签名的通用类型覆盖——毕竟索引签名已经定义了所有string类型键的类型，prop1作为其中一员，其显式类型会被合并到通用约束中，不再单独保留。

举个具体例子：

// 带索引签名的原类型
type TypeA = {
  prop1: string;
  prop2: number;
  [key: string]: string | number;
};

// Omit后得到的TypeB，prop1的类型被索引签名覆盖
type TypeB = Omit<TypeA, 'prop2'>;
// 实际类型：{ [key: string]: string | number; }，而非预期的{ prop1: string; [key: string]: string | number; }

如果移除索引签名，keyof TypeA仅包含显式属性名，Exclude后只保留'prop1'，Pick自然会保留其显式类型。

解决方案：手动保留显式属性类型 #

如果需要同时保留显式属性的精确类型和索引签名，可以通过交叉类型拆分重组：

// 先提取原类型的显式属性部分
type ExplicitTypeAProps = Pick<TypeA, 'prop1' | 'prop2'>;
// 提取原类型的索引签名部分
type TypeAIndexSignature = Omit<TypeA, keyof ExplicitTypeAProps>;

// 组合得到保留prop1精确类型的TypeB
type TypeB = Omit<ExplicitTypeAProps, 'prop2'> & TypeAIndexSignature;
// 此时TypeB的类型：{ prop1: string; } & { [key: string]: string | number; }
// 等价于：{ prop1: string; [key: string]: string | number; }

或者更简洁的写法：

type TypeB = Pick<TypeA, 'prop1'> & Omit<TypeA, 'prop1' | 'prop2'>;

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