論理演算子について

Question

javascriptに限ったはなしではないのですが、以下の結果が理解することができません。

var b1, b2;

b1 = 0 && 10;
b2 = 7 && 10;

b1は0
これは右辺を評価してはfalseで0らしいのですが、なぜfalseで、なぜfalseではなく0を返すのですか？

b2は10
これは右辺がtrueでら10らしいのですが、なぜtrueでtrueではなく10(どこからきた。。？)を返すのでしょうか？

どなたかご教示を願えますでしょうか？

Answer 1

&&は、多くの言語に於いては、「左項を評価して偽ならその値を、真なら右項を評価して返す」という演算子です。何故と言われても、そういう演算子だからです。何故そういう機能になっているかというと、その方が便利だからです。

なので、0を偽とする言語に於いては、0 && 10は0だし、Rubyのように0が真の言語では10です。
7 && 10は左項が真なので、右項の10が値となります。

CやPHPでは、左項そのもの、右項そのものじゃなくて0または1を返しますが、不便に感じる時があります。

便利な例をすぐに思い出せませんが、類似の||・・・「左項を評価して真ならその値を、偽なら右項を評価して返す」であれば、

if not a
  a = "foo"
end
  ↓
a = a || "foo"
  ↓
a ||= "foo"

というのは、よく使います。

補足：Rubyを例に挙げたのは、Rubyはnilとfalse以外は真なので、こういう演算子と相性が良いから。

Comments

[SugiuraY]

ご回答ありがとうございます。orの例まで大変ありがたいです。メモさせていただきます！

Answer 2

言語によっては、論理演算子&&、|| (およびand、or) が「短絡的」な動作をします。C/C++、Perl、Java、javaScript、Python、Rubyなどの論理演算子は短絡的です。

つまり、

• A && Bでは、Aが偽ならBを評価しないで偽を返す。
• A || Bでは、Aが真ならBを評価しないで真を返す。

さらに、短絡的な論理演算子はしばしば次のように実装されます。

• Bを評価しないケースでは、Aの値をそのまま返す。
• それ以外では、Bの値をそのまま返す。

したがって、ご質問の例は次のように解釈できます。

b1 = 0 && 10; 

の結果は、左項の0となります。右項の10は評価されません(※)。

Comments

[SugiuraY]

短絡的という表現をはじめて知りました。ちょっと調べてみます。
ご回答頂き、有難うございました。

Answer 3

リファレンスによればexpr1 && expr2というのは、

expr1 を false と見ることができる場合は、expr1 を返します。そうでない場合は、expr2 を返します。

で

false と見ることができる式の例は、null、0、空文字列 ("")、あるいは、undefined と評価されるものです。

だそうです。

Comments

[SugiuraY]

null、0、空文字列 ("")、undefinedはfalse判定ですね！
ご回答有難うございます。

Answer 4

ちょっと古いですが仕様の邦訳で他にまともなものが無いので…。できれば最新のものも一度目を通してみてください。

11 式 (Expressions)
http://www2u.biglobe.ne.jp/~oz-07ams/2002/ecma262r3/11_Expressions.html

生成規則 LogicalANDExpression : LogicalANDExpression && BitwiseORExpression は、次のように評価される:

1. LogicalANDExpression を評価。
2. GetValue(Result(1)) を呼出す。
3. ToBoolean(Result(2)) を呼出す。
4. Result(3) が false ならば、 Result(2) を返す。
5. BitwiseORExpression を評価。
6. GetValue(Result(5)) を呼出す。
7. Result(6) を返す。

↓

9 型変換 (Type Conversion)
http://www2u.biglobe.ne.jp/~oz-07ams/2002/ecma262r3/9_Type_Conversion.html

9.2 ToBoolean
ToBoolean 演算子は、次の表にしたがって引数を Boolean 型の値に変換する。
...
Number 引数が +0, -0, NaN ならば結果は false; そうでなければ true
...

---

b1 = 0 && 10;
//1. &&の左辺を読み取る
//2. GetValue → 0
//3. ToBoolean → false（0だから）
//4. 3.の結果はfalseなので2.の結果である0を返す

b2 = 7 && 10;
//1. &&の左辺を読み取る
//2. GetValue → 7
//3. ToBoolean → true（0でもNaNでもないから）
//4. 3.の結果はtrueなので該当しない
//5. &&の右辺を読み取る
//6. GetValue → 10
//7. 6.の結果は10なので10を返す

Comments

[SugiuraY]

ご回答ありがございます。
非常に分かりやすかったです、0→false→左項を返す、7→true→右項を返すですね。
非常にすっきりしました！