Java8: java.lang.Object'ten bir yöntem için varsayılan bir yöntem tanımlamak neden yasaklanmıştır.

Varsayılan yöntemler, Java araç kutumuzda güzel ve yeni bir araçtır. Ancak, yöntemin bir defaultsürümünü tanımlayan bir arayüz yazmaya çalıştım toString. Java yöntemleri ilan etmesinden bu yana bu, yasak olduğunu söylüyor java.lang.Objectolmayabilir defaulted. Durum neden böyle?

"Temel sınıf her zaman kazanır" kuralı olduğunu biliyorum, bu nedenle varsayılan olarak (pun;), defaultbir Objectyöntemin herhangi bir uygulamasının üzerine Objectzaten yöntem tarafından yazılacaktır . Ancak, Objectteknik özellikteki yöntemler için bir istisna olmaması için hiçbir neden göremiyorum . Özellikle toStringbunun için varsayılan bir uygulamaya sahip olmak çok faydalı olabilir.

Öyleyse, Java tasarımcılarının defaultyöntemleri geçersiz kılan yöntemlere izin vermemeye karar vermelerinin nedeni Objectnedir?

Bu, siz kazmaya başlayana ve bunun aslında kötü bir fikir olduğunu anlayana kadar "açıkça iyi bir fikir" gibi görünen dil tasarım sorunlarından bir diğeri.

Bu postanın konu hakkında (ve diğer konularda da) çok şey var. Bizi mevcut tasarıma getirmek için bir araya gelen birkaç tasarım gücü vardı:

• Kalıtım modelini basit tutma arzusu;
• Açık örneklerin ötesine baktığınızda (örneğin, AbstractListbir arayüze dönüştüğünüzde), equals / hashCode / toString'in kalıtımsal olarak alınmasının tekli mirasa ve duruma güçlü bir şekilde bağlı olduğunu ve arayüzlerin çok sayıda miras alınmış ve durumsuz olduğunu fark edersiniz;
• Potansiyel olarak bazı şaşırtıcı davranışların kapısını açtı.

"Basit tutma" hedefine zaten dokundunuz; kalıtım ve çatışma çözme kuralları çok basit olacak şekilde tasarlanmıştır (sınıflar arabirimleri kazanır, türetilmiş arabirimler süper arabirimleri kazanır ve diğer tüm çatışmalar uygulayıcı sınıf tarafından çözülür.) Elbette bu kurallar bir istisna yapmak için değiştirilebilir, ancak Sanırım o dizgiyi çekmeye başladığınızda, artan karmaşıklığın düşündüğünüz kadar küçük olmadığını göreceksiniz.

Elbette, daha fazla karmaşıklığı haklı çıkaracak bir dereceye kadar fayda var, ancak bu durumda orada değil. Burada bahsettiğimiz yöntemler eşittir, hashCode ve toString'dir. Bu yöntemlerin tümü özünde nesne durumu ile ilgilidir ve o sınıf için eşitliğin ne anlama geldiğini belirlemek için en iyi konumda olan arabirim değil, duruma sahip olan sınıftır (özellikle eşitlik sözleşmesi oldukça güçlü olduğu için; bkz.Etkili Bazı şaşırtıcı sonuçlar için Java); arayüz yazarları çok uzak.

AbstractListÖrneği çıkarmak kolaydır ; Bu AbstractListdavranıştan kurtulup Listarayüze koyabilirsek çok güzel olurdu . Ancak bu bariz örneğin ötesine geçtiğinizde, bulunabilecek pek çok iyi örnek yoktur. Kökte, AbstractListtek kalıtım için tasarlanmıştır. Ancak arayüzler çoklu kalıtım için tasarlanmalıdır.

Dahası, bu dersi yazdığınızı hayal edin:

class Foo implements com.libraryA.Bar, com.libraryB.Moo { 
    // Implementation of Foo, that does NOT override equals
}

FooSupertypes de yazar görünüyor, eşittir hiçbir uygulanmasını görür ve bunu elde etmek için referans eşitliği sonlandırıyor yapması gereken tüm devralır, eşit; Object. Daha sonra, gelecek hafta, Bar için kütüphane bakıcısı "yardımcı bir şekilde" varsayılan bir equalsuygulama ekler . Posta ile gönder Şimdi, Foobaşka bir bakım etki alanındaki bir arabirim tarafından anlamsallığı bozuldu ve ortak bir yöntem için bir varsayılan ekleyerek "yardımcı" oldu.

Varsayılanların varsayılan olması beklenir. Hiçbirinin olmadığı bir arabirime (hiyerarşinin herhangi bir yerinde) bir varsayılan eklemek, somut uygulama sınıflarının anlamlarını etkilememelidir. Ancak varsayılanlar Nesne yöntemlerini "geçersiz kılabilir", bu doğru olmaz.

