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' ('String Function(String)') 不是 'A.getData' ('String Function(Type)') 的有效覆盖。飞镖（无效覆盖）

在return语句中出现这个错误：

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

当泛型类型类似于返回类型时，为什么我会收到与覆盖相关的错误，这让我感到困惑。就像我用 getData<int>(int key) 而不是 getData<String>(String key) 创建另一个类 (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

您编写的第一个方法是对名为Type 的类型参数的泛型，并具有返回类型String。也就是说，它是任何类型的函数 Type 返回 String 类型的东西。

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

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

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

Answer 2

方法签名

String getData<Type>(Type key);

因为Type already has a meaning，所以更通常使用T 而不是Type。

String getData<T>(T key);

此签名用于允许为T 填写任何类型的方法。这意味着每个子类都必须有一个允许any类型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) => '';
}