プログラミングの原則：enumの比較はすべてバグ - Uzabase for Engineers

こんにちは、ソーシャル経済メディア「NewsPicks」のむとうです。 この記事は NewsPicks アドベントカレンダー 2023 の3日目の記事です。 昨日は@J_Nakagawa(隼佑 中川)さんによる『LambdaレスポンスストリーミングとAWS-SDKを使ってSlackに進捗バーを表示させる』でした！ 世の中には再現が難しく一見してバグがありそうに思えないコードもありますが、一方でプロダクションコードの中にはひと目見てバグが有りそうなコードもまた多いものです。いくつかの特定のパターンをとる文字列(環境名など)やenum(以下どちらもenumと表現します)に関する条件分岐もその一つです。プルリクを見てこのようなパターンがあれば、バグの疑いが強くなります。周囲を見渡すと、大抵すでにバグっているか潜在バグを含むコードが見つかります。すべてバグというのは言い過ぎにせよ、わかりやすさと変

[masa_edw]

書きました。高確率で潜在バグをみつける簡単な方法とその対処法です。

[kazoo_oo]

文中で何度も「バグというのは大袈裟ですが」とか書くならこんなタイトルにしなければいいのにな。/ 内容は至極真っ当と思うです。

[rck10]

特定の属性で判別すべきところを、属性の集合で条件書いたらそらバグるわな、という当然の話。

[opnihc]

isLimitedContentAccessible の判断を一か所にまとめてメソッドにしておくべきものを、末端で判断させてりゃバグもメンテ工数増えるのも当たり前の話で「enum比較全部」まで一般化する理由はどこにもない

[umai_bow]

天の光はすべて星のパロディだと気づかれていなくて非難が殺到してる。かわいそう

[akisei67]

タイトルは強いけど納得できる内容。どちらかと言うと「今は上手く動くけど変更に弱い(修正漏れてバグる)」という印象。こういう実装はステートマシン図とかバリエーション図みたいな設計と一致させたい。

[takanq]

一度設定した条件が変更されない場合であればこれいいが、条件側が変更された場合厳しいよね。成人年齢が引き下げられた、有料会員が新旧で利用できる機能がちがう などなど...

[troter]

ストラテジーパターンにも発展できる重要な考え方だ。Rails.envのif文書きまくった後にconfig.xに書き換えるとかたくさんやったなぁ。kotlinだとenumに簡単にメソッドを定義できるのも良いよね。（tsだと工夫が必要そう）

[ya--mada]

インフラ用のコードは正直やっつけコードだと思っているので、蓄積化してそこそこのライブラリーとして使ってしまうのは、あんまり良くないんじゃないかなって、ぼくは思う。

[buhoho]

javaのenumはクラスインスタンスなので、コンストラクタ引数で任意の定数とか無名関数の実装を強制させて、ストラテジーパターン作れますね。好き。状態管理自体が難しくバグりやすいですね。🤣

[natsutan]

わかる

[yhara]

いい話

[quick_past]

おおー

[udddbbbu]

なるほどなー しかし心理的安全性が低そうな職場だな

[tick2tack]

問題としては特にenumだからというものではないがenum周りでよく見かけるから気をつけよう、というかんじかね

[tettekete37564]

よく読んで無いけどその手のフラグ組み合わせ条件判定用なら昔ながらのビットマスク方式でenum書かない？文字列比較より速いし可読性も上がる。

[nakag0711]

複数のenumを繋げた比較は…ということであればわからないでもない

[blueeyedpenguin]

ひどいなー、enumなんも悪くないやん

[dorapon2000]

“enumが実際には比較対象としてではなくなにかしらの意味のまとまりである場合、コード上にそのように書くことがわかりやすさと変更のしやすさを向上させます。”

[gengesa]

記事を読む気ないけど、Javaや.NET(C#)でenumの比較せずに曜日を取得する凄い方法が書いてある凄い記事なんだろうなあ

[morita_non]

直和型をもつ言語を使いましょう？

[rryu]

権限やできることをチェックする系は始めは単純なのだが必ず複雑化するのでこんな感じになりがちである。

[queeuq]

こんな記事ばっかだなコイツラ

[Iridium]

天の光はすべて星

[NOV1975]

enumの比較、という言葉からしてズレてる気もするが

[letsspeak]

この考え方がきちんと浸透している組織だとうれしいですね

[atsushieno]

タイトルが論理的に間違っている。本文の結論と*矛盾している*。やり直し。

[bilanciaa]

斜め読みだけど、これenumの問題なのかな

[strawberryhunter]

C言語等のenumだとありがちな問題。JavaやKotlinならオーソドックスな使い方かと。Javaの場合はswitchにしておけば不足している値をIDEが教えてくれたりする。Kotlinでもそうなっているのでは？

[onesplat]

“すべてバグというのは言い過ぎにせよ” 何言ってんだこいつ

[atsushifx]

enumで>,<のような比較演算子を使うなではなく、if文内に==で列挙しても意味が分からなくなるよ、という話。つまり、そこはenumの比較用のメソッドをつくるべしと

[yuumillar]

if文での比較処理がまずいので、enumをunion型にして、match式でexaustive(漏れがないよう)に処理をすれば大丈夫？

[turanukimaru]

DBのカラムが enum になってるときに比較する式を enum に移動することは本当に多いな。単純な比較ならそのままでいいんだけどDBのカラムはだいたいそうなっていない。