色尼玛亚洲综合影院,亚洲3atv精品一区二区三区,麻豆freexxxx性91精品,欧美在线91

Google Closure Compiler 高級模式及更多思考

  前言

  Google Closure Compiler 是 Google Closure Tools 的一員,在 2009 年底被 Google 釋出,早先,有 玉伯 的 Closure Compiler vs. YUICompressor,主要就壓縮率上進行了對比,另外有 承玉 的 應用 closure compiler 高級模式,對 CC 的高級模式做了些介紹。

  本文將詳細介紹 CC 的高級模式部分,更重要的是,闡述 CC 高級模式背后的思考

  CC 是真正的編譯器

  Closure Compiler 和 YUICompressor 并不是同類產(chǎn)品,雖然 CC 和 YC 同樣產(chǎn)出壓縮后的 JS 文件,但是 YC 只做了詞法上的掃描,而 CC 并不只是一個 compressor 那么簡單,器如其名,它是一個compiler。

  對于一個 compiler,一般地,它需要做到:

  1. 檢查源文本中語法、語義、語用上的錯誤;
  2. 根據(jù)分析產(chǎn)出物(符號表、語法樹等)產(chǎn)出目標 / 中間代碼;
  3. 優(yōu)化。

  代碼錯誤一般來自三個方面:

  1. 語法(Syntax)

    表示構成語言句子的各個記號之間的組合規(guī)律。大體上,parser / interpreter 在詞法分析和語法分析階段,產(chǎn)生符號表、語法樹等分析產(chǎn)出物,具體見編譯原理教科書……

    語法上的錯誤,如:

    doSomething(;) // SyntaxError: Unexpected token ;

    根據(jù)語法規(guī)則,在非 for 語句中的 ; 意義是分隔符,而分隔符前的 ( 并沒有配對),因此報錯。

  2. 語義(Semantics)

    表示各個記號的特定含義(各個記號和記號所表示的對象之間的關系)。compiler 需要根據(jù)語義分析產(chǎn)出中間代碼,對于不產(chǎn)生中間代碼的語言如 JS,則在運行時的解釋期間指出錯誤。

    語義上的錯誤,如:

    0 = {}; // ReferenceError: Invalid left-hand side in assignment

    根據(jù)賦值運算符 = 的意義,左操作數(shù)不能為字面量,所以雖然這個賦值語句包含了必需的左操作數(shù)、運算符、右操作數(shù),仍然出錯。

  3. 語用(Pragmatics)

    表示在各個記號所出現(xiàn)的行為中,它們的來源、使用和影響。

    語用上的錯誤,如:

    doSomething(); // ReferenceError: doSomething is not defined

    在這里直接調(diào)用了一個未定義的函數(shù),導致出錯。在一些其他場景中,雖然程序運行正確無誤,但是仍然可以優(yōu)化(這種優(yōu)化并不是技巧上的),比如:

