如何在TypeScript中描述指定属性+任意键为X类型的对象？

我需要给一个无法修改的现有JavaScript库编写类型定义，这些类型会被多人使用，因此不能使用类型断言这类技巧。该库大量使用扁平化配置对象：一部分是已定义的固定属性，用于配置特定功能；剩余的任意属性则作为额外配置。例如表单配置的预期定义如下：

type InputConfiguration = 
  | { type: "TEXT", defaultValue?: string }
  | { type: "CHECKBOX", defaultValue?: boolean };

type FormConfiguration = {
  title: string,        // 表单标题
  horizontal?: boolean, // 是否横向展示表单
  // 其他任意属性均为表单中的输入元素配置
  [inputName: string]: InputConfiguration
}

但这段代码在TypeScript中会报错：Property 'title' of type 'string' is not assignable to 'string' index type 'InputConfiguration'。原因是TypeScript要求索引签名的类型必须覆盖所有字符串键，不允许显式定义的属性类型与索引签名不一致。

我尝试过两种常规写法，均触发类似错误：

直接混合显式属性与索引签名 #

type FormConfiguration = {
  title: string, // 报错：Property 'title' of type 'string' is not assignable to 'string' index type 'InputConfiguration'.
  [inputName: string]: InputConfiguration
}

交叉类型写法 #

type FormConfiguration = {
  title: string,
} & {
  [inputName: string]: InputConfiguration
}
// 赋值时报错：Type '{ title: string; }' is not assignable to type 'FormConfiguration'.
//   Type '{ title: string; }' is not assignable to type '{ [inputName: string]: InputConfiguration; }'.
//     Property 'title' is incompatible with index signature.
//       Type 'string' is not assignable to type 'InputConfiguration'.
const foo: FormConfiguration = {
  title: "bar",
  foo: { type: "TEXT" },
};

我的核心问题是：如何在TypeScript中正确描述这种「除指定键外，任意键的类型为X」的对象？

解决方案：使用Omit工具类型结合交叉类型 #

可以通过「移除索引签名中的固定键，再与固定属性类型交叉」的方式实现需求，既能通过TypeScript类型检查，又能准确约束对象结构。

代码示例

type InputConfiguration = 
  | { type: "TEXT", defaultValue?: string }
  | { type: "CHECKBOX", defaultValue?: boolean };

// 定义固定属性的类型
type FormBaseConfig = {
  title: string;
  horizontal?: boolean;
};

// 定义除固定键外，其余键均为InputConfiguration的类型
type FormExtraConfig = Omit<Record<string, InputConfiguration>, keyof FormBaseConfig>;

// 交叉得到最终的表单配置类型
type FormConfiguration = FormBaseConfig & FormExtraConfig;

// 合法示例：无类型报错
const validForm: FormConfiguration = {
  title: "用户信息",
  horizontal: true,
  username: { type: "TEXT", defaultValue: "guest" },
  rememberMe: { type: "CHECKBOX", defaultValue: true }
};

// 非法示例：错误类型会被检测到
const invalidForm: FormConfiguration = {
  title: "错误表单",
  // 报错：Type 'string' is not assignable to type 'InputConfiguration'.
  username: "invalid"
};

简洁写法

也可以直接合并为一行，无需拆分类型：

type FormConfiguration = {
  title: string;
  horizontal?: boolean;
} & Omit<Record<string, InputConfiguration>, 'title' | 'horizontal'>;

原理说明

• Record<string, InputConfiguration>：定义所有字符串键的默认类型为InputConfiguration；
• Omit<..., keyof FormBaseConfig>：移除固定键（title和horizontal），避免与后续固定属性的类型冲突；
• 交叉类型&：将固定属性类型与处理后的额外属性类型合并，最终实现「固定键有特定类型，其他任意键均为X类型」的约束效果。

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