TypeScript中let/var存带Call Signatures的函数报错，const正常？

先明确你提到的Foo类型定义：

type Foo = {
  desc: string;
  (arg: string): void; // 调用签名
};

核心原因：TypeScript对可变变量（let/var）和不可变变量（const）的类型检查逻辑不同 #

• let/var的情况：
  因为let和var声明的变量是可重新赋值的，TypeScript会严格要求初始赋值必须完全匹配目标类型Foo。普通的函数字面量(arg: string) => void只具备调用签名，没有desc属性，所以不满足Foo的全部要求，触发TS2741错误。哪怕你后续打算给变量添加desc属性，TypeScript也不会认可——因为它无法保证你后续一定会执行这个操作，毕竟变量可以被重新赋值为其他不具备desc的函数。

• const的情况：
  const声明的变量引用不可改变（注意：如果是对象/函数，内部属性还是可以修改的）。TypeScript知道这个变量的指向不会变，所以允许你先赋值一个函数字面量，再通过foo.desc = "xxx"补充属性，或者直接用Object.assign创建同时包含调用签名和desc的对象：

  // 方式1：先赋值函数，再补属性
  const foo: Foo = (arg) => console.log(arg);
  foo.desc = "处理字符串的函数"; // 正常通过检查
  
  // 方式2：用Object.assign一次性创建符合类型的对象
  const foo: Foo = Object.assign((arg) => console.log(arg), { desc: "处理字符串的函数" });
  

  这时候TypeScript会确认，最终这个const变量的值会完全符合Foo类型，所以不会报错。

补充知识点：类型拓宽与上下文类型 #

let/var的类型会被自动拓宽，而const的类型是“窄化”的。对于指定了目标类型的const变量，TypeScript会利用上下文类型推断，把初始值当作目标类型的子类型处理，允许后续补充必需的属性；而let/var因为可变性，不允许这种“增量式”的类型匹配，必须初始值就完全达标。

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