为何仅在Promise中初始化的表达式无法被调用？

问题场景 #

下面的TypeScript代码里，callback1和callback2都能正常调用，但callback3在Promise回调中赋值后，TypeScript会提示它不可调用，可这段代码在JavaScript环境里运行完全正常：

let callback1: null | (() => void) = () => {};
let callback2: null | (() => void) = null;
let callback3: null | (() => void) = null;

if (callback1 != null)
    callback1(); // 无报错

callback2 = () => {}
if (callback2 != null)
    callback2(); // 无报错

new Promise<void>(() => callback3 = () => {});

if (callback3 != null)
    callback3(); // 报错：This expression is not callable. Type 'never' has no call signatures.

对应的JavaScript运行结果符合预期：

let callback3 = null;
new Promise(() => callback3 = () => { console.log("It Works"); });
if (callback3 != null)
    callback3();

// 输出: It Works

原因分析 #

这不是TypeScript的bug，而是静态类型分析的局限性：
Promise的回调函数是异步执行的，在同步代码执行到if (callback3 != null)时，Promise的回调还没有被触发，TypeScript的静态检查会认为此时callback3仍然是初始的null值。当你用callback3 != null做判断时，TypeScript会推断“如果这个条件成立，那callback3的类型是never”——因为按同步逻辑它不可能被赋值为函数，所以会抛出“不可调用”的错误。

解决办法 #

1. 类型断言（快速解决）

直接通过类型断言告诉TypeScript此时callback3是可调用的函数：

if (callback3 != null)
    (callback3 as () => void)();

2. 改用异步逻辑（更规范）

既然是异步赋值，正确的做法是等待Promise完成后再使用变量，这样TypeScript能正确追踪类型：

(async () => {
    let callback3: null | (() => void) = null;
    await new Promise<void>(() => callback3 = () => {});
    if (callback3 != null)
        callback3(); // 无报错
})();

3. 放宽类型（不推荐）

如果暂时不想调整代码结构，可以用any或者更宽松的类型绕过检查，但会失去TypeScript的类型保护能力：

let callback3: null | (() => void) | any = null;

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