if文のorで分岐した際に表示されるWarningについて

Question

###発生している問題・エラーメッセージ
if文において下記のように条件分岐した際、warningメッセージで出てしまいます。
試した事に記述した方法では冗長だと思うので正解では無いと思います。
動作に問題は無いのですが、なぜこのようなメッセージが出るのかわからないので質問させて頂きました。

###該当のソースコード

		if size == "A" or "B" or "AB"

		elsif size == "C" or "D" or "CD"

		elsif size == "E" or "F" or "EFG"

		else
		end

###メッセージ

warning: string literal in condition

###試した事

		if size == "A" or size == "B" or size == "AB"

		elsif size == "C" or size == "D" or size == "CD"

		elsif size == "E" or size == "F" or size == "EFG"

		else
		end

検索した結果、下記のURL先のページを見つけたのですが、症状も似ていました。
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1312454933

文字列を論理演算子を使用して分岐する事に問題があるという事で間違いないでしょうか？
その場合、注意メーッセージを表示されない正しい記述方法がご教授お願い致します。

Answer 1

if size == "A" or "B" or "AB"
elsif size == "C" or "D" or "CD"
elsif size == "E" or "F" or "EFG"
else
end

これをrubyがどのように解釈するか段階で追ってみましょう

まず、 ( ) をつけて演算子の優先順位を明確にしてみます。

if (size == "A") or ("B") or ("AB")
elsif (size == "C") or ("D") or ("CD")
elsif (size == "E") or ("F") or ("EFG")
else
end

となります。

ここで ruby の世界は false と nil のみが偽で、あとは全て 0 だろうが '0' だろうが '' だろうが真であるという事を思いだしてみます。

すると。。。

if (size == "A") or (true) or (true)
elsif (size == "C") or (true) or (true)
elsif (size == "E") or (true) or (true)
else
end

になります。。。。おーーー。なんてこったー。

さらに 各条件式は or なので、結局

if true
elsif true
elsif ture
else
end

と書いているのと同じ事です。

なので何かおかしいですよーという意味で warning: string literal in condition というメッセージを出してくれているものだと思います。

---

ちなみに。。。簡潔に書くにはいくつか方法がありまして簡単なのはcase..whenを使って

case size
when 'A', 'B', 'AB'
  'A'
when 'C', 'D', 'CD'
  'C'
when 'E', 'F', 'EFG'
  'E'
else
  '?'
end

というのが一番わかりやすいですかね。

(rubyのcase..whenはなかなかおもしろいですよ)

Comments

[yuki_90453]

早速ご返事頂きありがとうございます。

>ここで ruby の世界は false と nil のみが偽で、あとは全て 0 だろうが '0' だろうが '' だろうが真であるという事を思いだしてみます。
条件式が成り立たなくてもrubyが真として解釈するいう事でしょうか？
例えばこのsizeにHが代入されていた場合、全ての式がfalseになるわけですから、真にならないと思いますし、下記のように全てtrueとして解釈されるのもよくわかりません。
if true
elsif true
elsif ture
else
end

orを使う事に問題があるのでしょうか

[hana-da]

or は左辺を評価して偽だった場合右辺を評価します。
なので
size = 'H'
(size == "A" or "B" or "AB")

といった場合まず size に 'H' が代入され、次の行で
size == "A" が評価されます。ここで size は 'H' ですので 'H' == 'A' という意味になり 偽 です。
or の左辺が 偽 なので or の右辺が評価されます 'B' です。 これは nil でも false でもないので真になります。2つめの or の右辺は真となりましたので、ここで評価は終了し最後の 'AB' は評価されず (size == "A" or "B" or "AB") の結果は 真 ('B')になります。

irbで試してみると

irb(main):001:0> size = 'H'
=> "H"
irb(main):002:0> (size == "A" or "B" or "AB")
=> "B"

といった感じです。

[yuki_90453]

orを使う場合、どれか必ず真になるように記述しないと行けないでしょうか？
if (size == "A") or ("B") or ("AB")

