如何为 Dart 静态扩展指定泛型类型？

Question

我正在尝试在 Iterable 上创建一个静态扩展，如下所示：

extension IterableExtensions<T> on Iterable<T> {
  Iterable<E> mapIndexed<E, T>(E Function(int index, T item) f) sync* {
    var index = 0;

    for (final item in this) {
      yield f(index, item);
      index = index + 1;
    }
  }
}

但这给了我一个错误： The argument type 'T' can't be assigned to the parameter type 'T'.

而如果我转换编译器很高兴：

extension IterableExtensions on Iterable{
  Iterable<E> mapIndexed<E, T>(E Function(int index, T item) f) sync* {
    var index = 0;

    for (final item in this) {
      yield f(index, item as T);
      index = index + 1;
    }
  }
}

我不确定我在这里做错了什么？

Answer 1

在第一个示例中，您实际上是朝自己的脚开枪。方法签名中定义的T 覆盖了扩展签名中的T。如果将其中一个更改为其他内容，您可以更清楚地看到发生了什么：

extension IterableExtensions<U> on Iterable<U> {
  Iterable<E> mapIndexed<E, T>(E Function(int index, T item) f) sync* {
    var index = 0;

    for (final item in this) {
      yield f(index, item);
      index = index + 1;
    }
  }
}

// Error: The argument type 'U' can't be assigned to the parameter type 'T'.

解决方法是从方法签名中删除T：

extension IterableExtensions<T> on Iterable<T> {
  Iterable<E> mapIndexed<E>(E Function(int index, T item) f) sync* {
    var index = 0;

    for (final item in this) {
      yield f(index, item);
      index = index + 1;
    }
  }
}