ทำไมไม่เป็นสาขานามธรรม?

เหตุใดคลาส Java จึงไม่มีฟิลด์นามธรรมเช่นเดียวกับที่สามารถมีวิธีนามธรรมได้

ตัวอย่างเช่นฉันมีสองคลาสที่ขยายคลาสพื้นฐานนามธรรมเดียวกัน ทั้งสองคลาสนี้แต่ละคลาสมีวิธีการที่เหมือนกันยกเว้นค่าคงที่ของสตริงซึ่งเป็นข้อความแสดงข้อผิดพลาดภายในพวกเขา ถ้าฟิลด์เป็นนามธรรมฉันสามารถสร้างนามธรรมคงที่นี้และดึงเมธอดขึ้นมาในคลาสฐาน แต่ฉันต้องสร้างเมธอดนามธรรมที่เรียกว่าgetErrMsg()ในกรณีนี้ที่ส่งคืน String แทนที่เมธอดนี้ในคลาสที่ได้รับสองคลาสจากนั้นฉันสามารถดึงเมธอดขึ้นมาได้ (ซึ่งตอนนี้เรียกว่าเมธอดนามธรรม)

เหตุใดฉันจึงไม่สามารถสร้างบทคัดย่อภาคสนามขึ้นมาได้ Java ได้รับการออกแบบมาเพื่ออนุญาตสิ่งนี้หรือไม่?

คุณสามารถทำสิ่งที่คุณอธิบายได้โดยมีฟิลด์สุดท้ายในคลาสนามธรรมของคุณที่เริ่มต้นในตัวสร้าง (โค้ดที่ยังไม่ทดสอบ):

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";
    }
}

หากคลาสลูกของคุณ "ลืม" เพื่อเริ่มต้นขั้นสุดท้ายผ่านตัวสร้างขั้นสูงคอมไพเลอร์จะแจ้งข้อผิดพลาดเช่นเดียวกับเมื่อไม่มีการใช้วิธีนามธรรม

ฉันไม่เห็นประเด็นในเรื่องนั้น คุณสามารถย้ายฟังก์ชันไปยังคลาสนามธรรมและเพียงแค่แทนที่ฟิลด์ที่มีการป้องกันบางฟิลด์ ฉันไม่รู้ว่ามันใช้ได้กับค่าคงที่หรือเปล่า แต่เอฟเฟกต์เหมือนกัน:

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";
    }
}

ประเด็นของคุณคือคุณต้องการบังคับใช้ / ลบล้าง / อะไรก็ตามerrorMsgในคลาสย่อย? ฉันคิดว่าคุณแค่อยากมีเมธอดในคลาสพื้นฐานและไม่รู้ว่าจะจัดการกับฟิลด์อย่างไร

เห็นได้ชัดว่ามันจะได้รับการออกแบบมาเพื่อให้นี้ แต่ภายใต้ครอบคลุมมันยังคงต้องทำส่งแบบไดนามิกและด้วยเหตุนี้เรียกวิธี การออกแบบของ Java (อย่างน้อยในช่วงแรก ๆ ) เป็นความพยายามที่จะเรียบง่ายในระดับหนึ่ง นั่นคือนักออกแบบพยายามหลีกเลี่ยงการเพิ่มคุณสมบัติใหม่หากสามารถจำลองได้โดยง่ายด้วยคุณสมบัติอื่น ๆ ที่มีอยู่แล้วในภาษา

เมื่ออ่านชื่อของคุณฉันคิดว่าคุณกำลังอ้างถึงสมาชิกอินสแตนซ์นามธรรม และฉันไม่เห็นประโยชน์อะไรสำหรับพวกเขามากนัก แต่สมาชิกคงที่เป็นนามธรรมเป็นอีกเรื่องหนึ่งโดยสิ้นเชิง

ฉันมักจะหวังว่าจะสามารถประกาศวิธีการดังต่อไปนี้ใน Java:

public abstract class MyClass {

    public static abstract MyClass createInstance();

    // more stuff...

}

โดยพื้นฐานแล้วฉันต้องการยืนยันว่าการใช้งานคลาสแม่ของฉันอย่างเป็นรูปธรรมมีวิธีการโรงงานแบบคงที่พร้อมลายเซ็นเฉพาะ สิ่งนี้จะช่วยให้ฉันได้รับการอ้างอิงถึงคลาสที่เป็นรูปธรรมClass.forName()และมั่นใจได้ว่าฉันสามารถสร้างคลาสตามที่ฉันเลือกได้

อีกทางเลือกหนึ่งคือการกำหนดฟิลด์เป็นสาธารณะ (ขั้นสุดท้ายถ้าคุณต้องการ) ในคลาสฐานจากนั้นเริ่มต้นฟิลด์นั้นในตัวสร้างของคลาสฐานขึ้นอยู่กับคลาสย่อยที่กำลังใช้อยู่ มันค่อนข้างร่มรื่นในนั้นแนะนำการพึ่งพาแบบวงกลม แต่อย่างน้อยก็ไม่ได้พึ่งพาที่เคยสามารถเปลี่ยน - คือประเภทรองอาจจะอยู่หรือไม่อยู่ แต่วิธี subclass 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;
    }
  }
}