[maisumakun]

「(size == "A") or ("B") or ("AB")」と解釈されるので、そもそも「この文字列のどれか」という意味になりません。

[yuki_90453]

>or の左辺が 偽 なので or の右辺が評価されます 'B' です。 これは nil でも false でもないので真になります。。2つめの or の右辺は真となりましたので、ここで評価は終了し最後の 'AB' は評価されず (size == "A" or "B" or "AB") の結果は 真 ('B')になります。

irbで試してみると

irb(main):001:0> size = 'H'
=> "H"
irb(main):002:0> (size == "A" or "B" or "AB")
=> "B"

この場合、H＝＝Bとなると思うのですが、それでも無条件でtrueになるという事ですよね。
そもそもorを連続して使用するという事自体、間違っているという事でしょうか？

[hana-da]

(size == "A" or "B" or "AB") これを or を使わずに if .. else で書くと

if size == 'A'
else 'B'
else 'AB'
end

と書いているのと同じような感じになるんです。。。。

2つめは 'H' == 'B' ではなく 単純に 'B' なんです。

[maisumakun]

括弧の位置から明らかかと思ったのですが、「size==」はAにしかかからず、残りは「それ自体が」trueかfalseかで判定されます。

[yuki_90453]

hana-da 様
なるほど、私が期待している動作としては下記のような形なんですが、
if size == 'A'
else size =='B'
else size =='AB'
end

それらを下記のように下記変えるとけ結果が変わってしまいます。
if size == "A" or size == "B" or size == "AB"

elsif size == "C" or size == "D" or size == "CD"

elsif size == "E" or size == "F" or size == "EFG"

else
end

[hana-da]

えーっと混乱してきてました。。。

if size == "A" or "B" or "AB"
elsif size == "C" or "D" or "CD"
elsif size == "E" or "F" or "EFG"
else
end
と書くと warning は出るが 期待どうりの動作をする。

if size == "A" or size == "B" or size == "AB"
elsif size == "C" or size == "D" or size == "CD"
elsif size == "E" or size == "F" or size == "EFG"
else
end
と書くと確かにwarningは出なくなるが期待どうりの動作をしなくなる。

という理解でいいでしょうか?

[yuki_90453]

hana-da 様
はい、間違いございません。

[hana-da]

そういえば。。。

> 動作に問題は無いのですが

って書いてありますしたね。。。。

irb(main):001:0> size = 'B'
=> "B"
irb(main):002:0> if size == "A" or "B" or "AB"
irb(main):003:1> 'start with A or B'
irb(main):004:1> elsif size == "C" or "D" or "CD"
irb(main):005:1> 'start with C or D'
irb(main):006:1> elsif size == "E" or "F" or "EFG"
irb(main):007:1> 'start with E or F'
irb(main):008:1> else
irb(main):009:1* '?'
irb(main):010:1> end
(irb):10: warning: string literal in condition
(irb):10: warning: string literal in condition
(irb):10: warning: string literal in condition
(irb):10: warning: string literal in condition
(irb):10: warning: string literal in condition
(irb):10: warning: string literal in condition
=> "start with A or B"

あれれれ。。。。。

[hana-da]

いやいや。いいんだ。

(1)
irb(main):011:0> size = 'C'
=> "C"
irb(main):012:0> if size == "A" or "B" or "AB"
irb(main):013:1> 'start with A or B'
irb(main):014:1> elsif size == "C" or "D" or "CD"
irb(main):015:1> 'start with C or D'
irb(main):016:1> elsif size == "E" or "F" or "EFG"
irb(main):017:1> 'start with E or F'
irb(main):018:1> else
irb(main):019:1* '?'
irb(main):020:1> end
(irb):20: warning: string literal in condition
(irb):20: warning: string literal in condition
(irb):20: warning: string literal in condition
(irb):20: warning: string literal in condition
(irb):20: warning: string literal in condition
(irb):20: warning: string literal in condition
=> "start with A or B"

