and / or の設定方法について

Question

"aaaは空文字でも0でもない"
かつ
"bbbも空文字でも0でもない"

を表そうとした場合、どのような式にすればよいでしょうか。

(aaa && bbb) != ("" || "0")
=> ともに空文字ならば偽
ともに0ならば真
ともに1ならば真
(aaa && bbb) == (!"" && !"0")
=> warning : string literal in condition

Answer 1

素直に
"aaaは空文字でも0でもない"
かつ
"bbbも空文字でも0でもない"
を表現するなら、

  (aaa.is_a?(String) && !(aaa == '' || aaa == '0') &&
   bbb.is_a?(String) && !(bbb == '' || bbb == '0'))

ですね。

いくつかの 条件文の書き方と、その動作チェックをするものを書いてみました。

def check(aaa, bbb)
  (aaa.is_a?(String) && !(aaa == '' || aaa == '0') &&
   bbb.is_a?(String) && !(bbb == '' || bbb == '0'))
end

def check2(aaa, bbb)
  (aaa.is_a?(String) && aaa != '' && aaa != '0' &&
   bbb.is_a?(String) && bbb != '' && bbb != '0')
end

def check3(aaa, bbb)
  (aaa && bbb) == (!'' && !'0')
end

def check4(aaa, bbb)
  x = ''
  y = '0'
  (aaa && bbb) == (!x && !y)
end

TESTS = [
  {data: [nil, nil], ans: false},
  {data: [nil, '0'], ans: false},
  {data: [nil, '1'], ans: false},
  {data: [nil, ''],  ans: false},
  {data: [nil, 0],   ans: false},

  {data: ['0', nil], ans: false},
  {data: ['0', '0'], ans: false},
  {data: ['0', '1'], ans: false},
  {data: ['0', ''],  ans: false},
  {data: ['0', 0],   ans: false},

  {data: ['1', nil], ans: false},
  {data: ['1', '0'], ans: false},
  {data: ['1', '1'], ans: true },  # true
  {data: ['1', ''],  ans: false},
  {data: ['1', 0],   ans: false},

  {data: ['', nil], ans: false},
  {data: ['', '0'], ans: false},
  {data: ['', '1'], ans: false},
  {data: ['', ''],  ans: false},
  {data: ['', 0],   ans: false},

  {data: [0, nil], ans: false},
  {data: [0, '0'], ans: false},
  {data: [0, '1'], ans: false},
  {data: [0, ''],  ans: false},
  {data: [0, 0],   ans: false},
].freeze

TESTS.each do |test|
  a = test[:data][0]
  b = test[:data][1]

  ans = check(a, b)
  puts "#--- fail check: a=[#{a.inspect}], b=[#{b.inspect}] => #{ans}" if ans != test[:ans]
  ans = check2(a, b)
  puts "#--- fail check2: a=[#{a.inspect}], b=[#{b.inspect}] => #{ans}" if ans != test[:ans]
  ans = check3(a, b)
  puts "#--- fail check3: a=[#{a.inspect}], b=[#{b.inspect}] => #{ans}" if ans != test[:ans]
  ans = check4(a, b)
  puts "#--- fail check4: a=[#{a.inspect}], b=[#{b.inspect}] => #{ans}" if ans != test[:ans]
  
end

実行すると、以下のようになります。

$ ruby cond.rb
cond.rb:14: warning: string literal in condition
cond.rb:14: warning: string literal in condition
#--- fail check3: a=["1"], b=["1"] => false
#--- fail check4: a=["1"], b=["1"] => false

質問文にあった (aaa && bbb) == (!"" && !"0") は、正しく true/false が返らないことがあります。(上のコードの check3 のメソッド)
warning の発生を無理やり解消したのが check4 です。でも true/false 判定が正しく動作していません。
check1, check2 の書き方におするか、別の書き方を上の様なコードでテストして動作チェックしてから利用するとよいと思います。

aaa, bbb が
”nil でない かつ String であること”
が保証されているなら、check1, check2 の書き方はもっと単純にできます。

Comments

[MeWhois]

回答ありがとうございます。
シンプルに解決できると考えていたことが甘かったみたいです。
すこし前提をいじってみようと思います。