TypeScript构造对象时如何强制符合指定类型且保留自身独有类型

你需要的是既校验对象符合预设类型约束，又保留对象自身的精确字面量类型的能力，TypeScript 提供了两种成熟的实现方案：

方案1：TS 4.9+ 首选 satisfies 操作符 #

这是专门为该场景设计的原生语法，无需额外封装：

type ApiTemplate = {
  [funcName: string]: {
    call: (data: any) => void;
    handler: (data: any) => void;
  }
};

// 定义时当场校验，同时保留所有具体类型信息
const apiConfig1 = {
  func1: {
    call: (count: number) => console.log("count", count),
    handler: (data: any) => console.log(data),
  },
  func2: {
    call: (name: string) => console.log(name),
    handler: (data: any) => console.log("string", data),
  },
} satisfies ApiTemplate;

效果验证： #

• 如果你把handler拼写为handle，对象定义处会直接报错，不需要等到调用toApi时才提示
• apiConfig1的精确类型不会丢失，传入toApi后生成的实例仍然保留func1、func2的具体函数签名校验

方案2：低版本TS兼容：使用泛型工具函数 #

如果你的TS版本低于4.9，无法使用satisfies，可以封装一个极简的泛型工具函数实现同等效果：

type ApiTemplate = {
  [funcName: string]: {
    call: (data: any) => void;
    handler: (data: any) => void;
  }
};

// 泛型工具函数：校验入参符合ApiTemplate，同时返回入参的精确类型
function defineApiConfig<T extends ApiTemplate>(config: T) {
  return config;
}

// 定义时自动校验
const apiConfig1 = defineApiConfig({
  func1: {
    call: (count: number) => console.log("count", count),
    handler: (data: any) => console.log(data),
  },
  func2: {
    call: (name: string) => console.log(name),
    handler: (data: any) => console.log("string", data),
  },
});

该方案的校验效果、类型保留效果和satisfies完全一致。

原有写法报错原因 #

你之前尝试的IIFE泛型写法错误的核心原因是：泛型T的推导权在调用方，而非返回值。TS无法确定返回的对象是否能匹配调用方可能传入的任意T子类型，因此会抛出类型不匹配错误。而工具函数的写法中泛型T和入参绑定，TS会直接从你传入的配置对象推导T的具体类型，同时校验它符合ApiTemplate约束，因此不会出现该问题。

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