TypeScript接口扩展问题：如何为泛型类型添加固定属性？

这是个很常见的TypeScript类型组合需求，我来帮你梳理一下正确的实现方式：

最简洁的方式：交叉类型（Intersection Type） #

你想要的其实是把泛型T的所有属性和额外的audience属性合并，用交叉类型就能轻松实现，这也是最推荐的写法：

export type IMessageContextWithAudience<T> = T & { audience: IAudienceMember[] };

这个写法会直接将T的全部属性与{ audience: IAudienceMember[] }的属性合并成一个新类型，完美满足你的需求——既保留T的强类型属性，又新增了audience字段。

用Interface实现的替代方案（映射类型） #

如果你一定要用interface而不是type，可以结合映射类型来实现（就是报错提示里提到的mapped object type）：

export interface IMessageContextWithAudience<T> extends { [P in keyof T]: T[P] } {
  audience: IAudienceMember[];
}

这里的{ [P in keyof T]: T[P] }是映射类型语法，它会遍历T的所有键，并将对应的属性类型复制过来，然后让接口继承这个映射出来的类型，再加上audience属性。效果和交叉类型一致，但写法稍显繁琐。

为什么你的之前的写法会报错？ #

• 第一种写法extends T报错：TypeScript的接口只能继承对象类型/接口类型，如果T是基本类型、函数类型等非对象类型，就会触发错误。而交叉类型可以兼容更多场景，即使T是其他类型也能正确处理（当然你的场景里T应该是对象类型）。
• 第二种写法的索引签名报错：索引签名的参数类型只能是string、number或symbol，而keyof T是一个联合类型，不符合索引签名的要求。映射类型[P in keyof T]是专门用来遍历联合类型键的语法，正好解决这个问题。

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