为何TypeScript中const声明effectCb正常，let却报错？

错误信息 #

类型“() => void”缺少“isRunning”属性，但该属性是“EffectCb”类型所必需的。ts(2741)

问题场景 #

使用const声明effectCb时TypeScript编译正常，但改用let声明就触发上述错误，已知解决方法，想了解背后的深层原因。

示例代码 #

type EffectCb = {
  (): void;
  isRunning: boolean;
}
export function effect(cb: VoidFunction) {
  
  // 用const声明：编译正常
  const effectCb: EffectCb = () => {
    if (effectCb.isRunning) {
      return;
    }
    effectCb.isRunning = true;
    let runningEffect: EffectCb | null = null;
    runningEffect = effectCb;
    try {
      cb();
    } catch (e) {
      console.error("ошибка произошла в еффекте!!!");
      throw e;
    } finally {
      runningEffect = null;
      effectCb.isRunning = false;
    }
  };
  effectCb.isRunning = false;
  effectCb();

  // 用let声明：触发TS2741错误
  let effectCb: EffectCb = () => {
    // 函数逻辑同上...
  };
  effectCb.isRunning = false;
  effectCb();
}

深层原因 #

核心差异在于TypeScript对const和let变量的类型校验逻辑不同：

• const声明的变量：类型信任与后续补全
  const声明的变量不可被重新赋值，TS能确定这个变量的引用自始至终都是最初的箭头函数对象。虽然箭头函数本身没有isRunning属性，但因为变量不会被替换，TS允许你后续为这个对象添加属性来满足EffectCb类型的要求——它信任你会完成属性补全，不会出现类型不匹配的风险。

• let声明的变量：初始值必须严格匹配类型
  let声明的变量可以被重新赋值，TS必须确保初始赋值的表达式本身就完全符合目标类型。箭头函数() => {}仅满足() => void的函数签名，完全不具备isRunning属性，不符合EffectCb的完整结构要求，因此直接触发类型错误。TS不会考虑你后续是否会添加属性，因为let变量随时可能被替换成一个完全不同的对象，无法保证后续修改能让它始终符合类型约束。

内容的提问来源于stack exchange，提问作者Александр Грибков