为什么打字稿不能推断表达式的类型

Question

为什么其中一个 sn-ps 给出 TSC 错误而另一个不给出？ 它们都产生相同的结果。 nameParts 是一个字符串数组。

  if(nameParts[nameParts.length-1]){

    //error: Type 'string | undefined' is not assignable to type 'string'.
    //   Type 'undefined' is not assignable to type 'string'.
    const lastName:string = nameParts[nameParts.length-1];

  }



  const lastWord = nameParts[nameParts.length-1];
  if(lastWord){
    const lastName:string = lastWord;
  }

Answer 1

TypeScript 在分析深度上有实际限制。使用const 声明，很容易看出lastWord 不会是undefined，但没有它，TypeScript 需要记住它在nameParts[nameParts.length-1] 上看到了守卫，并且没有可能更改的干预代码nameParts[nameParts.length-1]（通过分配给它，使用pop，使用shift，等等等等）。为避免使编译器过于复杂和/或过于缓慢，它在分析中并没有走得太远——尤其是因为如果您愿意，您可以使用 const 的第二种方法。