Typescript 类扩展自其他类不能用作接口属性

Question

我正在写一个对象接口，其中一个是一个属性值是一个类。但是 ts 编译器会当这个类扩展其他类时抛出异常。

这是一个简单的例子：

class Base {
    key: string
}

class Foo extends Base { }

interface Obj {
    list: Foo[]
    value: Foo
}

const obj: Obj = {
    list: [new Foo()],
    value: Foo // < Throws error here
}

错误内容：

Property 'key' is missing in type 'typeof Foo' but required in type 'Base'.ts(2741)
test.ts(39, 5): 'key' is declared here.
test.ts(51, 12): Did you mean to use 'new' with this expression?

当我删除 Foo 中的扩展时，错误消失了：

class Foo { } // < delete extends here

interface Obj {
    list: Foo[]
    value: Foo
}

const obj: Obj = {
    list: [new Foo()],
    value: Foo // < No error throw
}

据我了解，Foo 是从Base 扩展而来的，因此它应该在Base 中包含相关属性，但编译器告诉我它没有。

那么有什么办法可以解决这个问题吗？

泛型错误

还有一个问题。当我在Obj 上使用泛型时，因为有多种类型扩展Base。像这样：

class Foo extends Base { }

class Bar extends Base { }

interface Obj<T extends Base> {
    list: Foo[]
    value: typeof T // < Throws error here
}

const obj: Obj<Foo> = {
    list: [new Foo()],
    value: Foo 
}

编译器会抛出如下异常：

'T' only refers to a type, but is being used as a value here.

有没有办法让泛型定义更完整一点？

我使用的版本

• 节点12.16.1
• 打字稿3.8.3和4.3.4

Answer 1

key 是您班级 Base 中的必填字段。这就是为什么那个错误。您可以将属性 key 设为可选或在 Base 和 Foo 中编写构造函数。

将key 属性设为可选：

class Base {
    key?: string
}

class Foo extends Base { }

interface Obj {
    list: Foo[]
    value: Foo
}

const obj: Obj = {
    list: [new Foo()],
    value: new Foo()
}

制作key 强制属性：

class Base {
    key: string

    constructor(key: string) {
        this.key = key;
    }
}

class Foo extends Base {
    constructor(key: string) {
        super(key);
    }
}

interface Obj {
    list: Foo[]
    value: Foo
}

const obj: Obj = {
    list: [new Foo()],
    value: new Foo()
}

另外，obj 初始化应该为属性value 做new Foo() 或Obj 接口内的value 的类型应该是typeof Foo。

Answer 2

Obj 接口中的

value 是Foo 类的实例，而不是类本身。因此，将value 属性为Foo 类的对象分配给接口类型的变量是错误的。您应该将value 设置为Foo 的一个实例（例如new Foo()，这是编译器错误消息所暗示的），或者如果您真的打算使用Foo，请在Obj 中声明value: typeof Foo。

Foo 不扩展 Base 时这种方法起作用的原因是 TypeScript 的结构类型：Foo 没有任何属性，因此 任何 对象，包括一个类，都可以分配给该类型的变量，即使它在运行时可能不是Foo 的实际实例。

针对有关泛型的附加问题：

typeof T 在T 是类型参数时无效，因为T 不必是类。它可以是在结构上与Base 兼容的接口，并且接口没有可以用typeof 检索其类型的“接口对象”。您可以使用Obj 的这个定义，它有效，但需要在使用站点使用typeof：

interface Obj<T extends new (...args: any[]) => Base> {
    list: Foo[],
    value: T
}

const obj: Obj<typeof Foo> = {
    list: [new Foo()],
    value: Foo
}