TypeScript中的类型安全混音装饰器
我试图定义类型安全的mixin()装饰器函数，如下所示，
type Constructor<T> = new(...args: any[]) => T;
function mixin<T>(MixIn: Constructor<T>) {
return function decorator<U>(Base: Constructor<U>) : Constructor<T & U> {
Object.getOwnPropertyNames(MixIn.prototype).forEach(name => {
Base.prototype[name] = MixIn.prototype[name];
});
return Base as Constructor<T & U>;
}
}然后用在下面，
class MixInClass {
mixinMethod() {console.log('mixin method is called')}
}
/**
* apply mixin(MixInClass) implicitly (use decorator syntax)
*/
@mixin(MixInClass)
class Base1 {
baseMethod1() { }
}
const m1 = new Base1();
m1.baseMethod1();
m1.mixinMethod(); // error TS2339: Property 'mixinMethod' does not exist on type 'Base1'.然后，编译器说m1没有成员'mixinMethod'。
生成的代码如下，
//...
var Base1 = /** @class */ (function () {
function Base1() {
}
Base1.prototype.baseMethod1 = function () { };
Base1 = __decorate([
mixin(MixInClass)
], Base1);
return Base1;
}());
//...看来mixin装饰器的应用是正确的。
因此，以我的理解，m1的类型被推断为Base1 & MixIn。但是编译器说这只是Base1。
我使用tsc 2.6.2并使用--experimentalDecorators标志编译了这些代码。
为什么编译器不能像我预期的那样识别类型？
基于@jcalz的回答，我修改了代码如下，
type Constructor<T> = new(...args: any[]) => T
function mixin<T1, T2>(MixIns: [Constructor<T1>, Constructor<T2>]): Constructor<T1&T2>;
function mixin(MixIns) {
class Class{ };
for (const MixIn of MixIns) {
Object.getOwnPropertyNames(MixIn.prototype).forEach(name => {
Class.prototype[name] = MixIn.prototype[name];
});
}
return Class;
}
class MixInClass1 {
mixinMethod1() {}
}
class MixInClass2 {
mixinMethod2() {}
}
class Base extends mixin([MixInClass1, MixInClass2]) {
baseMethod() { }
}
const x = new Base();
x.baseMethod(); // OK
x.mixinMethod1(); // OK
x.mixinMethod2(); // OK
x.mixinMethod3(); // Property 'mixinMethod3' does not exist on type 'Base' (Expected behavior, Type check works correctly)这个效果很好。我想对可变长度混合类的这个mixin函数进行改进。
一个解决方案是添加重载函数声明，如下所示，
function mixin<T1>(MixIns: [Constructor<T1>]): Constructor<T1>;
function mixin<T1, T2>(MixIns: [Constructor<T1>, Constructor<T2>]): Constructor<T1&T2>;
function mixin<T1, T2, T3>(MixIns: [Constructor<T1>, Constructor<T2>, Constructor<T3>]): Constructor<T1&T2&T3>;但这太丑了。有什么好主意吗？在支持变种之前是不可能的吗？
回答 1
Stack Overflow用户
发布于 2018-01-22 00:57:11
装饰师不会像你期望的那样改变装饰类的类型签名。有一个“吉突布”中的冗长问题对此进行了讨论，目前还不清楚如何(或是否)实现这种突变。现在的主要问题是编译器将Base1理解为未修饰的类，并且没有修饰版本的名称。
从阅读Github问题来看，建议的解决办法(至少目前是这样)是这样的：
class Base1 extends mixin(MixInClass)(
class {
baseMethod1() { }
}) {
}因此，您不使用装饰器@表示法，而是直接将装饰器函数应用于匿名类(该类具有所需的Base1的相同实现)，然后对其进行子类化以获得Base1。现在编译器明白了Base1有一个baseMethod1()和一个mixinMethod()。
希望你觉得这有帮助。祝好运!
https://stackoverflow.com/questions/48372465
复制相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号