如何定义兼具属性类型校验与任意属性支持的TypeScript接口？

这个问题其实是TypeScript索引签名的典型陷阱——当你在接口里定义了字符串索引签名[key: string]: any时，它会强制要求所有明确声明的属性类型都必须兼容这个索引签名的类型。这里any兼容一切类型，所以你声明的makesBurgers?: boolean实际上被放宽成了any，自然不会触发类型错误。

下面给你两种实用的解决方案：

方案一：交叉类型（最推荐） #

拆分出固定属性的接口，再和任意属性的类型做交叉，这样既能保留固定属性的严格校验，又能支持任意额外属性：

// 定义仅包含固定属性的基础接口
interface IBobBase {
  makesBurgers?: boolean;
  hasRestaurant?: boolean;
}

// 交叉基础接口与任意属性类型
type IBob = IBobBase & Record<string, any>;

测试一下效果：

const Bob: IBob = {};
Bob.makesBurgers = "sure"; // ❌ 报错！Type 'string' is not assignable to type 'boolean | undefined'
Bob.hasRestaurant = true; // ✅ 符合类型要求
Bob.favoriteTopping = "cheese"; // ✅ 允许添加任意额外属性
Bob.employeeCount = 5; // ✅ 同样支持

方案二：使用unknown替代any（更严谨的场景） #

如果你不想用any（避免类型逃逸），可以用unknown作为任意属性的类型，同时通过类型断言来使用额外属性：

interface IBobBase {
  makesBurgers?: boolean;
  hasRestaurant?: boolean;
}

type IBob = IBobBase & Record<string, unknown>;

// 使用额外属性时需要断言类型
const Bob: IBob = { favoriteTopping: "cheese" };
console.log(Bob.favoriteTopping as string); // ✅ 正常使用

为什么原写法失效？ #

再强调一下核心原因：TypeScript接口中的索引签名是“全局约束”，所有明确声明的属性必须能赋值给索引签名的类型。当你写[key: string]: any时，boolean类型兼容any，所以TS会自动把makesBurgers的类型放宽为any，导致校验失效。而交叉类型则不会有这个问题，因为它是把两个独立的类型合并，固定属性的类型不会被索引签名覆盖。

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