Dart强类型通知服务回调异常及dart:mirrors适配问题问询

原publish及回调存储的核心问题 #

1. 反射类型与静态泛型类型的标识不匹配
   用dart:mirrors的reflectClass.reflectedType获取的Type对象，和泛型参数T的静态类型在Dart类型系统中并非等价标识。比如订阅ExampleNotification时，泛型T明确指向子类型，但反射获取的类型可能被解析为父类PublishedNotification，导致回调被错误存入父类型的集合中。
2. 函数类型逆变引发的签名冲突
   Dart的函数类型是逆变的：(SubType) => void 并非 (SuperType) => void 的子类型。当你用反射获取的父类型作为存储key时，实际存入的是子类型回调，发布时尝试将其当作父类型函数调用，就会触发类型转换异常。
3. 编译时类型约束失效
   依赖反射获取类型会绕过Dart编译时的类型检查，原本泛型T能在编译阶段保证回调参数类型的一致性，反射则把约束转移到运行时，极易出现类型不匹配。

两类通知表现不同的原因 #

这种差异通常源于以下场景：

• HelloWorldNotification没有子类型专属的属性/方法，其回调函数可以被隐式转换为(PublishedNotification) => void；而ExampleNotification的回调依赖了子类型特有的成员，Dart无法完成隐式转换，触发运行时类型检查失败。
• 反射获取HelloWorldNotification的类型时，刚好返回了准确的子类型Type；而ExampleNotification因继承层次、泛型参数等问题，反射返回的是父类型PublishedNotification，导致回调存储的key错误，发布时调用了错误的回调集合。

是否必须强制转换？ #

完全不需要。强制转换只是绕过类型检查的临时 workaround，会隐藏潜在的类型错误，违背强类型设计的初衷。只要通过泛型T严格绑定订阅和发布的类型，让Dart在编译时完成类型校验，运行时就能避免这类异常。

为何reflectClass.reflectedType出问题，直接用T正常？ #

1. 静态类型与运行时反射类型的本质差异
   泛型T是编译时确定的静态类型，Dart会为每个具体的泛型实例保留类型约束（即使运行时擦除，类型系统也会跟踪其静态标识）。而reflectClass.reflectedType是运行时通过反射获取的Type对象，这个对象和泛型T的静态类型在类型系统中不是同一个“身份”——比如两者的==比较可能返回false，导致回调存储的key不匹配。
2. 类型约束的有效性不同
   用泛型T订阅时，回调(T) => void的类型是明确的，发布时只会调用对应T类型的回调集合，类型完全匹配。而反射获取的类型无法保证和订阅时的泛型类型一致，导致回调集合混存，调用时出现类型不兼容。

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