下面是一个简单的打字代码示例.
// Example Setup
declare var foo:{bar?: {baz: string}};
function immediate(callback: () => void) {
callback();
}
// Type Guard
if (foo.bar) {
console.log(foo.bar.baz); // ✅ It works!
immediate(() => {
console.log(foo.bar.baz); // ❌ TS error : 'foo.bar' is possibly 'undefined'.(18048)
});
}
foo.bar具有类型保护以确保它不是空值，实际上，foo.bar被推断为类型{baz: string}.
但是，我不知道为什么立即回调函数中会出现打字错误，说foo.bar可能是未定义的.导致此错误的原因是什么？
发生这种情况的原因是类型脚本不知道回调函数何时被调用，因此它不知道类型收缩是否仍然有效.任何任意代码都可以在这之间运行并对foo进行更改.
最简单的解决方案是将你正在判断的东西分配给const分.这样，TypeScrip就知道它不能更改，因此缩小文字范围必须仍然有效.
const temp = foo.bar;
if (temp) {
console.log(temp.baz);
immediate(() => {
console.log(temp.baz);
});
}
PS版本5.4( compose 本文时还处于测试阶段)改进了对一些类似案件的处理.但是Jcalztry 了您的 case ，它仍然会有这个问题.欲了解更多信息，请访问:https://devblogs.microsoft.com/typescript/announcing-typescript-5-4-beta/#preserved-narrowing-in-closures-following-last-assignments