第1章 精華
JavaScript的特性中有一部分特性帶來(lái)的麻煩遠(yuǎn)遠(yuǎn)超出它們的價(jià)值。其中，一些特性是因?yàn)橐?guī)范很不完善，從而可能導(dǎo)致可移植性的問(wèn)題；一些特性會(huì)導(dǎo)致生成難以理解和修改的代碼；一些特性促使我的代碼風(fēng)格過(guò)于復(fù)雜且易于出錯(cuò)；還有一些特性就是設(shè)計(jì)錯(cuò)誤。有時(shí)候語(yǔ)言的設(shè)計(jì)者也會(huì)犯錯(cuò)。
大多數(shù)編程語(yǔ)言都有精華部分和雞肋部分。我發(fā)現(xiàn)如果只使用精華部分而避免使用雞肋的部分，我可以成為一個(gè)更好的程序員。畢竟，用糟糕的部件怎么可能構(gòu)建出好東西呢？
標(biāo)準(zhǔn)委員會(huì)想要移除一門語(yǔ)言中的缺陷部分，這幾乎是不可能的，因?yàn)檫@樣做會(huì)損害所有依賴于那些雞肋部分的糟糕程序。除了在已存在的一大堆缺陷上堆積更多的特性，他們通常無(wú)能為力。并且新舊特性并不總是能和諧共處，可能從而產(chǎn)生出更多的雞肋部分。
但是，你有權(quán)力定義你自己的子集。你完全可以基于精華部分去編寫更好的程序。JavaScript中雞肋部分的比重超出了預(yù)料。在短到令人吃驚的時(shí)間里，它從不存在發(fā)展到全球采用。它從來(lái)沒(méi)有在實(shí)驗(yàn)室里被試用和打磨。當(dāng)它還非常粗糙時(shí)，它就被直接集成到網(wǎng)景的Navigator 2瀏覽器中。隨著JavaTM的小應(yīng)用程序（Java applets）的失敗，JavaScript變成了默認(rèn)的“網(wǎng)頁(yè)語(yǔ)言”。作為一門編程語(yǔ)言，JavaScript的流行幾乎完全不受它的質(zhì)量的影響。
好在JavaScript有一些非常精華的部分。JavaScript最本質(zhì)的部分被深深地隱藏著，以至于多年來(lái)對(duì)它的主流觀點(diǎn)是：JavaScript就是一個(gè)丑陋的、沒(méi)用的玩具。本書的目的就是要揭示JavaScript中的精華，讓大家知道它是一門杰出的動(dòng)態(tài)編程語(yǔ)言。
或許只學(xué)習(xí)精華部分的最大好處就是你可以不用考慮雞肋的部分。忘掉不好的模式是非常困難的。這是一個(gè)非常痛苦的工作，我們中的大多數(shù)人都會(huì)很不愿意面對(duì)。有時(shí)候，制定語(yǔ)言的子集是為了讓學(xué)生更好的學(xué)習(xí)。但在這里，我制定的JavaScript子集是為了主專業(yè)人員更好的工作。
1.1 為什么要使用JavaScript
JavaScript是一門重要的語(yǔ)言，因?yàn)樗莣eb瀏覽器的語(yǔ)言。它與瀏覽器的結(jié)合使它成為世界上最流行的編程語(yǔ)言之一。同時(shí)，它也是世界上最被輕視的編程語(yǔ)言之一。瀏覽器的API和文檔對(duì)象模型（DOM）相當(dāng)糟糕，導(dǎo)致JavaScript遭到不公平的指責(zé)。
JavaScript是最被輕視的語(yǔ)言，因?yàn)樗皇撬^的主流語(yǔ)言。如果你擅長(zhǎng)某些主流語(yǔ)言，但卻在一個(gè)只支持JavaScript的環(huán)境中編程，那么被迫使用JavaScript確是相當(dāng)令人厭煩的。大多數(shù)人覺(jué)得沒(méi)必要去先學(xué)好JavaScript，但結(jié)果他們會(huì)驚訝地發(fā)現(xiàn)，JavaScript跟他們寧愿使用的主流語(yǔ)言有很大不同，而且這些不同至為關(guān)鍵。
JavaScript令人驚異的事情是，在對(duì)這門語(yǔ)言沒(méi)有太多了解，甚至對(duì)編程都沒(méi)有太多了解的情況下，你也能用它來(lái)完成工作。它是一門擁有極強(qiáng)表達(dá)能力的語(yǔ)言。當(dāng)你知道要做什么時(shí)，它甚至能表現(xiàn)得更好。編程是很困難的事情。絕不應(yīng)該在對(duì)此一無(wú)所知時(shí)便開(kāi)始你的工作。
1.2 分析JavaScript
JavaScript建立在一些非常好的想法和少數(shù)非常壞的想法之上。
那些非常好的想法包括函數(shù)、弱類型、動(dòng)態(tài)對(duì)象和一個(gè)富有表現(xiàn)力的字面量表示法。那些壞的想法包括基于全局變量的編程模型。
JavaScript的函數(shù)是（主要）基于詞法作用域（lexical scoping）的頂級(jí)對(duì)象。JavaScript是第一個(gè)成為主流的lambda語(yǔ)言。實(shí)際上，相對(duì)Java而言，JavaScript與Lisp和Scheme有更多的共同點(diǎn)。它是披著C外衣的Lisp。這使得JavaScript成為一個(gè)非常強(qiáng)大的語(yǔ)言。
現(xiàn)今大部分編程語(yǔ)言中都流行要求強(qiáng)類型。其原理在于強(qiáng)類型允許編譯器在編譯時(shí)檢測(cè)錯(cuò)誤。我們能越早檢測(cè)和修復(fù)錯(cuò)誤，付出的代價(jià)就越小。JavaScript是一門弱類型的語(yǔ)言，所以JavaScript編譯器不能檢測(cè)出類型錯(cuò)誤。另一方面，弱類型其實(shí)是自由的。我們無(wú)須建立復(fù)雜的次，我永遠(yuǎn)不用做強(qiáng)制類型轉(zhuǎn)換，也不用疲于應(yīng)付類型系統(tǒng)以得到想要的行為。
JavaScript有非常強(qiáng)大的對(duì)象字面量表示法。通過(guò)列出對(duì)象的組成部分，它們就能簡(jiǎn)單地被創(chuàng)建出來(lái)。這種表示法產(chǎn)生了流行的數(shù)據(jù)交換格式——JSON。
原型繼承是JavaScript中一個(gè)有爭(zhēng)議的特性。JavaScript有一個(gè)無(wú)類別（class-free）的對(duì)象系統(tǒng)，在這個(gè)系統(tǒng)中，對(duì)象直接從其他對(duì)象繼承屬性。這真的很強(qiáng)大，但是對(duì)那些被訓(xùn)練使用類去創(chuàng)建對(duì)象的程序員們來(lái)說(shuō)，原型繼承是一個(gè)陌生的概念。如果你嘗試對(duì)JavaScript直接應(yīng)用基于類的設(shè)計(jì)模式，你將會(huì)遭受挫折。但是，如果你學(xué)習(xí)使用JavaScript的原型本質(zhì)，那么你的努力將會(huì)有所回報(bào)。
JavaScript在關(guān)鍵思想的選擇上飽受非議。雖然在大多數(shù)情況下，這些選擇是合適的。但是有一個(gè)選擇相當(dāng)糟糕：JavaScript依賴于全局變量來(lái)進(jìn)行連接。所有編譯單元的所有頂級(jí)變量被撮合到一個(gè)被稱為全局對(duì)象的公共命名空間中。這是一件糟糕的事情，因?yàn)槿肿兞渴悄Ч?，并且在JavaScript中它們是基礎(chǔ)性的。
在少數(shù)情況下，我們不能忽略雞肋的部分。另外還有一些不可避免的糟粕，當(dāng)涉及這些部分時(shí)，我們會(huì)將它們指出來(lái)。如果你想學(xué)習(xí)那些雞肋的部分及如何拙劣地使用它們，請(qǐng)參閱任何其他的JavaScript書籍。
JavaScript是一門有許多差異的語(yǔ)言。它包含很多錯(cuò)誤和尖銳的邊角（sharp edges），所以你可能會(huì)疑惑：“為什么我要使用JavaScript？”有兩個(gè)答案。第一個(gè)是你沒(méi)有選擇。Web已變成一個(gè)重要的應(yīng)用開(kāi)發(fā)平臺(tái)，而JavaScript是唯一一門所有瀏覽器都可以識(shí)別的語(yǔ)言。很不幸，Java在瀏覽器環(huán)境中失敗了。JavaScript的蓬勃發(fā)展，恰恰說(shuō)明了JavaScript確有其過(guò)人之處。
另一個(gè)答案是，盡管JavaScript有缺陷，但是它真的很優(yōu)秀。它既輕量又富有表現(xiàn)力。并且一旦你熟練掌握了它，就會(huì)發(fā)現(xiàn)函數(shù)式編程是一件很有趣的事。
但是為了更好地使用這門語(yǔ)言，你必須知道它的局限。我將會(huì)無(wú)情地揭示它們。不要因此而氣餒。這門語(yǔ)言的精華部分足以彌補(bǔ)它雞肋的不足。
1.3 一個(gè)簡(jiǎn)單的試驗(yàn)場(chǎng)
如果你有一個(gè)Web瀏覽器和任意一個(gè)文本編輯器，那么你就有了運(yùn)行JavaScript程序所需要的一切。首先，請(qǐng)創(chuàng)建一個(gè)HTML文件，可以命名為program.html：

