typescript - 函数应返回非空参数的类型

Question

我有一个接受 x 的函数和 y .坐标之一始终是 null .另一个总是number .该函数返回非空坐标的值:x或 y .该函数总是返回一个数字。

function test({ x, y }: { x: null; y: number } | { x: number; y: null }): number {
  if (x === null) {
    // y should be recognized as 'number', but it is 'number | null'
    return y; // ERROR
  }
  return x;
}


test({x: null, y: 42 }); // 42

TypeScript Playground
是否可以将此函数的返回类型始终保持为 number ?

Answer 1

目前，TypeScript 推断 number | null两者都适用 x和 y因为它不会考虑从联合类型而来的它们之间的任何依赖关系。您可以通过不解构参数对象来稍微简化问题，这将允许 TypeScript 将其识别为 discriminating union并根据对 x 的检查缩小其类型(或 y):

function test(arg: { x: null; y: number } | { x: number; y: null }): number {
  if (arg.x === null) {
    return arg.y;
  }
  return arg.x;
}

TypeScript playground