TypeScript中不使用rest运算符，正确使用arguments并规避TS2554错误的方案

你遇到的这个场景确实很常见——既要保留arguments的轻量性（避免rest参数编译到ES5的额外代码），又要兼顾类型安全，还不想给每个调用加@ts-ignore。这里有几个可行的方案，不用修改调用处代码就能解决问题：

方案1：显式定义剩余参数类型，依赖压缩工具优化未使用变量 #

直接给函数添加剩余参数类型，但在实现里完全用arguments，不使用定义的参数变量：

function someFunc(...args: any[]): void {
  if (__DEV__) {
    // 直接使用arguments，args变量不会被引用
    this.someOtherFunc.apply(this, arguments);
  }
}

优点： #

• 代码改动最小，调用处无需任何修改，TS不会再报参数不匹配错误
• 因为args变量在函数体内未被使用，Terser等压缩工具会在构建时自动移除它的声明，最终ES5代码里不会有rest参数带来的额外代码
• 当__DEV__为false时，整个if块会被完全剥离，函数体为空

方案2：使用函数重载匹配不同环境的调用需求 #

通过重载定义两种调用签名，分别对应DEV和非DEV环境：

// DEV环境：允许传入任意数量的参数
function someFunc(...args: any[]): void;
// 非DEV环境：无参数要求
function someFunc(): void;

// 实现体保持不变，用arguments传递参数
function someFunc(): void {
  if (__DEV__) {
    this.someOtherFunc.apply(this, arguments);
  }
}

优点： #

• 类型定义更清晰，TS会根据当前环境自动匹配对应的重载签名
• 实现体完全不用rest参数，编译到ES5时不会生成额外代码
• 非DEV环境下如果误传参数，TS会直接报错（如果你希望严格控制非DEV的调用行为）

方案3：用条件类型动态切换函数类型 #

利用TypeScript的条件类型，根据__DEV__的编译时常量值，动态定义函数的参数要求：

// 根据__DEV__的值决定函数的参数类型
type SomeFuncType = typeof __DEV__ extends true 
  ? (...args: any[]) => void 
  : () => void;

// 实现函数并断言为对应的类型
const someFunc: SomeFuncType = function() {
  if (__DEV__) {
    this.someOtherFunc.apply(this, arguments);
  }
} as SomeFuncType;

优点： #

• 完全贴合你的环境变量逻辑，类型检查会严格跟随__DEV__的值变化
• 实现体无rest参数，编译产物干净
• 调用处的类型提示会根据环境自动调整

关键注意事项： #

确保__DEV__是编译时常量（比如通过Webpack的DefinePlugin、Vite的define配置，或者TS的compilerOptions.constants定义），这样TypeScript才能正确推断类型，压缩工具也能精准剥离DEV代码。

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