คำตอบสั้น ๆ คือ: เป็นไปได้ทั้งหมด แต่ Java ไม่ได้ทำ
นี่คือรหัสบางส่วนที่แสดงสถานะปัจจุบันของกิจการใน Java:
ไฟล์Base.java:
package sp.trial;
public class Base {
static void printValue() {
System.out.println(" Called static Base method.");
}
void nonStatPrintValue() {
System.out.println(" Called non-static Base method.");
}
void nonLocalIndirectStatMethod() {
System.out.println(" Non-static calls overridden(?) static:");
System.out.print(" ");
this.printValue();
}
}
ไฟล์Child.java:
package sp.trial;
public class Child extends Base {
static void printValue() {
System.out.println(" Called static Child method.");
}
void nonStatPrintValue() {
System.out.println(" Called non-static Child method.");
}
void localIndirectStatMethod() {
System.out.println(" Non-static calls own static:");
System.out.print(" ");
printValue();
}
public static void main(String[] args) {
System.out.println("Object: static type Base; runtime type Child:");
Base base = new Child();
base.printValue();
base.nonStatPrintValue();
System.out.println("Object: static type Child; runtime type Child:");
Child child = new Child();
child.printValue();
child.nonStatPrintValue();
System.out.println("Class: Child static call:");
Child.printValue();
System.out.println("Class: Base static call:");
Base.printValue();
System.out.println("Object: static/runtime type Child -- call static from non-static method of Child:");
child.localIndirectStatMethod();
System.out.println("Object: static/runtime type Child -- call static from non-static method of Base:");
child.nonLocalIndirectStatMethod();
}
}
หากคุณใช้งานสิ่งนี้ (ฉันทำบน Mac จาก Eclipse โดยใช้ Java 1.6) คุณจะได้รับ:
Object: static type Base; runtime type Child.
Called static Base method.
Called non-static Child method.
Object: static type Child; runtime type Child.
Called static Child method.
Called non-static Child method.
Class: Child static call.
Called static Child method.
Class: Base static call.
Called static Base method.
Object: static/runtime type Child -- call static from non-static method of Child.
Non-static calls own static.
Called static Child method.
Object: static/runtime type Child -- call static from non-static method of Base.
Non-static calls overridden(?) static.
Called static Base method.
ในกรณีนี้มีเพียงกรณีเดียวที่อาจเป็นเรื่องแปลกใจ (และเป็นคำถามที่เกี่ยวกับ) เป็นกรณีแรก
"ไม่ได้ใช้ชนิดเวลาทำงานเพื่อกำหนดวิธีการคงที่ที่เรียกว่าแม้ว่าจะถูกเรียกด้วยอินสแตนซ์ของวัตถุ ( obj.staticMethod())"
และกรณีสุดท้าย :
"เมื่อเรียกเมธอดสแตติกจากภายในเมธอดวัตถุของคลาสเมธอดสแตติกที่เลือกนั้นเป็นวิธีที่เข้าถึงได้จากคลาสนั้นและไม่ได้มาจากคลาสที่กำหนดประเภทเวลาทำงานของวัตถุ"
การโทรด้วยอินสแตนซ์ของวัตถุ
การเรียกแบบสแตติกได้รับการแก้ไขในเวลาคอมไพล์ขณะที่การเรียกเมธอดแบบไม่คงที่จะถูกแก้ไขในเวลาทำการ โปรดสังเกตว่าแม้ว่าวิธีการแบบสแตติกจะสืบทอด (จากพาเรนต์) แต่จะไม่ถูกแทนที่ (โดยลูก) นี่อาจแปลกใจถ้าคุณคาดหวังเป็นอย่างอื่น
โทรจากภายในวัตถุวิธี
การเรียกใช้เมธอดอ็อบเจ็กต์ได้รับการแก้ไขโดยใช้ชนิดรันไทม์ แต่การเรียกเมธอดแบบสแตติก ( คลาส ) ได้รับการแก้ไขโดยใช้ชนิดเวลาคอมไพล์ (ประกาศ)
การเปลี่ยนกฎ
ในการเปลี่ยนกฎเหล่านี้เพื่อให้การโทรครั้งสุดท้ายในตัวอย่างที่เรียกว่าการเรียกChild.printValue()แบบคงที่จะต้องมีประเภทที่เวลาทำงานมากกว่าคอมไพเลอร์การแก้ไขการโทรในเวลารวบรวมที่มีคลาสที่ประกาศของวัตถุ (หรือ บริบท). การโทรแบบสแตติกสามารถใช้ลำดับชั้นชนิด (ไดนามิก) เพื่อแก้ไขการโทรเช่นเดียวกับการเรียกเมธอดวัตถุในวันนี้
สิ่งนี้จะเป็นไปได้อย่างง่ายดาย (ถ้าเราเปลี่ยน Java: -O) และไม่ได้ไร้เหตุผลอย่างไรก็ตามมันมีข้อควรพิจารณาที่น่าสนใจ
พิจารณาหลักคือการที่เราต้องตัดสินใจซึ่งเรียกวิธีแบบคงที่ควรทำเช่นนี้
ในขณะนี้ Java มี "การเล่นโวหาร" ในภาษาที่การobj.staticMethod()โทรจะถูกแทนที่ด้วยการObjectClass.staticMethod()โทร (ปกติจะมีคำเตือน) [ หมายเหตุ: ObjectClassเป็นชนิดที่รวบรวมเวลาของobj.] objเหล่านี้จะเป็นผู้สมัครที่ดีสำหรับการเอาชนะในลักษณะนี้เอาชนิดที่เวลาทำงานของ
ถ้าเราทำมันจะทำให้ร่างกายอ่านวิธีได้ยากขึ้น: การเรียกใช้สแตติกในคลาสพาเรนต์อาจมีการ"กำหนดเส้นทางใหม่" แบบไดนามิก เพื่อหลีกเลี่ยงปัญหานี้เราจะต้องเรียกใช้เมธอดสแตติกที่มีชื่อคลาส - และสิ่งนี้ทำให้การเรียกได้รับการแก้ไขอย่างชัดเจนมากขึ้นด้วยลำดับชั้นของประเภทเวลาคอมไพล์เวลา
วิธีการอื่น ๆ ของการเรียกวิธีคงมีความยุ่งยากมากขึ้น: this.staticMethod()ควรจะหมายถึงเช่นเดียวกับการใช้ชนิดที่เวลาทำงานของobj.staticMethod() thisอย่างไรก็ตามสิ่งนี้อาจทำให้เกิดอาการปวดหัวกับโปรแกรมที่มีอยู่ซึ่งเรียกวิธีการคงที่ (เห็นได้ชัดในท้องถิ่น) โดยไม่ต้องตกแต่ง (ซึ่งเทียบเท่ากับเนื้อหาthis.method())
ดังนั้นสิ่งที่เกี่ยวกับการโทรแบบไม่มีเครื่องตกแต่งstaticMethod()? ฉันขอแนะนำให้พวกเขาทำเช่นเดียวกันกับวันนี้และใช้บริบทระดับท้องถิ่นเพื่อตัดสินใจว่าจะทำอย่างไร ความสับสนมิฉะนั้นจะเกิดขึ้นตามมา แน่นอนมันหมายความว่าmethod()จะหมายถึงthis.method()ว่าmethodเป็นวิธีที่ไม่คงที่และThisClass.method()ถ้าmethodเป็นวิธีคงที่ นี่เป็นอีกแหล่งที่มาของความสับสน
ข้อควรพิจารณาอื่น ๆ
ถ้าเราเปลี่ยนพฤติกรรมนี้ (และทำให้การโทรแบบคงที่อาจเกิดขึ้นแบบไดนามิกที่ไม่ใช่ท้องถิ่น) เราอาจจะต้องการที่จะทบทวนความหมายของfinal, privateและprotectedเป็นบ่นเกี่ยวกับstaticวิธีการของชั้นเรียน จากนั้นเราทุกคนจะต้องคุ้นเคยกับความจริงที่ว่าprivate staticและpublic finalวิธีการไม่ได้ถูกแทนที่และสามารถแก้ไขได้อย่างปลอดภัยในเวลารวบรวมและ "ปลอดภัย" เพื่ออ่านเป็นข้อมูลอ้างอิงในท้องถิ่น