为何Dart中is表达式类型检测比runtimeType更稳定？

• 处理继承与多态场景更准确
  当一个类继承自另一个类时，is表达式会考虑继承关系：比如class Child extends Parent {}，Child()实例执行is Parent会返回true，完全符合类型系统的实际语义。而runtimeType只会返回实例的具体类型（Child），如果你的逻辑是判断实例是否属于某个父类或接口，直接用runtimeType == Parent会得到错误结果。

• 避免类型别名与接口的歧义
  Dart支持类型别名（比如typedef MyInt = int），runtimeType不会识别类型别名的等价关系，而is表达式能正确判断5 is MyInt为true。同样，对于接口实现，is会检查实例是否实现了目标接口，而runtimeType仅返回具体类类型，无法直接体现接口实现关系。

• 处理空安全与可空类型更可靠
  在空安全模式下，runtimeType对可空类型的表现不符合直觉：比如int? a = 5，a.runtimeType返回int，而非int?。但a is int?会正确返回true，因为is表达式会考虑变量的静态类型上下文和可空性。

• 编译器优化与语义一致性
  is表达式是Dart类型系统的核心组成，编译器会对其做针对性优化，并且它的行为严格遵循语言规范，在不同Dart版本和运行环境（VM、Web编译）中表现一致。而runtimeType的实现可能因平台存在细微差异，在代码混淆等场景下还可能返回非预期的类型名称。

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