如何在TypeScript中同时启用IntelliSense与索引器？

我有一个对象：

const obj = {
  a: (valueA: string) => true,
  b: (valueB: string) => false,
  c: (valueC: string) => false,
};

该对象的所有属性均为同一类型(value: string) => boolean。我需要实现两个需求：

• 输入obj.后，编辑器能自动提示a、b、c这些具体属性；
• 给对象添加新属性时，被强制要求符合(value: string) => boolean类型。

尝试使用索引器（Record<string, ((value: string) => boolean)>）标注对象：

const obj: Record<string, ((value: string) => boolean)> = {
  a: (valueA: string) => true,
  b: (valueB: string) => false,
  c: (valueC: string) => false,
};

但这样会丢失具体属性的IntelliSense提示，而不使用索引器又无法限制新增属性的类型。

解决方案1：使用satisfies关键字（TypeScript 4.9+） #

satisfies可以让对象保留字面量类型的细节（从而支持属性提示），同时验证对象是否符合指定的类型约束：

// 定义统一的函数类型
type StringToBooleanFunc = (value: string) => boolean;

// 使用satisfies约束对象类型，同时保留具体属性的推断
const obj = {
  a: (valueA: string) => true,
  b: (valueB: string) => false,
  c: (valueC: string) => false,
  // 新增属性时如果类型不符会报错，比如下面这行：
  // d: (num: number) => true, // 类型“(num: number) => boolean”不能赋给类型“StringToBooleanFunc”
} satisfies Record<string, StringToBooleanFunc>;

此时输入obj.会自动提示a、b、c，新增属性也会被强制校验类型。

解决方案2：先推断再约束（兼容低版本TS） #

如果你的TypeScript版本低于4.9，可以先让TS推断原始对象的键类型，再通过Record约束属性类型：

// 先创建无类型标注的对象，让TS推断所有属性细节
const rawObj = {
  a: (valueA: string) => true,
  b: (valueB: string) => false,
  c: (valueC: string) => false,
};

// 提取原始对象的键类型，定义统一函数类型
type ObjKeyType = keyof typeof rawObj;
type StringToBooleanFunc = (value: string) => boolean;

// 重新定义对象，约束每个属性的类型，同时保留键的提示
const obj: Record<ObjKeyType, StringToBooleanFunc> = rawObj;

// 如果要新增属性，需要先修改rawObj，再重新推导类型
// 比如新增d属性后，ObjKeyType会自动包含d，同时约束其类型

这样同样能满足两个需求：既保留属性提示，又限制新增属性的类型。

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