打字稿：“关注”条件类型

Question

Typescript 有什么方法可以推断出b 也属于U extends Foo ? string : number 类型？如果a 是U extends Foo ? string : number 类型，那么在真正的分支中向字符串添加一个数字将导致字符串。在 false 分支中，将一个数字添加到 number 最终将成为一个数字。因此，我希望b 的类型也可以推断为U extends Foo ? string : number。或者这是一个错误的假设？

当我运行下面的 sn-p 时，出现以下错误：

运算符 '+' 不能应用于类型 'U extends Foo ？字符串：数字'和'数字'。（2365）

interface Foo {
  propA: boolean;
  propB: boolean;
}

declare function f<T>(x: T): T extends Foo ? string : number;

function foo<U>(x: U, d: number) {
  const a = f(x);
  const b = a + 2;
}

Playground Link

Answer 1

Typescript 在这里报错不是因为 Javascript 代码在运行时会失败，而是因为根据类型注释，这段代码有时会进行字符串连接，有时会进行算术运算，这通常意味着程序员犯了错误。

当你写+ 时，你几乎总是打算要么它意味着字符串连接，要么你打算它意味着算术，但你很少打算它可能意味着两者。因此，这是一个警告代码可能错误的错误。

如果你真的想要一个+，它有时会进行字符串连接，有时会进行算术运算，你可以在该行之前添加一个@ts-ignore 注释。这类似于Java中的@SuppressWarnings；您是在告诉编译器不要警告您通常表明错误的事情，因为在这种情况下这不是错误，您不需要编译器警告您。

function foo<U>(x: U, d: number) {
  const a = f(x);
  // @ts-ignore
  const b = a + 2;
}

Answer 2

该问题与 TS 中 + 运算符的严格行为有关。 TS 绝不允许在结果可能超过主要类型string 或主要类型number 的情况下使用+。函数foo 以这样的方式使用+，结果类型是联合string | number，因为函数是多态的，如果参数x 扩展Foo，那么如果不是@，我们将得到string 987654332@。

在f 级别呈现的条件类型不会评估为foo 中的最终类型，不是，因为我们在此级别有类型变量U。如果在下面的示例中明确给出类型，它将被评估为特定类型：

// types provided directly
const x =  f(1) // number
const y = f({propA: true, propB: false}) // string

function inside<U>(a:U) {
  const x =  f(a) // T extends Foo ? string : number // not evaluated
  return x + 1; // error
}

function insideButExactBranch<U extends Foo>(a:U) {
  const x =  f(a)
  return x + 1; // ok no error
}

在foo 中，我们仍然使用未知的U，这就是为什么f 的结果被认为是任何可能的，这意味着-string | number。如果是这样，+ 将无法编译。

换句话说-TS无法评估f函数的结果，因此它从条件类型中获取所有可能的返回类型，这意味着联合string | number。更多关于为什么在 TS 中使用 + 受到限制 - Why TypeScript restricts + operator