141(3): デフォルトの名無しさん [age] 2024/02/16(金) 22:02:00.99 ID:M7QAhnO0(1) AAS
外部ﾘﾝｸ:megalodon.jp
> A: 4の倍数の年は、うるう年
> B: ただし、100の倍数の年は、うるう年ではない（平年）
> C: ただし、400の倍数の年は、うるう年

Aで4の倍数年を判定し、B以降は前の条件が成り立った上で「ただし」と追加条件を並べてる訳ですが

外部ﾘﾝｸ:qiita.com
> D: ただし30の倍数の年は、うるう年
> E: ただし、30と4の倍数の年はうるう年ではない
> F: D, Eは2025年より適用する

Dが成り立つとして、既にAで4の倍数年は判定済みなのでEは必ず成り立ちますね。

こういうのを仕様バグと言います。頭の悪い人のすることです。解りましたかashworthさん。あなたは頭が悪いです。

147(7): デフォルトの名無しさん [] 2024/02/17(土) 14:28:35.26 ID:M+9VD8BN(1/8) AAS
> A: 4の倍数の年は、うるう年
> B: ただし、100の倍数の年は、うるう年ではない（平年）
> C: ただし、400の倍数の年は、うるう年
> D: ただし30の倍数の年は、うるう年
> E: ただし、30と4の倍数の年はうるう年ではない
> F: D, Eは2025年より適用する

をC++で書いてg++でコンパイルしてみた。

外部ﾘﾝｸ:godbolt.org

アセンブリ言語読めないけど色分けでC++とアセンブリ言語の対応を教えてくれるので助かる。Eの判定部分に対応するアセンブリ言語が出力されてないな。g++に無駄な判定であると判断されたか。

試しに、重複してる4の倍数判定を

E: ただし、30と7の倍数の年はうるう年ではない

に変えてみると

外部ﾘﾝｸ:godbolt.org

今度はEの判定部分に対応するアセンブリ言語は出力されるようだ。g++がashworthより賢いことは分かった。