Neden soyut alanlar değil?

Java sınıfları neden soyut yöntemlere sahip oldukları gibi soyut alanlara sahip olamıyor?

Örneğin: Aynı soyut temel sınıfı genişleten iki sınıfım var. Bu iki sınıfın her biri, içlerinde bir hata mesajı olan bir String sabiti dışında aynı olan bir yönteme sahiptir. Alanlar soyut olabilseydi, bu sabit soyutlamayı yapabilir ve yöntemi temel sınıfa çekebilirim. Bunun yerine, getErrMsg()bu durumda çağrılan , String'i döndüren, bu yöntemi iki türetilmiş sınıfta geçersiz kılan ve ardından yöntemi (şimdi soyut yöntemi çağıran) kaldırabilen bir soyut yöntem oluşturmalıyım.

Neden başlamak için alanı soyutlayamıyorum? Java buna izin verecek şekilde tasarlanmış olabilir mi?

Yapıcısında başlatılmış olan soyut sınıfınızda son bir alana sahip olarak tanımladığınız şeyi yapabilirsiniz (test edilmemiş kod):

abstract class Base {

    final String errMsg;

    Base(String msg) {
        errMsg = msg;
    }

    abstract String doSomething();
}

class Sub extends Base {

    Sub() {
        super("Sub message");
    }

    String doSomething() {

        return errMsg + " from something";
    }
}

Çocuk sınıfınız finali süper kurucu aracılığıyla başlatmayı "unutursa", derleyici, soyut bir yöntem uygulanmadığında olduğu gibi, bir hata uyarısı verecektir .

Bunun bir anlamı yok. Fonksiyonu soyut sınıfa taşıyabilir ve sadece bazı korumalı alanları geçersiz kılabilirsiniz. Bunun sabitlerle çalışıp çalışmadığını bilmiyorum ama etkisi aynı:

public abstract class Abstract {
    protected String errorMsg = "";

    public String getErrMsg() {
        return this.errorMsg;
    }
}

public class Foo extends Abstract {
    public Foo() {
       this.errorMsg = "Foo";
    }

}

public class Bar extends Abstract {
    public Bar() {
       this.errorMsg = "Bar";
    }
}

Demek istediğin errorMsg, alt sınıflarda uygulamayı / geçersiz kılma / her ne olursa olsun zorlamak istiyorsun ? Yöntemin temel sınıfta olmasını istediğini ve o zamanlar alanla nasıl başa çıkacağını bilmediğini sanıyordum.

Açıkçası olabilir buna izin şekilde tasarlanmıştır, ancak yorganın altında hala dinamik sevk ve dolayısıyla bir yöntem çağrısı yapmak gerekir. Java'nın tasarımı (en azından ilk günlerde) bir dereceye kadar minimalist olma girişimiydi. Yani, tasarımcılar, halihazırda dilde bulunan diğer özelliklerle kolayca simüle edilebiliyorsa, yeni özellikler eklemekten kaçınmaya çalıştılar.

Başlığınızı okurken, soyut örnek üyelerine atıfta bulunduğunuzu düşündüm; ve onlar için fazla bir kullanım göremedim. Ancak soyut statik üyeler tamamen başka bir konudur.

Java'da aşağıdaki gibi bir yöntem bildirebilmeyi sık sık diledim:

public abstract class MyClass {

    public static abstract MyClass createInstance();

    // more stuff...

}

Temel olarak, üst sınıfımın somut uygulamalarının belirli bir imzaya sahip statik bir fabrika yöntemi sağladığında ısrar etmek isterim. Bu, somut bir sınıfa atıfta bulunmamı Class.forName()ve seçtiğim bir kongre içinde bir tane oluşturabileceğimden emin olmamı sağlardı.

Diğer bir seçenek, alanı temel sınıfta genel (isterseniz son) olarak tanımlamak ve ardından o anda hangi alt sınıfın kullanıldığına bağlı olarak bu alanı temel sınıfın yapıcısında başlatmaktır. Döngüsel bir bağımlılık getirmesi nedeniyle biraz gölgeli. Ama en azından bu değişebilen bir bağımlılık değil - yani, alt sınıf ya var olacak ya da olmayacak, ancak alt sınıfın yöntemleri ya da alanları değerini etkileyemez field.

public abstract class Base {
  public final int field;
  public Base() {
    if (this instanceof SubClassOne) {
      field = 1;
    } else if (this instanceof SubClassTwo) {
      field = 2;
    } else {
      // assertion, thrown exception, set to -1, whatever you want to do 
      // to trigger an error
      field = -1;
    }
  }
}