蔡勒公式在C++中需修正负数取模和整除行为，月份1、2月要转为上一年的13、14月，否则zeller(2023,1,1)等结果错误。
蔡勒公式在 C++ 中的整数运算陷阱
蔡勒公式本身是数学公式，但直接照搬进 C++ 容易因整除截断、负数取模行为不一致而出错。C++ 的 % 运算符对负数结果是“向零取整”，而蔡勒公式推导依赖的是“向下取整”（即 floor 除法），这点必须手动修正。
常见错误现象：zeller(2023, 1, 1) 返回 0 或 6（错误），而非预期的 7（星期日）；zeller(2000, 1, 1) 结果偏移一天。
- 月份需做转换：1 月、2 月视为上一年的 13 月、14 月，即
if (month - 年份拆分必须用整数：世纪
c = year / 100，年份余数y = year % 100，不能用浮点或字符串处理 - 对负数取模要兜底：用
((x % 7) + 7) % 7替代x % 7，确保结果在 [0,6] 区间
标准蔡勒公式 C++ 函数实现（支持 1900–2100 年）
以下实现严格对应格里高利历蔡勒公式（Zeller’s Congruence for Gregorian calendar），返回值 0=Saturday, 1=Sunday, ..., 6=Friday —— 这是原始公式自然结果，若需 1=Monday 到 7=Sunday，最后再映射。
int zeller(int year, int month, int day) {
if (month < 3) {
month += 12;
year--;
}
int c = year / 100;
int y = year % 100;
int w = (y + y/4 + c/4 - 2*c + 26*(month+1)/10 + day - 1) % 7;
return (w + 7) % 7; // 修正负数取模
}注意：y/4 和 26*(month+1)/10 都是整数除法，符合公式要求；-2*c 项不可省略，它校正世纪闰年规则。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
为什么不用 std::chrono？
如果你只是快速验证某天星期几，std::chrono 更可靠且无需手算逻辑。但它有隐含成本：构造 sys_days 需要先转成 year_month_day，对嵌入式或纯计算场景略重；而且 C++20 前不支持，老项目可能编译失败。
- 用
std::chrono的等效写法（C++20）：auto wd = sys_days{year/month/day}.weekday().c_encoding(); - 若目标平台无 C++20，或需脱离标准库（如裸机、竞赛环境），蔡勒公式仍是轻量首选
- 两者对 1970 年前日期行为一致，但
std::chrono在预 C++20 实现中对远古日期支持不一，蔡勒公式反而更可控
测试时最容易漏掉的边界案例
只测 2023 年几个日期会掩盖问题。真正容易出错的是世纪交界和闰年 2 月：
-
zeller(1900, 1, 1)→ 应为 1（星期一），不是 0：1900 不是闰年，蔡勒公式中的c/4 - 2*c项在此体现 -
zeller(2000, 2, 29)→ 合法日期，应为 2（星期二）；若没做month 调整，会误算成 2000 年 2 月，导致 <code>y=0、c=20错位 -
zeller(1752, 9, 14)（英国历法切换日）→ 公式不适用，蔡勒公式默认格里高利历，此日期在儒略历中不存在，强行计算无意义
蔡勒公式本质是数学近似，它假设格里高利历从公元元年就存在，实际推行是 1582 年后逐步发生的。只要你的业务日期落在 1900–2100 之间，且明确使用公历，这个实现就足够稳。超出范围就得查表或切到 chrono。
