关于Dart 3.0模式匹配中密封类Switch语句的性能实现疑问

关于密封类的switch操作，Dart编译器做了针对性的优化，具体逻辑如下：

• 由于密封类的子类是固定且编译期可枚举的，编译器会直接生成类似枚举的跳转表结构，无需逐个执行运行时类型检查。这种实现下的性能和枚举switch接近，都是基于类型标识直接跳转，开销极低。
• 只有当switch分支中混入非密封类类型时，才会退化为逐个检查运行时类型的逻辑，但这种场景在密封类的标准switch用法中很少出现。

如果想在Dart仓库中查找相关实现代码，可以重点关注两个模块：

• pkg/front_end/lib/src/fasta 下负责模式匹配编译的逻辑，尤其是处理密封类switch的部分
• runtime/vm 目录中关于类型检查和跳转表生成的代码，这里对应最终的字节码或汇编生成环节

内容的提问来源于stack exchange，提问作者A. S.