为何'(CompleteVocabularyCollection)=>DetailsDisplay'不是'(dynamic)=>Widget'的子类型？

错误本质 #

这个类型不匹配问题源于Dart的函数类型规则：你认为(CompleteVocabularyCollection)=>DetailsDisplay是(dynamic)=>Widget的子类型，但实际上Dart对函数参数的类型要求是逆变的，返回值才是协变的。

具体拆解 #

• 你使用的DataFetcher期望的builder类型是(dynamic)=>Widget：这意味着这个函数必须能接收任意类型的参数，同时返回一个Widget。
• 你传入的函数是(CompleteVocabularyCollection)=>DetailsDisplay：它只能接收CompleteVocabularyCollection类型的参数，虽然返回的DetailsDisplay是Widget的子类（这部分符合要求），但参数类型的限制导致它无法满足(dynamic)=>Widget的要求——一旦DataFetcher传入非CompleteVocabularyCollection的参数，你的函数会直接崩溃，所以Dart不允许这种隐式转换。

解决方法 #

方法1：给DataFetcher添加泛型约束（推荐） #

修改data_fetcher.dart中的组件定义，让builder的参数类型和泛型绑定：

class DataFetcher<T> extends StatelessWidget {
  final Widget Function(T data) builder;
  // 其他属性和方法...

  const DataFetcher({super.key, required this.builder});
}

这样在使用时，DataFetcher<CompleteVocabularyCollection>会自动要求builder的参数是CompleteVocabularyCollection，完全匹配你传入的函数类型，不会再出现类型错误。

方法2：显式转换参数类型 #

在使用DataFetcher时，给builder参数加上类型转换：

DataFetcher(
  builder: (data) => DetailsDisplay(data as CompleteVocabularyCollection),
  // 其他配置...
)

这种方法简单直接，但如果data实际类型不是CompleteVocabularyCollection，会抛出类型转换异常，适合你能确保DataFetcher只会返回该类型数据的场景。

方法3：调整builder的类型处理逻辑 #

如果无法修改DataFetcher的泛型，也可以在builder内部做类型判断：

builder: (data) {
  if (data is CompleteVocabularyCollection) {
    return DetailsDisplay(data);
  }
  return SizedBox.shrink(); // 或者其他默认占位Widget
}

内容的提问来源于stack exchange，提问作者FunProgramer