這段代碼非常簡單，沒有任何技術含量。但是，如果我們把這段代碼改成下面的樣子
大家可以看到，我們只是用一個變量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一起討論！