守卫(guard)使你可以进一步细化匹配条件,而不只是简单地匹配类型。它是出现在类型判断和 && 后的一项测试。守卫可以是任何布尔表达式。如果选择器表达式和 case 的类型相同,并且守卫判断为 true,那么模式就匹配上了:
Shapes.java JDK 17
import java.util.List;
sealed interface Shape {
double area();
}
record Circle(double radius) implements Shape {
@Override
public double area() {
return Math.PI * radius * radius;
}
}
record Rectangle(double side1, double side2)
implements Shape {
@Override
public double area() {
return side1 * side2;
}
}
public class Shapes {
static void classify(Shape s) {
System.out.println(switch (s) {
case Circle c && c.area() < 100.0 -> "Small Circle: " + c;
case Circle c -> "Large Circle: " + c;
case Rectangle r && r.side1() == r.side2() -> "Square: " + r;
case Rectangle r -> "Rectangle: " + r;
});
}
public static void main(String[] args) {
List.of(new Circle(5.0),
new Circle(25.0),
new Rectangle(12.0, 12.0),
new Rectangle(12.0, 15.0)
).forEach(t -> classify(t));
}
}
运行结果如下:
第一个针对 Circle 的守卫用于确定该 Circle 是否是“小”的。第二个针对 Rectangle 的守卫用于确定 Rectangle 是否是正方形。
下面是个更复杂的守卫应用示例 Tank (罐子)可以持有不同类型的液体,而液体的 Level (浓度)必须在 0%~100% 范围内。
Tanks.java JDK 17
import java.util.List;
enum Type {TOXIC, FLAMMABLE, NEUTRAL}
record Level(int percent) {
Level {
if (percent < 0 || percent > 100) {
throw new IndexOutOfBoundsException(
percent + " percent");
}
}
}
record Tank(Type type, Level level) {
}
public class Tanks {
static String check(Tank tank) {
return switch (tank) {
case Tank t && t.type() == Type.TOXIC -> "Toxic: " + t;
case Tank t && ( // [1]
t.type() == Type.TOXIC &&
t.level().percent() < 50
) -> "Toxic, low: " + t;
case Tank t && t.type() == Type.FLAMMABLE -> "Flammable: " + t;
// 相当于 default :
case Tank t -> "Other Tank: " + t;
};
}
public static void main(String[] args) {
List.of(new Tank(Type.TOXIC, new Level(49)),
new Tank(Type.FLAMMABLE, new Level(52)),
new Tank(Type.NEUTRAL, new Level(75))
).forEach(t -> System.out.println(check(t)));
}
}
运行结果如下:
[1]如果守卫包含多个表达式,简单地将其放在圆括号内即可 。
由于我们是在对 Tank (而不是Object)做 switch 操作,所以最后 case Tank 的作用就相当于 default,因为它会捕捉到所有没有匹配到任何其他模式的 Tank。