守卫（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。