function doSomethingElse() {}(function() { return; doSomethingElse(); // No Exception but Redundant: Unreachable code})();

  在這里,doSomethingElse 函數(shù)之前由于有 return,因此這個函數(shù)調(diào)用將永遠不能執(zhí)行,這種冗余代碼對整個程序來說毫無用處,可以去掉。

  對于 Closure Compiler 來說,它處理的對象是 js,不需要產(chǎn)生其他中間代碼或匯編代碼 / 機器碼,因此輸出的還是 js,但是是經(jīng)過分析的、優(yōu)化后的 js;另外,它也可以選擇輸出 parse tree(使用–print_tree 參數(shù)),所以,CC 的確完成了一個編譯器需要實現(xiàn)的功能。

  CC 功能概述

  在詳細討論 CC 的高級模式前,還是簡明介紹一下功能體系。

  編譯級別

  CC 的 compilation_level 包括三個級別:

  1. WHITESPACE_ONLY

    只刪除空白、注釋。

  2. SIMPLE_OPTIMIZATIONS

    在 WHITESPACE_ONLY 基礎上將局部變量和參數(shù)轉(zhuǎn)成短名稱。

  3. ADVANCED_OPTIMIZATIONS

    更加激進的重命名、移除垃圾代碼、內(nèi)聯(lián)函數(shù)。

  可以看到,SIMPLE_OPTIMIZATIONS 級別的 CC,和 YC 無異,沒做什么真正的編譯工作,所以說,使用了高級模式的 CC 才是四肢健全的 CC 。

  約束條件

  使用 CC 有一定約束條件,這影響到我們的編碼風格:

  1. WHITESPACE_ONLY

    • 不認可 JS 1.5 以上版本的語言特性
    • 不保留注釋
  2. SIMPLE_OPTIMIZATIONS

    • 完全禁用 with 和 eval
    • 字符串中引用的函數(shù)名 / 參數(shù)名不會改動(CC 不改動所有字符串)
  3. ADVANCED_OPTIMIZATIONS 模式下的約束放到下文詳述

  注解

  Annotations 也是 CC 的重要組成部分,使用 JSDoc 風格,用以輔助高級模式下的編譯,下文詳述。

  使用 CC 高級模式

  在 CC 下,啟用高級模式的方法是加入?yún)?shù) --compilation_level ADVANCED_OPTIMIZATION。

  作為一個 compiler,CC 的高級模式下,額外的優(yōu)化政策是:

  1. 更激進的重命名,如 obj.property 改為 a.b,將深度過高的命名空間平坦化等;
  2. 移除垃圾代碼,如刪除未被調(diào)用的方法定義,警告邏輯死角(return 后的語句等);
  3. 將函數(shù)內(nèi)聯(lián),如 a call b, b call c,a(),那么直接執(zhí)行 c()。

  要達到高級模式的預期優(yōu)化效果,開發(fā)者必須對自己做一些約束,因為 js 是弱類型、動態(tài)性的。否則
