TypeScript中继承接口时如何扩展嵌套属性x？

我完全懂你这种重复写原有属性的烦躁——TypeScript确实有办法让你不用重复定义就能扩展嵌套的属性，下面是几种实用的方案：

方案1：直接用交叉类型扩展 #

这是最直接的写法，利用TypeScript的交叉类型（&）把原有嵌套属性的类型和新属性类型合并：

interface a { x: { property: string; } }

interface b extends a {
  // 用a['x']获取原x的类型，再交叉新增属性
  x: a['x'] & { otherProperty: number; }
}

这样写的原理是：a['x'] & { otherProperty: number }相当于把原有x的所有属性和新属性合并，这个类型是原a['x']的子类型（因为它包含了原类型的所有必要字段），完全符合接口继承的类型约束，编译器不会再报错。

方案2：封装工具类型实现复用 #

如果你需要多次扩展不同接口的嵌套属性，可以封装一个通用的工具类型，避免重复写交叉逻辑：

// 定义工具类型：扩展指定类型的嵌套属性
type ExtendNestedProp<T, PropName extends keyof T, NewProps> = Omit<T, PropName> & {
  [P in PropName]: T[P] & NewProps;
};

interface a { x: { property: string; } }

// 使用工具类型定义接口b
interface b extends ExtendNestedProp<a, 'x', { otherProperty: number }> {}

这个工具类型ExtendNestedProp会帮你自动保留原类型的其他属性，同时把指定的嵌套属性和新属性合并，非常适合需要多次扩展不同嵌套属性的场景。

为什么原来的写法会报错？ #

顺便解释一下编译器报错的原因：TypeScript要求子接口的属性必须是父接口对应属性的子类型。你最初写的x: { otherProperty: number; }缺少了父接口a中x的property字段，并不是a['x']的子类型，所以编译器会判定你错误地继承了接口。而用交叉类型生成的类型包含了原属性的所有字段，满足子类型的要求，因此可以正常通过编译。

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