分支
本页介绍如何使用分支来控制 Dart 代码的执行流程
if
语句和元素if-case
语句和元素switch
语句和表达式
你还可以通过以下方式在 Dart 中操作控制流:
If
#Dart 支持带有可选 else
子句的 if
语句。if
之后括号中的条件必须是求值为布尔值的表达式。
if (isRaining()) {
you.bringRainCoat();
} else if (isSnowing()) {
you.wearJacket();
} else {
car.putTopDown();
}
要了解如何在表达式上下文中使用 if
,请查阅条件表达式。
If-case
#Dart if
语句支持 case
子句,后跟模式。
if (pair case [int x, int y]) return Point(x, y);
如果模式与值匹配,则分支将使用模式在作用域内定义的任何变量执行。
在前面的示例中,列表模式 [int x, int y]
与值 pair
匹配,因此分支 return Point(x, y)
将使用模式定义的变量 x
和 y
执行。
否则,控制流会继续执行 else
分支(如果有的话)。
if (pair case [int x, int y]) {
print('Was coordinate array $x,$y');
} else {
throw FormatException('Invalid coordinates.');
}
if-case 语句提供了一种针对单个模式进行匹配和解构的方法。要针对多个模式测试一个值,请使用switch。
Switch 语句
#switch
语句将一个值表达式与一系列 case 进行比较。每个 case
子句都是一个模式,用于匹配该值。你可以为 case 使用任何类型的模式。
当值与 case 的模式匹配时,case 主体就会执行。非空 case
子句在完成后会跳到 switch 语句的末尾。它们不需要 break
语句。结束非空 case
子句的其他有效方法是使用 continue
、throw
或 return
语句。
当没有 case
子句匹配时,使用 default
或 通配符 _
子句来执行代码。
var command = 'OPEN';
switch (command) {
case 'CLOSED':
executeClosed();
case 'PENDING':
executePending();
case 'APPROVED':
executeApproved();
case 'DENIED':
executeDenied();
case 'OPEN':
executeOpen();
default:
executeUnknown();
}
空 case 会贯穿到下一个 case,允许 case 共享主体。对于不贯穿的空 case,请使用 break
作为其主体。对于非顺序贯穿,可以使用 continue
语句和标签。
switch (command) {
case 'OPEN':
executeOpen();
continue newCase; // Continues executing at the newCase label.
case 'DENIED': // Empty case falls through.
case 'CLOSED':
executeClosed(); // Runs for both DENIED and CLOSED,
newCase:
case 'PENDING':
executeNowClosed(); // Runs for both OPEN and PENDING.
}
你可以使用逻辑或模式,让 case 共享主体或守卫。要了解有关模式和 case 子句的更多信息,请查阅Switch 语句和表达式上的模式文档。
Switch 表达式
#switch
表达式根据匹配的 case 的表达式主体生成一个值。你可以在 Dart 允许表达式的任何地方使用 switch 表达式,除了表达式语句的开头。例如:
var x = switch (y) { ... };
print(switch (x) { ... });
return switch (x) { ... };
如果你想在表达式语句的开头使用 switch,请使用switch 语句。
Switch 表达式允许你将一个 switch 语句(例如这样)重写为:
// Where slash, star, comma, semicolon, etc., are constant variables...
switch (charCode) {
case slash || star || plus || minus: // Logical-or pattern
token = operator(charCode);
case comma || semicolon: // Logical-or pattern
token = punctuation(charCode);
case >= digit0 && <= digit9: // Relational and logical-and patterns
token = number();
default:
throw FormatException('Invalid');
}
一个表达式,例如这样:
token = switch (charCode) {
slash || star || plus || minus => operator(charCode),
comma || semicolon => punctuation(charCode),
>= digit0 && <= digit9 => number(),
_ => throw FormatException('Invalid'),
};
switch
表达式的语法与 switch
语句的语法不同:
- case 不以
case
关键字开头。 - case 主体是单个表达式,而不是一系列语句。
- 每个 case 必须有一个主体;空 case 没有隐式贯穿。
- case 模式与其主体之间使用
=>
分隔,而不是:
。 - case 之间用
,
分隔(允许可选的末尾,
)。 - 默认 case 只能使用
_
,而不允许同时使用default
和_
。
穷尽性检查
#穷尽性检查是一项功能,如果某个值可能进入 switch 但不匹配任何 case,它会报告编译时错误。
// Non-exhaustive switch on bool?, missing case to match null possibility:
switch (nullableBool) {
case true:
print('yes');
case false:
print('no');
}
默认 case (default
或 _
) 涵盖了所有可能流经 switch 的值。这使得任何类型的 switch 都具有穷尽性。
枚举和密封类型对于 switch 语句特别有用,因为即使没有默认 case,它们的可能值也是已知且完全可枚举的。对类使用sealed
修饰符,以便在切换该类的子类型时启用穷尽性检查。
sealed class Shape {}
class Square implements Shape {
final double length;
Square(this.length);
}
class Circle implements Shape {
final double radius;
Circle(this.radius);
}
double calculateArea(Shape shape) => switch (shape) {
Square(length: var l) => l * l,
Circle(radius: var r) => math.pi * r * r,
};
如果有人添加了 Shape
的新子类,这个 switch
表达式将是不完整的。穷尽性检查会通知你缺少子类型。这允许你以某种函数式代数数据类型风格使用 Dart。
守卫子句
#要在 case
子句之后设置可选的守卫子句,请使用关键字 when
。守卫子句可以跟随 if case
,以及 switch
语句和表达式。
// Switch statement:
switch (something) {
case somePattern when some || boolean || expression:
// ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Guard clause.
body;
}
// Switch expression:
var value = switch (something) {
somePattern when some || boolean || expression => body,
// ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Guard clause.
}
// If-case statement:
if (something case somePattern when some || boolean || expression) {
// ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Guard clause.
body;
}
守卫在匹配之后评估一个任意的布尔表达式。这允许你对 case 主体是否应该执行添加进一步的约束。当守卫子句评估为 false 时,执行将继续到下一个 case,而不是退出整个 switch。