ฉันอ่านคู่มือโปรแกรมเมอร์ของ Java ™ SCJP Certificationโดย Khalid Mughal

ในบทที่สืบทอดมันอธิบายว่า

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

นอกจากนี้ยังกล่าวถึงวิธีการคงที่ไม่ได้รับการสืบทอด แต่โค้ดด้านล่างนี้ใช้ได้อย่างสมบูรณ์แบบ:

class A
{
    public static void display()
    {
        System.out.println("Inside static method of superclass");
    }
}

class B extends A
{
    public void show()
    {
        // This works - accessing display() by its simple name -
        // meaning it is inherited according to the book.
        display();
    }
}

ฉันสามารถใช้display()ในชั้นเรียนได้โดยตรงBอย่างไร ยิ่งกว่านั้นB.display()ยังใช้งานได้

คำอธิบายของหนังสือเล่มนี้ใช้กับวิธีการแบบอินสแตนซ์หรือไม่

เมธอดทั้งหมดที่สามารถเข้าถึงได้นั้นสืบทอดโดยคลาสย่อย

จากแบบฝึกหัด Sun Java :

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

ความแตกต่างเพียงอย่างเดียวกับเมธอด static (class) ที่สืบทอดมาและเมธอด non-static (เช่น) ที่สืบทอดมานั้นคือเมื่อคุณเขียนวิธีสแตติกใหม่ที่มีลายเซ็นเหมือนกันเมธอดสแตติกเก่าจะถูกซ่อนไว้เท่านั้น

จากหน้าเกี่ยวกับความแตกต่างระหว่างการเอาชนะและการซ่อน

ความแตกต่างระหว่างการซ่อนและการเอาชนะมีความหมายที่สำคัญ เวอร์ชันของเมธอด overridden ที่ถูกเรียกใช้เป็นหนึ่งในคลาสย่อย เวอร์ชันของเมธอดที่ซ่อนที่ถูกเรียกใช้ขึ้นอยู่กับว่าถูกเรียกใช้จากซูเปอร์คลาสหรือคลาสย่อย

ถ้านั่นคือสิ่งที่หนังสือพูดจริง ๆ มันผิด [1]

Java Language ข้อกำหนด # 8.4.8ฯ :

8.4.8 การสืบทอดการเอาชนะและการซ่อน

คลาส C สืบทอดมาจากซูเปอร์คลาสโดยตรงของเมธอดคอนกรีตทั้งหมด m (ทั้งคงที่และอินสแตนซ์) ของซูเปอร์คลาสซึ่งทั้งหมดต่อไปนี้เป็นจริง:

• m เป็นสมาชิกของ direct superclass ของ C

• m เป็นสาธารณะป้องกันหรือประกาศด้วยการเข้าถึงแพ็คเกจในแพ็คเกจเดียวกับ C

• ไม่มีวิธีการประกาศใน C มีลายเซ็นที่เป็นลายเซ็นย่อย (§8.4.2) ของลายเซ็นของ m

[1] ไม่ได้หมายความว่าในสำเนาฉบับที่ 1 ของฉันปี 2000

คุณสามารถพบความแตกต่างในรหัสต่อไปนี้ซึ่งเป็นการปรับเปลี่ยนรหัสของคุณเล็กน้อย

class A {
    public static void display() {
        System.out.println("Inside static method of superclass");
    }
}

class B extends A {
    public void show() {
        display();
    }

    public static void display() {
        System.out.println("Inside static method of this class");
    }
}

public class Test {
    public static void main(String[] args) {
        B b = new B();
        // prints: Inside static method of this class
        b.display();

        A a = new B();
        // prints: Inside static method of superclass
        a.display();
    }
}

นี่คือสาเหตุที่วิธีการคงที่เป็นวิธีการเรียน

A.display () และ B.display () จะเรียกใช้เมธอดของคลาสที่เกี่ยวข้อง

B.display () ทำงานได้เนื่องจากการประกาศแบบคงที่ทำให้วิธีการ / สมาชิกเป็นสมาชิกของชั้นเรียนและไม่ได้อินสแตนซ์ชั้นเรียนที่เฉพาะเจาะจงใด ๆ (aka วัตถุ) คุณสามารถอ่านเพิ่มเติมได้ที่นี่

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

วิธีการคงที่ใน Java ได้รับการสืบทอด แต่ไม่สามารถแทนที่ หากคุณประกาศวิธีเดียวกันในคลาสย่อยคุณจะซ่อนเมธอดคลาสคลาสแทนการลบล้าง วิธีการคงที่ไม่ใช่ polymorphic ณ เวลารวบรวมวิธีสแตติกจะถูกลิงก์แบบสแตติก

ตัวอย่าง:

public class Writer {
    public static void write() {
        System.out.println("Writing");
    }
}

public class Author extends Writer {
    public static void write() {
        System.out.println("Writing book");
    }
}

public class Programmer extends Writer {

    public static void write() {
        System.out.println("Writing code");
    }

    public static void main(String[] args) {
        Writer w = new Programmer();
        w.write();

        Writer secondWriter = new Author();
        secondWriter.write();

        Writer thirdWriter = null;
        thirdWriter.write();

        Author firstAuthor = new Author();
        firstAuthor.write();
    }
}

คุณจะได้รับสิ่งต่อไปนี้:

Writing
Writing
Writing
Writing book

วิธีการคงที่ได้รับการสืบทอดใน Java แต่พวกเขาไม่ได้มีส่วนร่วมในความหลากหลาย หากเราพยายามแทนที่เมธอดสแตติกพวกเขาจะซ่อนเมธอดแบบสแตติก superclass แทนการแทนที่พวกเขา

