الأصناف والواجهات المختومة (Sealed) sealed / permits

الصياغة

public sealed interface الاسم permits الصنف1, الصنف2 { }

public final class الصنف1 implements الاسم { }
public non-sealed class الصنف2 implements الاسم { }

📄 مثال

public sealed interface Shape permits Circle, Square {}

public final class Circle implements Shape {
    public double radius;
    public Circle(double radius) { this.radius = radius; }
}

public final class Square implements Shape {
    public double side;
    public Square(double side) { this.side = side; }
}

static double area(Shape shape) {
    return switch (shape) {
        case Circle c -> Math.PI * c.radius * c.radius;
        case Square s -> s.side * s.side;
        // لا حاجة لـ default — المترجم يعرف أنه لا يوجد نوع ثالث
    };
}

أهم النقاط

💡 نصائح عملية

• استخدمها عند نمذجة تسلسل هرمي مغلق تعرف كل أشكاله مسبقًا (نتيجة نجاح/فشل، شكل هندسي، حالة طلب)
• دمجها مع switch يمنحك تحققًا من التغطية الكاملة وقت الترجمة بدل خطأ وقت التشغيل

⚠️ أخطاء شائعة

• نسيان تحديد final أو sealed أو non-sealed على صنف فرعي مباشر — خطأ ترجمة إجباري
• توقع أن permits تمنع الوراثة عبر الانعكاس (reflection) — sealed تقيّد الترجمة فقط، لا حماية أمنية مطلقة

خصائص ذات صلة