เมธอดมีการลบแบบเดียวกับเมธอดชนิดอื่น

ทำไมมันไม่ถูกกฎหมายที่จะมีสองวิธีต่อไปนี้ในชั้นเรียนเดียวกัน

class Test{
   void add(Set<Integer> ii){}
   void add(Set<String> ss){}
}

ฉันได้รับ compilation error

วิธีการเพิ่ม (ชุด) มีการเพิ่มการลบเช่นเดียวกับชุดวิธีการอื่นในการทดสอบประเภท

ในขณะที่ฉันสามารถหลีกเลี่ยงได้ฉันก็สงสัยว่าทำไม javac ไม่ชอบสิ่งนี้

ฉันเห็นได้ว่าในหลาย ๆ กรณีตรรกะของทั้งสองวิธีนั้นจะคล้ายกันมากและอาจถูกแทนที่ด้วยวิธีเดียว

public void add(Set<?> set){}

วิธีการ แต่นี่ไม่ใช่กรณี

นี่เป็นเรื่องที่น่ารำคาญเป็นพิเศษหากคุณต้องการมีสองอันconstructorsที่ขัดแย้งกันเพราะคุณไม่สามารถเปลี่ยนชื่อของหนึ่งในconstructorsนั้นได้

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

นี่คือภาพประกอบว่าทำไมสิ่งนี้จึงไม่ได้รับอนุญาตดึงมาจาก JLS สมมติว่าก่อนที่ generics จะแนะนำให้รู้จักกับ Java ฉันเขียนโค้ดบางอย่างเช่นนี้:

class CollectionConverter {
  List toList(Collection c) {...}
}

คุณขยายชั้นเรียนของฉันเช่นนี้

class Overrider extends CollectionConverter{
  List toList(Collection c) {...}
}

หลังจากการแนะนำ generics ฉันตัดสินใจที่จะปรับปรุงห้องสมุดของฉัน

class CollectionConverter {
  <T> List<T> toList(Collection<T> c) {...}
}

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

เวลาผ่านไปและคุณตัดสินใจว่าคุณพร้อมที่จะอัปเดตชั้นเรียนของคุณ แต่คุณทำผิดพลาดเล็กน้อยและแทนที่จะแก้ไขtoList()วิธีraw ที่มีอยู่เดิมคุณเพิ่มวิธีการใหม่ดังนี้:

class Overrider extends CollectionConverter {
  @Override
  List toList(Collection c) {...}
  @Override
  <T> List<T> toList(Collection<T> c) {...}
}

เนื่องจากความเท่าเทียมกันของการแทนที่ประเภทดิบทั้งสองวิธีอยู่ในรูปแบบที่ถูกต้องเพื่อแทนที่toList(Collection<T>)วิธีการ แต่แน่นอนว่าคอมไพเลอร์จำเป็นต้องแก้ไขวิธีการเดียว เพื่อกำจัดความกำกวมนี้คลาสไม่ได้รับอนุญาตให้มีหลายวิธีที่เทียบเท่ากับการแทนที่นั่นคือหลายวิธีที่มีพารามิเตอร์ชนิดเดียวกันหลังจากลบออก

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

Java generics ใช้การลบประเภท บิตในวงเล็บเหลี่ยม ( <Integer>และ<String>) ถูกลบออกดังนั้นคุณจะได้สองวิธีที่มีลายเซ็นเหมือนกัน (ที่add(Set)คุณเห็นในข้อผิดพลาด) ไม่ได้รับอนุญาตเพราะรันไทม์จะไม่ทราบว่าจะใช้สำหรับแต่ละกรณี

หาก Java เคยได้รับการแปลใหม่ทั่วไปคุณก็สามารถทำได้ แต่ตอนนี้อาจไม่น่าเป็นไปได้

เพราะนี่คือ Java Generics จะดำเนินการกับประเภทลบ

วิธีการของคุณจะได้รับการแปลในบางครั้งเช่น:

วิธีการแก้ปัญหาเกิดขึ้นในเวลารวบรวมและไม่ได้พิจารณาพารามิเตอร์ประเภท ( ดูคำตอบของ erickson )

void add(Set ii);
void add(Set ss);

ทั้งสองวิธีมีลายเซ็นเดียวกันโดยไม่มีพารามิเตอร์ประเภทดังนั้นข้อผิดพลาด

ปัญหาคือว่าSet<Integer>และSet<String>ได้รับการปฏิบัติจริงSetจาก JVM การเลือกประเภทสำหรับชุด (สตริงหรือจำนวนเต็มในกรณีของคุณ) เป็นเพียงน้ำตาลที่ใช้โดยคอมไพเลอร์ JVM ที่ไม่สามารถแยกแยะความแตกต่างระหว่างและSet<String>Set<Integer>

กำหนดวิธีการเดียวโดยไม่ต้องพิมพ์เช่น void add(Set ii){}

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

อาจเป็นไปได้ว่าคอมไพเลอร์แปล Set (Integer) เป็น Set (Object) ในโค้ดจาวาไบต์ หากเป็นกรณีนี้ Set (Integer) จะถูกใช้เฉพาะที่คอมไพล์เฟสสำหรับการตรวจสอบไวยากรณ์

ฉันชนนี่เมื่อพยายามเขียนสิ่งที่ชอบ: Continuable<T> callAsync(Callable<T> code) {....} และ Continuable<Continuable<T>> callAsync(Callable<Continuable<T>> veryAsyncCode) {...} พวกเขากลายเป็นคอมไพเลอร์สำหรับคำจำกัดความ 2 ของ Continuable<> callAsync(Callable<> veryAsyncCode) {...}

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

สำหรับวิธีการดำเนินการเปลี่ยนชื่อที่คล้ายกันจะช่วยเช่น

class Test{
   void addIntegers(Set<Integer> ii){}
   void addStrings(Set<String> ss){}
}

หรือด้วยชื่อที่เป็นคำอธิบายเพิ่มเติมการจัดทำเอกสารด้วยตนเองสำหรับกรณี oyu เช่นaddNamesและaddIndexesเช่นนั้น