Big Sky :: 虫が入り込むその瞬間

今日とある場所で虫が入り込む瞬間を見た。虫といってもバグの方。それはプログラマ向けの Q&A サイトで始まった。質問の内容はこうだ。 文字列には0または4がだけが含まれる。文字列は 4 から始まり、例えば 440, 44, 40, 4400, 4440 など、これらは正しいとするが 404 は正しくない。今のところ、私は 0 の直後に 4 が現れるかどうかでチェックしている。これは果たして効率的だろうか。 始め僕はこの質問文をちゃんと読んでおらず、正規表現を使ってこれを実装した。 package main import ( "regexp" ) func check(s string) bool { return regexp.MustCompile(`^4+0*$`).MatchString(s) } func main() { for _, tt := range []string{"

[mattn]

書いた。

[moruorange]

貼られたアフィが1件でも売れたのか気になる

[hiroyukim]

いいはなしんだけど、“フマキラー 線香 本練りジャンボタイプ函入 50巻”とかがすごい一杯あるｗ

[hatsu_mi]

よくわからないんだけど、これは契約によって変わるのでは、、、

[Cryolite]

precondition を明確にした上で、それに反する入力が来たならば caller の責任、それに反しない入力に適切に対処していない実装ならば callee の責任、というだけの話では？

[snobsnog]

コンテンツターゲットの限界を感じる広告配信

[younari]

虫取りの方が気になって記事が頭に入らない

[luccafort]

めっちゃわかる。こうしてぼくらは前提条件という名のバグを埋め込んでしまうのだ。

[vanbraam]

そのコードに到達するまでに4と0以外の文字を含む文字列はscreenされているという前提では?;前提として何をおくかはprogrammingにおいて常に難しい問題

[kabochatori]

それより私は4004のような文字列が弾かれるべきか考えてしまった。0の直後に4が現れるかチェックというのは彼の実装の話であり、要件として定義されているのかいまいち分からなかったから

[vvakame]

いついかなる時に想定してた範囲外の使われ方をするかわからないので前提仕様に過度に頼らないコーディング重要なんだけどその感性をどのタイミングで身に付けたかは既に思い出せない

[tick2tack]

要件の伝達ミスがどうやって起こるかの一つの例、かな

[fanfanfine]

効率性を主題に置いた質問だし、事前条件として明示しているのだから、ロジックに組み込まないのは至極妥当に思える。修正提案を弾かれて癇に障ったのかな。でもコメント欄見ると両派いるから、宗教かもしれない。

[tmtms]

"最初に 0 と 4 しか無いっていったじゃん" / 自分はこっち派だなぁ。「0 と 4 以外の文字を含む文字列が与えられた場合の動作は未定義」でいいんじゃ。

[otihateten3510]

広告だけ見た

[umai_bow]

前提条件があるなら、その前提条件を満たさない入力があったときはエラーでしょ

[Morikuma]

とても興味深い。その人の職種によって答えが分かれそうだ

[nippondanji]

"文字列には0または4がだけが含まれる。"の部分の解釈の問題に見える。これが"0 と 4 しか無いっていったじゃん"と変換されたのかも。

[gnufrfr]

正規表現以外で考えたくない

[tomaho]

散々文句をつけられた挙句のAs I have already mentioned itはさすがにイラッとするのも判るw／そして初心者の質問に上級者が突撃したらこうなる気もするよね

[Tailchaser]

前提条件があってそれにそぐわないものが入ってきた場合に意図しない挙動するなら、せめてassetは入れて警告なり例外なり発生させるのが筋では

[gnety]

前提条件があるならそれはコード上で表現されているのが望ましいよね。ドキュメントとか伝言じゃなくてね

[KariumNitrate]

効率的というのはマシンリソースの話なのか、コードを書く人のリソースなのかどっちだろう（多分前者）。

[quick_past]

あーあーあー(;´Д`)でもワーストケースを想定してできるだけ内部で処理しておくのも手だと思うんだけどなあ。そこまでの時間や余計なバグが入り込む可能性を考えるとってのもあるけど。

[deep_one]

「関数に要求する事項」はちゃんと定義しないと危険。

[lazex]

前提で無いのが決まってるなら気にする必要ないと思う。絶対ないものまでチェックするとムダな処理ができて求められてる効率性が落ちるわけだし。

[JULY]

こうやって脆弱性が作られていく。

[baronhorse]

"いまコーディングしているインターフェイスを理解しろ！"案件に見える

[nakag0711]

事前条件はデバッグビルドのみ関数の頭でチェックするのがよい

[n_231]

最初の問題が理解できない・・・404はアウト？？？

[oktnzm]

一般化した表現ができない病気にでもかかっているのか・・・／入力文字列が条件を満たしているのなら仕方ないと思うが、正確性じゃなくて効率が焦点なわけでしょ？

[lalupin4]

-1

[n314]

0と4だから406をエラーで弾こうとしてしまうけど。もし0と1からなる文字列なら、106をエラーで弾こうとはしないんじゃないかなあ。