Flutter/Dart第10天：Dart高级特性Pattern模式的全部类型（共15种）
Dart官方文档：https://dart.dev/language/pattern-types重要说明：本博客基于Dart官网文档，但并不是简单的对官网进行翻译，在覆盖核心功能情况下，我会根据个人研发经验，加入自己的一些扩展问题和场景验证。
和操作符一样，模式运算也遵循一定的优先级规则，我们可以通过增加括号()让低优先级规则的模式优先运算：
[*]逻辑或模式低于逻辑与模式，逻辑与模式低于关系模式：逻辑或 < 逻辑与 < 关系。
[*]一元模式优先级相同：值转换、空检测、空断言。
[*]其他的模式都具有最高的优先级，集合类型（List列表、Map映射和Record记录）和对象模式包含了其他数据，因此作为外部模式优先运算。
逻辑或模式（Logical-or）
模式语法：子模式1 || 子模式2
模式规则：逻辑或模式通过||分割子模式，从左到右，任何一个子模式匹配则本模式匹配，且后面的子模式不在运算。
子模式可以绑定变量，但是每个子模式绑定的变量必须相同，因为任一子模式匹配则后面的子模式不在运算。
var isPrimary = switch (color) {
Color.red || Color.yellow || Color.blue => true,
_ => false
};逻辑与模式（Logical-and）
模式语法：子模式1 && 子模式2
模式规则：逻辑与模式通过&&分隔子模式，从左到右，任何一个子模式未匹配则本模式未匹配，且后面的子模式不在运算。
子模式可以绑定变量，且每个子模式绑定的变量不能重叠，因为本模式匹配代表每个子模式都必须匹配运算，如果重叠则意味着变量被赋值多次。
switch ((1, 2)) {
case (var a, var b) && (var c, var d): // ...
}关系模式（Relational）
模式规则：关系模式通过和给定的常量进行比较完成匹配（比较操作符：==，!=，，=），true代表匹配成功。通常情况下，关系模式和逻辑与模式配合使用。
String asciiCharType(int char) {
const space = 32;
const zero = 48;
const nine = 57;
return switch (char) {
< space => 'control',
== space => 'space',
> space && < zero => 'punctuation',
>= zero && <= nine => 'digit',
_ => ''
};
}值转换模式（cast）
模式语法：变量 as 类型，如：foo as String
模式规则：值转换模式允许在对象数据解构过程中进行类型转换，如果类型无法转换，则会产生错误，建议在类型转换之前，进行类型断言。
(num, Object) record = (1, 's');
var (i as int, s as String) = record;空检测模式（Null-check）
模式语法：子模式?
模式规则：如果检测的值不为NULL，则模式匹配。它允许绑定一个变量，变量的类型是该不可为NULL值类型基类。
String? maybeString = 'nullable with base type String';
switch (maybeString) {
case var s?:
// 's' has type non-nullable String here.
}空断言模式（Null-assert）
模式语法：子模式!
模式规则：首先检测对象不为NULL，然后检测对象数据值。如果匹配的值为NULL，则会抛出错误。它常用于解构并赋值场景，且保证所赋值非NULL。
List<String?> row = ['user', null];
switch (row) {
case ['user', var name!]: // ...
// 'name' is a non-nullable string here.
}
(int?, int?) position = (2, 3);
var (x!, y!) = position;常量模式（constant）
当值为常量时，常量模式匹配，常量包括：123, null, string, math.pi, SomeClass.constant, const Thing(1, 2), const (1 + 2)等。
switch (number) {
// Matches if 1 == number.
case 1: // ...
}我们可以通过字面常量、命名的常量等方式使用常量模式：
[*]数字字面量：123, 45.56
[*]布尔字面量：true
[*]字符串字面量：string
[*]命名常量：someConstant, math.pi, double.infinity
[*]常量构造器：const Point(0, 0)
[*]常量集合字面量：const [], const {1, 2}
其他更多复杂的常量表达式，可以通过()包裹，并增加const前缀：const (const (1 + 2))
// List or map pattern:
case : // ...
// List or map literal:
case const : // ...变量模式（variable）
模式规则：变量模式一般在解构和赋值中，它匹配模式、解构对象并完成赋值，如：var bar, String str, final int _。变量的作用域为模式所在的作用域。如果变量指定了类型，那么当对象类型和值均匹配时，模式才被匹配。通配符模式是一个特殊的变量模式。
switch ((1, 2)) {
// 'var a'和'var b'是变量模式，它们值分别为`1`和`2`
case (var a, var b): // ...
// 'a'和'b'的作用域在case代码块
}
switch ((1, 2)) {
// `2`是数字类型，与'String b'不匹配，因此本模式为匹配
case (int a, String b): // ...
}标识符模式（identifier）
标识符模式与常量模式或变量模式类似：
[*]变量申明上下文：给变量申明一个标识符，如：var (a, b) = (1, 2);
[*]变量赋值上下文：给已经存在的标识符赋值，如：(a, b) = (3, 4);
[*]模式匹配上下文：当作一个命名常量模式（除名字是_外）
[*]任意上下文中的通配符标识符：能匹配任何值且忽略该值，如：case : print('The middle element is $y');
括号模式
模式语法：(子模式)
代码样例：如下代码，和表达式一样，增加括号()目的是提高模式的优先级。
final (x, y, z) = (true, true, false);
// 没有括号：true
x || y && z => 'matches true',
// 增加括号：false
(x || y) && z => 'matches false',列表模式（List）
模式语法：[子模式1, 子模式2]
List列表模式首先匹配List类型，然后匹配列表元素值，并进行解构和赋值。List列表模式必须匹配整个列表模式元素，我们可以使用...占位符匹配剩余的列表元素。
// 全列表元素匹配
const a = 'a';
const b = 'b';
switch (obj) {
case :
print('$a, $b');
}
// 占位符匹配剩余元素，且忽略
var = ;
print('$a $b $c $d'); // 1 2 6 7
// 占位符当作一个子列表
var = ;
print('$a $b $rest $c $d'); // 1 2 6 7Map映射模式
模式语法：{"key": subpattern1, someConst: subpattern2}
Map映射模式首先匹配Map类型，然后匹配元素内容，并进行解构和赋值。Map映射模式不需要匹配所有元素，忽略未被匹配到的元素。
Record记录模式
模式语法：(subpattern1, subpattern2)或者(x: subpattern1, y: subpattern2)
Record记录模式首先匹配记录，然后解构其字段。字段数量、类型和值未匹配，则模式匹配失败。Record记录模式必须匹配所有字段。字段getter可由变量和标识符模式推导得到。
var (myString: foo, myNumber: bar) = (myString: 'string', myNumber: 1);
// Record pattern with variable subpatterns:
var (untyped: untyped, typed: int typed) = record;
var (:untyped, :int typed) = record;
switch (record) {
case (untyped: var untyped, typed: int typed): // ...
case (:var untyped, :int typed): // ...
}
// Record pattern wih null-check and null-assert subpatterns:
switch (record) {
case (checked: var checked?, asserted: var asserted!): // ...
case (:var checked?, :var asserted!): // ...
}
// Record pattern wih cast subpattern:
var (untyped: untyped as int, typed: typed as String) = record;
var (:untyped as int, :typed as String) = record;Object对象模式
模式语法：SomeClass(x: subpattern1, y: subpattern2)
对象模式首先对象类型和属性类型，并完成对象属性解构，调用getter方法完成赋值。如果类型不一致，则匹配失败。对象的属性名可以忽略，它可以通过变量模式和标识符模式进行推导。和Map映射模式一样，对象模式不需要匹配所有属性，忽略未被匹配到的属性。
switch (shape) {
// Matches if shape is of type Rect, and then against the properties of Rect.
case Rect(width: var w, height: var h): // ...
}
// Binds new variables x and y to the values of Point's x and y properties.
var Point(:x, :y) = Point(1, 2);通配符模式
模式语法：_
_就是通配符模式，它既是变量模式也是标识符模式，但是它无变量也不赋值。它通常作为一个占位符，目的是匹配解构剩下的位置值。通配符如果带有类型，那么它仅仅进行类型检测，而忽略变量和赋值。
// 占位符
var list = ;
var = list;
// 类型检测
switch (record) {
case (int _, String _):
print('First field is int and second is String.');
}我的本博客原地址：https://ntopic.cn/p/2023100501
免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！
页:
[1]