TypeScript中是否支持提前返回式类型守卫？

我习惯在函数里用提前返回的写法避免代码嵌套，让核心逻辑放在末尾且无嵌套，以此提升可读性和可维护性，但TypeScript的类型检查器好像不买账。

比如下面这段代码会触发类型检查错误，提示cupcake_name可能不是dessert的属性：

function what_kind_of_cupcake(dessert: Cupcake | Cookie){

    if (dessert instanceof Cupcake === false) return 

    console.log(dessert.cupcake_name)

}

但换成嵌套if的写法就能正常通过检查：

function what_kind_of_cupcake(dessert: Cupcake | Cookie){

    if (dessert instanceof Cupcake) {
        console.log(dessert.cupcake_name)
    }

}

我清楚两种写法在运行层面都没问题，只是想搞明白：类型检查器是怎么理解这两种写法的？能不能修改TSConfig来支持提前返回的编码风格？目前我会用as强制类型转换绕过检查，但不想一直这么做：

function what_kind_of_cupcake(dessert: Cupcake | Cookie){

    // 此时dessert的类型不确定，可能是Cupcake或Cookie
    if (dessert instanceof Cupcake === false) return

    // 重新转换类型？
    dessert = dessert as Cupcake

    console.log(dessert.cupcake_name)
}

类型检查器对两种写法的逻辑判断 #

TypeScript靠控制流分析跟踪变量在不同代码路径中的类型变化：

• 嵌套if的写法：当代码进入if (dessert instanceof Cupcake)的代码块时，TypeScript能明确判断此时dessert的类型是Cupcake，所以允许直接访问cupcake_name。
• 提前返回的写法：早期TypeScript版本对if (xxx === false) return这类反向判断的类型收窄支持不足，但在TypeScript 3.7及以上版本中，已经原生支持这种反向收窄逻辑了。如果你的代码还报错，优先检查TS版本是否过低。

是否需要修改TSConfig？ #

不需要调整TSConfig，只要把TypeScript升级到3.7及以上版本，这种提前返回的写法就能自动通过类型检查。如果版本没问题还是报错，大概率是你的类型定义有问题——比如Cupcake和Cookie是接口而非类，instanceof无法用于接口的类型收窄（因为接口是编译时概念，不存在运行时实例）。

不用as的替代解决方案 #

如果是接口类型的场景，可以用类型谓词实现提前返回的类型收窄：

// 定义类型谓词函数，明确判断类型
function isCupcake(dessert: Cupcake | Cookie): dessert is Cupcake {
    return (dessert as Cupcake).cupcake_name !== undefined;
}

function what_kind_of_cupcake(dessert: Cupcake | Cookie){
    if (!isCupcake(dessert)) return;
    console.log(dessert.cupcake_name); // 此处dessert自动被收窄为Cupcake类型
}

如果是类类型的场景，确保TS版本足够，直接用if (!(dessert instanceof Cupcake)) return就能自动完成类型收窄，不需要额外的类型转换。

内容的提问来源于stack exchange，提问作者Grant Thorshov