TypeScript类型检查无法识别if语句中的函数调用问题

这是TypeScript的已知局限性，不是你的写法错误。普通函数返回boolean时，TypeScript无法将函数内部的校验逻辑与参数的类型关联起来，因此无法自动收窄参数类型。

要解决这个问题，你需要把isValidAirplane改成类型守卫函数，通过**类型谓词（Type Predicate）**明确告诉TypeScript：当函数返回true时，参数符合Airplane类型。

修复后的代码示例 #

type AirplaneDTO = {
    color?: string|null
    owner?: string|null
}

type Airplane = {
    color: string
    owner: string
}

// 使用类型谓词 `airplane is Airplane` 定义类型守卫
function isValidAirplane(airplane: AirplaneDTO): airplane is Airplane {
    // 根据你的需求选择校验逻辑：
    // 1. 排除null/undefined，但允许空字符串：
    return airplane.color != null && airplane.owner != null;
    
    // 2. 仅保留非空字符串（排除null/undefined/空字符串）：
    // return typeof airplane.color === 'string' && airplane.color !== '' && 
    //        typeof airplane.owner === 'string' && airplane.owner !== '';
}

function getValidAirplane(airplane: AirplaneDTO): Airplane|undefined {
    if (!isValidAirplane(airplane)) {
        return;
    }
    // 此时TypeScript会自动将airplane收窄为Airplane类型，无需手动重构对象
    return airplane;
}

关键说明 #

• 类型谓词airplane is Airplane是核心：它让TypeScript理解，当函数返回true时，输入参数的类型可以被断言为Airplane。
• 校验逻辑需要和类型谓词匹配：确保返回true时，airplane的color和owner确实是string类型（根据你的业务需求调整校验规则）。
• 修复后无需手动重构对象：直接返回通过校验的airplane即可，TypeScript会自动识别其类型。

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