从继承自基本类型的类列表中返回 T 类型的项目 - Typescript

Question

我有一个类 (Foo) 用于保存项目列表，所有项目的列表都继承自一个基类型 (IBar)，这个列表可以包含任意数量的这些项目。

我遇到的问题是我试图在 Foo 上创建一个 get 方法，该方法采用仅限于从 IBar 继承的类型的泛型类型。

我目前拥有的接口和类是：

interface IBar {
  bar : string;
}

interface IFizz extends IBar {
  buzz : string;
}

class Foo {

  get<T extends IBar>() : T {
    var item = this.list[0];
    return item;
  }

  list : Array<IBar>;
}

我尝试运行的代码是：

var foo = new Foo();
var item = foo.get<IFizz>();

我在上面知道列表是空的，但这更多是为了让 Typescript 编译器不显示错误。调用 foo.get 的行很好并且没有错误，问题是 get 方法本身。 我从上面得到的错误是“类型'IBar'不可分配给类型'T'”。

如果查看 C# 作为参考，上述方法会起作用（我相信），并且欢迎任何书面示例来帮助我解决这个问题。

谢谢

Answer 1

上面的代码在 C# 中也不起作用。两种语言都试图阻止您这样做，因为这不是类型安全的。考虑以下代码：

class Foo {
    get<T extends IBar>() : T {
        var item = this.list[0];
        return item;
    }

    list : Array<IBar> = [ new OneClass() ];
}

var foo = new Foo();
var item = foo.get<AnotherClass>();

OneClass 和AnotherClass 都实现了IBar，但list[0] 的类型为OneClass，但调用者请求AnotherClass 的实例。因此，如果编译器允许您编写的代码，您将得到 item 类型为 AnotherClass 但持有 OneClass 的实例，这可能会导致运行时错误。

就像在 C# 中一样，您可以强制 typescript 编译器让您使用类型断言（或类似的 C# 中的强制转换）来执行此操作。尽管您可以这样做，但您应该有另一种机制来确保数组中的项目实际上是 T 的正确类型：

class Foo {
    get<T extends IBar>() : T {
        var item = this.list[0];
        return item as T;
    }
    list : Array<IBar> = [];
}

var foo = new Foo();
var item = foo.get<IFizz>();

Answer 2

您试图断言索引 0 处的项目是 IFizz，而不仅仅是 IBar；鉴于Foo 的声明不能静态保证，它只能在运行时使用特定数据为真。虽然您可以断言它 (return item as T;)，但这只是隐藏了问题：当代码实际运行时，索引 0 处的项目可能不是 IFizz。

如果列表将包含IFizz，则应声明这样做。如果它要包含任何类型的IBar，则应该声明它这样做，并且任何将它用于IFizz 实例的代码都负责确保这是真的。

相反，Foo 应使用 IBar 的实际类型参数化，它将包含：

class Foo<T extends IBar> {

  get() : T {
    var item = this.list[0];
    return item;
  }

  list : Array<T>;
}

然后

var item = foo.get();