Dart 为具有通用函数字段的Generic类实现copyWith

发布于05月04日

考虑以下类:

@immutable
class Foo<T, R> {
  const Foo({
    required this.bar,
  });

  final R Function(T data) bar;

  Foo copyWith({
    R Function(T data)? bar,
  }) {
    return Foo(
      bar: bar ?? this.bar,
    );
  }
}

在上面的类中，行bar: bar ?? this.bar会导致诊断消息:

参数类型"R Value(T)"无法分配给参数类型"动态函数(动态)".

应该如何为不可变的通用类中的通用函数字段实现copyWith方法？

推荐答案

您的问题是您的copyWith实现被声明为返回Foo，但这是Foo<dynamic, dynamic>的缩写. 然后，类型推断自上而下流向返回的表达式，导致Foo(bar: bar ?? this.bar)被推断为构造Foo<dynamic, dynamic>，而不是构造Foo<T, R>(否则这将从自下而上的类型推断发生).

因此，您应该修复返回类型:

  Foo<T, R> copyWith({
    R Function(T data)? bar,
  }) {
    return Foo(
      bar: bar ?? this.bar,
    );
  }

请注意，您可以通过以下操作强制自下而上的推理:

  // Probably not what you want!
  Foo copyWith({
    R Function(T data)? bar,
  }) {
    var copy = Foo(
      bar: bar ?? this.bar,
    );
    return copy;
  }

这也可以避免静态类型错误，但它最终会隐式地将Foo<T, R>转换为Foo<dynamic, dynamic>，这可能不是您想要的.

我强烈建议在analysis_options.yaml文件中启用strict-raw-types，以捕捉意外省略通用类型参数时隐式使用dynamic的情况.