ทำไม“ สั้นสามสิบ = 3 * 10” จึงเป็นการมอบหมายงานตามกฎหมาย

หากshortได้รับการเลื่อนตำแหน่งโดยอัตโนมัติintในการคำนวณทางคณิตศาสตร์เหตุใดจึงเป็น:

short thirty = 10 * 3;

การมอบหมายทางกฎหมายให้กับshortตัวแปรthirty?

ในทางกลับกันสิ่งนี้:

short ten = 10;
short three = 3;
short thirty = ten * three; // DOES NOT COMPILE AS EXPECTED

เช่นเดียวกับสิ่งนี้:

int ten = 10;
int three = 3;
short thirty = ten * three; // DOES NOT COMPILE AS EXPECTED

คอมไพล์ไม่ได้เนื่องจากไม่อนุญาตให้กำหนดintค่าให้กับ a shortโดยไม่แคสต์ตามที่คาดไว้

มีอะไรพิเศษเกี่ยวกับตัวอักษรตัวเลขหรือไม่?

เนื่องจากคอมไพเลอร์แทนที่10*3ด้วย 30 ในเวลาคอมไพล์นั่นเอง ดังนั้นอย่างมีประสิทธิภาพ: short thirty = 10 * 3คำนวณในเวลาคอมไพล์

ลองเปลี่ยนtenและthreeเป็นfinal short(ทำให้รวบรวมค่าคงที่ของเวลา) แล้วดูว่าจะเกิดอะไรขึ้น: P

ตรวจสอบไบต์โค้ดโดยใช้javap -v สำหรับการตรวจสอบทั้งสอง ( 10*3และfinal short) คุณจะสามารถเห็นได้ว่ามีความแตกต่างเพียงเล็กน้อย

โอเคนี่คือความแตกต่างของรหัสไบต์สำหรับกรณีต่างๆ

กรณีที่ -1:

รหัส Java: main () {short s = 10 * 3; }

รหัสไบต์:

stack=1, locals=2, args_size=1
         0: bipush        30  // directly push 30 into "s"
         2: istore_1      
         3: return   

กรณีที่ -2:

public static void main(String arf[])  {
   final short s1= 10;
   final short s2 = 3;
   short s = s1*s2;
}

รหัสไบต์:

  stack=1, locals=4, args_size=1
         0: bipush        10
         2: istore_1      
         3: iconst_3      
         4: istore_2      
         5: bipush        30 // AGAIN, push 30 directly into "s"
         7: istore_3      
         8: return   

กรณีที่ -3:

public static void main(String arf[]) throws Exception {
     short s1= 10;
     short s2 = 3;
     int s = s1*s2;
}

ไบต์รหัส:

stack=2, locals=4, args_size=1
         0: bipush        10  // push constant 10
         2: istore_1      
         3: iconst_3        // use constant 3 
         4: istore_2      
         5: iload_1       
         6: iload_2       
         7: imul          
         8: istore_3      
         9: return 

ในกรณีข้างต้น10และ3นำมาจากตัวแปรโลคัลs1และs2

ใช่มีบางอย่างพิเศษเกิดขึ้นกับกรณีตามตัวอักษร: 10 * 3จะได้รับการประเมินในเวลาคอมไพล์ ดังนั้นคุณไม่จำเป็นต้องมี(short)การแปลงอย่างชัดเจนสำหรับตัวอักษรคูณ

ten * three ไม่สามารถประเมินเวลาคอมไพล์ได้ดังนั้นจึงจำเป็นต้องมีการแปลงอย่างชัดเจน

มันจะเป็นเรื่องที่แตกต่างกันถ้าtenและถูกทำเครื่องหมายthreefinal

คำตอบต่อไปนี้จะเพิ่มส่วน JLS และรายละเอียดบางอย่างเกี่ยวกับพฤติกรรมนี้

ตามJLS §15.2 - รูปแบบของนิพจน์

บางนิพจน์มีค่าที่กำหนดได้ในขณะคอมไพล์ นี่คือนิพจน์คงที่ (§15.28)