Dart中如何创建类型参数为T的泛型类 解决泛型传参报错问题

• 第二种写法报错的核心：Dart泛型要求传入的类型参数是编译期可识别的类型标识符，你定义的final Type T = b.runtimeType;里的T是Type类的实例（一个普通的运行时对象），不是类型本身，自然不能作为泛型参数传入。
• 第一种写法丢失类型的原因：写Data(b)时没有手动指定泛型参数，map操作的上下文也没有明确的泛型约束，Dart会直接把泛型参数推断为dynamic，最终得到的所有实例都是Data<dynamic>，丢失了元素原本的类型信息。

利用泛型函数的自动类型推断能力，不需要手动获取runtimeType，就能让每个Data实例绑定正确的运行时泛型：

class Data<T> {
  final T value;
  const Data(this.value);
}

// 泛型辅助函数，自动根据传入值的类型推断泛型参数
Data<T> _createData<T>(T value) => Data<T>(value);

void main() {
  final List<dynamic> bases = [1, "测试文本", true, 2.718];
  final List<Data> data = bases.map((b) => _createData(b)).toList();

  // 验证实例类型
  for (final item in data) {
    print('值：${item.value}，Data实例类型：${item.runtimeType}');
  }
  /* 输出结果：
  值：1，Data实例类型：Data<int>
  值：测试文本，Data实例类型：Data<String>
  值：true，Data实例类型：Data<bool>
  值：2.718，Data实例类型：Data<double>
  */
}

• 上述方案生成的列表声明类型仍是List<Data>（即List<Data<dynamic>>的简写形式），但列表内每个实例的实际运行时类型是和值匹配的具体泛型类型，做类型判断、模式匹配时可以正常识别。
• 如果需要编译期的严格类型安全，从根源上就不能用List<dynamic>存储原始数据——List<dynamic>本身已经在编译期抹除了所有元素的类型信息，不可能基于它生成编译期就带精确泛型标记的列表，这是Dart静态类型系统的固有约束。如果原始数据是固定类型集合，可以用密封类等方式做类型约束，实现编译期类型安全。

内容的提问来源于stack exchange，提问作者Мэндээ