Java千問：Java語言中爲byte和short類型變量賦值爲啥會報錯？

我們先來看一段很簡單的Java代碼

這段代碼很是簡單，沒有任何技術含量。可是，若是咱們把這段代碼改爲下面的樣子

你們能夠看到，咱們只是用一個變量a代替了原來賦值表達式當中的常量1，就會出現語法錯誤，這是爲何呢？今天咱們就用一篇短文來聊聊這個話題。
咱們知道，Java語言中有4種整數類型，分別是byte、short、int和long。其中，Java編譯器對byte和short類型的變量在賦值的時候，作了一點點「特殊檢查」。那麼編譯器如何「特殊檢查」這兩種類型的變量呢？當編譯器看到爲這兩種類型的變量進行賦值的時候，要進行「超範圍檢查」，也就是說，會檢查一下給變量所賦的值會不會有可能超過範圍。若是編譯器認爲所賦的值有可能超過這個變量所能存儲的最大值或最小值，那麼就會報語法錯誤。可是不少人都會問，程序中給變量s所賦的值並無超過範圍，爲何會報錯呢？
這就要說說編譯器的檢查機制。當編譯器看到程序中並非用一個簡單的數值對變量s進行賦值，而是把一個算術表達式賦值給了s，而且算術表達式中還出現了變量。這時候編譯器就會認爲此次賦值操做有可能會把一個超範圍的值賦值給s，因此就報錯。
可能有讀者會問：第1段代碼當中，也是用算術表達式給變量s賦值，爲何會就沒有出現語法錯呢？問題就在於：第2段程序中，給變量s賦值的算術表達式裏出現了變量。編譯器認爲，既然是「變量」，就有可能發生改變，是一種不肯定因素。編譯器並不去管變量當前的值究竟是多少，它認爲只要是變量參與了運算，變量值有可能變化，從而可能致使賦值超範圍，所以報出了語法錯誤。
若是咱們把第2段程序中的變量a前面加上一個final關鍵字會如何呢？請看下面的代碼

當a前面加上了final關鍵字，a的值不能再發生變化，它變成了一個常量。編譯器就會認定此次賦值是安全的，由於a的值永遠都是1，賦值確定不會超過範圍。
那麼，是否是給s賦值的算術表的時候中不出現變量，賦值操做就必定不會報錯呢？其實並非這樣，請看下面的例子

此次賦值操做，「=」右邊的算術表達式中並無出現變量，可是仍然會報語法錯誤，緣由就是，編譯器會提早把算術表達式的值算出來，若是發現算出來的值已經超過了byte或short的數據範圍，也會報錯。所以第4段程序也不能經過編譯。
到這裏，你們能夠記住兩個結論：
1.給byte或short變量進行賦值時，「=」右邊若是是一個算術表達式，而且表達式中出現變量，確定沒法經過編譯。
2.即便用常量給byte或short變量進行賦值，若是在「編譯階段」就能肯定所賦的值已經超過了範圍，一樣會報錯。
另外還要提醒你們，對int和long類型的變量進行賦值的時候，編譯器並不採用這樣的特殊檢查措施。

你們能夠看到，在上面的程序中，咱們給int類型變量i1賦值時，「=」右邊也是一個算術表達式，而且表達式中也有變量，但不會出現語法錯誤。而給i2進行賦值時，「=」右邊的值已經超過了int類型的範圍，也不會有問題。
經過這篇短文，相信小夥伴必定能弄明白爲何給byte和short變量賦值的時候會出錯的緣由。
如想系統學習Java編程，能夠點擊這裏觀看視頻課程，有問題也能夠加入個人QQ羣291839907一塊兒討論！