如何从外部模块为类声明新属性？已掌握声明合并扩展类方法

嘿，看你已经搞懂了用声明合并给外部类加方法的操作，现在想扩展到添加属性对吧？其实核心思路和加方法一致，但属性的运行时初始化是关键——毕竟方法挂在原型上就能直接用，但属性得确保实例上真的有这个值，不然会踩运行时的坑。

我拿你之前的Observable例子来一步步说：

第一步：声明新属性（类型层面） #

和添加方法一样，在模块声明的interface里新增属性定义就行，TypeScript会自动合并这个接口和原类的类型：

import { Observable } from "./observable";

// 模块声明，和原模块路径一致
declare module "./observable" {
    interface Observable<T> {
        // 新增一个必填的布尔属性
        isActive: boolean;
        // 新增一个可选的泛型属性，存缓存值
        cachedValue?: T;
    }
}

这一步完成后，TypeScript的类型检查就会认可这些属性，写代码的时候不会报“属性不存在”的错误了，但这只是类型层面的，运行时还没真正给实例加上这些属性。

第二步：运行时初始化属性 #

这部分分两种场景，选适合你的方案：

场景1：所有实例共享同一个属性值 #

如果你的属性是所有实例都共用的（比如默认状态），直接给类的原型赋值就行，和加方法类似：

// 给原型赋值，所有新创建的Observable实例都会继承这个属性
Observable.prototype.isActive = false;

⚠️ 注意：如果是对象、数组这种引用类型，千万别用这种方式！因为所有实例会共享同一个引用，修改一个实例的属性会影响所有实例，比如：

// 错误示范！所有实例会共享同一个数组
Observable.prototype.tags = [];

场景2：每个实例有独立的属性值 #

这是更常见的场景，需要在实例创建时初始化属性。我们可以通过包装原构造函数来实现：

// 先保存原来的构造函数，别弄丢了
const originalCtor = Observable;

// 重写构造函数，拦截实例创建过程
Observable = function<T>(...args: any[]) {
    // 调用原构造函数生成实例
    const instance = new originalCtor<T>(...args);
    // 给当前实例初始化新增的属性，每个实例都是独立的
    instance.isActive = false;
    instance.cachedValue = undefined;
    return instance;
} as typeof originalCtor;

// 还原原型链，保证原类的方法、属性都能正常使用
Observable.prototype = originalCtor.prototype;
Observable.prototype.constructor = Observable;

这样每次新建Observable实例时，都会自动带上独立的isActive和cachedValue属性，不会互相干扰。

场景3：可选属性按需赋值 #

如果你的属性是可选的（比如上面的cachedValue?），也可以不用提前初始化，在需要使用的时候直接给实例赋值就行，但要记得处理可能为undefined的情况：

const obs = new Observable<number>();
obs.cachedValue = 42; // 直接赋值，没问题
// 使用时要判断是否存在
if (obs.cachedValue) {
    console.log(obs.cachedValue);
}

最后提醒 #

一定要确保类型声明和运行时初始化对应上，不然会出现“类型检查通过但运行时报错”的情况——比如你声明了isActive是必填属性，但没初始化，运行时访问obs.isActive就会得到undefined，不符合你声明的boolean类型。

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