Leap Year

この3つのルールは、例外が連鎖しています。4で割り切れると閏年になり、100で割り切れるとその判定が取り消され、400で割り切れると取り消しがさらに取り消されます。後のルールに当てはまる年は、必ずそれより前のルールにも当てはまります。400の倍数はすべて100の倍数であり、100の倍数はすべて4の倍数だからです。

したがって、当てはまる中で最も具体的なルールによって答えが決まります。まず400を調べ、次に100、その次に4を調べ、いずれかに当てはまったらすぐに結果を返します。2000の場合、最初の判定ですでに「はい」となります。1900の場合、最初の判定は失敗し、2番目の判定は「いいえ」となります。2024の場合、最初の2つの判定は失敗し、3番目の判定は「はい」となります。

3つのどれにも当てはまらない場合、その年はそもそも4で割り切れないため、平年です。

この規則は、うるう年となる2つの条件として読みます。年が4で割り切れ、かつ世紀年でないか、または400で割り切れるかのどちらかです。この文をそのままコードにすると、(year % 4 == 0 and year % 100 != 0) or year % 400 == 0となります。

3つの例で確認しましょう。2024は前半の条件を満たします。1900は世紀年なので前半の条件を満たさず、1900 % 400が300なので後半の条件も満たしません。2000は1900と同じ理由で前半の条件を満たさず、後半の条件を満たします。

別のまとめ方もできます。4で割り切れ、かつ世紀年ではないか、または400の倍数である、という形です。どちらの形でも、すべての年について結果は同じです。この式で行う判定は、多くてもif文の連鎖と同じ3回です。