Dart泛型报错：类型'int'不是'Never'的子类型，如何解决？

错误原因 #

问题出在Store类构造函数的默认参数const {}上：

• Dart中，不可变的空集合（如const {}）会被固定推断为Map<Never, Never>类型——Never代表永远不会有实例的类型，这类集合无法容纳任何元素。
• 当你创建Store<int, Store<int, String>>()时，构造函数将Map<Never, Never>赋值给声明为Map<int, Store<int, String>>的_cache。编译时能通过是因为Never是所有类型的子类型，但运行时Dart的泛型是具体化的（即运行时保留实际类型信息），当调用put尝试添加int类型的key和Store<int,String>类型的value时，实际类型Map<Never, Never>无法接受这些值，因此触发TypeError。

而直接使用Map时，Map<int, Map<int, String>>()创建的是可变的空集合，Dart会根据上下文正确推断其类型为Map<int, Map<int, String>>，自然能正常添加元素。

需要掌握的Dart泛型核心知识 #

• 不可变空集合的特殊类型推断：const {}/const []这类不可变空集合的泛型参数固定为Never，因为它们无法被修改添加元素，Never作为所有类型的子类型，编译时允许隐式转换，但运行时会暴露类型不匹配问题。
• 泛型的具体化（Reification）：Dart的泛型在运行时保留实际类型信息，不像某些语言会擦除泛型类型。这意味着即使编译时通过了类型检查，运行时实际类型不匹配仍会报错。
• 泛型的不变性（Invariance）：Map<Never, Never>并不是Map<ID, T>的子类型，即使Never是ID/T的子类型。泛型集合的类型匹配要求泛型参数完全一致，这是Dart保证类型安全的机制。
• 泛型类默认参数的正确初始化：不能直接用const {}作为泛型类的默认集合参数，必须根据泛型参数创建匹配类型的集合。

修复后的Store类 #

有两种可靠的修复方式：

方式1：使用可空参数+初始化空集合 #

class Store<ID, T> {
  // 把默认参数设为null，初始化时创建匹配类型的空map
  Store({Map<ID, T>? values}) : _cache = values ?? <ID, T>{};

  final Map<ID, T> _cache;

  void put(ID id, T value) {
    _cache[id] = value;
  }
}

方式2：复制传入的集合（支持不可变初始值） #

如果需要允许传入不可变的初始Map，但保证内部_cache是可变且类型匹配的：

class Store<ID, T> {
  // 复制传入的集合，生成匹配泛型类型的可变map
  Store({Map<ID, T> values = const {}}) : _cache = Map<ID, T>.from(values);

  final Map<ID, T> _cache;

  void put(ID id, T value) {
    _cache[id] = value;
  }
}

两种方式都能确保_cache的实际类型是Map<ID, T>，调用put时不会触发类型错误。

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