ECMAScript Boolean 運(yùn)算符

Boolean 運(yùn)算符得以讓程序語言得以正常運(yùn)行，因此它起到十分重要的作用。

Boolean 運(yùn)算符有三種：NOT、AND 和 OR。

ToBoolean 操作

在學(xué)習(xí)各種邏輯運(yùn)算符之前，讓我們先了解一下ECMAScript-262 v5規(guī)范中描述的ToBoolean操作。

抽象操作ToBoolean將其參數(shù)按照下表中的規(guī)則轉(zhuǎn)換為邏輯值：

邏輯 NOT 運(yùn)算符

在ECMAScript中，邏輯NOT運(yùn)算符與C和Java中的邏輯NOT運(yùn)算符相同，都由感嘆號（!）表示。

與邏輯OR和邏輯AND運(yùn)算符不同的是，邏輯NOT運(yùn)算符返回的一定是Boolean值。

邏輯NOT運(yùn)算符的行為如下：

• 如果運(yùn)算數(shù)是對象，返回false
• 如果運(yùn)算數(shù)是數(shù)字0，返回true
• 如果運(yùn)算數(shù)是0以外的任何數(shù)字，返回false
• 如果運(yùn)算數(shù)是null，返回true
• 如果運(yùn)算數(shù)是NaN，返回true
• 如果運(yùn)算數(shù)是undefined，發(fā)生錯(cuò)誤

通常，該運(yùn)算符用于控制循環(huán)：

var bFound = false;
var i = 0;

while (!bFound)
 {
  if (aValue[i] == vSearchValues) {
    bFound = true;
  } else {
    i++;
  }
}

在這個(gè)例子中，Boolean變量（bFound）用于記錄檢索是否成功。找到問題中的數(shù)據(jù)項(xiàng)時(shí)，bFound將被設(shè)置為true，!bFound將等于false，意味著運(yùn)行將跳出while 循環(huán)。

判斷ECMAScript變量的Boolean值時(shí)，也可以使用邏輯NOT運(yùn)算符。這樣做需要在一行代碼中使用兩個(gè)NOT運(yùn)算符。無論運(yùn)算數(shù)是什么類型，第一個(gè)NOT運(yùn)算符返回Boolean值。第二個(gè)NOT將對該Boolean值求負(fù)，從而給出變量真正的Boolean值。

var bFalse = false;
var sRed = "red";
var iZero = 0;
var iThreeFourFive = 345;
var oObject = new Object;

document.write("bFalse 的邏輯值是 " + (!!bFalse));
document.write("sRed 的邏輯值是 " + (!!sRed));
document.write("iZero 的邏輯值是 " + (!!iZero));
document.write("iThreeFourFive 的邏輯值是 " + (!!iThreeFourFive));
document.write("oObject 的邏輯值是 " + (!!oObject));

結(jié)果：

bFalse 的邏輯值是 false
sRed 的邏輯值是 true
iZero 的邏輯值是 false
iThreeFourFive 的邏輯值是 true
oObject 的邏輯值是 true 

邏輯 AND 運(yùn)算符

在ECMAScript中，邏輯AND運(yùn)算符用雙和號（&&）表示：

例如：

var bTrue = true;
var bFalse = false;
var bResult = bTrue && bFalse;

下面的真值表描述了邏輯AND運(yùn)算符的行為：

邏輯 AND 運(yùn)算的運(yùn)算數(shù)可以是任何類型的，不止是 Boolean 值。

如果某個(gè)運(yùn)算數(shù)不是原始的Boolean型值，邏輯AND運(yùn)算并不一定返回Boolean值：

• 如果第一個(gè)運(yùn)算數(shù)是對象，第二個(gè)是Boolean值，返回第一個(gè)對象。
• 如果兩個(gè)運(yùn)算數(shù)都是對象，返回第二個(gè)對象。
• 如果某個(gè)運(yùn)算數(shù)是null，返回null。
• 如果某個(gè)運(yùn)算數(shù)是NaN，返回NaN。
• 如果某個(gè)運(yùn)算數(shù)是undefined，發(fā)生錯(cuò)誤。

