TypeScript中如何实现具备类型安全性的类方法同义词？

问题背景 #

原生JS中通过apply+arguments实现方法别名的写法：

desc() {
  return this.description.apply(this, arguments)
}

在TypeScript中会完全丢失类型能力：arguments仅会被识别为通用的无类型类数组结构，既会触发TS类型报错，也没有参数校验、自动补全和返回值类型推断的能力。需要实现一个和原方法功能、类型100%对齐的别名，不需要手动维护两份重复的类型签名。

推荐实现（原型方法，无额外内存开销） #

通过TypeScript内置的Parameters、ReturnType工具类型，直接复用原方法的类型定义，原方法后续调整签名时，别名方法的类型会自动同步，不需要手动修改：

class Thing {
  _description: string
  description(new_desc: string): Thing {
    this._description = new_desc
    return this
  }

  // 别名方法
  desc(...args: Parameters<Thing['description']>): ReturnType<Thing['description']> {
    return this.description(...args)
  }
}

实现优势 #

• 完全对齐原方法的所有类型规则：包括参数类型、必填/可选属性、参数个数、返回值类型，类型检查行为和原方法完全一致
• 零额外维护成本：原方法签名调整时，别名不需要做任何修改，自动同步类型
• 方法挂载在类原型上，不会为每个实例生成额外的函数引用，内存占用特性和原方法完全一致

精简实现（实例属性形式） #

如果不介意别名作为实例属性存在（而非原型方法），可以直接通过bind绑定原方法引用，连函数体都不需要手写：

class Thing {
  _description: string
  description(new_desc: string): Thing {
    this._description = new_desc
    return this
  }
  // 自动推断完整类型
  desc = this.description.bind(this)
}

注意事项 #

这种写法的别名是实例属性，每个类实例会持有一份独立的函数引用，内存开销略高于原型方法，适合对性能不敏感的快速开发场景。

效果验证 #

两种实现都能达到和原方法完全一致的类型能力：

• 调用thing.desc('test')时，IDE会和description方法一样给出参数提示、返回值类型提示
• 传入错误类型参数（比如thing.desc(123)）、遗漏必填参数时，TypeScript会抛出和原方法完全相同的类型错误
• 完全兼容带有方法重载、可选参数的复杂原方法签名，不会丢失任何类型信息

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