Java 表達式類型推導完整指南：運算子優先級與類型規則詳解

表達式是程式運算的基本單位，由運算子、變數、常值組成。每個表達式在編譯期都有確定的靜態類型，掌握類型推導規則能避免隱式轉型驚喜、精準控制精度與效能。

一、運算子分類與結果類型對照表

二、關鍵規則深度解析

1. 整數運算自動提升至 int

byte a = 10, b = 20;
int c = a + b;      // 正確：a+b 為 int
// byte d = a + b;  // 編譯錯誤：int 無法隱式賦值給 byte
byte d = (byte)(a + b); // 需強制轉型

byte、short、char 參與運算先提升為 int，結果為 int。

2. 賦值表達式的值與類型

int n = 10;
int m = 10;
n = (m = 10);  // 整個表達式類型為 int，值為 10
// 等同於 m = 10; n = m;

boolean b = false;
boolean b1 = true;
b = (b1 = true);  // 類型 boolean，值 true

賦值運算子右結合，整個鏈式賦值表達式的類型 = 最左邊變數類型，值 = 最右邊值。

3. 三元運算子類型推導

double d;
d = 10 > 0 ? 1.0 : 2;  // 1.0 是 double，2 是 int → 結果提升為 double

規則：若兩分支一為 double、一為 int，int 提升為 double。long + float → float（精度犧牲）。

4. 複合表達式以最後一個運算子決定類型

int a = 5;
double result = a + 3 * 2.0;  // 3*2.0 → double，a 提升 → double，最終 double

三、表達式語句：能否獨立成行？

Java 規定：只有賦值表達式、遞增減表達式、方法呼叫、物件建立 可作為獨立語句（Expression Statement）。

int a = 10;
int b = 20;
a + b;        // 編譯錯誤：純運算表達式無副作用，不能獨立成行
a = b;        // 合法：賦值表達式
a++;          // 合法：遞增表達式
System.out.println(a); // 合法：方法呼叫
new Object(); // 合法：物件建立（雖無引用持有）

四、實戰陷阱與避坑指南

五、總結

• 表達式類型由運算子語意與操作數類型共同決定，編譯期固定。
• 整數運算預設 int，賦值表達式類型看左邊，三元運算看兩分支較高類型。
• 獨立語句只能是有副作用的表達式（賦值、遞增減、呼叫、new）。
• 寫碼時刻注意隱式轉型與精度，關鍵處加上括號與強轉使意圖顯式化。