TypeScript扩展语法创建接口实例时多余属性留存问题咨询

核心原因：TypeScript接口仅作用于编译阶段，无运行时约束 #

TypeScript的接口只是编译时的类型检查工具，编译完成后会被完全移除，不会对运行时的对象结构做任何修改或过滤。你用扩展语法合并对象B和C时，运行时会直接把两个对象的所有属性合并，包括B里的e，TypeScript不会在这个阶段帮你剔除多余属性。

编译时为什么没报错？ #

TypeScript采用结构类型系统，只要对象包含接口要求的所有属性，就会被判定为符合该接口类型。另外，额外属性检查只针对直接赋值的对象字面量，比如：

// 这里会报错，直接用字面量赋值触发额外属性检查
const instance: A = { a:1, b:2, c:3, e:"test", d:false };

但你的场景里，B是预先定义的变量，不是直接的对象字面量，TypeScript不会对它进行额外属性检查——只要确认它包含A要求的a/b/c，加上C的d后就符合A的结构，因此不会报错。

如何实现你预期的效果？ #

如果想要得到仅包含A属性的对象，需要手动处理：

1. 显式声明每个属性：

const instance: A = {
  a: B.a,
  b: B.b,
  c: B.c,
  d: C.d
};

2. 写工具函数提取指定属性：

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

const instance: A = { ...pick(B, ['a', 'b', 'c']), ...C };

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