js 的這種靈活將使 compiler 無能為力。

  總體上,這種約束包括限定某些 js 編碼風格,以及使用相應的 JSDoc 注解。

  以下詳述具體的約束以及代碼的檢查 / 優(yōu)化效果:

  強類型的模擬

  • @param 和 @type 中定義的類型會在編譯期間得到檢查,同樣避免了在運行時檢查,提高性能。

  • @const 標記常量,當常量被寫時會報錯。

  • 模擬枚舉,將同類可枚舉常量定義為一個對象字面量,使用 @enum 標記:

    var STATUS = { LOADING: 3, COMPLETE: 4};

    編譯結果中 STATUS.LOADING 會被直接替換為 3,其實完全模擬了 C 等語言中的枚舉。

  • 使用 @constructor 標注函數(shù)為構造器,它僅能被實例化,而不可用作普通方法,甚至是工廠方法,CC 會確保構造器被合法使用,否則報錯。這樣確保開發(fā)者不必在運行時判斷,構造器函數(shù)到底以怎樣的形式被調(diào)用。

  • 在表達式中也可以使用 @type 來限定類型,這對于 JSON 特別有用,如

    var data = /** @type {UserModel} */({ firstName : 'foo', lastName : 'bar'});

    在這里 UserModel 是個構造器,也可以使用 @typedef 來自定義復雜的數(shù)據(jù)類型。

  域可見性的模擬

  • 使用 @private 標注私有域,私有域被外部引用會報錯。開發(fā)者也可以按照“國際慣例”給私有域加上_ 前綴或后綴,以提醒自己 / 協(xié)作者這是一個私有域,@private 注解用來告訴 CC;這樣,開發(fā)者可以不必使用諸如老道的“模塊模式”等技巧來真正地隱藏私有變量,將檢查工作丟給CC,讓開發(fā)盡可能樸實簡單。

  • 類似有 @protect

  類系統(tǒng)的模擬

  • 使用 @extends 標注繼承關系,繼承體系會被優(yōu)化。

  • 使用 @interface 標注接口,接口是類似 function ThisIsAInterface(obj) {}的函數(shù)體為空的構造器定義,編譯后將移除其相關代碼。同時,標注 @implements 的構造器必須實現(xiàn)implemented 的接口的所有方法(正如其他 OO 語言一樣),否則,CC 報錯。這同樣簡化了接口 / 實現(xiàn)的約束,靠 CC 來保證實現(xiàn)關系的可靠性。

  條件編譯的模擬

  • 使用 @define 標記狀態(tài)開關,適用于調(diào)試 logger 等 開發(fā) / 發(fā)布 狀態(tài)需要分離的模式。
    可以在編譯時指定參數(shù)來標識 define 參數(shù)的狀態(tài)。這其實就是一個條件編譯,真給力……

  對象平坦化及屬性名縮減

  • 對象屬性會被編譯為單變量,比如 foo.bar to foo$bar,這種標記方法看起來很像 Java 中被編譯出來的內(nèi)部類~~之后 foo$bar 被進一步縮短。對象之所以能被平坦化是因為在 js 中對象可以看做是一群引用 / 原始數(shù)據(jù)類型的容器。

  • 但是,js 對象實際上更復雜,所以被平坦化后會帶來一些副作用,比如如果在對象(字面量)中使用 this 指針,則編譯后的結果會導致 this 指向錯誤。所以 Google 建議僅在 constructor 和 prototype methods 中使用 this,這意味著,在所謂類單例(對象字面量)和類的靜態(tài)方法(綁定到constructor 上的函數(shù))中都避免使用 this 指針。

  • 在縮減對象屬性 / 方法的名稱長度時,有另外一個注意點,那就是必須始終使用 dot syntax(.運算符),而不使用 quoted string([] 運算符),除非索引名是一個變量。這是因為 CC 始終不處理字符串中的內(nèi)容,所以,var o = { longName: 0 }; o["longName"] 會被翻譯為var a = { b: 0 }; a["longName"] 導致出錯。實在想使用 quoted string,則在定義的時候也要使用 quoted string。

  • 對于全局變量,如果出現(xiàn)以 window.property 的形式引用的,必須始終定義為 window.porperty 形式:

    window.property = 1;var property = 1; // wrong!

    否則也會杯具,CC 可不會 window.property 翻譯為 window.a。

  垃圾代碼的移除

  • 一個函數(shù)聲明卻未被調(diào)用時,默認地,聲明體將被干掉。

  • 在這種機制下,如果一個方法是以 for in 的形式調(diào)用的,那么原方法也會被干掉,因為這種動態(tài)特征使得 CC 無法清楚方法是否確實在 for in 的時候被調(diào)用了。

  • 對于一些 unreachable 的代碼,CC 將報警告。

  • 如果要產(chǎn)出一份被調(diào)用的公共接口,例如庫,使用稱作 export 的方法將函數(shù)導出,防止函數(shù)定義被
    CC 回收。具體的做法是將函數(shù)綁定到某個容器,比如:

    function displayNoteTitle(note) { alert(note['myTitle']);}// Store the function in a global property referenced by a string:window['displayNoteTitle'] = displayNoteTitle;

    對于需要 export 的函數(shù),均使用 quoted string 風格。

  背后的思考

  根據(jù)以上高級模式優(yōu)化的行為分析可知,CC 附加給開發(fā)者的約束主要有:

  1. 強制以強類型的靜態(tài)語言風格編寫 js,將關注點從運行時的動態(tài)技巧轉(zhuǎn)移到組織代碼、編寫邏輯
    本身。而可能由弱類型系統(tǒng)和動態(tài)特征產(chǎn)生的問題和風險則交給 CC,即通過開發(fā)者與 CC 達成一種

    編碼約定而規(guī)避掉。

  2. 嚴格要求區(qū)分面向開發(fā)者的代碼面向機器的代碼

    雖然不像 C 等語言會編譯產(chǎn)生目標代碼,但是 CC 在一定程度上也生成了面向機器的 js,包括壓縮空白、縮減標識符、條件編譯和冗余代碼去除。這和第一點其實是一脈相承的,同樣要求開發(fā)者將關注點轉(zhuǎn)移到開發(fā)本身。

  3. 使用規(guī)范化的接口方式。

    這不僅包括要求開發(fā)者使用恰當?shù)?annotation(extend, interface, …),同時也給整個 OO-JS 打下了一個框架,開發(fā)者必須使用同樣的模式進行 OO 編碼。另外,要求使用 export 技術統(tǒng)一導出公共接口更強化了這一點。總之,這一點進一步限定了開發(fā)者的編碼風格,但是帶來的好處是明顯的:可讀、可控、一致性。

  曾經(jīng)有讀過 Closure Library 源碼的同學評論道:

