Dart中能否对泛型函数进行特化？

我编写了如下代码，通过运行时类型判断处理不同类型的IO逻辑：

T? ioData<T>(String label, T? value) {
  T? result;

  if (T is bool)
    result = ioBool(label, value as bool?) as T;
  else if (T is int)
    result = ioInt(label, value as int?) as T;
  // 其他类型判断分支
  else {
    throw Exception('Unsupported type: $T');
  }

  return result;
}

之后我尝试用类似C++的泛型函数特化方式实现，希望将类型检查移到编译时，但编译器报错：

T? ioData<T>(String label, T? value) => throw Exception('Unsupported type: $T');

bool? ioData<bool>(String label, bool? value) => ioBool(label, value as bool?) as T;
int? ioData<int>(String label, int? value) => ioInt(label, value as int?) as T;

// 其他类型特化分支

错误信息：

The name 'ioData' is already defined.
Try renaming one of the declarations.dartduplicate_definition
test.dart(100, 6): The first definition of this name.
bool? ioData<bool>(String label, bool value)

请问是否有办法实现泛型函数特化，将类型检查的负担放在编译时而非运行时？

Dart 不支持 C++ 风格的显式泛型函数特化，直接重载同名泛型函数会触发重复定义错误。但可以通过以下几种方式实现编译时类型分发，避免运行时类型检查开销：

1. 利用 Extension 实现类型特化 #

通过扩展为特定类型绑定专属逻辑，编译时即可确定调用的具体实现：

// 定义基础接口
abstract class IOHandler<T> {
  T? handle(String label, T? value);
}

// 为 bool 类型实现处理逻辑
extension BoolIOHandler on IOHandler<bool> {
  @override
  bool? handle(String label, bool? value) => ioBool(label, value);
}

// 为 int 类型实现处理逻辑
extension IntIOHandler on IOHandler<int> {
  @override
  int? handle(String label, int? value) => ioInt(label, value);
}

// 统一入口函数
T? ioData<T>(String label, T? value) => IOHandler<T>().handle(label, value);

如果传入未实现的类型，编译时会直接报错提示IOHandler<T>没有handle方法，完全规避运行时判断。

2. 函数重载 + 泛型兜底 #

利用 Dart 的函数重载特性，为每个支持的类型定义同名函数，再通过泛型函数做兜底：

// 针对具体类型的重载实现
bool? ioData(String label, bool? value) => ioBool(label, value);
int? ioData(String label, int? value) => ioInt(label, value);
// 其他支持的类型重载...

// 泛型兜底（仅用于显式指定未支持类型的场景）
T? ioData<T>(String label, T? value) {
  throw UnsupportedError('Unsupported type: $T');
}

调用时编译器会自动匹配对应类型的重载函数；如果传入未支持的类型，编译阶段就会提示找不到匹配的函数（除非显式指定泛型参数）。

3. Dart 3.0+ 模式匹配优化 #

使用 Dart 3.0 引入的模式匹配，编译时即可确定类型分支，减少运行时检查：

T? ioData<T>(String label, T? value) {
  return switch (value) {
    bool b => ioBool(label, b) as T,
    int i => ioInt(label, i) as T,
    // 其他类型分支
    _ => throw UnsupportedError('Unsupported type: $T'),
  };
}

模式匹配会在编译时对已知类型分支做优化，若传入的T与value类型不匹配，编译时会给出警告，一定程度上降低运行时类型检查的负担。

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