(2)
irb(main):021:0* size = 'EFG'
=> "EFG"
irb(main):022:0> if size == "A" or "B" or "AB"
irb(main):023:1> 'start with A or B'
irb(main):024:1> elsif size == "C" or "D" or "CD"
irb(main):025:1> 'start with C or D'
irb(main):026:1> elsif size == "E" or "F" or "EFG"
irb(main):027:1> 'start with E or F'
irb(main):028:1> else
irb(main):029:1* '?'
irb(main):030:1> end
(irb):30: warning: string literal in condition
(irb):30: warning: string literal in condition
(irb):30: warning: string literal in condition
(irb):30: warning: string literal in condition
(irb):30: warning: string literal in condition
(irb):30: warning: string literal in condition
=> "start with A or B"

(1)(2)ともに期待した動作でしょうか?

[yuki_90453]

hana-da 様
今気づきました。。。通りで同じ結果ばかりだと思ったら。。。

1点お聞きしたいのですが、下記のタグですが分岐方法はorのような感じになるのでしょうか？
その場合、また同じミスになってしまいますので。。。
case size
when 'A', 'B', 'AB'
'A'
when 'C', 'D', 'CD'
'C'
when 'E', 'F', 'EFG'
'E'
else
'?'
end

[hana-da]

teratailさんは一問一答を望んでおられるようですので別の質問は新規に質問を立てた方がいいと思います。。。。(´･ω･`)ｼｮﾎﾞｰﾝ

[yuki_90453]

hana-da 様
そうですね、少しお待ち下さい。

Answer 2

同じ値による多重分岐は、普通はcase+whenを使います。

case size
when "A","B","AB"
  ～～～
when "C","D","CD"
  ～～～
when "E","F","EFG"
  ～～～
else
  ～～～
end

Answer 3

「文字列のどれかに一致する」ということを判定したいなら、Array#include?（るりま）というのでもすっきり書けます。

# 単純な配列で
if ['A', 'B', 'AB'].include?(str)
 # 略
elsif ['C', 'D', 'CD'].include?(str)
  # 略
end

# 配列リテラルをシンプルにしてみる
# （動作は上の例と同じです）
if %w|A B AB|.include?(str)
 # 略
elsif %w|C D CD|.include?(str)
  # 略
end

Answer 4

文字列を論理演算子を使用して分岐する事に問題がある

はい。リンク先の回答でも説明されていますが、
おそらく質問者の方の意図通りに動作しません。

演算子の優先順位などの問題があります。
具体的には、下記コードの挙動を比較してください。

（質問文と同じようなコードですが、
見やすさのため簡略化しました）

---

size = 'C'
if size == 'A' or 'B'
	p 'true'
else
	p 'false'
end
# => true

size = 'C'
if size == 'A' or size == 'B'
	p 'true'
else
	p 'false'
end
# => false

Comments

[yuki_90453]

ご返事頂きありがとうございます。
そうですね、確認して見ると期待した通りの動作をしていませんでした。
なぜ、1つ目の条件式はAでもBでもないのにtrueになるのでしょうか？

[LLman]

＞なぜ、1つ目の条件式はAでもBでもないのにtrueになる
演算子の優先順位という、約束事がそうなってるからですね。

読み書きだけで言えば、理屈抜きで覚えるしかないですが、
あえてもう少し掘り下げれば、言語処理系を作る都合からです。

[hana-da]

おそらく
size == 'A' or 'B' が
size == ('A' or 'B') のように見えるんでしょうが
(size == 'A') or 'B' という風に結合します。

10 x 5 + 2 は
(10 x 5) + 2 = 52 ですよね?
10 x (5 + 2) = 70 ではないですよね。?
演算子には優先順位があるのです。

[yuki_90453]

>size == ('A' or 'B') のように見えるんでしょうが
(size == 'A') or 'B' という風に結合します。

なるほど、すっきりしました。
理屈ぬきで覚えるしかないですね、ありがとうございます。