Google 根本不懂怎么寫 Javascript!代碼里面各種冗余,并且充滿了 Java 的味道!

  當時確實也有這種感覺,比如 Google 把 if(foo) 寫作 if(foo != undefined) 等等。

  Javascript 固然充滿了豐富的動態(tài)特征,而且很多特性非常優(yōu)雅,能夠讓代碼簡潔精悍,或者構造出一些
令人驚嘆的技巧,但是也會產(chǎn)生一些副作用:

  • 首要的問題是可讀性,靜態(tài)的東西容易一目了然,動態(tài)的東西需要經(jīng)過一番運算才能得出結論。
    比如 js 中的極晚綁定,再比如標識符運行時重寫。

  • 其次的問題是執(zhí)行性能。一個比較經(jīng)典的眾 js 工程師都在使用的技巧就是“模擬函數(shù)重載”——
    在函數(shù)體內(nèi)判斷 arguments 的特征,從而對應給出不同的邏輯。由于缺乏強類型,js 本身不能具備
    真正的重載,但是運行時的判斷在帶來靈活性的同時,必然會多出很多模擬重載的邏輯,降低性能。

  在今年的 D2 大會上,Hedger 同學指出,大多數(shù) js 開發(fā)者像是個 ninja(忍者),他們身懷絕技、神鬼莫測,單兵作戰(zhàn)還可以,但是一旦碰到 army(軍隊,比如 Google 團隊這樣的 )就是個悲劇。

  我比較欣賞這個比喻,大團隊要良好地協(xié)作,必需遵循一定的規(guī)范和限制,優(yōu)先保證可讀性和一致性,與此同時
失去的是奇技淫巧、自由靈活。所以采用何種編程風格、理念,需要具體問題具體分析…………

  至少,目前 CC 提供了一個好的思路,它的高級模式推崇的編程風格也是很值得嘗試、借鑒的。

  最后附上 CC 的常用命令選項……選項實在是有夠多……

  CC 常用命令選項

  • –charset VAL 對所有文件定義的編碼格式
  • –compilationlevel [WHITESPACEONLY | SIMPLEOPTIMIZATIONS | ADVANCEDOPTIMIZATIONS]
    設定編譯級別
  • –debug 開啟 debug 選項
  • –define (–D, -D) VAL 設定文件中使用 @define 標注的開關值,即條件編譯
  • –externs VAL 編譯代碼需要調(diào)用未編譯的代碼時,使用它
  • –formatting [PRETTYPRINT | PRINTINPUT_DELIMITER] 格式化輸出
  • –js VAL 輸入文件,多指定多個,將會被合并
  • –jsoutputfile VAL 輸出文件,如果不指定的話,直接輸出到 standard output 流
  • –module VAL 定義模塊
  • –output_manifest VAL 打印編譯文件清單
  • –print_tree 打印語法分析樹
  • –warning_level [QUIET | DEFAULT | VERBOSE] 設定報錯模式

it知識庫Google Closure Compiler 高級模式及更多思考,轉(zhuǎn)載需保留來源!

鄭重聲明:本文版權歸原作者所有,轉(zhuǎn)載文章僅為傳播更多信息之目的,如作者信息標記有誤,請第一時間聯(lián)系我們修改或刪除,多謝。

主站蜘蛛池模板: 花莲市| 丹江口市| 五寨县| 英德市| 通道| 芦溪县| 潜江市| 菏泽市| 平罗县| 拉萨市| 德安县| 鹤壁市| 阳春市| 同仁县| 仙游县| 民权县| 澄迈县| 临邑县| 呼和浩特市| 耒阳市| 贵南县| 福海县| 九台市| 连州市| 海兴县| 福安市| 金华市| 蓝山县| 临桂县| 蒙城县| 石门县| 常熟市| 华池县| 巨野县| 恩施市| 会宁县| 长沙市| 金坛市| 眉山市| 济阳县| 电白县|