如何让TypeScript对象扩展Base类型且保留typeof完整类型？

要实现你的需求，核心是在创建derived对象时强制它包含Base的所有属性，同时允许扩展额外属性，最后通过typeof自动推导完整类型。以下是两种合理的实现方式：

方式一：泛型辅助函数（兼容大部分TS版本） #

通过一个泛型函数约束输入对象必须继承Base类型，既保证Base新增属性时触发编译错误，又能保留额外属性的类型信息：

// 定义基础Base类型
type Base = {
  id: string;
  name: string;
};

// 辅助函数：约束输入对象必须包含Base所有属性，同时允许扩展
function createDerived<T extends Base>(obj: T): T {
  return obj;
}

// 创建derived对象：必须包含Base所有属性，可自由添加额外属性
const derived = createDerived({
  id: "user_123",
  name: "Alice",
  age: 30,
  email: "alice@example.com"
});

// 导出自动推导的完整类型
type DerivedType = typeof derived;

效果验证 #

• 当Base新增属性（比如status: boolean），而derived未同步添加时，TS会直接抛出编译错误，提示缺少对应属性；
• DerivedType会包含id、name、age、email所有属性的类型；
• 全程无需为derived手动定义接口或类型。

方式二：使用satisfies关键字（TS 4.9+ 简洁版） #

如果你的项目使用TS 4.9及以上版本，可以直接用satisfies关键字约束对象结构，无需辅助函数：

type Base = {
  id: string;
  name: string;
};

// 直接创建对象，用satisfies约束必须符合Base结构，同时保留额外属性类型
const derived = {
  id: "user_123",
  name: "Alice",
  age: 30,
  email: "alice@example.com"
} satisfies Base;

// 导出自动推导的完整类型
type DerivedType = typeof derived;

为什么之前的方法有问题？ #

• 直接指定const derived: Base = {...}：额外属性会被类型擦除，typeof derived只能得到Base类型，丢失扩展属性信息；
• 结合Record类型：需要手动维护Record的键名，无法自动跟随Base的属性变更，违背“避免同步更新”的需求；
• 未使用变量的hack方式：虽然能触发校验，但代码冗余且不直观，上述两种方案更符合TS类型系统的设计逻辑。

内容的提问来源于stack exchange，提问作者Thorkil Holm-Jacobsen