如何让TypeScript约束接口中param1与回调参数类型一致且免显式泛型？

核心方案 #

借助辅助函数让TypeScript自动推断类型，无需手动指定泛型，既保证param1和callback的body类型严格一致，又能避免复杂泛型带来的性能问题。

具体代码实现 #

1. 定义泛型接口：

interface SomeInterface<T> {
  param1: T;
  callback: (body: T) => void;
}

2. 创建辅助函数用于自动类型推断：

function createSomeInterface<T>(obj: SomeInterface<T>): SomeInterface<T> {
  return obj;
}

3. 使用函数声明变量，TypeScript会自动推导匹配类型：

const someConstant = createSomeInterface({
  param1: {
    key1: [
      {subkey1: 5, subkey2: 'example'},
      {subkey1: 1.5, subkey2: 'example again'}
    ],
    key2: {
      anything: [1, 6, 2, 7]
    }
  },
  callback: (body) => {
    // body类型自动与param1匹配，可直接访问对应属性
    console.log(body.key1[0].subkey1);
  }
});

方案优势 #

• 无需手动编写复杂泛型，完全由TypeScript自动推断，避免手动指定带来的性能开销。
• 严格约束callback参数类型与param1一致，不符合类型的赋值会直接触发TS报错。
• 修改param1结构时，callback参数类型会自动同步，降低维护成本。

可选优化：保留字面量精确类型 #

如果需要保留param1中字面量的精确类型（比如不让5被推断为宽泛的number），可以给泛型添加const修饰符：

function createSomeInterface<const T>(obj: SomeInterface<T>): SomeInterface<T> {
  return obj;
}

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