Ada语言中如何优化闰年日期校验的嵌套if判断逻辑

小提示：你原有代码中存在变量名不一致的问题，第一行获取的是Days变量，但后续判断全部使用Day，请统一变量名避免出现逻辑异常。

1. 直接消除两层if嵌套 #

你可以直接把嵌套的条件合并，不需要多层if判断。核心逻辑为：当出现2月29日的组合且当前年份不符合闰年规则时，直接抛出异常，替换原有两层if的代码如下：

if Day = 29 and Month = 2 and not (Year mod 400 = 0 or (Year mod 4 = 0 and Year mod 100 /= 0)) then
    raise Day_Error;
end if;

该实现和你原有逻辑完全等价，去掉了嵌套结构和无意义的null分支，代码更简洁。

2. 整体校验逻辑优化（可选，更易维护） #

如果你想要进一步简化整段校验逻辑，避免枚举多个月份判断分支，可以先计算当前月份的合法最大天数，再统一校验日期范围，后续修改规则时也更方便：

Get(Day); -- 统一变量名

-- 可选：增加月份合法性校验
if Month < 1 or Month > 12 then
    raise Month_Error;
end if;

-- 计算当月最大合法天数
declare
    Is_Leap : constant Boolean := Year mod 400 = 0 or (Year mod 4 = 0 and Year mod 100 /= 0);
    Max_Day : constant Integer := (case Month is
        when 1|3|5|7|8|10|12 => 31,
        when 4|6|9|11 => 30,
        when 2 => (if Is_Leap then 29 else 28),
        when others => 0);
begin
    -- 一次完成日期合法性校验
    if Day < 1 or Day > Max_Day then
        raise Day_Error;
    end if;
end;

exit;
end; 
end loop;    
end Day_Procedure;

这种写法把所有月份天数、闰年规则都收敛到了变量计算逻辑中，校验逻辑仅需一行，代码可读性和可维护性更高。

内容的提问来源于stack exchange，提问作者leun