ถ้า IDE ของฉันฉลาดเหลือเกินฉันจะต้องทำการ“ clone ()” ทำไม?

My IDE ( NetBeans ) ประเภทของฉันตรวจสอบCollectionsขณะที่ฉันพิมพ์รหัส แต่ทำไมฉันต้องโยนวัตถุคืนกลับมาObject.clone()? ซึ่งเป็นเรื่องปกติ ไม่เป็นอันตรายไม่มีเหม็น แต่ถึงกระนั้นฉันไม่เข้าใจ

การตรวจสอบประเภทObject.clone()เป็นไปได้หรือไม่โดยไม่ต้องทำการคัดลอกวัตถุที่ส่งคืนเป็นไปไม่ได้? genericsกรอบทำให้ฉันคิดว่า IDE สามารถตรวจสอบประเภทของการอ้างอิงวัตถุบนด้านขวาของ " =เครื่องหมาย" โดยไม่ต้องหล่อในขณะที่ฉันพิมพ์? ฉันไม่เข้าใจ

ภาคผนวก
กรณีการใช้งานของฉันเป็นเพียงแค่ว่าผมมีความส่วนตัวCalendarฟิลด์pubDate ฉันกำลังจะเขียน:

Calendar getPubdate() {
    return pubdate;
}

แต่มีความเสี่ยงที่ผู้บุกรุกสามารถแก้ไขpubdateของฉันได้ดังนั้นฉันจึงส่งสำเนา:

Calendar getPubdate() {
    return (Calendar) pubdate.clone();
}

pubdate.clone()แล้วฉันสงสัยว่าทำไมผมต้องหล่อ ลายเซ็นวิธีมีประเภทที่นั่น NetBeansน่าจะสามารถเข้าใจได้ และNetBeansCollectionsดูเหมือนจะทำอะไรบางอย่างที่คล้ายกันในเรื่องเกี่ยวกับ

ทำไมฉันต้องโยนวัตถุคืนกลับมาObject.clone()?

เพราะมันกลับObjectมา

genericsกรอบทำให้ฉันคิดว่า IDE สามารถตรวจสอบประเภทของการอ้างอิงวัตถุบนด้านขวาของ " =เครื่องหมาย" โดยไม่ต้องหล่อในขณะที่ฉันพิมพ์? ฉันไม่เข้าใจ

Object.clone ไม่ธรรมดา

หากมีข้อมูลทั่วไปเมื่อcloneถูกออกแบบมันอาจจะเป็นแบบนี้ (ใช้ F-Bounded Polymorphism):

interface Cloneable<T extends Cloneable<T>> {
  T clone();
}

หาก Java มีคุณสมบัติ MyType มันอาจจะเป็นดังนี้:

interface Cloneable {
  this clone();
}

แต่ Generics ไม่มีอยู่เมื่อObject.cloneถูกออกแบบมาและ Java ไม่มี MyTypes ดังนั้นเวอร์ชันที่ไม่ปลอดภัยของประเภทObject.cloneนี้คือสิ่งที่เราต้องทำงานด้วย

นี่ไม่ใช่คุณสมบัติของ IDE ใด ๆ แต่เป็นข้อกำหนดของภาษา

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

แก้ไขมันเป็นความจริงที่ IDE สามารถรวบรวมคอมไพเลอร์ของตัวเองและในความเป็นจริงหลายคนทำอย่างนั้นเช่นสำหรับการรายงานข้อผิดพลาดที่ดีกว่าที่มีข้อมูลภายในมากขึ้นในการแยกวิเคราะห์ต้นไม้บางส่วน อย่างไรก็ตามมันเป็นความคิดที่ดีมากที่จะให้คอมไพเลอร์ภายในนี้ใช้ความหมายของภาษาที่แตกต่างจาก SDK อย่างเป็นทางการเนื่องจากนั่นหมายความว่ารหัสที่ใช้ในการพัฒนาสามารถเริ่มต้นอย่างล้มเหลวเมื่อติดตั้งในปัญหาการผลิต แก้ปัญหาได้!

มันเป็นเพราะลายเซ็นประเภทของวิธีการ Object.clone ประเภทลายเซ็นระบุว่าวิธีการจะส่งกลับวัตถุประเภทวัตถุ

protected Object clone() throws CloneNotSupportedException

คอลเลกชันจะใช้ประเภททั่วไปที่เรียกว่าเพื่อทดแทนประเภทการหล่อโดยอัตโนมัติ

ดังนั้นหากคุณมีรหัสนี้:

List<Integer> ints = Arrays.asList(1,2,3);
int x = ints.get(0);`

คอมไพเลอร์จะเพิ่ม casts ให้คุณหลังฉากดังนั้นโค้ดจะเป็น:

List ints = Arrays.asList(1,2,3);
int x = (Integer)ints.get(0);

เพื่อความสมบูรณ์ตั้งแต่ Java 5 ประเภทผลตอบแทน covariant ได้รับอนุญาต ดังนั้นคุณสามารถเขียนสิ่งต่อไปนี้:

public MyObject implements Cloneable {
  @Override
  public MyObject clone() {
    try {
      return (MyObject)super.clone();
    } catch (CloneNotSupportedException e) {
      throw new AssertionError();
    }
  }
}

ด้วยวิธีนี้รหัสต่อไปนี้ถูกกฎหมาย:

MyObject original = new MyObject();
MyObject clone = original.clone();