我使用了TypeScript Deep Dive中描述的穷举检查 与不是联合类型的类型相比,联合类型的穷举检查的工作方式似乎不同。为什么??例如,在下面的代码中,请注意,只有当我们断言x.kind为never时,exhaustivenessCheck1才能工作(不会在不应该输入error时输入error)。然而,只有当我们断言x是never时,exhaustive
改进这个问题 我正在处理一个带有typescript & next.js的项目,由于某些原因,函数参数的类型没有被检查。我在下面提供了一个代码示例,对于它,我希望函数调用会抱怨我提供了一个 而不是使用 ..。parse(expr: SExpr) {}
parse('123') // does not complain - compiles just fine 我以前从来没有遇到过这样的问题,并且尽