使用由开关内的枚举值初始化的变量时出现编译错误

Question

Playground Link

我在使用 Playground 链接中提供的代码时遇到编译错误，我不明白为什么。

我正在创建一个具有枚举值的变量：

intellisense 告诉我，我的变量的类型是按预期推断的：ValidatorMessageState。就像将 true/false 分配给变量时一样，typescript 推断一个布尔值而不是 true 或 false 作为类型。

然后我切换它： 现在智能感知告诉我变量的类型已经改变，即使我在创建它和打开它之间什么也没做。 变量现在具有枚举值的类型，而不是枚举。

我发现另一件事很奇怪：如果我引入一些闭包，打字稿不会给我错误（我已经在操场上评论了这部分）

我想我在这里做错了什么，但我不明白是什么。谁能给我解释一下？

更新游乐场：Playground Link

Answer 1

这是一项功能，而不是错误 :)

这是打字稿在做control flow analysis。控制流分析仅在某些代码结构中开始发挥作用，例如 switch 语句。

一旦到达 switch 语句，typescript 编译器就会尝试缩小 maxStateEncoutered 的类型。在您的情况下，它只能是ValidatorMessageState.Error，因为这是唯一的分配。并且打字稿对此并没有错...如果您以某种动态方式分配变量（例如：返回ValidatorMessageState的函数），错误就会消失。

至于forEach 中的代码，打字稿无法推断闭包/回调中的代码。原因的要点是它不知道这段代码何时运行。当然，在forEach 中它会立即运行，但打字稿不知道该功能。在像addEventListener 这样的函数中，您传递的函数可以随时运行，而maxStateEncoutered 在此之前可能会发生变化，因此它不能再推断maxStateEncoutered 是特定类型ValidatorMessageState.Error。如果您将maxStateEncoutered 从let 更改为const，您也会在forEach 中看到此错误。