如何强制参数与 static 具有与 object 相同的具体类型？

Question

我有一个连接到 Firestore 数据库的 Flutter 应用程序。 我有一个对象层次结构，例如抽象基类 class Vehicle ，以及Car 、 Truck等子类。这些类型的对象存储在数据库中。 由于 Firestore 的工作方式，最好让这些类不可变，即让它们本质上代表概念 object 的快照，而不是可变的 object 本身。

当我想更新数据库中的Vehicle object 时，我不希望Vehicle的用户（即我代码的其他部分）必须将更新指定为动态 map，例如 vehicle.update vehicle.update({"speed": 42, "color": "red"}) ，因为这会禁用字段名称和类型的 static 检查。 相反，我认为最好的方法是让用户创建他们想要的新快照，例如car.setInDB(updatedCar) 。 在幕后，这只是在 Firestore 中的相应文档引用上调用.set() 。 由于实现在Vehicle的所有子类上都是相同的，因此可以考虑将方法添加到Vehicle ：

abstract class Vehicle {
  Future<void> setInDB(Vehicle updated) 
      => database.set(this.dbLocation, updated)
}

但是，此方法的用户不应将某些具体类型的车辆与其他具体类型的车辆设置在一起。 即，一辆卡车只能用另一辆卡车快照更新，而不是汽车快照。 这已经通过 Firestore 规则在运行时强制执行，但我宁愿静态检查它。

我想到了这些选项：

1. 使用covariant关键字并使子类覆盖具有相应类型的setInDB方法。

    abstract class Vehicle { Future<void> setInDB(covariant Vehicle updated) => database.set(this.dbLocation, updated) }

    class Car extends Vehicle { @override Future<void> setInDB(Car updated) => super.setInDB(updated) }

   这样做的问题是，如果我添加一个新的子类，我可能会忘记重写该方法。 此外，用户可以执行vehicle.setInDB(otherVehicle) ，其中vehicle具有 static 类型Vehicle ，并且将在运行时再次检查otherVehicle的正确性。

2. 仅将setInDB方法添加到具有正确类型的Vehicle的具体子类：

    abstract class Vehicle { }

    class Car extends Vehicle { Future<void> setInDB(Car updated) => database.set(this.dbLocation, updated) }

    class Truck extends Vehicle { Future<void> setInDB(Truck updated) => database.set(this.dbLocation, updated) }

   等等 这种方法的问题是代码重复，因为实现在任何地方都是一样的。

还有其他选择吗？

Answer 1

• Dart 2.19 添加了对@mustBeOverridden注释的分析器支持，您可以将其添加到基本 class 方法中。 如果派生的 class 忽略覆盖它，那么分析器将发出警告。 （然而，在撰写本文时， package:meta的新版本尚未发布以添加该注释，但据推测它很快就会发布。）有关更多详细信息，请参阅https://github.com/dart-lang/ SDK/问题/30175 。

• 从 C++ 中借用奇怪的重复模板模式，并将其应用到 Dart generics，方法是使派生类扩展（或混入）在派生 class 上参数化的通用基类 class。例如，我认为您可以这样做：

   abstract class Vehicle<DerivedVehicle extends Vehicle<DerivedVehicle>> { Future<void> setInDB(DerivedVehicle updated) => database.set(this.dbLocation, updated) } class Car extends Vehicle<Car> { } class Truck extends Vehicle<Truck> { }

  现在Car().setInDB()应该需要一个Car参数，而Truck().setInDB()应该需要一个Truck 。