TypeScript指定方法类型时保留参数类型自动推断的方案

定义Foo类时，构造函数可传入一组方法，后续支持通过类实例调用这些方法（类会自动为方法附加额外功能）。方法被调用时，Foo类实例会被绑定为方法的this上下文，因此需要定义FooMethod类型约束这类方法的结构。
初始实现代码如下：

class Foo {
  public constructor(methods) {}
}

const myMethod: FooMethod<number> = function(value: number): number {
  return value
}

const myMethods = [myMethod]

const foo = new Foo(myMethods)

type FooMethod<T> = (this: typeof foo, ...args: any[]) => T

type MyMethodParameters = Parameters<typeof myMethod> // any[]

为常量myMethod标注FooMethod<number>类型后，通过Parameters<typeof myMethod>获取函数参数类型时，只能得到any[]，无法获取到实际定义的参数类型。

问题根源出在FooMethod的类型定义上：

• 类型里把参数列表写死为...args: any[]，当给变量显式标注这个类型时，TypeScript会直接以标注的类型为准，不会保留赋值右侧函数的实际参数类型信息，最终Parameters取到的自然是标注类型里的any[]。
• 另外定义里用typeof foo作为this类型存在循环引用问题，foo是Foo的实例，直接用Foo作为this类型即可。

核心思路是把参数列表也纳入泛型约束，避免写死参数类型，同时通过泛型自动推断保留完整的类型信息，不需要重复编写类型标注。

1. 调整FooMethod类型，新增参数泛型，支持携带完整的参数、返回值类型信息：

type FooMethod<TResult = any, TArgs extends any[] = any[]> = (this: Foo, ...args: TArgs) => TResult

2. 新增泛型辅助函数，自动推断传入方法的参数、返回值类型，同时完成this上下文和类型结构的校验，不需要手动给方法显式标注类型：

function defineFooMethod<TResult, TArgs extends any[]>(
  method: (this: Foo, ...args: TArgs) => TResult
): FooMethod<TResult, TArgs> {
  return method
}

3. 调整Foo类构造函数的泛型约束，支持自动推断传入方法集合的类型：

class Foo {
  public constructor<TMethods extends Record<string, FooMethod>>(methods: TMethods) {
    // 原有附加功能的逻辑保持不变
  }
}

调整后使用方式如下，不需要显式标注myMethod的类型，类型会自动推断，同时保留所有类型信息：

const myMethod = defineFooMethod(function(value: number): number {
  // 此处this会自动推导为Foo类型，有完整的类型提示
  return value
})

const myMethods = [myMethod]
const foo = new Foo(myMethods)

// 现在获取参数类型可以得到正确的[number]元组
type MyMethodParameters = Parameters<typeof myMethod> // [number]

如果一定要手动显式标注FooMethod类型，只需要传入第二个泛型参数指定参数元组即可：

const myMethod: FooMethod<number, [number]> = function(value: number): number {
  return value
}

但这种方式需要重复编写参数类型，冗余度较高，更推荐使用辅助函数自动推断的方案。

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