ส่วนคำสั่ง permits

ส่วนคำสั่งกำหนดชนิดที่อนุญาต

ไวยากรณ์พื้นฐาน

public class Main {
    sealed interface Vehicle permits Car, Truck, Motorcycle {}
    record Car() implements Vehicle {}
    record Truck() implements Vehicle {}
    record Motorcycle() implements Vehicle {}

    public static void main(String[] args) {
        Vehicle v = new Truck();
        System.out.println(v.getClass().getSimpleName());
    }
}

การทำตามสัญญา

การละเว้นการกำหนดชนิดที่อนุญาต

public class Main {
    sealed interface Status {}
    record Active() implements Status {}
    record Inactive() implements Status {}

    public static void main(String[] args) {
        Status s = new Active();
        System.out.println(s.getClass().getSimpleName());
    }
}

เมื่อจำเป็นต้องกำหนดชนิดที่อนุญาต

ลำดับไม่มีผล

ลำดับชั้นคลาสที่ใช้การกำหนดชนิดที่อนุญาต

public class Main {
    sealed static abstract class Node permits Leaf, Branch {
        abstract int size();
    }
    static final class Leaf extends Node {
        int size() { return 1; }
    }
    static final class Branch extends Node {
        final Node a, b;
        Branch(Node a, Node b) { this.a = a; this.b = b; }
        int size() { return a.size() + b.size(); }
    }

    public static void main(String[] args) {
        Node tree = new Branch(new Leaf(), new Branch(new Leaf(), new Leaf()));
        System.out.println("Leaves: " + tree.size());
    }
}

การลืมระบุชนิดย่อย

ชนิดที่อนุญาตเป็นข้อมูลที่เปิดเผย

การผสมชนิดย่อยแบบปิดท้ายและแบบปิด

public class Main {
    sealed interface Shape permits Circle, Polygon {}
    record Circle(double r) implements Shape {}
    sealed interface Polygon extends Shape permits Triangle, Rectangle {}
    record Triangle() implements Polygon {}
    record Rectangle() implements Polygon {}

    public static void main(String[] args) {
        Shape s = new Triangle();
        System.out.println(s instanceof Polygon);
    }
}

แนวปฏิบัติที่ดี

ตรวจสอบความเข้าใจ

ทบทวน