接下來(lái)，在同一個(gè)文件夾內(nèi)，創(chuàng)建一個(gè)腳本文件，可以命名為program.js：
document.writeln('Hello, world!');
下一步，用你的瀏覽器找開(kāi)你的HTML文件去查看結(jié)果。本書貫徹始終都會(huì)用到一個(gè)method方法去定義新方法。下面是它的定義：

我會(huì)在第4章解釋它。
第2章 語(yǔ)法
本章介紹JavaScript的精華部分的語(yǔ)法，并簡(jiǎn)要地概述其語(yǔ)言結(jié)構(gòu)。
2.1 空白
空白可能表現(xiàn)為格式化字符或注釋的形式?？瞻淄ǔ](méi)有意義，但是偶爾須要用它來(lái)分隔字符序列，否則它們就會(huì)被合并成一個(gè)單一的符號(hào)。例如，對(duì)如下代碼來(lái)說(shuō)：
var that = this;
var和that之間的空格是不能被移除的，但是其他的空格都可以被移除。
JavaScript提供兩種注釋形式，一種是用/* */包圍的塊注釋，另一種是以//為開(kāi)頭的行注釋。注釋應(yīng)該被充分地用來(lái)提高程序的可讀性。必須注意的是，注釋一定要精確地描述代碼。沒(méi)有用的注釋比沒(méi)有注釋更糟糕。
用/* */包圍的塊注釋形式來(lái)自于一門叫PL/I（默然說(shuō)話：Programming Language One的簡(jiǎn)寫。當(dāng)中的“I”其實(shí)是羅馬數(shù)字的“一”，它是一種IBM公司在19世紀(jì)50年代發(fā)明的第三代高級(jí)編程語(yǔ)言）的語(yǔ)言。在JavaScript中，*/可能出現(xiàn)在正則表達(dá)式字面上，所以塊注釋對(duì)于被注釋的代碼塊來(lái)說(shuō)是不安全的。例如：
/*
var rm_a = /a*/.match(s);
*/
導(dǎo)致了一個(gè)語(yǔ)法錯(cuò)誤。所以，我建議避免使用/* */注釋，而用//注釋代替它。
2.2 標(biāo)識(shí)符
標(biāo)識(shí)符由一個(gè)字母開(kāi)頭，其后可選擇性地加上一個(gè)或多個(gè)字母數(shù)字或下劃線。標(biāo)識(shí)符不能使用下面這些保留字：
abstract
boolean break byte
case catch char class const continue
debugger default delete do double
else enum export extends
false final finally float for function
goto
if implements import in instanceof int interface
long
native new null
package private protected public
return
short static super switch synchronized
this throw throws transient true try typeof
var volatile void
while with
在這個(gè)列表中的大部分保留字尚未用在這門語(yǔ)言中。這個(gè)列表不包括一些本應(yīng)該被保留而沒(méi)有保留的字，諸如undefined、NaN和Infinity。JavaScript不允許使用保留字來(lái)命名變量或參數(shù)。更糟糕的是，JavaScript不允許在對(duì)象字面量中，或者在一個(gè)屬性存取表達(dá)式的點(diǎn)號(hào)之后，使用保留字作為對(duì)象的屬性名。
標(biāo)識(shí)符被用于語(yǔ)句、變量、參數(shù)、屬性名、運(yùn)算符和標(biāo)記。
2.3 數(shù)字
JavaScript只有一個(gè)單一的數(shù)字類型。它在內(nèi)部被表示為64位的浮點(diǎn)數(shù)，和Java的double一樣。在JavaScript中，1和1.0是相同的值。
如果一個(gè)數(shù)字字面量有指數(shù)部分，那么這個(gè)字面量的值是由e之前的部分乘以10的e之后部分的次方計(jì)算出來(lái)的。所以100和1e2是相同的數(shù)字。
負(fù)數(shù)可以用前綴運(yùn)算符-來(lái)構(gòu)成。
值NaN是一個(gè)數(shù)值，它表示一個(gè)不能產(chǎn)生正常結(jié)果的運(yùn)算結(jié)果。NaN不等于任何值，包括它自己。你可以用函數(shù)isNaN(number)檢測(cè)NaN。
值Infinity表示所有大于1.79769313486231570e+308的值。
數(shù)字擁有方法（參見(jiàn)第8章）。JavaScript有一個(gè)對(duì)象Math，它包含一套作用于數(shù)字的方法。例如，可以用Math.floor(number)方法將一個(gè)數(shù)字轉(zhuǎn)換成一個(gè)整數(shù)。
2.4 字符串
字符串字面量可以被包圍在單引號(hào)或雙引號(hào)中，它可能包含0個(gè)或多個(gè)字符。\是轉(zhuǎn)義字符。JavaScript在被創(chuàng)建的時(shí)候，Unicode是一個(gè)16位的字符集，所以JavaScript中的所有字符都是16位的。
JavaScript沒(méi)有字符類型。要表示一個(gè)字符，只須創(chuàng)建僅包含一個(gè)字符的字符串即可。
轉(zhuǎn)義字符允許把那些正常情況下不被允許的字符插入到字符串中，比如反斜線、引號(hào)和控制字符。\u約定允許指定用數(shù)字表示的字符碼位。
“A”===”\u0041”
字符串有一個(gè)ength屬性。例如，”seven”.length是5。
字符串是不可變的。一旦字符串被創(chuàng)建，就永遠(yuǎn)無(wú)法改變它。但通過(guò)+運(yùn)算符去連接其他的字符串從而得到一個(gè)新字符串是很容易的。兩個(gè)包含著完全相同的字符且字符順序也相同的字符串被認(rèn)為是相同的字符串。所以：
‘c'+'a'+'t' === ‘cat'
是true。
字符串有一些方法（參見(jiàn)第8章）。
2.5 語(yǔ)句
一個(gè)編譯單元包含一組可執(zhí)行的語(yǔ)句。在web瀏覽器中，每個(gè)<script>標(biāo)簽都提供一個(gè)被編譯且立即執(zhí)行的編譯單元。因?yàn)槿鄙冁溄悠鳎琂avaScript把它們一起拋入一個(gè)公共的全局命名空間中。附錄A有更多關(guān)于全局變量的內(nèi)容。
當(dāng)var語(yǔ)句被用在函數(shù)的內(nèi)部時(shí)，它定義了這個(gè)函數(shù)的私有變量。
switch、while、for和do語(yǔ)句允許有一個(gè)可選的前置標(biāo)簽（label），它配合break語(yǔ)句來(lái)使用。
語(yǔ)句往往按照從上到下的順序被執(zhí)行。JavaScript可以通過(guò)條件語(yǔ)句（if和switch）、循環(huán)語(yǔ)句（while、for和do）、強(qiáng)制跳轉(zhuǎn)語(yǔ)句(break、return和throw)和函數(shù)調(diào)用來(lái)改變這個(gè)執(zhí)行序列。
代碼塊是包在一對(duì)花括號(hào)中的一組語(yǔ)句。不像許多其他的語(yǔ)言，JavaScript中的代碼塊不會(huì)創(chuàng)建一個(gè)新的作用域，因此變量應(yīng)該被定義在函數(shù)的頂端，而不是在代碼塊中。
if語(yǔ)句根據(jù)表達(dá)式的值改變程序的控制流程。如果表達(dá)式的值為真，那么執(zhí)行then代碼塊，否則，執(zhí)行可選的else分支。
下面列出的值被當(dāng)作假：
fase
null
undefined
數(shù)字0
數(shù)字NaN
其他所有的值都被當(dāng)作真，包括true，字符串”false”，以及所有的對(duì)象。
switch語(yǔ)句執(zhí)行一個(gè)多路分支。它把其表達(dá)式的值和所有指定的case條件進(jìn)行匹配。其表達(dá)式可能產(chǎn)生一個(gè)數(shù)字或字符串。當(dāng)找到一個(gè)精確的匹配時(shí)，執(zhí)行匹配的case從句中的語(yǔ)句。如果沒(méi)有找到任何匹配，則執(zhí)行可選的default語(yǔ)句。
一個(gè)case從句包含一個(gè)或多個(gè)case表達(dá)式。case表達(dá)式不一定必須是常量。為了防止繼續(xù)執(zhí)行下一個(gè)case，case語(yǔ)句后應(yīng)該跟隨一上強(qiáng)制跳轉(zhuǎn)語(yǔ)句。你可以用break語(yǔ)句去退出一個(gè)switch語(yǔ)句。
while語(yǔ)句執(zhí)行一個(gè)簡(jiǎn)單的循環(huán)。如果表達(dá)式值為假，那么循環(huán)將終止。而當(dāng)表達(dá)式值為真時(shí)，代碼塊將被執(zhí)行。
for語(yǔ)句是一個(gè)結(jié)構(gòu)更復(fù)雜的循環(huán)語(yǔ)句。它有兩種形式。
常見(jiàn)的形式由三個(gè)可選從句控制：初始化從句（initialization）、條件從句（condition）和增量從句（increment）。首先，;初始化從句被執(zhí)行，它的作用通常是初始化循環(huán)變量。接著計(jì)算條件從句的值。典型的情況是它根據(jù)一個(gè)完成條件檢測(cè)循環(huán)變量。如果條件從句被省略掉，則假定返回的條件是真。如果條件從句的值為假，那么循環(huán)將終止。否則，執(zhí)行代碼塊，然后執(zhí)行增量從句，接著循環(huán)會(huì)重復(fù)執(zhí)行條件從句。
另一種形式（被稱為for in語(yǔ)句）會(huì)枚舉一個(gè)對(duì)象的所有屬性名（或鍵名）。在每次循環(huán)中，對(duì)象的另一個(gè)屬性名字符串被賦值給for和in之間的變量。
通常你須通過(guò)檢測(cè)object.hasOwnProperty(variable)來(lái)確定這個(gè)屬性名就是該對(duì)象的成員，還是從其原型鏈里找到的。

