本文详解闰年判断公式 `(year % 4 == 0 && year % 100 != 0) || year % 400 == 0` 的数学含义与编程实现，帮助开发者准确掌握“== 0”在取模运算中的语义及其在条件逻辑中的关键作用。
闰年的判定规则看似简单，实则蕴含严谨的历法逻辑：能被4整除但不能被100整除的年份是闰年；若能被400整除，则无论是否被100整除，仍为闰年。这一规则源于格里高利历对地球公转周期（约365.2425天）的精确校准。在编程中，该规则需通过取模运算（%）和布尔逻辑精准表达。
核心在于理解 == 0 的语义：
year % n 表示 year 除以 n 后的余数；当且仅当余数为 0 时，year % n == 0 为 true，即 year 可被 n 整除。因此：
- year % 4 == 0 → 年份能被4整除（基础条件）
- year % 100 != 0 → 年份不能被100整除（排除世纪年非闰年情况）
- year % 400 == 0 → 年份能被400整除（覆盖世纪年中的特例闰年）
将三者组合为布尔表达式：
boolean isLeapYear = (year % 4 == 0 && year % 100 != 0) || year % 400 == 0;
该表达式等价于逻辑命题：
（能被4整除 ∧ 不能被100整除） ∨ 能被400整除
✅ 正确性验证示例： | 年份 | year % 4 == 0 | year % 100 != 0 | year % 400 == 0 | 结果 | 说明 | |------|------------------|---------------------|--------------------|------|------| | 2000 | true | false | true | true | 被400整除 → 闰年 | | 1900 | true | false | false | false| 被100整除但不被400整除 → 平年 | | 2024 | true | true | false | true | 被4整除且不被100整除 → 闰年 | | 2023 | false | — | false | false| 不被4整除 → 平年 |
⚠️ 注意事项：
- 运算符优先级：% 高于 == 和 !=，高于 &&，高于 ||，括号虽非语法必需，但强烈建议显式添加（如 (year % 4 == 0)）以提升可读性与可维护性；
- 边界情况：公元1年至今均适用该规则；Java中 int 类型足以覆盖公元1–299999年范围；
- 可扩展性：若需复用，应封装为独立方法，例如 public static boolean isLeapYear(int year) { ... }。
掌握此公式不仅关乎代码正确性，更是理解“用离散数学建模现实规则”的典型范例——每一个 == 0 都是对“整除性”这一数学本质的精准编码。
