在 Dart 中将类型定义为“Comparable”

Question

这个问题可能源于对 Dart 中的 OOP 理解不足，但无论如何：

我一直在从事一个项目，我的一个基类从dart:collections 扩展了ListBase。在某些情况下，我遇到能够获取这些类似 List 的对象的排序索引（无需实际对它们进行排序），这很有用。

作为一个父类，我有类似的东西（高度简化）：

abstract class A<T> extends ListBase<T> {
  List<T> internalList;
  List<int> orderedIndices();

  ...

}

一个示例后代是这样的：

class B extends A<num> {

  ...

  @override
  List<int> orderedIndices() => new List<int>.generate(
    internalList.length,(i) => i)..sort(
      (i, j) => internalList[i].compareTo(internalList[j]));
}

例如，如果B 的实例将[1, 5, 2, 4, 3] 作为其internalList，则orderedIndices 将按预期返回[0, 2, 4, 3, 1]。

我想将实现orderedIndices 的代码放入类A 的定义中，因为只要指定的类型T 是A 的任何后代，它都是相同的Comparable（即定义了compareTo）。但是，我不知道如何做到这一点，因为在不知道 T 类型的情况下，Dart 无法知道 T 实例是否确实是 Comparable 并且如果我尝试输入代码，就会对 compareTo 咳嗽在A的定义中。

虽然它会起作用，但我反对将代码复制并粘贴到同一类的后代中的想法......有什么方法可以告诉 Dart 在我对 A 的定义中 T 将是Comparable?

Answer 1

如果您想将T 的A 限制为可比较的类型。这是通过限制T 来完成的：

abstract class A<T extends Comparable<T>> extends ListBase<T> {
  ...
  List<int> orderedIndices() => new List<int>.generate(
    internalList.length,(i) => i)..sort(
      (i, j) => internalList[i].compareTo(internalList[j]));
  ...

如果不是所有版本的A 都具有可比性，那么您就不能这样做。然后你可以创建一个A 的辅助子类，即：

abstract class ComparableA<T extends Comparable<T>> extends A<T> {
   List<int> orderedIndices() => new List<int>.generate( ....
   ...
}

然后您可以在可能的情况下使用class B extends ComparableA<num> ... 来共享比较行为，而直接扩展A 的类将需要自己实现该方法。

最后，您可以将 orderedIndices 的规范更改为：

List<int> orderedIndics(int Function(T, T) compare) {
  return List.generate(internalList.length,(i) => i)..sort(
      (i, j) => compare(internalList[i], internalList[j]));
}

然后您可以选择每次调用如何比较internalList 的元素。如果T 是Comparable，则可以使用Comparable.compare 作为实现。