うるう日にしか発生しないバグ

昨日うるう日にしか発生しないバグに遭遇した。Javascriptを書く人には有名な話だとは思うので大して面白くはないかもしれないが一応メモ。 詳しくは書けないがバグが発生した関数の仕様としてはざっくりと下記のような感じ。 対象の年月日が基準日の1年前から1年後の間に含まれる場合はtrueを返しそうでない場合はfalseを返す 引数として2020-12-24というフォーマットの文字列が渡される(判定対象の日) 引数として2021-01-01というフォーマットの文字列が渡される(+-1年の基準日) Javascriptで書く (例) 対象の日: 2024/10/10 基準日: 2024/01/28 この時、trueになる範囲は2023/01/28 ~ 2025/01/28。なので2024/10/10はtrue。2023/01/28も2025/01/28もtrueになる。閉区間。 とあるコードの

[maninthemiddle]

ポイントとかでも「1年間有効」って良くあるけど、2/29に発生したポイントがいつまで有効なのかってあいまいさが生じるよね

[toyoshi]

こういうのを見るたびに日本の年齢の「誕生日の前日の最後に歳が増える」というルールの秀逸さを思い出させられる。「前日」という相対的な定義を入れたのでさまざまなイレギュラーに対応できる。

[umaemong]

閏年の障害の記事では『ライブラリ使えば～』的な論調のコメントが多かったけど、現場はこんな感じだよね。そんなに単純な話ではない。

[ledsun]

“2/29の1年前に2/28を含むのが正しい要件もあるし、2/29の1年後に3/1が含むのが正しい要件もある。dayjs等のライブラリを使ってれば安心とかそういう問題ではない”

[rdlf]

任天堂は365日だとか話題になっていたな。 https://twitter.com/nintendo_cs/status/1763037638192419032

[red_kawa5373]

他の記事に「令和になっても未だにこんなトラブルが」とか抜かしてた人が居たけど、システムづくりを軽視した意見だなとしか思わなかった（割りと星ついてたような）。

[ya--mada]

「1年後」という定義が曖昧過ぎるのでは？うるう日はその曖昧さが顕在化しただけと思える。

[nakag0711]

2年と1日の期間という要件自体が何だか特殊な感じ。ブコメのポイント一年間有効の話は民法140条で3月1日起算なので翌年2月28日まで。閏前年の2月28日取得だとやや微妙だが年で定めてるから翌年2月29日までだろな

[axljpn]

"1年という要件を細部まで確認しなかった実装者の落ち度" そうよね、と思ったけど閏年はバグるっていう感覚がないと確認しないよなぁ

[Windfola]

同一帳票で「2年以内に実績があれば○」は応答日含まないけど「2年分の実施結果を出力」は応答日含む、とかあるから要件定義は怖い

[k_oshima]

2月29日閏日の1年後は何日問題。定義が甘い仕様バグに気付いてない。

[deep_one]

「1年という要件を細部まで確認しなかった実装者の落ち度」言っておくが、「一か月後」も相当難しいのである。8/31の一か月後は何日？楽をしたい人は最初に定義を「30日後」にする。

[softstone]

10日後にはUSのDST切り替えもあります。

[irimo]

うるう年の計算を言語がしてくれないだと…

[kgkaaz]

「誕生日の前日の最後に歳が増える」これ。バカが騙されてるだけで全く無意味な定義。定義中の「誕生日」がうるう年以外で2/28こ3/1か曖昧なのだから、無意味。「誕生日の0時」としても数学的には同値

[fa11enprince]

一年プラスマイナスで問題ない要件とか365日ぴったりじゃないとダメな要件とか、特別な条件を含んだりとかいろいろあるよね。

[sechs]

うるう年向けだと思われる前日の24時に年齢が上がる法律のために4/1生まれの人が学年が前年になる地獄もある。他に影響があるのでうるう日だけのルールでもいい。

[Lhankor_Mhy]

Temporal だとどうなってるんだろ

[xlc]

任意の日の1年後を実装したいなら普通は365日を加えると思うが。1年後の同一日とするなら同一日が存在しない2月29日の考慮が必要なのは自明。仕様把握がヘタなだけでは？年ではなく日数が不揃いな月ならどうしてた？

[usurausura]

民法の期間1年＆X日の1年前までにYするの解説id:entry:4706882182711587842 id:entry:4750105631743910752閏年の2/28、2/29、3/1が起算日なら期間1年の満了日は翌年2/27、2/28、2/28。満了日なら「遡って1年間」が含む最初の日は前年3/1、3/1、3/2

[misomico]

実装というより曖昧な定義の問題なんだな

[nisezen]

ライブラリ使えと言うけど24時以降に対応した時刻操作ライブラリがないんだよな〜　弊社システムは"25:00"とか受け付けるから自前で面倒見なきゃいけない

[Falky]

暦による期間の定義は民法に規定がある。それを知らずにオレオレ定義・実装をするから混乱する…のだけど、まあ、知らんもんは気付けないし。知ってても、海外は民法関係ないから外部依存があると死んだりな…

[otoan52]

処理としてどれが正しいか悩ましいよね。個人的な感覚としては2/29と3/1の1年後は3/1になってほしいけど。差があるところにバグが潜むんだよな。

[circled]

4年に一度のうるう日ネタの他に「32ビットの2038年問題」ネタも度々話題にして行きたい

[K-Ono]

まさか言語側が「まるで成長していない……」だとは……

[napsucks]

1年が何日なのか不定なことによるものだな。

[spark7]

2月29日の1年前は2月何日か、というのは仕様の作り方次第な気がするな。単純に31日の一月後が小の月の場合、とかでも気にする所だが。

[sds-page]

ライブラリ任せにしとけば大丈夫だと思ってると稀にハマる

[greenbow]

これはそう “dayjs等のライブラリを使ってれば安心とかそういう問題ではない。1年という要件を細部まで確認しなかった実装者の落ち度。”

[miki3k]

令和も何も、ずっと存在する仕様なんだから、考慮してしかるべきということか

[ryo_ryoo_ryooo]

1年半とか2年になったら困りそう。

[queeuq]

やれて当然みたいなブコメあったけどイキった新卒かな？と思ってフフってなってた

[prozorec]

基準日と対象日のgetTimeの差を見て一年の長さと比べればよいだけだと思うのだが

[cl-gaku]

令和になってもこの程度の設計もできないという意味だと思っていたが

[kkobayashi]

バグと言うけど本来どっちなのか分からないな。うるう年が誕生日の人は他の年だと3/1に歳を取ることになってるみたいだし。

[kno]

“2/29の1年前に2/28を含むのが正しい要件もあるし、2/29の1年後に3/1が含むのが正しい要件もある”