探討JavaScript:優雅的封裝還是執行效率?
優雅封裝的程序看起來是那么的美妙:每個屬性被隱藏在對象之后,你所能看到的就是這個對象讓你看到的,至于它到底是怎么操作的,這個不需要你操心。
執行的效率就是另外一回事。就像是C語言和面向對象的C++之間的差別:C++很優雅,但是執行效率,無論是編譯后的二進制代碼還是運行期的內存的占用,都要比簡單的C語言多出一截來。
這個問題在腳本語言中顯得更加重要,因為JavaScript根本就是一種解釋語言,解釋語言的執行效率要比編譯語言低很多。
1. 優雅的封裝
我們先來看看變量封裝。這里的變量不僅僅是屬性,也包括函數。前面已經說過,JavaScript中并沒有類這個概念,是我們利用變量作用域和閉包“巧妙的模擬”出來的,這是一種優雅的實現。還是溫故一下以前的代碼:
- function Person() {
- var id;
- var showId = function() {
- alert("My id is " + id);
- }
- this.getId = function() {
- return id;
- }
- this.setId = function(newId) {
- id = newId;
- }
- }
- var p = new Person();
- p.setId(1000);
- alert(p.id); // undefined
- // p.showId(); error: function not defined
- var p2 = new Person();
- alert(p.getId == p2.getId); // false
- function Person() {
- var id;
- var showId = function() {
- alert("My id is " + id);
- }
- this.getId = function() {
- return id;
- }
- this.setId = function(newId) {
- id = newId;
- }
- }
- var p = new Person();
- p.setId(1000);
- alert(p.id); // undefined
- // p.showId(); error: function not defined
- var p2 = new Person();
- alert(p.getId == p2.getId); // false
我們很優雅的實現了私有變量——盡管是投機取巧的實現的。但是,這段代碼又有什么問題呢?為什么兩個對象的函數是不同的呢?
想一下,我們使用變量的作用域模擬出私有變量,用閉包模擬出公有變量,那么,也就是說,實際上每個創建的對象都會有一個相同的代碼的拷貝!不僅僅是那個id,就連那些showId、getId 等函數也會創建多次。注意,考慮到JavaScript函數就是對象,就不會感到那么奇怪了。
但是毫無疑問,這是一種浪費:每個變量所不同的只是自己的數據域,函數代碼都是相同的,因為我們進行的是同一種操作。其他語言一般不會遇到這種問題,因為那些語言的函數和對象的概念是不同的,像Java,每個對象的方法其實指向了同一份代碼的拷貝,而不是每個對象都會有自己的代碼拷貝。
#p#
2. 去看效率
那種封裝雖然優雅,但是很浪費。好在JavaScript是一種靈活的語言,于是,我們馬上想到,把這些函數的指針指向另外的一個函數不就可以了嗎?
- function show() {
- alert("I'm a person.");
- }
- function Person() {
- this.show = show;
- }
- var p1 = new Person();
- var p2 = new Person();
- alert(p1.show == p2.show); // true
- function show() {
- alert("I'm a person.");
- }
- function Person() {
- this.show = show;
- }
- var p1 = new Person();
- var p2 = new Person();
- alert(p1.show == p2.show); // true
這個辦法不錯,解決了我們以前的那個問題:不同的對象共享了一份代碼。但是這種實現雖然有了效率,可是卻太不優雅了——如果有很多類,那么豈不是有很多全局函數?
好在JavaScript中還有一個機制:prototype。還記得這個prototype嗎?每個對象都維護著一個prototype屬性,這些對象的prototype屬性是共享的。那么,我們就可以把函數的定義放到prototype里面,于是,不同的對象不就共享了一份代碼拷貝嗎?事實確實如此:
- function Person() {
- }
- Person.prototype.show = function() {
- alert("I'm a person.");
- }
- var p1 = new Person();
- var p2 = new Person();
- alert(p1.show == p2.show); // true
- function Person() {
- }
- Person.prototype.show = function() {
- alert("I'm a person.");
- }
- var p1 = new Person();
- var p2 = new Person();
- alert(p1.show == p2.show); // true
不過,這種分開定義看上去很別扭,那么好,為什么不把函數定義也寫到類定義里面呢?
- function Person() {
- Person.prototype.show = function() {
- alert("I'm a person.");
- }
- }
- var p1 = new Person();
- var p2 = new Person();
- alert(p1.show == p2.show); // true
- function Person() {
- Person.prototype.show = function() {
- alert("I'm a person.");
- }
- }
- var p1 = new Person();
- var p2 = new Person();
- alert(p1.show == p2.show); // true
實際上這種寫法和上面一種沒有什么不同:唯一的區別就是代碼位置不同。這只是一個“看上去很甜”的語法糖,并沒有實質性差別。
最初,微軟的.Net AJAX框架使用前面的機制模擬了私有變量和函數,這種寫法和C#很相像,十分的優雅。但是,處于效率的緣故,微軟后來把它改成了這種原型的定義方式。雖然這種方式不那么優雅,但是很有效率。
在JavaScript中,這種封裝的優雅和執行的效率之間的矛盾一直存在。現在我們***的解決方案就是把數據定義在類里面,函數定義在類的prototype屬性里面。
原文鏈接:http://devbean.javaeye.com/blog/412296
【編輯推薦】