The wildcard ? extends Object is eq

The wildcard ? extends Object is equivalent to the unbounded wildcard ?.
Two type arguments are provably distinct if one of the following is true:
• Neither argument is a type variable or wildcard, and the two arguments are not
the same type.
• One type argument is a type variable or wildcard, with an upper bound (from
capture conversion (§5.1.10), if necessary) of S; and the other type argument T
is not a type variable or wildcard; and neither |S|

ผลลัพธ์ (ไทย) 1:

อักขระตัวแทน ขยายวัตถุจะเท่ากับอักขระตัวแทนไม่ชนิดอาร์กิวเมนต์ที่สองจะแตกต่างกัน provably ถ้าหนึ่งต่อไปนี้เป็นจริง:•ใช่อาร์กิวเมนต์ที่เป็นตัวแปรชนิดหรือตัวแทน และอาร์กิวเมนต์ที่สองไม่ชนิดเดียวกัน•ชนิดอาร์กิวเมนต์เป็นตัวแปรชนิดหรือตัวแทน ด้วยการขึ้นไป (จากจับแปลง (§5.1.10), ถ้าจำเป็น) ของ S และอื่น ๆ อาร์กิวเมนต์ชนิด Tไม่ใช่ชนิดตัวแปรหรือสัญลักษณ์ตัวแทน และไม่กรุนด์ฟอส S| <: กรุนด์ฟอส T| หรือกรุนด์ฟอส T| <: กรุนด์ฟอส S| (§4.8, §4.10)•แต่ละอาร์กิวเมนต์ชนิดเป็นตัวแปรชนิดหรือตัวแทน มีขอบเขตบน (จากจับแปลง ถ้าจำเป็น) ของ S และ T และไม่กรุนด์ฟอส S| <: กรุนด์ฟอส T| หรือกรุนด์ฟอส T| <: กรุนด์ฟอส S|ชนิดอาร์กิวเมนต์ T1 กล่าวประกอบด้วยอาร์กิวเมนต์ของชนิดอื่น T2 เขียน T2 < = T1ถ้าการตั้งค่าของชนิดที่ระบุ โดย T2 provably ชุดย่อยของชุดของชนิดที่ระบุโดย T1 ใต้ปิดสะท้อนกลับ และ transitive ของกฎต่อไปนี้ (ที่ <:หมายถึง subtyping (§4.10)):

ผลลัพธ์ (ไทย) 2:

สัญลักษณ์แทน? ?. ขยายวัตถุเทียบเท่ากับสัญลักษณ์แทนมากมาย
อาร์กิวเมนต์สองประเภทมีสรรพสิ่งที่แตกต่างกันอย่างใดอย่างหนึ่งดังต่อไปนี้เป็นจริง:
•อาร์กิวเมนต์ทั้งเป็นตัวแปรประเภทหรือตัวแทนและทั้งสองมีปากเสียงไม่ได้
ประเภทเดียวกัน.
•ประเภทอาร์กิวเมนต์หนึ่งคือ ชนิดตัวแปรหรือตัวแทนที่มีขอบเขตบน (จาก
การจับภาพการแปลง (§5.1.10) ถ้าจำเป็น) ของ บริษัท เอส; และประเภทอื่น ๆ T โต้แย้ง
ไม่ได้เป็นตัวแปรประเภทหรือสัญลักษณ์แทน; และไม่ | S | <: | T | มิได้ | T | <: | S | (§4.8, §4.10).
•อาร์กิวเมนต์แต่ละชนิดเป็นตัวแปรประเภทหรือตัวแทนที่มีขอบเขตบน (จาก
การแปลงจับถ้าจำเป็น) ของ S และ T; และไม่ | S | <: | T | มิได้ | T | <: | S |.
T1 ประเภทอาร์กิวเมนต์บอกว่าจะมีอีก T2 ประเภทอาร์กิวเมนต์เขียน T2 <= T1,
ถ้าชุดของประเภทแสดงโดย T2 คือสรรพสิ่งเป็นส่วนหนึ่งของชุดของประเภทแสดง
โดย T1 ภายใต้สะท้อนและสกรรมกริยา ปิดกฎต่อไปนี้ (ที่ <:
หมายถึง subtyping (§4.10)):

ผลลัพธ์ (ไทย) 3:

ตัวแทน ? ขยายวัตถุเท่ากับตัวแทนความ ? .สองประเภทที่แตกต่างกัน ถ้าอาร์กิวเมนต์เป็นอาจหนึ่งต่อไปนี้เป็นจริง :- ไม่มีอาร์กิวเมนต์เป็นชนิดตัวแปร หรือตัวแทนและสองอาร์กิวเมนต์ไม่ได้ชนิดเดียวกัน- ประเภทหนึ่งอาร์กิวเมนต์เป็นชนิดตัวแปร หรือตัวแทนที่มีจำกัดบน ( จากจับแปลง ( § 5.1.10 ) ถ้าจำเป็น ) S ; และชนิดอื่น ๆ เหตุผลทีไม่ใช่ประเภทตัวแปร หรือตัวแทน และไม่ | S | < : | T T | หรือ | | < : | S | ( § 4.8 § 4.10 )- แต่ละประเภทอาร์กิวเมนต์เป็นชนิดตัวแปร หรือตัวแทนที่มีขอบเขตบน ( จากจับแปลงหากจำเป็น ) และ t ; และไม่ | S | < : | T T | หรือ | | < : | S | .ประเภทว่า มีอีกเหตุผล T1 T2 อาร์กิวเมนต์ชนิดเขียน < = T1 T2 ,ถ้าชุดของประเภท T2 แทน โดยเป็นอาจเป็นเซตย่อยของชุดรูปแบบ กล่าวคือโดย T1 ใต้สะท้อนการกปิดของกฎต่อไปนี้ ( ซึ่ง < :แสดง subtyping ( § 4.10 : ) )