【Java从入门到精通】第5篇：运算符与表达式——算术、关系、逻辑与位运算的优先级地图
目录
一、运算符的语义分类：四种计算动词
二、算术运算符：数值计算与类型提升规则
三、关系运算符：相等性的双重语义
四、逻辑运算符与短路求值：性能优化的编译期保障
五、位运算符：二进制层面的高效操控
六、赋值运算符与复合赋值的隐式转换
七、运算符优先级：语法设计的隐性契约
八、结语
一、运算符的语义分类：四种计算动词
Java程序的数据处理由运算符驱动。运算符是对数据进行特定操作的符号标记，操作数是运算符作用的数据。Java的运算符可以按功能分为四大类，每一类回答一种基本的数据操作需求。
算术运算符回答“如何对数值进行计算”——加、减、乘、除、取余。关系运算符回答“两个值之间是什么关系”——等于、不等于、大于、小于。逻辑运算符回答“多个条件如何组合判断”——与、或、非。位运算符回答“如何在二进制位级别操控数据”——按位与、按位或、移位。
这四类运算符构成了从数值运算、条件判断到逻辑组合、底层操控的完整动词体系。初学者容易将注意力集中在算术运算符上，但实际业务代码中，逻辑运算符和关系运算符的出现频率远高于算术运算——业务逻辑本质上是在做条件判断和逻辑组合。
二、算术运算符：数值计算与类型提升规则
加、减、乘、除、取余是五种基本算术运算。它们的运算规则在数学层面并无特殊之处，但在Java中存在一条容易被忽略的隐式规则——二元数值提升。
当两个操作数的类型不一致时，编译器会按照固定的类型提升策略将它们统一到更宽的类型再执行运算。规则是：如果任一操作数为double，另一个也转为double；否则如果任一为float，另一个也转为float；否则如果任一为long，另一个也转为long；否则两个都转为int。这意味着byte + byte的结果不是byte，而是int——两个操作数都被提升为int后才进行加法。
这条规则在代码中产生了一个让初学者困惑的现象：对两个byte变量做加法后，结果不能直接赋值给byte变量，需要显式强制转换。这不是Java设计者的刁难，而是类型安全的保护——加法可能导致byte溢出，编译器要求你显式确认你知道这个风险。
整数除法的截断行为是另一个常见陷阱。在Java中，两个整数相除的结果仍是整数，小数部分被直接丢弃而非四舍五入。这种截断行为在数学上是不精确的，但在很多算法场景中恰恰是需要的——例如计算分页的总页数时，通过巧妙的整除加取余组合可以得出正确的页码范围。取余运算在结果符号上有一个重要特性——结果的正负号与被除数相同而非除数。这一点在涉及负数运算时至关重要。
自增自减运算符提供了一种简洁的递增和递减语法。它们的复杂性不在于运算本身，而在于前缀形式和后缀形式的区别。前缀形式先增减再使用值，后缀形式先使用值再增减。当自增运算嵌入在更复杂的表达式中时，前后缀的差异可能导致难以调试的逻辑错误。工程上的建议是，除非在极其简单的循环控制中，否则将自增自减单独成行，避免嵌入复杂表达式。
三、关系运算符：相等性的双重语义
关系运算符比较两个值的关系并返回布尔结果。大于、小于、大于等于、小于等于这四种比较只适用于数值类型，语义明确无歧义。
相等运算符==和!=同时适用于基本类型和引用类型，但在这两种场景下的语义截然不同。对于基本类型，==比较的是值是否相等——两个int变量各存储3，它们相等。对于引用类型，==比较的是引用地址是否相等——两个String变量可能存储着内容完全相同的字符串文本，但如果它们指向堆上两个不同的String对象，==判断将返回false。
这一双重语义是Java新手最常掉入的陷阱之一。判断两个字符串的内容是否相等，必须使用equals方法而非==。equals是Object类定义的方法，默认实现也是比较引用地址，但String类重写了equals方法，让它比较字符序列的内容而非地址。任何自定义类如果需要支持基于内容的相等性判断，都必须重写equals和hashCode方法——这是第13篇将深入探讨的主题。
四、逻辑运算符与短路求值：性能优化的编译期保障
逻辑运算符将多个布尔条件组合为复合判断。逻辑与表示所有条件都成立时结果才为真，逻辑或表示至少一个条件成立时结果为真，逻辑非将真假反转。
Java的逻辑与和逻辑或采用短路求值策略。短路求值意味着从左向右计算条件表达式，一旦能确定最终结果就不再继续计算后续条件。对于逻辑与，如果左侧条件为假，整个表达式必为假，右侧条件不被计算。对于逻辑或，如果左侧条件为真，整个表达式必为真，右侧条件不被计算。
短路求值不仅仅是一种性能优化，更在大量实际代码中被用作安全防护机制。一个经典的惯用法是先判断引用是否为null，再利用短路特性在右侧安全地调用方法。如果左侧的null判断失败，右侧的方法调用根本不会执行，从而避免了NullPointerException。这种写法简洁而高效，是Java程序员的基本功。
与短路运算符相对应的是非短路版本——&和|。它们在两侧条件都被计算后得出结果。在绝大多数业务逻辑判断中，应该使用短路版本。非短路版本主要用于位运算场景，或者在右侧表达式必须被执行的特定逻辑中。
五、位运算符：二进制层面的高效操控
位运算符在Java中的应用不如前几类运算符频繁，但在特定领域不可或缺。按位与、按位或、按位异或、按位取反直接操控整数的二进制位。
权限控制是位运算的经典应用场景。一个int变量可以同时存储32个独立的布尔权限标记——每一位代表一个权限的开关状态。按位或操作用来授予权限——将多个权限标志合并为一个整数。按位与操作用来检查权限——判断某个权限位是否被打开。这种技巧将32个布尔变量的存储空间压缩到了一个int中，并且权限组合的传递和比较效率极高。Java的反射API和文件操作API中都大量使用了这种位标志设计。
移位运算符将整数的二进制位向左或向右移动。左移一位等价于乘以2，右移一位等价于除以2。在早期的计算机系统中，移位运算比乘除运算快得多，开发者普遍使用移位来优化性能。现代JVM的JIT编译器会自动将乘除优化为移位，手写移位优化的必要性已经大大降低。
右移分为逻辑右移和算术右移两种。逻辑右移左侧补零，算术右移左侧补符号位。Java用不同的运算符区分两者——逻辑右移使用>>>，算术右移使用>>。这种区分在处理有符号整数时至关重要。
六、赋值运算符与复合赋值的隐式转换
赋值运算符将右侧的值存储到左侧的变量中。复合赋值运算符同时执行运算和赋值——加法后赋值、减法后赋值等。
复合赋值运算符有一个不为人知的特性：隐式强制转换。当你对byte变量使用复合赋值时，表达式会被自动转换回byte类型，不需要显式的强制转换。这是Java语言规范中对复合赋值运算符的特殊规定，旨在让代码更简洁。但这也意味着窄化转换的风险被语法糖掩盖了——溢出时数据会被静默截断，编译器不发出任何警告。
赋值运算符和相等运算符的视觉混淆是另一个值得注意的问题。在Java中，赋值表达式本身也有值——它返回赋值后被赋的值。这一特性的一个意外后果是，如果你在if条件中误将==写成了=，代码仍然能通过编译，但语义完全改变。这是C语言继承来的设计遗产，Java保留了这一特性以维持与C语言的语法兼容性。
七、运算符优先级：语法设计的隐性契约
当一个表达式包含多个不同的运算符时，计算顺序由运算符优先级决定。优先级高的运算符先于优先级低的运算符被计算。
Java的运算符优先级规则与数学中的约定一致——乘除优先于加减，括号优先于一切。但Java的运算符种类远超数学运算，记忆所有运算符的优先级顺序是一项沉重的认知负担。更务实的策略不是死记硬背优先级表，而是遵循两条工程原则。能加括号就加括号——括号让计算顺序显式化，消除歧义，也帮助未来的代码维护者快速理解意图。复杂表达式拆分为多步——将一长串运算符拆解为多个中间变量，代码变长但可读性大幅提升。这两条原则在团队协作中尤为重要。
有一个虽冷门但重要的语法点：赋值运算符的优先级低于绝大多数其他运算符。这意味着赋值总是在表达式其他部分都计算完之后才执行。理解这一点可以避免很多不必要的括号。
八、结语
运算符是Java程序中最频繁使用的语法元素，它们将数据串联为计算过程，将条件组合为判断逻辑。算术运算符的数值提升规则保证了跨类型运算的类型安全，关系运算符的==双语义时刻提醒着基本类型与引用类型的本质区别，逻辑运算符的短路求值同时兼顾了性能优化和安全防护，位运算符在权限控制和硬件交互中展现着二进制层面的操控力。
理解运算符不仅要知道每种运算的语法，更要理解它们在Java类型系统中的行为规则——提升规则、截断规则、短路规则。这些规则不是随意的语法规定，而是Java语言设计者对类型安全和运行效率的审慎权衡。下一篇，我们将进入程序的控制流——if-else和switch的分支结构，for和while的循环结构，以及break和continue对控制流的精确调控。