typescript - 如果另一个变量为 null，则一个变量必须有值

function makeUpdateParams(code: string | null, list: Array<{ version: number[] }>): [Error | null, number[] | null] {
  if (!code) return [new Error('code is empty'), null]
  return [null, list.flatMap(i => i.version)];
}

function updateVersion(versions: number[]) { }

function main() {
  const list = [{ version: [1, 2] }, { version: [3, 4] }];
  const searchParams = new URLSearchParams(window.location.search);
  const [err, params] = makeUpdateParams(searchParams.get('code'), list);
  if (err) return console.error(err);
  updateVersion(params); // TSC throws error here.
}

出错了：

Argument of type 'number[] | null' is not assignable to parameter of type 'number[]'.
  Type 'null' is not assignable to type 'number[]'.(2345)

如果从 makeUpdateParams 返回的 err 是 null，那么 params 必须 有值。但似乎 TSC 不知道这一点。我遗漏了什么？在这种情况下，我是否必须再次使用类型断言，比如 params as number[]，或用户自定义类型保护，或者非空断言操作符 params!？

TypeScript 游乐场

更新

TS 版本：4.5.5

答案＃1

将你的函数的返回类型更改为 [Error, null] | [null, number[]]:

function makeUpdateParams(code: string | null, list: Array<{ version: number[] }>): [Error, null] | [null, number[]] {
  if (!code) return [new Error('code is empty'), null]
  return [null, list.flatMap(i => i.version)];
}

function updateVersion(versions: number[]) { }

function main() {
  const list = [{ version: [1, 2] }, { version: [3, 4] }];
  const searchParams = new URLSearchParams(window.location.search);
  const [err, params] = makeUpdateParams(searchParams.get('code'), list);
  if (err) return console.error(err);
  updateVersion(params);
}

游乐场链接