JavaScript中:表達式和語句的區別

1.語句和表達式

JavaScript中的表達式和語句是有區別的.一個表達式會產生一個值,它可以放在任何需要一個值的地方,比如,作爲一個函數調用的參數.下面的每行代碼都是一個表達式:

myvar3 + xmyfunc("a", "b")語句可以理解成一個行爲.循環語句和if語句就是典型的語句.一個程序是由一系列語句組成的.JavaScript中某些需要語句的地方,你可以使用一個表達式來代替.這樣的語句稱之爲表達式語句.但反過來不可以:你不能在一個需要表達式的地方放一個語句.比如,一個if語句不能作爲一個函數的參數.

2.其他語法

看看下面這兩對類似的語法,搞懂這些後,能夠幫助我們更好的理解語句和表達式之間的關係.

2.1 If語句和條件運算符
下面是一個if語句的例子:

複製代碼 代碼如下:

var x;
if (y >= 0) {
x = y;
} else {
x = -y;
}

類似if語句功能的表達式叫做條件運算符.上面的語句等價於下面的.

var x = (y >= 0 ? y : -y);

在等於號=和分號;之間的代碼就是條件表達式.兩邊的小括號不是必需的,但我覺得小括號能讓條件表達式更易讀.

2.2 分號和逗號運算符
在JavaScript中,使用分號可以連接兩個語句:

foo(); bar()要想連接兩個表達式,使用的是不常見的逗號運算符:

foo(), bar()逗號運算符會計算前後兩個表達式,然後返回右邊表達式的計算結果.例如:

複製代碼 代碼如下:

> "a", "b"
'b'

> var x = ("a", "b");
> x
'b'

> console.log(("a", "b"));

3.看似語句的表達式

一些表達式看起來像是語句,這可能會帶來一些麻煩.

3.1 對象字面量和語句塊
下面是一個對象字面量,也就是一個可以生成一個對象值的表達式.

複製代碼 代碼如下:

{
foo: bar(3, 5)
}

不過同時,它也是一個完全合法的語句,這個語句的組成部分有:

•一個代碼塊:一個由大括號包圍的語句序列.
•一個標籤:你可以在任何語句前面放置一個標籤.這裏的foo就是一個標籤.
•一條語句:表達式語句bar(3, 5).
你也許會感到震驚,那就是JavaScript居然可以有獨立的代碼塊(常見的代碼塊是依託於循環或者if語句的).下面的代碼演示了這種代碼塊的作用:你可以給它設置一個標籤然後跳出這個代碼塊.

複製代碼 代碼如下:

function test(printTwo) {
printing: {
console.log("One");
if (!printTwo) break printing;
console.log("Two");
}
console.log("Three");
}
> test(false)
One
Three
> test(true)
One
Two
Three

3.2 函數表達式和函數聲明
下面的代碼是一個函數表達式:

function () { }你還可以給這個函數表達式起一個名字,將它轉變爲一個命名(非匿名)的函數表達式:

function foo() { }這個函數的函數名(foo)只存在於函數內部,比如,可以用它來做遞歸運算:

複製代碼 代碼如下:

> var fac = function me(x) { return x <= 1 ? 1 : x * me(x-1) }
> fac(10)
3628800
> console.log(me)
ReferenceError: me is not defined

一個命名的函數表達式從表面上看起來,和一個函數聲明並沒有什麼區別.但他們的效果是不同的:一個函數表達式產生一個值(一個函數).一個函數聲明執行一個動作:將一個函數賦值給一個變量. 此外,只有函數表達式可以被立即調用,函數聲明不可以.

3.3 解決衝突
從3.1和3.2可以看出,有些表達式和語句在表面上看不出有什麼區別.也就意味着,相同的代碼,出現在表達式上下文和出現在語句上下文會表現出不同的作用.通常情況下,這兩種上下文是沒有交集的.但是,如果是表達式語句的話,會有一個重疊:也就是說,會有一些表達式出現在語句上下文上.爲了解決這種歧義,JavaScript語法禁止表達式語句以大括號或關鍵字"function"開頭:

複製代碼 代碼如下:

ExpressionStatement :
[lookahead ∉ {"{", "function"}] Expression ;

那麼,如果你想寫一個以那些標誌開頭的表達式語句,該怎辦呢? 你可以把它放在一個括號內部,這樣並不會改變運行結果,只會確保該表達式被解析在表達式上下文中.讓我們看兩個例子.第一個例子:eval會按照語句上下文解析它的參數.如果你想讓eval返回一個對象,你必須在對象字面量兩邊加上一個括號.

複製代碼 代碼如下:

> eval("{ foo: 123 }")
123
> eval("({ foo: 123 })")
{ foo: 123 }

第二個例子:下面的例子是一個立即執行的函數表達式.

複製代碼 代碼如下:

> (function () { return "abc" }())
'abc'

如果你省略了小括號,你會得到一個語法錯誤(函數聲明不可以是匿名的):

複製代碼 代碼如下:

> function () { return "abc" }()
SyntaxError: function statement requires a name

如果你添加上函數名,還會得到一個語法錯誤(函數聲明不能被理解執行):

複製代碼 代碼如下:

> function foo() { return "abc" }()
SyntaxError: syntax error

另外一個能讓表達式在表達式上下文上被解析的辦法是使用一元運算符,比如 + 或者 !.但是,和使用括號不同的是,這些操作符會改變表達式的運行結果.如果你不關心結果的話,完全可以使用:

複製代碼 代碼如下:

> +function () { console.log("hello") }()
hello
NaNNaN

是+作用在函數執行後的返回值undefined上的結果.