如何在不修改原库文件时合并硬编码类属性的类型声明？

某第三方库的类型声明如下：

declare module lib.mod {
  export class Obj {
    constructor() {}
    data: {
      foo: any;
      bar: any;
    };
  }
}

实际使用时通过如下方式导入：

import * as lib from 'library';

const obj = new lib.mod.Obj();

发现obj.data实际包含未声明的baz属性，但无法修改原库声明文件，也无法短期内升级库。尝试通过声明合并扩展类型：

declare module 'library' {
  export module mod {
    export interface Obj {
      data: { baz: any; }
    }
  }
}

但触发TypeScript错误：

Subsequent property declarations must have the same type. Property 'data' must be of type '{ foo: any; bar: any; }', but here has type '{ baz: any; }'. ts(2717)

即使把data类型改为{ foo: any; bar: any; baz: any; }也会触发相同错误，新增无关属性则编译正常但无实际意义。由于原库未将data类型抽离为独立接口，常规声明合并无效，需要找到无需修改原库声明的解决方案。

方案1：局部类型断言 #

在需要访问baz属性的位置，直接对data进行类型断言，无需修改全局类型：

import * as lib from 'library';

const obj = new lib.mod.Obj();
// 临时断言为扩展后的类型
const data = obj.data as { foo: any; bar: any; baz: any };
console.log(data.baz);

如果需要多次使用，可以预先定义扩展类型：

import * as lib from 'library';

type ExtendedObjData = { foo: any; bar: any; baz: any };
const obj = new lib.mod.Obj();
(obj.data as ExtendedObjData).baz = 'test';

方案2：全局模块扩展（交叉类型法） #

利用TypeScript的交叉类型，在模块扩展中复用原data的类型并合并新属性，避免重复定义原类型：

declare module 'library' {
  export module mod {
    export interface Obj {
      // 交叉原data类型与新属性类型
      data: typeof Obj.prototype.data & { baz: any };
    }
  }
}

这样既保留原类型的foo和bar，又新增了baz，不会触发类型重复声明错误。

方案3：自定义类型包装 #

创建一个替换了data属性类型的新类型，通过类型断言将实例转为该类型：

import * as lib from 'library';

// 剔除原Obj的data属性，再合并扩展后的data类型
type ExtendedObj = Omit<lib.mod.Obj, 'data'> & {
  data: { foo: any; bar: any; baz: any };
};

// 将实例断言为扩展后的类型
const obj = new lib.mod.Obj() as ExtendedObj;
// 直接访问baz无类型错误
obj.data.baz = 123;

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