Dart Switch表达式中Map模式大括号语法含义咨询

你看到的大括号里的代码是Dart的映射模式（Map Pattern），属于模式匹配语法的一部分，专门用来处理Map类型的数据，作用是同时完成「匹配检查」和「数据解构」：

• 每一行'key': 类型 变量名的写法，是在做两件事：
  1. 检查传入的json这个Map里是否存在对应的key（比如'userId'）；
  2. 验证该key对应的值是否符合指定的类型（比如int），如果符合，就把这个值赋值给后面的变量（比如userId）。
• 只有当json同时满足所有三个key存在、且对应值的类型都匹配时，才会执行箭头=>后面的代码，创建并返回Album实例。
• 如果json不满足这个匹配条件（比如缺某个key、或者值的类型不对），就会触发通配符_对应的分支，抛出格式异常。

这种写法比传统的手动json['userId'] as int更简洁，而且能在运行时自动做类型检查，避免类型转换错误。

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