TypeScript声明带附加属性的函数时为何不能将const改为let？

namespace Calculus {
  type Func<T> = {
    (arg: T): T;
    delta: (arg: T) => T;
  };

  const f: Func<number> = (x) => x * x; // const cannot be changed to let, why?
  f.delta = (x) => 2 * x;
  console.log(`f(5) = ${f(5)} and f'(5) = ${f.delta(5)}`);
}

替换const为let会触发如下报错：

Property delta is missing in type (x: number) => number but required in type Func<number>。

该报错含义为：类型“(x: number) => number”中缺少必需属性delta，该属性是Func<number>类型的必填成员。

核心原因 #

这是TypeScript针对const声明的可调用对象（带额外属性的函数类型）的特殊类型校验规则导致的差异：

• const声明的变量不可被重新赋值，TS可以确定后续对变量的操作只有属性追加，不会替换整个值，因此允许先赋值纯函数作为初始值，只要在实际使用变量前补全所有必填的额外属性即可，初始化阶段不会报错。
• let声明的变量允许后续重新赋值，TS不会启用上述宽松校验规则，要求初始化赋值的内容必须完全匹配声明的类型。你初始化时传入的(x) => x * x只是普通的(number) => number类型，缺少Func<number>要求的必填delta属性，因此直接抛出类型错误。

兼容let的写法 #

如果需要用let声明，需要在初始化时就构造出完整符合类型要求的对象，可借助Object.assign一次性合并函数和额外属性：

let f: Func<number> = Object.assign(
  (x: number) => x * x,
  { delta: (x: number) => 2 * x }
)

这种写法下初始化值已经同时具备调用能力和delta属性，完全匹配Func<number>类型，不会报错。

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