为何将可空流传入非可空流控制器仅触发运行时错误而非编译时错误？

先看这段能正常编译但运行报错的代码：

import 'dart:async';

void main() {
  final streamNullable = StreamController<int?>();
  final streamNotNullable = StreamController<int>();
  
  streamNullable.stream.pipe(streamNotNullable);
}

运行时会抛出类型错误：

TypeError: Instance of '_ControllerStream<int?>' is not a subtype of type 'Stream<int>'

这是因为我们试图将可能包含null的流事件传入只接受非空int的接收器，但奇怪的是编译时完全没有提示；而如果把目标接收器换成完全无关的类型（比如double），编译时就会直接报错：

final streamNullable = StreamController<int?>();
final streamNotNullable = StreamController<double>();
  
streamNullable.stream.pipe(streamNotNullable); // 编译错误

原因分析 #

这个问题源于Dart类型系统对可空类型和泛型逆变的交互处理：

• 首先，int是int?的子类型——你可以把非空的int赋值给int?变量，这是null安全的基础规则。
• 其次，StreamSink<T>作为事件消费者，其泛型参数T是逆变的：如果类型A是B的子类型，那么StreamSink<B>可以当作StreamSink<A>使用（比如StreamSink<Object>可以接收String类型的事件，因此能赋值给StreamSink<String>变量）。

但这里的问题是，我们做了反向操作：把StreamSink<int>（只能接收非空int）传给了需要StreamSink<int?>（能接收int或null）的方法。从逆变规则来说，这是不安全的——因为原流可能发出null，而目标接收器无法处理。但Dart的类型检查器在处理可空泛型时，错误地允许了这个不安全的转换，它只看到int是int?的子类型，却忽略了逆变方向的正确性。

而当目标类型是完全无关的double时，int?和double不存在子类型关系，类型检查器能直接识别出不匹配，因此抛出编译错误。

解决方法 #

要安全地将可空流导入非空接收器，需要先过滤掉null值并明确转换类型：

import 'dart:async';

void main() {
  final streamNullable = StreamController<int?>();
  final streamNotNullable = StreamController<int>();
  
  streamNullable.stream
      .where((value) => value != null) // 过滤null
      .cast<int>() // 明确转换为非空流
      .pipe(streamNotNullable);
}

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