はじめに
普段、RailsはActiveRecord使っているんですが、条件を複数書いたときに、
where.not()の挙動が直感と反しており、なかなかバグに気づかなかったので、共有します。
環境
Ruby : 2.7.1
Rails : 6.0.2
Posgresql : 13.1
where.notの挙動
まず、where.not()の単数条件で名字が山田以外のuserを取得したい時を考えてみます。
発行されるSQLは以下のようになります。
User.where.not(last_name: '山田')
=> SELECT "users".* FROM "users" WHERE "users"."last_name" != $1
[["last_name", "山田"]]
これは期待通りにlast nameが山田でないuserを取得してくれます。
では次に「名字が山田」かつ「名前が太郎」(山田 太郎)以外のuserを取得するとしましょう。
僕の直感では以下のような記述で取得できると思ってましたが...
User.where.not(last_name: '山田', first_name: '太郎')
=> SELECT "users".* FROM "users"
WHERE "users"."last_name" != $1 AND "users"."first_name" != $2
[["last_name", "山田"], ["first_name", "太郎"]]
上記、SQLを見てみると、「山田ではない」かつ「太郎ではない」というSQLが発行されています。でも欲しかったのは「名字が山田」かつ「名前が太郎」ではない userです。集合記号を使うと以下のようにかけます。
\overline{ 山田 \cap 太郎} \neq \overline {山田} \cap \overline {太郎}
取得したいuserは赤と青の共通部分(山田太郎）以外の箇所です。
しかし、発行されるSQLで取得しているのは、赤と青以外、すなわち白の部分のuserです。
悲しいかな、「山田孝之」や「麻生太郎」は取得してくれません。
解決
では、山田孝之や麻生太郎を取得するにはどうすれば良いかというと、以下のようになります。
User.where.not(last_name: '山田').or(User.where.not(first_name:'太郎'))
=> SELECT "users".* FROM "users"
WHERE ("users"."last_name" != $1 OR "users"."first_name" != $2)
[["name", "山田"], ["public_id", "太郎"]]
上記は、書き方的には「山田ではない」または「太郎ではない」になります。これはドモルガンの法則を用いて
\overline{A \cap B} = \overline A \cup \overline B
となることを使っています。A={山田},B={太郎}です。
よって、山田孝之は「山田ではある」ものの「太郎ではない」ので取得することができます。
もっとスマートに書きたいんじゃ！と思っておりますので、良い方法あったら教えてくだされー！