Neden "int i = 2147483647 + 1;" Tamam, ancak "bayt b = 127 + 1;" derlenebilir değil mi?

Neden int i = 2147483647 + 1;Tamam ama byte b = 127 + 1;derlenemez?

Sabitler yüzden, ints olarak değerlendirilir 2147483647 + 1taşıyor ve size atanabilir olan yeni int verir intiken, 127 + 1aynı zamanda değerlendirilir intiçin eşittir 128ve bu kadar atanabilir değil byte.

Değişmez 127, int türünde bir değeri belirtir. 1 de öyle. Bu ikisinin toplamı 128 tamsayısıdır. İkinci durumda sorun, bunu bayt türündeki bir değişkene atıyor olmanızdır. İfadelerin gerçek değeri ile ilgisi yoktur. Java'nın zorlamaları (*) desteklememesi ile ilgisi var. Bir typecast eklemelisiniz

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

ve sonra derler.

(*) en azından String-to-integer, float-to-Time türünde değil, ... Java bir anlamda kayıpsız iseler zorlamaları destekler (Java bunu "genişletme" olarak adlandırır).

Ve hayır, "baskı" kelimesinin düzeltilmesi gerekmiyordu. Bunda çok bilinçli ve doğru seçildi. En yakın kaynaktan ele (Wikipedia): "Çoğu dilde, zorlama kelimesi ya derleme sırasında ya da çalıştırma sırasında örtük bir dönüşümü belirtmek için kullanılır ." ve "Bilgisayar biliminde, tür dönüştürme, tipleme ve zorlama, bir veri türündeki bir varlığı diğerine değiştirmenin örtük veya açık bir şekilde farklı yollarıdır."

@MByD'ye bir kanıt olarak:

Aşağıdaki kod derlenir:

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

Çünkü ifade (127 + 1), int ve kapsam dışı bytetipin ötesinde olmasına rağmen , sonuç dönüştürülür byte. Bu ifade üretir -128.

JLS3 # 5.2 Atama Dönüşümü

(değişken = ifade)

Ek olarak, ifade byte, short, char veya int türünde sabit bir ifadeyse (§15.28):

Değişkenin türü bayt, kısa veya karakter ise ve sabit ifadenin değeri değişkenin türünde gösterilebilirse, daraltıcı bir ilkel dönüşüm kullanılabilir.

Bu madde olmadan yazamazdık

byte x = 0;
char c = 0;

Ama bunu yapabilmeli miyiz? Ben öyle düşünmüyorum. İlkellerin din değiştirmesinde epeyce sihir vardır, çok dikkatli olunmalıdır. Yazma yolumdan çıkarım

byte x = (byte)0;