泛型枚举类类型不匹配报错：期望(Enum?)=>void，实际为(GradeLevel?)=>void

问题根源 #

报错的核心原因是创建RadioGroup实例时未指定具体泛型类型，导致Dart将泛型参数T默认推断为最宽泛的约束Enum，而非你传入的具体枚举GradeLevel。此时RadioGroup期望的onChanged类型是ValueChanged<Enum?>，但你的RadioGroupPresentable<GradeLevel>提供的是ValueChanged<GradeLevel?>——函数参数类型是逆变的，子类型的函数无法直接赋值给父类型的函数参数位置，因此触发类型不匹配错误。

解决方案 #

修改报错位置的代码，让Dart正确推断出泛型参数为GradeLevel，有两种可行方式：

方式1：利用类型推断 #

去掉显式的RadioGroup类型声明，让Dart通过传入的presentable自动推断泛型类型：

case RadioGroupPresentable<GradeLevel>:
  RadioGroupPresentable<GradeLevel> presentable = p as RadioGroupPresentable<GradeLevel>;
  final widget = RadioGroup.fromPresentable(presentable);
  content.add(widget);
  break;

方式2：显式指定泛型参数 #

直接声明RadioGroup的具体泛型类型：

case RadioGroupPresentable<GradeLevel>:
  RadioGroupPresentable<GradeLevel> presentable = p as RadioGroupPresentable<GradeLevel>;
  RadioGroup<GradeLevel> widget = RadioGroup.fromPresentable(presentable);
  content.add(widget);
  break;

验证说明 #

两种方式都能让RadioGroup的泛型参数T绑定到GradeLevel，此时onChanged的类型会被正确约束为ValueChanged<GradeLevel?>，和RadioGroupPresentable中的类型完全匹配，错误即可消除。

额外优化建议 #

在创建RadioGroupPresentable实例时，也可以显式指定泛型参数，提升代码可读性（非必需，但推荐）：

RadioGroupPresentable<GradeLevel>(GradeLevel.values, GradeLevel.tenth, (value) {
  if (value != null) {
    gradeLevel.setValue(value, action: "Update Grade Level");
    _application.gradeLevel = value;
    print(value);
  }
})

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