TypeScript：如何在固定接口的泛型函数实现中指定具体类型？

问题1：实现时指定泛型ARGS为number类型 #

你定义的TestInterface中，testFuncInObj是函数级泛型方法，它要求该方法能处理任意类型的ARGS。如果必须遵循接口定义，同时想让实现仅处理number类型，只能通过类型断言绕过TS的类型检查——直接写仅接受number的函数会不兼容接口要求的泛型方法。示例代码：

const testObj: TestInterface = {
  testFuncInObj: ((args: number) => args) as TestInterface['testFuncInObj']
};

注意：这是编译期的妥协方案，运行时若传入非number类型参数会出错，需确保调用方只会传入number类型。

问题2：解决args不存在data属性的报错 #

TS报错是因为泛型ARGS没有约束，TS无法确定args一定包含data属性，以下是几种常见解决方式：

方式1：类型断言直接指定args类型 #

如果业务上能确定传入参数一定带有data属性，可通过类型断言告知TS：

const testObj: TestInterface = {
  testFuncInObj: (args) => {
    return {
      ...args,
      data: (args as { data: unknown }).data,
    }
  },
};

方式2：类型守卫做运行时检查 #

若不确定参数是否包含data，可添加类型守卫做判断，同时处理两种情况：

const testObj: TestInterface = {
  testFuncInObj: (args) => {
    if ('data' in args) {
      return {
        ...args,
        data: args.data,
      }
    }
    // 无data属性时返回原参数，或根据业务需求抛出错误
    return args;
  },
};

方式3：给实现函数加泛型约束再断言 #

如果想在实现时给泛型添加约束，再转换为接口要求的类型：

const testObj: TestInterface = {
  testFuncInObj: (<T extends { data: unknown }>(args: T) => {
    return {
      ...args,
      data: args.data,
    }
  }) as TestInterface['testFuncInObj']
};

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