还有另一个“对象可能是‘未定义’”，但它真的不可能是
还有另一个“对象可能是‘未定义’”，但它真的不可能是
提问于 2020-04-21 20:24:23
TS用下面的代码报告了一个经典的"Object可能是‘未定义的’“错误，但是这个值不可能是未定义的。是什么导致了这个错误被报告？指向描述此行为的文档的链接将是很棒的！
const maybeTrue = Math.random() < 0.5;
let myStr;
if (maybeTrue) {
myStr = 'abc';
}
if (maybeTrue) {
console.log(myStr.toLowerCase()); // Error here, `myStr` possibly undefined
}Stack Overflow用户
发布于 2020-04-21 20:50:12
就像在操场剧本里看到的那样。报告的错误在let声明变量的方式上是明确的，但是它没有初始化，所以它是undefined。
然后从条件句中的赋值中推断字符串类型。
我不相信类型记录编译器可以推断在第二个条件中，变量是初始化的，是一个字符串。我看到了一些与GitHub相关的问题，很遗憾我找不到任何链接。
但我们可以在你提供的操场上测试它：
- 如果我们将变量初始化为空字符串，则错误将消失。
const maybeTrue = Math.random() < 0.5
let myStr = ""
if (maybeTrue) {
myStr = 'abc'
}
if (maybeTrue) {
console.log(myStr.toLowerCase())
}- 如果将
console.log语句移到第一个if，则不会报告错误。
const maybeTrue = Math.random() < 0.5
let myStr = ""
if (maybeTrue) {
myStr = 'abc'
console.log(myStr.toLowerCase())
}在这里查看一下：https://www.typescriptlang.org/docs/handbook/type-inference.html和https://www.typescriptlang.org/docs/handbook/advanced-types.html，以了解如何实现类型的更详细信息。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/61352579
复制相关文章
相似问题
腾讯云开发者
