ทำไม“ int i = 2147483647 + 1;” ตกลง แต่“ ไบต์ b = 127 + 1;” คอมไพล์ไม่ได้?

ทำไมถึงint i = 2147483647 + 1;ตกลง แต่คอมbyte b = 127 + 1;ไพล์ไม่ได้

ค่าคงที่ได้รับการประเมินเป็น int ดังนั้นจึง2147483647 + 1ล้นและให้ int ใหม่ซึ่งสามารถกำหนดให้intได้ในขณะที่127 + 1ประเมินว่าintเท่ากับ128และไม่สามารถกำหนดให้byteได้

ลิเทอรัล 127 หมายถึงค่าชนิด int ลิเทอรัล 1 ก็เช่นกันผลรวมของทั้งสองนี้คือจำนวนเต็ม 128 ปัญหาในกรณีที่สองคือคุณกำหนดค่านี้ให้กับตัวแปรชนิดไบต์ ไม่มีอะไรเกี่ยวข้องกับค่าจริงของนิพจน์ มันเกี่ยวข้องกับ Java ที่ไม่สนับสนุนการบังคับ (*) คุณต้องเพิ่มตัวพิมพ์

byte b = (byte)(127 + 1);

จากนั้นจะรวบรวม

(*) อย่างน้อยก็ไม่ใช่ประเภท String-to-integer, float-to-Time, ... Java สนับสนุนการบีบบังคับถ้าเป็นในแง่หนึ่งคือไม่สูญเสีย (Java เรียกสิ่งนี้ว่า "widening")

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

เพื่อเป็นหลักฐานในการ @MByD:

รหัสต่อไปนี้รวบรวม:

byte c = (byte)(127 + 1);

เพราะแม้ว่าการแสดงออก(127 + 1)เป็น int และเกินขอบเขตออกประเภทผลที่ได้คือการหล่อbyte การแสดงออกนี้ผลิตbyte-128

JLS3 # 5.2 การแปลงการมอบหมาย

(ตัวแปร = นิพจน์)

นอกจากนี้ถ้านิพจน์เป็นนิพจน์คงที่ (§15.28) ของไบต์ชนิดสั้นถ่านหรือ int:

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

หากไม่มีข้อนี้เราจะไม่สามารถเขียนได้

byte x = 0;
char c = 0;

แต่เราควรจะทำได้ไหม ฉันไม่คิดอย่างนั้น มีเวทมนตร์บางอย่างที่เกิดขึ้นในการเปลี่ยนใจเลื่อมใสในยุคดึกดำบรรพ์เราต้องระวังให้มาก ฉันจะออกไปจากทางที่จะเขียน

byte x = (byte)0;