Java'nın enum türleri, otomatik olarak java.lang.Enum sınıfını genişleten sınıflara derlenir. Java'nın uygulama sınıflarının çoklu mirasını yasaklaması nedeniyle, bir enum aynı anda başka bir kullanıcı tanımlı sınıfı genişletemez. Derleyici, her enum sabiti için super(name, ordinal) çağrısı yapan bir yapıcıyı otomatik olarak oluşturur ve dize literali tanımlayıcı ve sıfır tabanlı konumsal indeksin sentetik argümanlar olarak geçirilmesini sağlar; böylece Enum temel sınıfının son alanlarını başlatabilmesi sağlanır.
Bir risk yönetim sistemi tasarlayan bir geliştirme ekibi, ortak eşik doğrulama mantığını paylaşılan bir temel sınıftan miras alan CalculationMode değerlerinin tür güvenli bir sınıflandırmasını gerektiriyordu (HIZLI, TAM, GPU_HIZLANDIRILMIŞ). İlk yaklaşımları, enum CalculationMode extends ThresholdValidator tanımlamaya çalıştı ancak derleyici bunu hemen reddetti. Bu kısıtlama, zaman çizelgeleri için bir tehdit oluşturdu çünkü doğrulama mantığı karmaşıktı ve onu onlarca enum sabiti boyunca tekrar etmek bakım risklerini artıracaktı.
İlk çözüm önerisi: CalculationMode'u genel sınıfla genel statik son sabitler haline dönüştürmek. Bu yaklaşım, ThresholdValidator'i genişletmeye izin veriyor; böylece doğrulama mantığı için kodun yeniden kullanımına olanak tanıyordu. Ancak, bu, enumların sunduğu ayrıntılı switch ifadeleri garantilerini ve tür güvenliğini feda etti ve aynı zamanda yansıma veya serileştirme saldırıları yoluyla tekil sabitlerin birden çok örneğine izin verebildi; böylece alan modelinin kardinalite kısıtlarını ihlal etti.
İkinci çözüm önerisi: Enum'u korumak fakat her sabitte doğrulama mantığını anonim alt sınıflar veya örnekle özel yöntemler aracılığıyla çoğaltmak. Bu, enum anlamını ve tekil garantilerini korudu; böylece uygulama genelinde tür güvenliği sağlandı. Bununla birlikte, bu yaklaşım, doğrulama kuralları değiştikçe yoğun bakım yükü yarattı, DRY ilkesini ihlal etti ve her sabitin anonim alt sınıfı için sentetik sınıf üretimi nedeniyle derlenmiş kod boyutunu önemli ölçüde artırdı.
Üçüncü çözüm önerisi: CalculationStrategy arayüzü tanımlayıp doğrulama yöntemlerini bildirmek, enum'un bu arayüzü uygulamasını sağlamak ve her enum sabiti içinde paylaşılan bir uygulamaya delegasyon yapacak şekilde özel son ThresholdValidator örneği oluşturmak. Bu strateji, enum tür güvenliğini korurken bileşen kullanımı aracılığıyla davranışsal yeniden kullanım sağladı. Ancak, bu, geçici durum kaybını önlemek için doğrulayıcının serilestirilmesini dikkatlice yönetmeyi gerektirdi.
Ekip, hem tekil enumerasyon sabitleri için mimari gereksinimi hem de tekrarsız paylaşılmış doğrulama mantığı ihtiyacını karşıladığı için üçüncü çözümü seçti. Uygulama, yüksek frekanslı işlem yükleri altında stres testini geçti. Sonuç olarak, risk motorunun, sıkı örnek kontrolünü sağlarken hesaplama modlarını yapılandırma dosyaları aracılığıyla değiştirmesini sağladı, böylece önceki sınıf tabanlı uygulamalarında sorun yaratan yasal durum geçişlerini ortadan kaldırarak üretim hatalarını azaltarak.
Neden enum'lar arayüzleri uygulayabilir ancak sınıfları genişletemez, bu kısıtlamayı doğrulayan bayt kodu kanıtı nedir?
Enum'lar birden fazla arayüzü uygulayabilir çünkü Java, türlerin (arayüzler) çoklu mirasını desteklemekte ancak uygulamaların (sınıflar) yalnızca tekil mirasını desteklemektedir. Bir enum'un ClassFile yapısı ACC_ENUM ve ACC_FINAL bayraklarını gösterir; super_class indeksi her zaman java/lang/Enum'a işaret eder. enum Color extends BaseClass olarak tanımlamaya çalışmak, derleyici, görüntüleme hatası oluşturur çünkü derleyici super_class indeksini aynı anda hem java/lang/Enum hem de BaseClass'a yönlendiremeyerek JVM'nin sınıf dosyası formatı kısıtlamalarını ihlal eder.
Derleyici, enum'larda açık yapılandırıcıları nasıl işliyor ve hangi sentetik parametreler ekleniyor?
Geliştiriciler Color(String hex) { this.hex = hex; } gibi bir enum yapıcısı tanımladıklarında, derleyici imzayı (Ljava/lang/String;ILjava/lang/String;)V olarak değiştirir. java.lang.Enum'un korumalı yapıcısı için gereken String adı ve int ordinal'ı içeren iki sentetik parametre eklenir. Derleyici, herhangi bir açık alan başlangıcından önce invokespecial java/lang/Enum.<init>(Ljava/lang/String;I)V bayt kodu çağrısını üretir; böylece zorunlu üst alanlar ayarlanarak alt sınıfın yapımı devam eder.
ObjectOutputStream enum'lara serileştirme sırasında hangi özel dikkatleri gösterir ve bu neden standart serileştirme zafiyetlerinden muaf tutar?
Java serileştirme protokolü enum'lara özel muamele yapar; TC_ENUM tür koduyla. Serileştirme sırasında, yalnızca enum'un String adı yazılır; tüm örnek alanları göz ardı edilir. Serileştirme sırasında, ObjectOutputStream, bir yapıcı çağrısı yapmak yerine Enum.valueOf(Class, String) çağrısını gerçekleştirir; bu, tekil özelliğini garanti eder ve enum tabanlı tekil kalıplarını atlayabilecek tekrar eden örneklerin oluşumunu önler. Bu mekanizma, izinsiz örneklerin yaratılması için rastgele yapıcıların veya readObject yöntemlerinin çağrılmasına dayanan serileştirme saldırılarını doğası gereği engeller.