與Java中的邏輯AND運(yùn)算相似，ECMAScript中的邏輯AND運(yùn)算也是簡便運(yùn)算，即如果第一個(gè)運(yùn)算數(shù)決定了結(jié)果，就不再計(jì)算第二個(gè)運(yùn)算數(shù)。對于邏輯AND運(yùn)算來說，如果第一個(gè)運(yùn)算數(shù)是false，那么無論第二個(gè)運(yùn)算數(shù)的值是什么，結(jié)果都不可能等于true。

考慮下面的例子：

var bTrue = true;
var bResult = (bTrue && bUnknown);	//發(fā)生錯(cuò)誤
alert(bResult);			//這一行不會執(zhí)行

這段代碼在進(jìn)行邏輯AND運(yùn)算時(shí)將引發(fā)錯(cuò)誤，因?yàn)樽兞縝Unknown是未定義的。變量bTrue的值為true，因?yàn)檫壿婣ND運(yùn)算將繼續(xù)計(jì)算變量bUnknown。這樣做就會引發(fā)錯(cuò)誤，因?yàn)閎Unknown的值是undefined，不能用于邏輯AND運(yùn)算。

如果修改這個(gè)例子，把第一個(gè)數(shù)設(shè)為false，那么就不會發(fā)生錯(cuò)誤：

var bFalse = false;
var bResult = (bFalse && bUnknown);
alert(bResult);			//輸出 "false"

在這段代碼中，腳本將輸出邏輯AND運(yùn)算返回的值，即字符串"false"。即使變量bUnknown的值為undefined，它也不會被計(jì)算，因?yàn)榈谝粋€(gè)運(yùn)算數(shù)的值是false。

提示：在使用邏輯AND運(yùn)算符時(shí)，必須記住它的這種簡便計(jì)算特性。

邏輯 OR 運(yùn)算符

ECMAScript中的邏輯OR運(yùn)算符與Java中的相同，都由雙豎線（||）表示：

var bTrue = true;
var bFalse = false;
var bResult = bTrue || bFalse;

下面的真值表描述了邏輯OR運(yùn)算符的行為：

與邏輯AND運(yùn)算符相似，如果某個(gè)運(yùn)算數(shù)不是Boolean值，邏輯OR運(yùn)算并不一定返回Boolean值：

• 如果一個(gè)運(yùn)算數(shù)是對象，并且該對象左邊的運(yùn)算數(shù)值均為false，則返回該對象。
• 如果兩個(gè)運(yùn)算數(shù)都是對象，返回第一個(gè)對象。
• 如果最后一個(gè)運(yùn)算數(shù)是null，并且其他運(yùn)算數(shù)值均為false，則返回null。
• 如果最后一個(gè)運(yùn)算數(shù)是NaN，并且其他運(yùn)算數(shù)值均為false，則返回NaN。
• 如果某個(gè)運(yùn)算數(shù)是undefined，發(fā)生錯(cuò)誤。

與邏輯AND運(yùn)算符一樣，邏輯OR運(yùn)算也是簡便運(yùn)算。對于邏輯OR運(yùn)算符來說，如果第一個(gè)運(yùn)算數(shù)值為true，就不再計(jì)算第二個(gè)運(yùn)算數(shù)。

例如：

var bTrue = true;
var bResult = (bTrue || bUnknown);
alert(bResult);			//輸出 "true"

與前面的例子相同，變量bUnknown是未定義的。不過，由于變量bTrue的值為true，bUnknown不會被計(jì)算，因此輸出的是"true"。

如果把bTrue改為false，將發(fā)生錯(cuò)誤：

var bFalse = false;
var bResult = (bFalse || bUnknown);	//發(fā)生錯(cuò)誤
alert(bResult);			//不會執(zhí)行這一行