0

TypeScript 本身没有“抽象”类。但是由于结构类型，接口有点弱。例如，不能断言x instanceof Y, whenY是一个接口。

但是我注意到，未在构造函数中初始化的类字段的行为已经有点像抽象属性：它出现在类的类型上，但除非实际分配它，否则它不存在运行时。这允许基类中的字段定义被子类中的属性定义“覆盖”，Y如下面的示例所示：

class X {
   // behaves somewhat like an abstract property
   i: number
}

class Y extends X {
   _i: number

   constructor () {
      super()
      this._i = 7
   }

   // Provide an "implementation" of i
   get i (): number {
      return this._i
   }

   set i (i: number) {
      this._i = i
   } 
}

另一方面Z，下面通过分配来使用继承的字段：

// This sub-class uses the inherited field.
class Z extends X {
   constructor () {
      super()
      this.i = 6
   }
}

如果我尝试X通过 a使用该字段new X，则该字段未定义。在 的情况下Y，将获取覆盖属性。在 的情况下Z，使用继承的定义。

function testProp (): void {
   var x: X
   x = new X
   console.log(x.i) // undefined
   x = new Y
   console.log(x.i) // 7
   x = new Z
   console.log(x.i) // 6
}

这是 TypeScript 中“抽象属性”的合理方法吗？我希望能够断言x instanceof X（排除使用接口X）之类的东西，到目前为止，这个成语似乎对我有用。

4

1 回答 1

1

您的解决方案停止工作的地方是当您注意到您可以开始分配给属性时......

var x: X = new X();
x.i = 5;
console.log(x.i);

这看起来不再抽象了。

为了防止这种情况，你可以开始使用这样的代码......

class Foo {
    get x(): number {
        return undefined;
    }

    set x(val: number) {
        // nothing
    }
}

但是，如果您对一大堆属性执行此操作，您的基类可能会开始膨胀。

于 2013-11-13T16:50:02.040 回答