类型中的属性不可分配给基本类型中的相同属性 - Typescript 错误？

Question

Typescript 抱怨是因为在扩展时不知何故抽象属性的类型丢失了。 这是一个错误还是我做错了什么？

type A = {
    bar: number,
    krass: Array<string>,
}

abstract class Foo<T> {
    protected abstract arr: (keyof T & string)[];
}

class Bar extends Foo<A> {
    arr = ["bar", "krass"];
}

错误消息：

Property 'arr' in type 'Bar' is not assignable to the same property in base type 'Foo<A>'.
  Type 'string[]' is not assignable to type '("bar" | "krass")[]'.
    Type 'string' is not assignable to type '"bar" | "krass"'.

Answer 1

这不是错误。 这是设计使然。 派生类的成员不是根据基 class 进行上下文类型化的，因此 typescript 将根据您初始化的内容推断类型。 对此进行了讨论，但我认为它不会很快得到实施。

您可以在派生 class 中再次指定类型，或者您可以使用索引访问类型从基类 class 中获取类型：

class Bar extends Foo<A> {
    arr: Foo<A>['arr'] = ["bar", "krass"];
}

游乐场链接

Answer 2

三种可能的解决方案：如果您不介意（或实际上更喜欢）只读数组，您可以将其声明为readonly和as const ：

abstract class Foo<T> {
    protected abstract arr: readonly (keyof T & string)[];
}

class Bar extends Foo<A> {
    arr = ["bar", "krass"] as const;
}

否则，您需要在子类中添加类型注释：

abstract class Foo<T> {
    protected abstract arr: (keyof T & string)[];
}

class Bar extends Foo<A> {
    arr: (keyof A & string)[] = ["bar", "krass"];
}

或者您可以在基类的构造函数中设置此值，以便它由super调用根据上下文类型化：

abstract class Foo<T> {
    constructor(
        protected arr: (keyof T & string)[]
    ) {}
}

class Bar extends Foo<A> {
    constructor() {
        super(["bar", "krass"]);
    }
}