do語(yǔ)句就像while語(yǔ)句，唯一的區(qū)別是它在代碼塊執(zhí)行之后而不是之前檢測(cè)表達(dá)式的值。這就意味著代碼塊將總是要執(zhí)行至少一次。
try語(yǔ)句執(zhí)行一個(gè)代碼塊，并捕獲該代碼塊拋出的任何異常。catch從句定義了一個(gè)新的變量，它將接收該異常對(duì)象。
throw語(yǔ)句拋出一個(gè)異常。如果throw語(yǔ)句在一個(gè)try代碼塊中，那么控制權(quán)會(huì)跳到catch從句中。如果throw語(yǔ)句在函數(shù)中，則該函數(shù)調(diào)用被放棄，且控制權(quán)會(huì)跳到調(diào)用該函數(shù)的try語(yǔ)句的catch從句中。
throw語(yǔ)句中的表達(dá)式通常是一個(gè)對(duì)象字面量，它包含一個(gè)name屬性和一個(gè)message屬性。異常捕獲器可以使用這些信息去決定該做什么。
return語(yǔ)句會(huì)使一人函數(shù)提前返回。它也可以指定要被返回的值。如果沒(méi)有指定返回表達(dá)式，那么其返回值是undefined。
JavaScript不允許在return關(guān)鍵字和表達(dá)式之間換行。
break語(yǔ)句會(huì)使程序退出一個(gè)循環(huán)語(yǔ)句或switch語(yǔ)句。它可以指定一個(gè)可選的標(biāo)簽，那將會(huì)使程序退出帶該標(biāo)簽的語(yǔ)句。
JavaScript不允許在break關(guān)鍵字和標(biāo)簽之間換行。
一個(gè)expression語(yǔ)句可以給一個(gè)或多個(gè)變量或成員賦值，或者調(diào)用一個(gè)方法，或者從對(duì)象中刪除一個(gè)屬性。運(yùn)算符=被用于賦值。不要把它和恒等運(yùn)算符===混淆。運(yùn)算符+=可以用于加法運(yùn)算或連接字符串。
2.6 表達(dá)式
三元運(yùn)算符？有三個(gè)運(yùn)算數(shù)。如果第一個(gè)運(yùn)算數(shù)值為真，它產(chǎn)生第二個(gè)運(yùn)算數(shù)的值。但是，如果第一個(gè)運(yùn)算數(shù)為假，它會(huì)產(chǎn)生第三個(gè)運(yùn)算數(shù)的值。
表2-1：運(yùn)算符優(yōu)先級(jí)

