为什么TypeScript的类型保护在父作用域中的工作方式不同？

TypeScript的类型保护在父作用域中的工作方式与在子作用域中略有不同，这主要是由于TypeScript的类型推断和作用域规则。

类型保护的基本概念

类型保护是一种机制，允许你在运行时检查变量的类型，并根据检查结果缩小变量的类型范围。TypeScript提供了几种内置的类型保护，如typeof、instanceof和自定义类型保护函数。

作用域的影响

在TypeScript中，变量的作用域决定了其可见性和生命周期。父作用域和子作用域中的变量可能会有不同的类型推断结果，这会影响类型保护的行为。

1. 变量提升（Hoisting）

JavaScript中的变量提升可能导致在父作用域中声明的变量在子作用域中提前可见。TypeScript编译器会考虑这一点，并在类型推断时进行相应的调整。

function example() {
    if (typeof x === "number") {
        let y = x; // x 在这里被推断为 number 类型
    }
    console.log(y); // y 在这里不可见，因为它的作用域仅限于 if 块内
}

2. 块级作用域

TypeScript支持块级作用域，这意味着在块内声明的变量仅在该块内可见。这会影响类型保护的行为，特别是在嵌套块中。

function example() {
    let x: number | string;
    if (typeof x === "number") {
        let y = x; // x 在这里被推断为 number 类型
    } else {
        let y = x; // x 在这里被推断为 string 类型
    }
    console.log(y); // y 在这里不可见，因为它的作用域仅限于各自的 if 块内
}

3. 类型推断的上下文

TypeScript编译器会根据变量的使用上下文推断其类型。在父作用域中，变量的类型可能受到更广泛的上下文影响，而在子作用域中，变量的类型可能受到更具体的上下文影响。

function example(x: number | string) {
    if (typeof x === "number") {
        let y = x; // x 在这里被推断为 number 类型
    } else {
        let y = x; // x 在这里被推断为 string 类型
    }
    console.log(y); // y 在这里不可见，因为它的作用域仅限于各自的 if 块内
}

示例分析

考虑以下示例：

function example(x: number | string) {
    if (typeof x === "number") {
        let y = x; // x 在这里被推断为 number 类型
        console.log(y.toFixed(2)); // 正确，因为 y 是 number 类型
    } else {
        let y = x; // x 在这里被推断为 string 类型
        console.log(y.toUpperCase()); // 正确，因为 y 是 string 类型
    }
    console.log(y); // 错误，因为 y 在这里不可见
}

在这个例子中，变量y在各自的if块内被声明和推断为不同的类型。在父作用域中，y是不可见的，因为它的作用域仅限于各自的块内。