Dolayısıyla, zararsız bir özellik gibi görünse de, aslında oldukça zararlıdır: Küçük artımlı ifadeler için çok fazla karmaşıklık ekler ve iyi niyetli, zararsız görünen değişikliklerin ayrı derlenmiş arabirimlere zarar vermesini çok kolaylaştırır. sınıfları uygulamanın amaçlanan semantiği.

java.lang.ObjectVarsayılan yöntemler hiçbir zaman "erişilebilir" olmayacağından, içindeki yöntemler için arabirimlerde varsayılan yöntemlerin tanımlanması yasaktır .

Arayüzü uygulayan sınıflarda varsayılan arabirim yöntemlerinin üzerine yazılabilir ve yöntemin sınıf uygulaması, yöntem bir üst sınıfta uygulanmış olsa bile arabirim uygulamasından daha yüksek önceliğe sahiptir. Tüm sınıflar buradan miras aldığından java.lang.Object, içindeki yöntemler java.lang.Objectarabirimdeki varsayılan yönteme göre önceliğe sahip olur ve bunun yerine çağrılır.

Oracle'dan Brian Goetz, bu posta listesi gönderisinde tasarım kararı hakkında birkaç ayrıntı daha veriyor .

Java dili yazarlarının kafasını göremiyorum, bu yüzden sadece tahmin edebiliriz. Ama ben birçok sebep görüyorum ve bu konuda kesinlikle katılıyorum.

Varsayılan yöntemlerin kullanılmasının ana nedeni, eski uygulamaların geriye dönük uyumluluğunu bozmadan arabirimlere yeni yöntemler ekleyebilmektir. Varsayılan yöntemler, uygulama sınıflarının her birinde bunları tanımlamaya gerek kalmadan "uygunluk" yöntemlerini sağlamak için de kullanılabilir.

Bunların hiçbiri Diziye ve diğer Object yöntemlerine uygulanmaz. Basitçe ifade etmek gerekirse, varsayılan yöntemler, başka bir tanımın olmadığı durumlarda varsayılan davranışı sağlamak için tasarlanmıştır . Diğer mevcut uygulamalarla "rekabet edecek" uygulamalar sağlamamak.

"Temel sınıf her zaman kazanır" kuralının da sağlam nedenleri vardır. Sınıfların gerçek uygulamaları tanımladığı , arayüzlerin ise biraz daha zayıf olan varsayılan uygulamaları tanımladığı varsayılır .

Ayrıca, genel kurallara HERHANGİ bir istisna getirmek, gereksiz karmaşıklığa neden olur ve başka sorular ortaya çıkarır. Nesne, diğerleri gibi (aşağı yukarı) bir sınıftır, öyleyse neden farklı davranışları olsun?

Sonuçta, önerdiğiniz çözüm muhtemelen artılardan daha fazla dezavantaj getirecektir.

Muhakeme çok basittir, çünkü Object tüm Java sınıfları için temel sınıftır. Dolayısıyla, bazı arabirimlerde varsayılan yöntem olarak tanımlanan Object metodumuz olsa bile, bu işe yaramaz çünkü Object'in metodu her zaman kullanılacaktır. Bu nedenle, karışıklığı önlemek için, Object sınıfı yöntemlerini geçersiz kılan varsayılan yöntemlere sahip olamayız.

Çok bilgiçlik bir cevap vermek için, sadece bir tanımlamak yasaktır defaultbir yöntemi kamu dan yöntemle java.lang.Object. Bu soruyu yanıtlamak için üç şekilde kategorize edilebilecek, dikkate alınması gereken 11 yöntem vardır.

1. Altı Objectyöntemlerle olamaz defaultçünkü onlar yöntemleri finalve hiç geçersiz kılınan olamaz: getClass(), notify(), notifyAll(), wait(), wait(long), ve wait(long, int).
2. Üç Objectyöntemlerine sahip olamaz default: Brian Goetz tarafından yukarıda açıklanan nedenlerden ötürü yöntemleri equals(Object), hashCode()ve toString().

3. İki Objectyöntemlerle olabilir var defaultböyle varsayılan değeri en az sorgulanabilir olsa yöntemleri: clone()ve finalize().

   public class Main {
       public static void main(String... args) {
           new FOO().clone();
           new FOO().finalize();
       }
   
       interface ClonerFinalizer {
           default Object clone() {System.out.println("default clone"); return this;}
           default void finalize() {System.out.println("default finalize");}
       }
   
       static class FOO implements ClonerFinalizer {
           @Override
           public Object clone() {
               return ClonerFinalizer.super.clone();
           }
           @Override
           public void finalize() {
               ClonerFinalizer.super.finalize();
           }
       }
   }