主页 / coding / 问题 / 78427733
Accepted
Sound Conception
Asked: 2024-05-04 12:03:43 +0800 CST

为具有泛型函数字段的泛型类实现“copyWith”

  • 772

考虑下面的类：

@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 Function(T)”无法分配给参数类型“dynamic Function(dynamic)”。

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

dart

1 个回答

  1. Best Answer

    您的问题是您的copyWith实现被声明返回 a Foo，但这是 的简写Foo<dynamic, dynamic>。然后，类型推断自上而下流向返回的表达式，导致Foo(bar: bar ?? this.bar)推断为构造 aFoo<dynamic, dynamic>而不是构造 a 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;
  }

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

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

    • 1

相关问题