TypeScript接口重写：如何约束继承子接口仅保留指定属性并提升类型特异性

为什么直接用interface extends Order无法满足全部需求 #

你目前仅能通过基础extends捕获FriedChicken这类类型错误，核心是TS接口继承的两个原生设计导致的：

• 接口继承采用开放兼容逻辑：只要子接口满足父接口的全部属性要求，任意额外新增的属性（比如Dessert中的flavor）都不会在定义阶段触发报错，这是TS为灵活扩展预留的能力。
• 接口继承会自动补全缺失属性：定义Fries extends Order时如果只写了type属性，TS会自动从父接口继承缺失的additionalDetails，开发者完全感知不到自己漏写了必填属性，自然不会触发报错。

具体实现 #

要实现“仅能持有type和additionalDetails两个属性、属性类型合规、不多不少”的约束，需要用泛型实现严格形状检查，替代直接继承的写法：

1. 定义内置校验规则的通用工具类型，覆盖全部三条约束：

   type StrictOrder<T> = 
     // 第一重校验：类型必须满足Order的基础属性要求
     T extends {
       type: string;
       additionalDetails: Record<string, unknown>;
     }
     // 第二重校验：类型的所有键，必须严格等于`type`和`additionalDetails`，多写任意属性都不通过
     ? keyof T extends 'type' | 'additionalDetails'
       ? T
       : never
     : never;
   

2. 所有原本通过extends Order定义的子类型，替换为传入该泛型做定义即可，自动触发全部校验：

   // 校验通过：仅两个属性，类型收窄符合要求
   type Burger = StrictOrder<{
     type: 'cheeseburger';
     additionalDetails: {
       ketchup: boolean;
       cheese: boolean;
       mayo: boolean;
     };
   }>
   
   // 校验不通过：多了`flavor`额外属性，类型推导为never，编辑器标红
   type Dessert = StrictOrder<{
     type: 'icecream';
     additionalDetails: {
       cone?: boolean;
       waffle?: boolean;
     };
     flavor: string;
   }>
   
   // 校验不通过：缺少`additionalDetails`必填属性，类型推导为never，编辑器标红
   type Fries = StrictOrder<{
     type: 'fries';
   }>
   
   // 校验不通过：`additionalDetails`定义为非对象的布尔类型，类型推导为never，编辑器标红
   type FriedChicken = StrictOrder<{
     additionalDetails: boolean;
   }>
   

注意事项 #

• 该方案完全支持属性类型的窄化：比如将type从通用string收窄为字面量类型，将additionalDetails从通用对象收窄为具体的键值结构，都符合TS的结构兼容规则，不会触发校验失败。
• TS没有提供原生语法，能让你在写interface X extends Order时阻止新增额外属性、阻止自动补全继承的缺失属性——只要使用interface的继承写法，天生就是开放可扩展的，无法实现严格的形状匹配约束。

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