如何解决禁止使用不同泛型实现相同接口的新 Dart 更改？

Question

出于必要，我的代码相当复杂。我试图简化我正在处理的对象系统的整体布局，以便（希望）使其更易于理解。

abstract class BaseType {}

abstract class MixinTypeA implements BaseType {}

abstract class MixinTypeB<T extends MixinTypeA> implements BaseType {
  Future<T> mixinMethod({bool argA = true,
      bool argB = true,
      bool argC = true}) =>
    someMethodCall()
}

abstract class BaseTypeA extends BaseType implements MixinTypeA {
  // declares a constructor
  BaseTypeA();
}

abstract class BaseTypeB extends BaseType implements MixinTypeB {
  // declares a constructor
  BaseTypeB();
}

abstract class TypeA extends BaseTypeA {}

class TypeB extends BaseTypeB with MixinTypeB<TypeA> {}

在这种情况下，TypeB 会产生错误。这是因为它试图混入MixinTypeB<TypeA>。因为 TypeB 已经扩展了BaseTypeB，它使用推断的<MixinTypeA> 泛型实现了MixinTypeB，所以MixinTypeB 接口使用两个不同的（尽管通过继承相关）接口实现了两次：TypeA 和MixinTypeA。

本质上，T 泛型的存在是为了让我的代码保持干燥。 MixinTypeB 中的方法示例是该类可能具有的具有特定类型签名T 的各种潜在方法之一。我不知道如何在不损害这种类型系统的继承结构的情况下绕过新的限制。

Answer 1

一般来说，最常见的解决方案是通过层次结构将泛型线程化以使类型对齐。对于此特定示例，以下代码有效。

abstract class BaseType {}

abstract class MixinTypeA implements BaseType {}

abstract class MixinTypeB<T extends MixinTypeA> implements BaseType {
  Future<T> mixinMethod({bool argA = true,
      bool argB = true,
    bool argC = true}) => null;
}

abstract class BaseTypeA extends BaseType implements MixinTypeA {
  // declares a constructor
  BaseTypeA();
}

abstract class BaseTypeB<T extends MixinTypeA> extends BaseType implements MixinTypeB<T>{
  // declares a constructor
  BaseTypeB();
}

abstract class TypeA extends BaseTypeA {}

class TypeB extends BaseTypeB<TypeA> with MixinTypeB<TypeA> {}

如果您不需要将BaseTypeB 与MixinTypeB 的任何其他实例混合在一起，那么以下更简单的方法也可以工作：

abstract class BaseType {}

abstract class MixinTypeA implements BaseType {}

abstract class MixinTypeB<T extends MixinTypeA> implements BaseType {
  Future<T> mixinMethod({bool argA = true,
      bool argB = true,
    bool argC = true}) => null;
}

abstract class BaseTypeA extends BaseType implements MixinTypeA {
  // declares a constructor
  BaseTypeA();
}

abstract class BaseTypeB extends BaseType implements MixinTypeB<TypeA>{
  // declares a constructor
  BaseTypeB();
}

abstract class TypeA extends BaseTypeA {}

class TypeB extends BaseTypeB with MixinTypeB<TypeA> {}