theme: cyanosis
一、 重新审视 switch 关键字
众所周知, switch 关键字用于流程控制: 可以基于一个对象进行匹配,并通过 case 关键字产生分支语句,进行不同的逻辑处理。其中有一个非常值得注意,使用者很容易忽略的一点:
Dart3.0 之前: 分支中的 case 关键字后的对象必须是
常量
。
1. Dart 3.0 之前的 switch 关键字
在日常开发中,switch 匹配的对象,一般是 int/double/String/enum
。 比如下面的 foo1 方法中,对 int 型的变量通过 switch 进行匹配,根据 case 情况,进行不同对应的逻辑处理:
dart void foo1(int value) { switch (value) { case 0: print("=====零====="); break; case 1: print("=====壹====="); break; default: print("=====無====="); } }
在 Dart3.0 之前,case 后就可以放置任何类型的 常量
,比如下面定义的 Number
类型。只不过这种写法并不是很常用,Dart 3.0 之前的 switch 语法点也就止步于此:
```dart void foo2(Number value) { // switch 在 Dart 3.0.0 之前就一直可以匹配任何对象 switch (value) { case const Number(0): print("=====零====="); break; case const Number(1): print("=====壹====="); break; default: print("=====無====="); } }
class Number { final int value;
const Number(this.value); } ```
2. Dart 3.0 之后的 switch 关键字
在 Dart 3.0 之后引入了模式匹配 Patterns ,而本质上来说 switch 关键字的作用就是在进行匹配校验。所以 Patterns 的引入,极大加强了 switch 的语法特性。下面通过一个小例子体会一下:
比如今天是 2023 年 6 月 9 日,现在想要拓展一下 DateTime
类型,给一个 describe
方法用于输出 DateTime 对象和今天的天数差值情况。比如 6 月 12 日输出 3 天后
; 6 月 8 号输出 昨天
:
```dart void main() { DateTime(2023, 6, 5).describe(); DateTime(2023, 6, 8).describe(); DateTime(2023, 6, 9).describe(); DateTime(2023, 6, 12).describe(); }
--->[日志输出]---- 2023/6/5 是 4 天前 2023/6/8 是 昨天 2023/6/9 是 今天 2023/6/12 是 3 天后 ```
如下所示,对 DateTime 类进行拓展,添加了一个 describe 方法,用于处理输出逻辑。其中用到了 switch + 模式匹配的特性:
dart extension DescribeDate on DateTime { void describe() { DateTime now = DateTime.now(); Duration diff = this.difference(DateTime(now.year, now.month, now.day)); String result = switch (diff) { Duration(inDays: -1 ) => '昨天', Duration(inDays: 0 ) => '今天', Duration(inDays: 1 ) => '明天', Duration(inDays: int d) => d < 0 ? '${d.abs()} 天前' : '$d 天后', }; print("$year/$month/$day 是 $result"); } }
一个很明显的特征是: switch 关键字的分支语句可以作为返回值。而且分支由 模式匹配 Patterns
进行创建,还不了解 Patterns 的朋友,可以转到上一篇 《 Dart 3.0 语法新特性 | 模式匹配 Patterns》 。 下面红框中的 =>
左侧的部分是对普通对象的模式匹配,其中 inDays 是 Duration 的 get 方法,所以支持对 inDays 名称的模式匹配:
二、从 switch 来看 Patterns 的种类
在上一篇,我们了解了支持 Patterns 模式匹配的几种类型 (Type)。 但模式匹配并不仅止于此,下面将通过 switch 语句来看一下其他的 Patterns 的种类:
1. 常量与解构变量
在本篇一开始时就介绍了 switch 的分支语句是对 常量
的匹配, 既然可以被 switch 匹配,就可以视为 Patterns 模式, 这就不过多赘述了。
如下所示, foo2 中传入一个 dynamic 类型的值,在 switch 中可以进行匹配:在 case 中解构 value 值,这样就可以根据变量类型匹配,进入不同的分支进行处理:
```dart void main(){ foo2((1,1)); // 打印 int+int foo2((1,"hello")); // 打印 int+String foo2(5); // 打印 default }
// 变量 Patterns void foo2(dynamic value){ switch (value) { case (int a, String b): print("int+String"); break; case (int a, int b): print("int+int"); break; default: print("default"); } } ```
2. 符号与关键字的 Patterns 模式匹配
除了类型之外,符号和某些关键字也可以对若干个子模式进行连接,形成新的 Patterns 模式。 这很像正则表达式,若干个子正则可以通过符号连接成新正则。 连接符包括:
逻辑运算符: 或 || 、 与 &&
dart int age = 12; var isAllow = switch (age) { 16 || 17 || 18 => true, _ => false, };
关系运算符: > 、>= 、< 、<= 、 == 、!=
```dart int score = 69; var info = switch (score) {
=40 && < 60 => 'D', == 100 => 'A+', = 90 && < 100 => 'A', = 80 && < 90 => 'B', = 70 && < 80 => 'C', _ => 'E', }; ```
注: _
可以表示其他未匹配的情况,相当于 default
分支的作用。
强制类型转换
as
、object?
、object!
这三者简单了解一下,也可以作为 Patterns 加入匹配规则体系:
```dart (num, Object) record = (1, 's'); var (i as int, s as String) = record; print("========($i,$s)=========");
switch (value) { case var s?: print('s 非空类型:$s'); default: print('default'); }
(int?, int?) position = (2, 3); var (x!, y!) = position; print("========($x,$y)========="); ```
三、从 switch 和 Patterns 为我们带来了什么
可能很多人看着 Patterns 匹配感觉很迷茫,这是什么玩意,感觉花里胡哨,感觉挺厉害又没什么大用的样子。这可能是你并没有明白 Patterns 是干什么用的,简单来说 Patterns 是定义了一套语法级的匹配规则。
下面拿出介绍密封类时的那个小案例,理解一些: 登陆界面的认证状态 AuthState
,有如下三种子状态
- 认证中 AuthLoading
- 认证成功 AuthSuccess
- 认证失败 AuthFailure
```dart sealed class AuthState{} //创建密封类
class AuthLoading extends AuthState{}
class AuthSuccess extends AuthState{ final String user; final String token;
AuthSuccess(this.user, this.token); }
class AuthFailure extends AuthState{ final String error; AuthFailure(this.error); } ```
如下是基于 AuthState
对象构建界面的逻辑:其中使用了 switch
进行匹配,并将其作为返回值;每个分支的左侧是 Patterns ,当 state 对象匹配时进入对应分支返回结果。
注意: 这里的 AuthLoading() 并不是构造对象,而是一般类型的 Patterns 语法。匹配到对应类型,就可以访问对应子类型的数据。
dart String buildByAuthState(AuthState state){ return switch(state){ AuthLoading()=> 'AuthLoading View', AuthSuccess()=> 'AuthSuccess View:${state.user}', AuthFailure()=> 'AuthFailure View:${state.error}', }; }
如下也可以通过 变量 Patterns
进行匹配:
dart String buildByAuthState3(AuthState state){ return switch(state){ AuthLoading loading => 'AuthLoading View', AuthSuccess success => 'AuthSuccess View:${success.user}', AuthFailure fail => 'AuthFailure View:${fail.error}', }; }
或者将变量通过 _
进行匿名处理:
dart String buildByAuthState1(AuthState state){ return switch(state){ AuthLoading _ => 'AuthLoading View', AuthSuccess _ => 'AuthSuccess View:${state.user}', AuthFailure _ => 'AuthFailure View:${state.error}', }; }
就像不同的正则表达式,可以完成相同的匹配目的。合理地运用匹配规则,可以方便我们便捷地处理逻辑。否则上面的代码逻辑就需要用 if 分支语句处理,会增加很多无意义的代码。所以面对一个新事物,应该去思考它存在的必要性,是为了解决什么问题而出现的,而不是拘泥于语法点,而死记硬背。
Dart 3.0 的新语法点就介绍差不多了,这里整理一下相关文章。那本文就到这了。谢谢观看~
- 《Dart 3.0 语法新特性 | Records 记录类型 (元组)》
- 《Dart 3.0 语法新特性 | 类型修饰符 Class modifiers》
- 《Dart 3.0 语法新特性 | 模式匹配 Patterns》
- 《Dart 3.0 语法新特性 | switch 匹配加强》 本文