TypeScript中never类型参数传入类型谓词函数无提示问题问询

type NumberOrString = number | string;

// 该类型谓词函数被故意写错，本应返回"arg is number"
// 假设开发者出现了失误
function isNumber(arg: NumberOrString): arg is NumberOrString {
    return true;
}

function isString(arg: NumberOrString): arg is string {
    return typeof arg === 'string';
}

function doSomething(arg: NumberOrString) {
    if (isNumber(arg)) {
        console.log('Argument is number');
    } else if (isString(arg)) { // <标记行>
        console.log('Argument is string');
    } else {
        console.log('We should not be here, but anyway...');
    }
}

问题分析 #

上述代码中，isNumber的类型谓词被错误定义为返回arg is NumberOrString——和参数的原始类型完全一致。此时TypeScript会推断if (isNumber(arg))的else分支中arg的类型为never，但调用isString(arg)时，编译器既没有抛出**never类型无法赋值给NumberOrString**的参数类型不匹配警告，也没有标记该分支为不可达代码。

相关TypeScript Bug #

你提到的两个仓库Issue对应以下问题：

• Issue #50363：当类型谓词断言的类型与输入参数的原始类型完全相同时，TypeScript无法正确进行类型收缩，导致后续分支的类型检查逻辑失效。
• Issue #49640：当类型谓词返回arg is T（其中T是参数的完整输入类型）时，编译器不会识别出该谓词的else分支为不可达代码，也不会触发相应的警告。

可行解决方法 #

1. 修复类型谓词（根本方案）
   把isNumber的返回类型修正为正确的arg is number，让TypeScript能正常进行类型收缩：

   function isNumber(arg: NumberOrString): arg is number {
       return typeof arg === 'number';
   }
   

2. 临时类型断言（Workaround）
   若暂时无法修改isNumber，可以在调用isString时手动断言参数类型，强制触发类型检查：

   else if (isString(arg as NumberOrString)) {
   

   但这种方法只是绕过问题，不如直接修复谓词规范。

3. 开启严格模式
   确保tsconfig.json中开启strict: true（包含strictNullChecks等选项），能提升TypeScript类型检查的整体敏感度，减少类似的类型推断漏洞。

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