Dart中如何让泛型函数参数类型不匹配时触发静态错误？

现有如下Dart类中的泛型方法，重点关注update()方法：

class Some {
  void update<T>(T a, T b) {
    // Type `a` and type `b` must necessarily be the same
  }

  T update2<T>(T a, T b) {
    // Type `a` and type `b` must necessarily be the same
    return a;
  }
}

调用这些方法时，若未显式指定泛型类型，传入不同类型的参数（如int和String）不会触发静态错误或提示——Dart会自动把T推断成两者的共同父类（比如Object），只有显式指定泛型类型时才会报错。现在需要确保参数a和b类型始终一致，且以a的类型为基准，当b类型不匹配时直接触发静态错误或警告。

可行解决方案 #

方案1：用covariant强制参数类型对齐 #

修改方法签名，给第二个参数加上covariant关键字，让Dart的类型检查以第一个参数的T为基准，而不是自动推断宽泛的父类型：

class Some {
  void update<T>(T a, covariant T b) {
    // 现在传入a为int、b为String时，静态检查直接报错
  }

  T update2<T>(T a, covariant T b) {
    return a;
  }
}

调用some.update(1, "test")时，分析器会立刻提示String无法赋值给int类型的参数b，完全符合需求。

方案2：改用命名参数强化类型推断 #

将参数改为命名参数，Dart的类型推断会优先根据第一个必填命名参数确定T的类型，后续参数必须匹配该类型：

class Some {
  void update<T>({required T a, required T b}) {
    // a和b类型不一致时静态报错
  }

  T update2<T>({required T a, required T b}) {
    return a;
  }
}

调用some.update(a: 1, b: "test")会直接触发静态错误，因为T被推断为int，b的String类型不匹配。

方案3：用扩展方法封装安全调用 #

如果不能修改原类的方法，可以通过扩展方法加一层封装，强制类型检查：

extension SomeSafeCalls on Some {
  void safeUpdate<T>(T a, T b) {
    // 这里的T严格跟随a的类型，b不匹配时静态报错
    update(a, b);
  }

  T safeUpdate2<T>(T a, T b) {
    return update2(a, b);
  }
}

调用时用some.safeUpdate(1, "test")就能触发静态错误，不影响原类方法的使用。

辅助：启用严格类型检查lint规则 #

在项目的analysis_options.yaml中添加以下lint规则，强化静态类型检查，减少自动推断为Object的情况：

linter:
  rules:
    - strict_raw_type
    - type_annotate_public_apis

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