Dart:不覆盖泛型方法具有类似于返回类型的泛型参数类型

Question

我有一个问题，从抽象类中重写泛型方法。

这是我的抽象类：

abstract class A {
  String getData<Type>(Type key);
}

当我创建类（B）来实现类（a）时，如下所示：

class B implements A {
  @override
  String getData<String>(String key) {     //Error <= B.getData' ('String Function<String>(String)') isn't a valid override of 'A.getData' ('String Function<Type>(Type)')

    return "";
  }
}

显示了(getData)方法中的以下编译错误:

”“B。getData“（“字符串函数（字符串）”不是“a”的有效重写。getData'（'字符串函数（类型）‘）。dart（无效覆盖）

以及返回语句中的此错误：

类型为“String”的值不能从方法'getData'返回，因为它的返回类型为'String'。

这让我感到困惑的是，为什么当泛型类型类似于返回类型时，我会收到与重写相关的错误。就像我用获取数据创建另一个类（C）一样

class C implements A {
  @override
  String getData<int>(int key) {

    return "";
  }
}

同样对于类（B），如果我删除了返回类型，如下所示，则一切都将按预期工作：

class B implements A {

  @override
  getData<String>(String key) {

     return "";
  }
}

这是否是Dart设计中的问题，所以我可以意识到它，因为这种行为在c#语言中不存在？

DartPad链接：https://dartpad.dev/ebc7e6361d0cf1c6afad2f52ab8ebcaa




Answer 1

方法签名

String getData<Type>(Type key);

通常使用T而不是Type编写，因为Type已经有了意义。

String getData<T>(T key);

此签名用于允许为T填充任何类型的方法。这意味着每个子类都必须有一个允许任何类型T的方法。

我怀疑您想要的是将子类专门化为单个泛型类型——在这种情况下，您想要将泛型从方法级别移动到类级别。

abstract class A<T> {
  String getData(T key);
}

class B implements A<String> {
  @override
  String getData(String key) => '';
}

class C implements A<int> {
  @override
  String getData(int key) => '';
}

Answer 2

您编写的第一个方法在名为＜code＞type。也就是说，它是一个函数，对于任何类型type都返回类型为String。

第二种方法是对名为 String 的类型参数的泛型，并返回类型参数类型的内容。类型参数名为 String 的事实使它看起来像您在第一个方法和第二个方法中具有相同的返回类型，但您没有。第一个方法返回到 String。第二个方法的返回类型为“刚刚引入的类型变量，名为 String”。这两种类型是不相关的，因此重写是无效的。如果将第二种方法中的类型变量重命名为 T，则将获得以下等效方法：

class B implements A {
  @override
  T getData<T>(T key) {
    return "";
  }
}

现在应该清楚为什么您的覆盖无效。