为何TypeScript使用Omit<>扩展含被省略属性的对象无报错？

先重现你的代码场景，方便明确问题：

interface Human {
  name: string;
  surname: string;
  age: number;
}

type Baby = Omit<Human, "age">;

// 场景1：无报错
const human1: Human = { name: "Alice", surname: "Smith", age: 30 };
const baby1: Baby = human1;

// 场景2：报错
const baby2: Baby = { name: "Bob", surname: "Jones", age: 1 };
// 错误提示：类型“{ name: string; surname: string; age: number; }”不能赋值给类型“Baby”。对象字面量只能指定已知属性，并且“age”不在类型“Baby”中。ts(2322)

为什么会出现这种差异？ #

这本质是TypeScript两个核心机制的作用：

1. 结构类型系统：TS判断类型兼容性的核心是「结构匹配」——只要一个值包含目标类型的所有必填属性，就允许赋值，不管它有没有额外属性。human1已经被标注为Human类型，不属于「新鲜对象字面量」，所以TS不会触发额外属性检查。
2. 新鲜对象字面量的额外属性检查：当你直接用对象字面量（比如场景2的{ name: "Bob", ... }）赋值给一个类型时，TS会启用额外检查，防止你不小心添加了目标类型中不存在的属性，这是一种针对拼写错误、冗余属性的保护机制。

关于你的疑问解答 #

• 为什么TS不识别扩展对象的多余属性？
  TS的类型系统关注的是「你能通过类型访问到的属性」是否符合约束，而不是对象实际包含的所有属性。编译后TS类型信息会被擦除，运行时baby1确实还保留age属性，这是因为TS不会修改运行时对象的结构。
• 必须手动挑选属性吗？
  不需要，有几种更优雅的方式可以解决：

解决方案 #

1. 工具函数严格过滤属性（推荐，同时保证类型安全和运行时结构正确） #

写一个通用工具函数，只保留目标类型需要的属性，运行时会移除多余属性：

function pick<T, K extends keyof T>(obj: T, keys: K[]): Pick<T, K> {
  const result = {} as Pick<T, K>;
  keys.forEach(key => {
    result[key] = obj[key];
  });
  return result;
}

// 使用方式
const baby1: Baby = pick(human1, ["name", "surname"]);
// 此时baby1运行时无age属性，类型严格符合Baby

2. 利用Object.fromEntries提取属性 #

通过过滤对象键值对的方式生成符合要求的对象：

const allowedKeys: (keyof Baby)[] = ["name", "surname"];
const baby1: Baby = Object.fromEntries(
  Object.entries(human1).filter(([key]) => allowedKeys.includes(key as keyof Baby))
) as Baby;

3. 使用satisfies关键字（TS 4.9+） #

如果只需要类型层面的约束，不需要修改运行时结构，可以用satisfies确保对象符合Baby的结构：

const baby1 = human1 satisfies Baby;
// 此时baby1的类型仍是Human，但TS会检查它是否满足Baby的结构要求

4. 类型断言（不推荐，仅适合明确场景） #

直接通过断言隐藏多余属性的类型提示，但运行时属性仍存在：

const baby1: Baby = human1 as Baby;

总结 #

TS的这种行为是结构类型系统的特性，平衡了灵活性和类型安全。如果需要严格的类型约束（包括运行时移除多余属性），优先使用工具函数过滤；如果只是类型层面的约束，直接赋值或断言即可，但要注意运行时对象的实际结构。

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