「バグを意図的にバグのまま残す」という選択肢がある

はじめに gcc v12.1において、C++の正規表現ライブラリstd::regexに、正規表現のバリデーションを改善するパッチ(以下"改善パッチ"と表記)が取り込まれました。改善パッチによって、これまではバリデーションにひっかからなかった不正な正規表現文字列が"正しく"不正なものと認識されて例外が発生するようになりました。 これだけ聞けばいいことだけのように思えるかもしれませんが、実はそうでもなかったりします。経験豊富なかたであれば見た瞬間ゾッとしたかもしれません。本記事では、この一見問題なさそうな改善パッチによって発生しうる問題、および、その具体的例について紹介するとともに、この手のパッチを当てるかどうかは難しい判断になるという知見を共有します。 結論 改善パッチによって発生する問題 発生条件 gcc v12.1以降、あるいは改善パッチをバックポートされた任意のバージョンを使ってC++

[tamanecoplus]

バグは夜更け過ぎに仕様に変わるだろう

[hiroomi]

マイナーバージョンなら、やめておいて。が線引きじゃなーい。

[tonocchokun]

昔リーナスがユーザーがなにかしなくてはならなくなるならそれはバグだとブチ切れた話あったなあ。

[gabill]

こういうところに言語の個性というか方向性が出るよね。 PHPの例→ https://sucrose.hatenablog.com/entry/2016/02/19/235506

[kotas]

「"["と"]"の間に"\w"のような文字クラスを指定する」という書き方だと [\w] もアウトに読めて訝しんだ。コミットメッセージによれば、あくまでもレンジ指定に文字クラスを使うのがNGだった。

[sisya]

正しくはあるが、以前の間違った状態を「ルール」として受け入れていた側からしてみればルールが変わってしまった状態になると。確かによくある話で、バージョンアップをあえてしないモチベーションになっている。

[clairvy]

そう。だからバージョニングが必要

[tybalt]

機能追加でも機能修正でも breaking change になるものは慎重にという話

[mohno]

要約すると「バグ仕様」/かつてInternet Explorerで規格に合わせろと言われても合わせなかった理由。/Windowsは旧バージョンとの互換モードが山ほどある。

[teramako]

JSのtypeof null === "object"みたいな仕様バグもそうだね。もう直せない。

[noritada]

すごくよくわかる話。「数バージョンは警告の表示のみに留める」「前の誤った入力を検知したらコンパイルが失敗するようにする」のような選択肢がありそうな気がするので、意思決定の経緯が気になる。

[croissant2003]

マインクラフトJAVA版のはなし？

[nilab]

「gcc v12.1において、C++の正規表現ライブラリstd::regex」「改善パッチによって、これまではバリデーションにひっかからなかった不正な正規表現文字列が"正しく"不正なものと認識されて例外が発生するようになりました」

[txjp]

ライブラリのバージョンを固定するのと同じように、コンパイラのバージョンは固定するし、コンパイラのバージョンを上げたらテストしなおすのがいいとおもう。

[buhoho]

何もしてないのに動かなくなった！(バグ依存の実装)

[xlc]

「厳密バカ」か問題を起こすなんてのはSIの現場ではありふれたこと。意識高い系は本当に害悪。

[delegate]

、

[TownBeginner]

バグに対応した設定をしてたら、バグが治って想定通りの動きにならず影響が出たという話もあるし、まあ選択肢としてはある得るよなあ。

[mayumayu_nimolove]

それはバグとは言わない

[otchy210]

IE の話ではなかった。いやそれも確かにこの話か。

[cl-gaku]

こんなんよくあることでは？

[moromoro]

身動き取れなくなるパターン

[takuver4]

短期的には直さず中長期的には直す、あたりが落とし所かしら。

[t-murachi]

std::regexは興味あってよく触ってた時期もあったけど、あれは設計自体があまりよろしくないと思う。パターンを決め打ちで埋め込んでしまうにはコストもリスクも重すぎるし、外部入力に依存するにはカジュアルさ文字数

[tsz]

ランタイムにエラーチェックが厳密になるのは怖いですね。チェックをコンパイル時や読み込み時に前倒しできるならまだ安心できるけど、動的に生成されるデータとかあるのできびしいか。

[ya--mada]

std:regex じゃなくても [\w-a] みたいな書き方を自分はしないので、そこが新鮮だった。

[fock]

警告→エラーのプロセスで何個かリリース挟んでやるかなあ。

[chintaro3]

　エラーが出るべき個所で出ていなかったバグをエラーが出るように直す、っていう修正は、たいていこの手の問題があるよね