TSConfig关闭strict模式后RxJS代码类型错误的原因与解决方案咨询

问题场景 #

以下代码在strict模式下运行正常，但关闭strictFunctionTypes后，this.bar = x行会出现类型错误：

import { of, tap, ignoreElements } from 'rxjs';
export class C {
  private bar: number[] = [];
  public foo() {
    return of([1]).pipe(
      tap((x) => (this.bar = x)),
      ignoreElements()
    );
  }
}

报错信息：

• Type 'unknown' is not assignable to type 'number[]'.
• Type '{}' is missing the following properties from type 'number[]': length, pop, push, concat, and 26 more.

行为是否符合预期？ #

是，这是TypeScript关闭strictFunctionTypes后的预期行为。

当strictFunctionTypes关闭时，TypeScript采用函数参数双向协变的检查规则，类型推断会变得宽松。而ignoreElements的类型签名是OperatorFunction<unknown, never>，在非严格模式下，这个unknown会导致上游的number[]被向下兼容为unknown，进而让tap回调的参数x被推断为unknown，最终赋值给number[]类型的this.bar时触发错误。

而开启strictFunctionTypes时，TypeScript使用严格的函数参数逆变检查，确保操作符链的类型从上游到下游正确传递，因此tap的参数x能被正确推断为number[]。

推荐解决方案 #

最优方案：显式指定tap回调的参数类型 #

直接给tap的箭头函数参数x标注类型，明确告知TypeScript参数的预期类型，避免依赖不稳定的推断：

tap((x: number[]) => (this.bar = x))

替代方案：给ignoreElements指定泛型参数 #

强制ignoreElements适配上游的number[]类型，确保操作符链的类型传递正确：

ignoreElements<number[]>()

不推荐的方案 #

• 添加空tap()：属于hack手段，无实际逻辑意义，仅为绕过类型检查
• 移除ignoreElements()：会改变Observable的原有行为（不再忽略next通知），违背代码设计意图

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