如何确保switch语句后本地变量$offers已赋值？解决PhpStorm告警

问题场景 #

在PHP开发中，使用switch语句判断isTokenValid(getBearerToken())的返回值时，true和false分支都对$offers变量做了赋值，但PhpStorm仍提示$offers可能未定义。把false分支换成default分支后，告警就消失了。

原代码示例 #

function checkProduct($product, $retailerId){
    switch (isTokenValid(getBearerToken())){
        case true:
            $offers = getOffers($product, getBearerToken());
            break;
        case false:
            requestBearerToken();
            $offers = getOffers($product, getBearerToken());
            break;
    }
    if(!isBestOfferOurs($offers)){
        alertRetailer($product);
    }
}

修改后代码示例 #

function checkProduct($product, $retailerId){
    switch (isTokenValid(getBearerToken())){
        case true:
            $offers = getOffers($product, getBearerToken());
            break;
        default:
            requestBearerToken();
            $offers = getOffers($product, getBearerToken());
    }
    if(!isBestOfferOurs($offers)){
        alertRetailer($product);
    }
}

问题原因 #

PhpStorm的静态代码分析没办法100%确定isTokenValid()的返回值只有true和false两种情况。虽然从逻辑上该函数应该返回布尔值，但静态分析工具会考虑极端场景——比如函数意外返回null、字符串等非布尔值，这时switch的true和false分支都不会匹配，$offers就会处于未赋值状态，所以触发了告警。

改用default分支后，不管isTokenValid()返回什么值，都会进入default分支执行赋值操作，确保$offers始终被定义，告警也就消失了。

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