RxJS中combineLatest搭配startWith如何保留正确类型推断？

问题核心是TypeScript默认会把startWith传入的数组参数推断为(string | number)[]联合类型数组，而非combineLatest原本输出的[string, number]元组类型，导致后续map操作里的变量类型被混淆成string | number。以下两种方法可以在保留startWith的前提下修复类型推断：

方法一：显式指定startWith的泛型元组类型 #

通过给startWith指定明确的元组泛型，强制TypeScript识别参数的类型结构：

const data_1$ = new Subject<string>();
const data_2$ = new Subject<number>();

viewModel$ = combineLatest([data_1$, data_2$])
  .pipe(
    startWith<[string, number]>(["hello", 1]),
    map(([data_1, data_2]) => {
      return { data_1, data_2 }; // data_1: string，data_2: number
    })
  );

方法二：使用as const断言锁定元组类型 #

用as const把startWith的参数断言为只读元组，让TypeScript保留其精确的类型信息：

const data_1$ = new Subject<string>();
const data_2$ = new Subject<number>();

viewModel$ = combineLatest([data_1$, data_2$])
  .pipe(
    startWith(["hello", 1] as const),
    map(([data_1, data_2]) => {
      return { data_1, data_2 }; // 类型推断完全正确
    })
  );

两种方案本质都是让startWith输出的类型和combineLatest的输出类型对齐，这样map操作就能沿用最初的正确类型推断。

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