八、JavaScript面向對象的支持
~~~~~~~~~~~~~~~~~~
(續)
?4). 需要用戶維護的另一個屬性：constructor
?------
?回顧前面的內容，我們提到過：
?? - (如果正常地實現繼承模型，)對象實例的constructor屬性指向構造器
?? - obj.constructor.prototype指向該對象的原型
?? - 通過Object.constructor屬性，可以檢測obj2與obj1是否是相同類型的實例
? 與原型鏈要通過用戶代碼來維護prototype屬性一樣，實例的構造器屬性constructor
也需要用戶代碼維護。
? 對于JavaScript的內置對象來說，constructor屬性指向內置的構造器函數。如：
//---------------------------------------------------------
// 內置對象實例的constructor屬性
//---------------------------------------------------------
var _object_types = {
? 'function'? : Function,
? 'boolean'?? : Boolean,
? 'regexp'??? : RegExp,
// 'math'???? : Math,
// 'debug'??? : Debug,
// 'image'??? : Image;
// 'undef'??? : undefined,
// 'dom'????? : undefined,
// 'activex'? : undefined,
? 'vbarray'?? : VBArray,
? 'array'???? : Array,
? 'string'??? : String,
? 'date'????? : Date,
? 'error'???? : Error,
? 'enumerator': Enumerator,
? 'number'??? : Number,
? 'object'??? : Object
}
function objectTypes(obj) {
? if (typeof obj !== 'object') return typeof obj;
? if (obj === null) return 'null';
? for (var i in _object_types) {
??? if (obj.constructor===_object_types[i]) return i;
? }
? return 'unknow';
}
// 測試數據和相關代碼
function MyObject() {
}
function MyObject2() {
}
MyObject2.prototype = new MyObject();
window.execScript(''+
'Function CreateVBArray()' +
'? Dim a(2, 2)' +
'? CreateVBArray = a' +
'End Function', 'VBScript');
document.writeln('<div id=dom style="display:none">dom<', '/div>');
// 測試代碼
var ax = new ActiveXObject("Microsoft.XMLHTTP");
var dom = document.getElementById('dom');
var vba = new VBArray(CreateVBArray());
var obj = new MyObject();
var obj2 = new MyObject2();
document.writeln(objectTypes(vba), '<br>');
document.writeln(objectTypes(ax), '<br>');
document.writeln(objectTypes(obj), '<br>');
document.writeln(objectTypes(obj2), '<br>');
document.writeln(objectTypes(dom), '<br>');
在這個例子中，我們發現constructor屬性被實現得并不完整。對于DOM對象、ActiveX對象
來說這個屬性都沒有正確的返回。
確切的說，DOM（包括Image)對象與ActiveX對象都不是標準JavaScript的對象體系中的，
因此它們也可能會具有自己的constructor屬性，并有著與JavaScript不同的解釋。因此，
JavaScript中不維護它們的constructor屬性，是具有一定的合理性的。
另外的一些單體對象(而非構造器)，也不具有constructor屬性，例如“Math”和“Debug”、
“Global”和“RegExp對象”。他們是JavaScript內部構造的，不應該公開構造的細節。
我們也發現實例obj的constructor指向function MyObject()。這說明JavaScript維護了對
象的constructor屬性。——這與一些人想象的不一樣。
然而再接下來，我們發現MyObject2()的實例obj2的constructor仍然指向function MyObject()。
盡管這很說不通，然而現實的確如此。——這到底是為什么呢？
事實上，僅下面的代碼：
--------
function MyObject2() {
}
obj2 = new MyObject2();
document.writeln(MyObject2.prototype.constructor === MyObject2);
--------
構造的obj2.constructor將正確的指向function MyObject2()。事實上，我們也會注意到這
種情況下，MyObject2的原型屬性的constructor也正確的指向該函數。然而，由于JavaScript
要求指定prototype對象來構造原型鏈：
--------
function MyObject2() {
}
MyObject2.prototype = new MyObject();
obj2 = new MyObject2();
--------
這時，再訪問obj2，將會得到新的原型(也就是MyObject2.prototype)的constructor屬性。
因此，一切很明了：原型的屬性影響到構造過程對對象的constructor的初始設定。
作為一種補充的解決問題的手段，JavaScript開發規范中說“need to remember to reset
the constructor property'，要求用戶自行設定該屬性。
所以你會看到更規范的JavaScript代碼要求這樣書寫：
//---------------------------------------------------------
// 維護constructor屬性的規范代碼
//---------------------------------------------------------
function MyObject2() {
}
MyObject2.prototype = new MyObject();
MyObject2.prototype.constructor = MyObject2;
obj2 = new MyObject2();
更外一種解決問題的方法，是在function MyObject()中去重置該值。當然，這樣會使
得執行效率稍低一點點：
//---------------------------------------------------------
// 維護constructor屬性的第二種方式
//---------------------------------------------------------
function MyObject2() {
? this.constructor = arguments.callee;
? // or, this.constructor = MyObject2;
? // ...
}
MyObject2.prototype = new MyObject();
obj2 = new MyObject2();
?5). 析構問題
?------
?JavaScript中沒有析構函數，但卻有“對象析構”的問題。也就是說，盡管我們不
知道一個對象什么時候會被析構，也不能截獲它的析構過程并處理一些事務。然而，
在一些不多見的時候，我們會遇到“要求一個對象立即析構”的問題。
問題大多數的時候出現在對ActiveX Object的處理上。因為我們可能在JavaScript
里創建了一個ActiveX Object，在做完一些處理之后，我們又需要再創建一個。而
如果原來的對象供應者(Server)不允許創建多個實例，那么我們就需要在JavaScript
中確保先前的實例是已經被釋放過了。接下來，即使Server允許創建多個實例，而
在多個實例間允許共享數據(例如OS的授權，或者資源、文件的鎖)，那么我們在新
實例中的操作就可能會出問題。
可能還是有人不明白我們在說什么，那么我就舉一個例子：如果創建一個Excel對象，
打開文件Ａ，然后我們save它，然后關閉這個實例。然后我們再創建Excel對象并打開
同一文件。——注意這時JavaScript可能還沒有來得及析構前一個對象。——這時我們
再想Save這個文件，就發現失敗了。下面的代碼示例這種情況：
//---------------------------------------------------------
// JavaScript中的析構問題(ActiveX Object示例)
//---------------------------------------------------------
<script>
var strSaveLocation = 'file:///E:/1.xls'
function createXLS() {
? var excel = new ActiveXObject("Excel.Application");
? var wk = excel.Workbooks.Add();
? wk.SaveAs(strSaveLocation);
? wk.Saved = true;
? excel.Quit();
}
function writeXLS() {
? var excel = new ActiveXObject("Excel.Application");
? var wk = excel.Workbooks.Open(strSaveLocation);
? var sheet = wk.Worksheets(1);
? sheet.Cells(1, 1).Value = '測試字符串';
? wk.SaveAs(strSaveLocation);
? wk.Saved = true;
? excel.Quit();
}
</script>
<body>
? <button onclick="createXLS()">創建</button>
? <button onclick="writeXLS()">重寫</button>
</body>
在這個例子中，在本地文件操作時并不會出現異常。——最多只是有一些內存垃
圾而已。然而，如果strSaveLocation是一個遠程的URL，這時本地將會保存一個
文件存取權限的憑證，而且同時只能一個(遠程的)實例來開啟該excel文檔并存
儲。于是如果反復點擊"重寫"按鈕，就會出現異常。
——注意，這是在SPS中操作共享文件時的一個實例的簡化代碼。因此，它并非
“學術的”無聊討論，而且工程中的實際問題。
解決這個問題的方法很復雜。它涉及到兩個問題：
? - 本地憑證的釋放
? - ActiveX Object實例的釋放
下面我們先從JavaScript中對象的“失效”問題說起。簡單的說：
? - 一個對象在其生存的上下文環境之外，即會失效。
? - 一個全局的對象在沒有被執用(引用)的情況下，即會失效。
例如：
//---------------------------------------------------------
// JavaScript對象何時失效
//---------------------------------------------------------
function testObject() {
? var _obj1 = new Object();
}
function testObject2() {
? var _obj2 = new Object();
? return _obj2;
}
// 示例1
testObject();
// 示例2
testObject2()
// 示例3
var obj3 = testObject2();
obj3 = null;
// 示例4
var obj4 = testObject2();
var arr = [obj4];
obj3 = null;
arr = [];
在這四個示例中：
? - “示例1”在函數testObject()中構造了_obj1，但是在函數退出時，
??? 它就已經離開了函數的上下文環境，因此_obj1失效了；
? - “示例2”中，testObject2()中也構造了一個對象_obj2并傳出，因
??? 此對象有了“函數外”的上下文環境(和生存周期)，然而由于函數
??? 的返回值沒有被其它變量“持有”，因此_obj2也立即失效了；
? - “示例3”中，testObject2()構造的_obj2被外部的變量obj3持用了，
??? 這時，直到“obj3=null”這行代碼生效時，_obj2才會因為引用關系
??? 消失而失效。
? - 與示例3相同的原因，“示例4”中的_obj2會在“arr=[]”這行代碼
??? 之后才會失效。
但是，對象的“失效”并不等會“釋放”。在JavaScript運行環境的內部，沒
有任何方式來確切地告訴用戶“對象什么時候會釋放”。這依賴于JavaScript
的內存回收機制。——這種策略與.NET中的回收機制是類同的。
在前面的Excel操作示例代碼中，對象的所有者，也就是"EXCEL.EXE"這個進程
只能在“ActiveX Object實例的釋放”之后才會發生。而文件的鎖，以及操作
系統的權限憑證是與進程相關的。因此如果對象僅是“失效”而不是“釋放”，
那么其它進程處理文件和引用操作系統的權限憑據時就會出問題。
——有些人說這是JavaScript或者COM機制的BUG。其實不是，這是ＯＳ、ＩＥ
和JavaScript之間的一種復雜關系所導致的，而非獨立的問題。
Microsoft公開了解決這種問題的策略：主動調用內存回收過程。
在(微軟的)JScript中提供了一個CollectGarbage()過程(通常簡稱GC過程)，
GC過程用于清理當前IE中的“失效的對象失例”，也就是調用對象的析構過程。
在上例中調用GC過程的代碼是：
//---------------------------------------------------------
// 處理ActiveX Object時，GC過程的標準調用方式
//---------------------------------------------------------
function writeXLS() {
? //(略...)
? excel.Quit();
? excel = null;
? setTimeout(CollectGarbage, 1);
}
第一行代碼調用excel.Quit()方法來使得excel進程中止并退出，這時由于JavaScript
環境執有excel對象實例，因此excel進程并不實際中止。
第二行代碼使excel為null，以清除對象引用，從而使對象“失效”。然而由于
對象仍舊在函數上下文環境中，因此如果直接調用GC過程，對象仍然不會被清理。
第三行代碼使用setTimeout()來調用CollectGarbage函數，時間間隔設為'1'，只
是使得GC過程發生在writeXLS()函數執行完之后。這樣excel對象就滿足了“能被
GC清理”的兩個條件：沒有引用和離開上下文環境。
GC過程的使用，在使用了ActiveX Object的JS環境中很有效。一些潛在的ActiveX
Object包括XML、VML、OWC(Office Web Componet)、flash，甚至包括在JS中的VBArray。
從這一點來看，ajax架構由于采用了XMLHTTP，并且同時要滿足“不切換頁面”的
特性，因此在適當的時候主動調用GC過程，會得到更好的效率用UI體驗。
事實上，即使使用GC過程，前面提到的excel問題仍然不會被完全解決。因為IE還
緩存了權限憑據。使頁的權限憑據被更新的唯一方法，只能是“切換到新的頁面”，
因此事實上在前面提到的那個SPS項目中，我采用的方法并不是GC，而是下面這一
段代碼：
//---------------------------------------------------------
// 處理ActiveX Object時采用的頁面切換代碼
//---------------------------------------------------------
function writeXLS() {
? //(略...)
? excel.Quit();
? excel = null;
?
? // 下面代碼用于解決IE call Excel的一個BUG, MSDN中提供的方法:
? //?? setTimeout(CollectGarbage, 1);
? // 由于不能清除(或同步)網頁的受信任狀態, 所以將導致SaveAs()等方法在
? // 下次調用時無效.
? location.reload();
}
最后之最后，關于GC的一個補充說明：在IE窗體被最小化時，IE將會主動調用一次
CollectGarbage()函數。這使得IE窗口在最小化之后，內存占用會有明顯改善。