.[]()	屬性存取及函數(shù)調(diào)用
delete new typeof +-!	一元運(yùn)算符
*/%	乘法、除法、取模
+-	加法/連接、減法
>= <= > <	不等式運(yùn)算符
=== !==	等式運(yùn)算符
&&	邏輯與
||	邏輯或
?:	三元

typeo運(yùn)算符產(chǎn)生的值有'number'、'string'、'boolean'、'undefined'、'function'、'object'。如果運(yùn)算數(shù)是一個(gè)數(shù)組或null，那么結(jié)果是'object'，這是不對(duì)的。第6章和附錄A將會(huì)有更多關(guān)于typeof的內(nèi)容。
/運(yùn)算符可能會(huì)產(chǎn)生一個(gè)非整數(shù)結(jié)果，即使兩個(gè)運(yùn)算數(shù)都是整數(shù)。
函數(shù)調(diào)用引發(fā)函數(shù)的執(zhí)行。函數(shù)調(diào)用運(yùn)算符是跟隨在函數(shù)名后面的一對(duì)圓括號(hào)。圓括號(hào)中可能包含將會(huì)傳遞給這個(gè)函數(shù)的參數(shù)。第4章將會(huì)有更多關(guān)于函數(shù)的內(nèi)容。
一個(gè)屬性存取表達(dá)式用于指定一個(gè)對(duì)象或數(shù)組的屬性或元素。下一章我將詳細(xì)描述它。
2.7 字面量
對(duì)象字面量是一種方便指定新對(duì)象的表示法。屬性名可以是標(biāo)識(shí)符或字符串。這些名字被當(dāng)作字面量名而不是變量名來(lái)對(duì)待，所以對(duì)象的屬性名在編譯時(shí)才能知道。屬性的值就是表達(dá)式。下一章將會(huì)有更多關(guān)于對(duì)象字面量的信息。
數(shù)組字面量是一個(gè)方便指定新數(shù)組的表示法。第6章將會(huì)有更多關(guān)于數(shù)組字面量的內(nèi)容。
第7章將會(huì)有更多關(guān)于正則表達(dá)式的內(nèi)容。
函數(shù)字面量定義了函數(shù)值。它可以有一個(gè)可選的名字，用于遞歸地調(diào)用自己。它可以指定一個(gè)參數(shù)列表，這些參數(shù)將作為變量由調(diào)用時(shí)傳遞的實(shí)際參數(shù)（arguments）初始化。函數(shù)的主體包括變量定義和語(yǔ)句。第4章將會(huì)有更多關(guān)于函數(shù)的內(nèi)容。

最新評(píng)論