TypeScript中安全扩展Object原型的类型推断问题求解

问题根源在于原代码中via的类型是普通symbol，TypeScript无法将接口声明的[via]方法与这个特定Symbol绑定，导致调用时this被错误推断为Object，而非调用者的具体类型（比如number[]）。

正确的类型注解与实现方式 #

1. 将via声明为unique symbol类型，确保其唯一性，让TypeScript能准确识别对应的属性；
2. 实现原型方法时，利用this类型自动捕获调用者的具体类型，配合泛型完成正确的类型推断。

完整代码示例：

// 声明为unique symbol，保证类型唯一
const via: unique symbol = Symbol('via');

declare global {
  interface Object {
    // 绑定到特定unique symbol，this自动推断为调用者类型
    [via]<R>(cont: (self: this) => R): R;
  }
}

// 实现原型方法
Object.prototype[via] = function <R>(cont: (self: this) => R): R {
  return cont(this);
};

// 此时test被正确推断为number[]
const test = [1, 2, 3][via](x => x);

原理说明 #

unique symbol是TypeScript的特殊类型，每个unique symbol实例都是唯一的，不会与其他Symbol混淆。当接口中的属性键绑定到unique symbol时，TypeScript会将该方法与这个特定Symbol关联，调用时能精准推断出this的具体类型，进而让泛型R根据回调函数的返回值正确推导，最终得到符合预期的类型。

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