แนวคิดนี้ไม่ง่ายอย่างที่คิด เราสามารถเข้าถึงสมาชิกคงที่โดยไม่ต้องรับมรดกซึ่งก็คือความสัมพันธ์แบบ HasA เราสามารถเข้าถึงสมาชิกคงที่โดยการขยายชั้นผู้ปกครองด้วย ไม่ได้หมายความว่ามันเป็นความสัมพันธ์ของ ISA (การสืบทอด) สมาชิกสแตติกจริง ๆ แล้วเป็นสมาชิกของคลาสและสแตติกไม่ใช่ตัวดัดแปลงการเข้าถึง ตราบใดที่ตัวดัดแปลงการเข้าถึงอนุญาตให้เข้าถึงสมาชิกแบบคงที่เราสามารถใช้พวกมันในคลาสอื่น ๆ ได้ เช่นเดียวกับถ้าเป็นสาธารณะมันจะสามารถเข้าถึงได้ในแพ็คเกจเดียวกันและนอกแพ็คเกจ เพื่อความเป็นส่วนตัวเราไม่สามารถใช้งานได้ทุกที่ สำหรับค่าเริ่มต้นเราสามารถใช้ได้ภายในแพ็คเกจเท่านั้น แต่สำหรับการป้องกันเราจะต้องขยายคลาสซุปเปอร์ ดังนั้นการใช้เมธอดสแตติกไปยังคลาสอื่นไม่ได้ขึ้นอยู่กับการเป็นสแตติก ขึ้นอยู่กับตัวดัดแปลงการเข้าถึง ดังนั้นในความคิดของฉัน สมาชิกแบบสแตติกสามารถเข้าถึงได้หากตัวดัดแปลงการเข้าถึงอนุญาต มิฉะนั้นเราสามารถใช้มันได้เหมือนที่เราใช้โดย Hasa-Relations และมีความสัมพันธ์ไม่ใช่มรดก อีกครั้งเราไม่สามารถแทนที่วิธีคงที่ หากเราสามารถใช้วิธีอื่น แต่ไม่สามารถแทนที่มันได้แสดงว่าเป็นความสัมพันธ์แบบ HasA หากเราไม่สามารถแทนที่พวกเขามันจะไม่ได้รับมรดกดังนั้นนักเขียนที่ถูกต้อง 100%

วิธีสแตติกได้รับการสืบทอดในคลาสย่อย แต่ไม่ใช่พหุสัณฐาน เมื่อคุณเขียนการใช้งานของวิธีการแบบคงที่วิธีการเรียนของผู้ปกครองอยู่เหนือที่ซ่อนอยู่ไม่ถูกแทนที่ คิดว่าถ้ามันไม่ได้สืบทอดมาคุณจะสามารถเข้าถึงได้โดยไม่ต้องทำclassname.staticMethodname();อย่างไร?

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

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

คุณสามารถแทนที่เมธอดสแตติกได้ แต่ถ้าคุณพยายามใช้ polymorphism พวกมันจะทำงานตามขอบเขตของคลาส (ตรงกันข้ามกับที่เราคาดไว้)

public class A {

    public static void display(){
        System.out.println("in static method of A");
    }
}

public class B extends A {

    void show(){
        display();
    }

     public static void display(){
        System.out.println("in static method of B");
    }

}
public class Test {

    public static void main(String[] args){
        B obj =new B();
        obj.show();

        A a_obj=new B();
        a_obj.display();


    }


}

ในกรณีแรก o / p คือ "ในวิธีการแบบคงที่ของ B" # การแทนที่ที่ประสบความสำเร็จในกรณีที่ 2, o / p คือ "ในวิธีการคงที่ของ A" # วิธีแบบคงที่ - จะไม่พิจารณาความหลากหลาย

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

หลายคนเปล่งคำตอบออกมาเป็นคำพูด นี่คือคำอธิบายเพิ่มเติมในรหัส:

public class A {
    public static void test() {
        System.out.println("A");
    }
    public static void test2() {
        System.out.println("Test");
    }
}

public class B extends A {
    public static void test() {
        System.out.println("B");
    }
}

// Called statically
A.test();
B.test();
System.out.println();

// Called statically, testing static inheritance
A.test2();
B.test2();
System.out.println();

// Called via instance object
A a = new A();
B b = new B();
a.test();
b.test();
System.out.println();

// Testing inheritance via instance call
a.test2();
b.test2();
System.out.println();

// Testing whether calling static method via instance object is dependent on compile or runtime type
((A) b).hi();
System.out.println();

// Testing whether null instance works
A nullObj = null;
nullObj.hi();

ผล:

A
B

Test
Test

A
B

Test
Test

A

A

ดังนั้นนี่คือข้อสรุป:

1. เมื่อเราเรียกว่าสแตติกในลักษณะคงที่ผ่านทางมันจะมองหาสแตติกที่กำหนดไว้ในคลาสนั้นหรือคลาสที่ใกล้เคียงที่สุดกับที่อยู่ในห่วงโซ่การสืบทอด สิ่งนี้พิสูจน์ให้เห็นว่าวิธีการคงที่ได้รับการสืบทอด
2. เมื่อวิธีการคงที่ถูกเรียกจากอินสแตนซ์มันเรียกวิธีการคงที่ที่กำหนดไว้ในประเภทเวลารวบรวม
3. วิธีการคงที่สามารถเรียกได้จากnullอินสแตนซ์ ฉันเดาว่าคอมไพเลอร์จะใช้ประเภทตัวแปรเพื่อค้นหาคลาสในระหว่างการรวบรวมและแปลว่าเป็นการเรียกเมธอดสแตติกที่เหมาะสม

สมาชิกแบบสแตติกเป็นสมาชิกสากล พวกเขาสามารถเข้าถึงได้จากทุกที่

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