今天抓到了一個隱藏了3個月的bug。這個bug以前一直沒有被找到，因為以前寫的用于測試腳本的代碼都沒有出現(xiàn)類成員函數(shù)使用非全局的外部對象的情況。Vampire.Kiss用我的Vczh Free Script 2.0代替PHP開發(fā)了一個網(wǎng)站，過程中也向我提了不少要求。其中有一個就是想在腳本中加入namespace。其實這是相當(dāng)合理的，只是我沒想到腳本第一次應(yīng)用就會被用來開發(fā)庫。因此今晚就加上了namespace。
實際上在目前的結(jié)構(gòu)中添加namespace并不復(fù)雜，因為namespace也可以用
閉包來模擬。其實閉包不僅僅是函數(shù)，而是一段帶了上下文的指令表。因為namespace本身也是用于控制符號在上下文中解釋方法工具，因此使用閉包來做也就是十分合適的了。想到以前是用閉包模擬class的時候，曾經(jīng)實現(xiàn)了一個把一堆環(huán)境鏈接到上下文中的指令。類的繼承實際上也是控制符號在類成員函數(shù)的符號在上下文解釋方法的工具，因此我使用了如下方法來讓閉包可以順利地模擬class的繼承：
其中粗線代表環(huán)境與符號表的鏈接，細(xì)線代表環(huán)境鏈表。上圖表示了A繼承出B，B再繼承出C的時候，構(gòu)造一個C的實例所建造的實際內(nèi)存結(jié)構(gòu)。這樣的話每一個類都可以訪問到自己、父類以及自己所在的上下文。父類與子類所在的上下文是互不干涉的。
于是我就想到using Namespace;的時候，實際上可以把Namespace插入到當(dāng)前的環(huán)境中（雖然后來證實這樣做是錯的）。于是就改了編譯器，寫了一個namespace來跑一跑。結(jié)果在多層namespace而且夾雜著許多using的測試用例下掛了。于是我就去看了代碼，發(fā)現(xiàn)其中的一個小錯誤。實際上在創(chuàng)建C的時候，需要創(chuàng)建B和A。這個時候C向上搜索（搜索base對象），得知C上面一共有B和A兩個對象。這么做的原因是Vczh Free Script 2.0是動態(tài)語言。于是我把C指向B，B指向A，A指向C的內(nèi)容，于是造成了一個bug：
這樣我們就可以看到實際上C.base和C.base.base都已經(jīng)脫離了B和A的上下文了。為了驗證這個事情，我寫了一段小腳本來測試一下：
1 GetA=func(value)
2 {
3 return class()
4 {
5 print=func()
6 {
7 writeln(value);
8 }
9 };
10 };
11
12 class(GetA(10))
13 {
14 }.new().print();
因為由于bug的緣故子類的基類對象不能正確的訪問到基類所在的上下文，因此writeln(value)的時候必然會因為找不到value而發(fā)生錯誤。經(jīng)過測試，的確發(fā)生了。于是確定了錯誤，然后改正。
不過話說回來，這個bug是因為using的錯誤實現(xiàn)而發(fā)現(xiàn)的，倒是有些運氣的成分。實際上using的時候應(yīng)該把環(huán)境包復(fù)制一份，然后把整條都插入當(dāng)前環(huán)境中。而且因為環(huán)境包是引用符號表的，所以實際上符號并沒有被復(fù)制，被復(fù)制的是
符號查找規(guī)則。今天除了namespace以外，還往Vczh Free Script 2.0中加入了操作符重載和虛擬成員向。
1 VectorSpace=namespace
2 {
3 Vector=class()
4 {
5 local X=0;
6 local Y=0;
7
8 local __get__=func(name)
9 {
10 if(name=="length")
11 {
12 return sqrt(X*X+Y*Y);
13 }
14 else
15 throw("找不到"++name++"。");
16 };
17
18 local __set__=func(name,value)
19 {
20 if(name=="length")
21 {
22 len=sqrt(X*X+Y*Y);
23 X=X*value/len;
24 Y=Y*value/len;
25 }
26 else
27 throw("找不到"++name++"。");
28 };
29
30 local __add__=func({Vector}a,{Vector}b)
31 {
32 return Vector.new(a.X+b.X,a.Y+b.Y);
33 };
34
35 local __sub__=func({Vector}a,{Vector}b)
36 {
37 return Vector.new(a.X-b.X,a.Y-b.Y);
38 };
39
40 local tostr=func()
41 {
42 return "("++X++","++Y++")";
43 };
44
45 local constructor=func(x,y)
46 {
47 X=x;
48 Y=y;
49 };
50 };
51 };
52
53 v1=VectorSpace.Vector.new(3,4);
54 writeln(v1.length);
55 v1.length=10;
56 writeln(v1.tostr());
57
58 using VectorSpace;
59
60 v2=Vector.new(-1,1);
61 writeln((v1+v2).tostr());
62 writeln((v1-v2).tostr());
輸出：
1 5.0
2 (6.0,8.0)
3 (5.0,9.0)
4 (7.0,7.0)
我們可以看到加號、減號以及虛擬的length成員是如何添加進(jìn)去的。雖然這么看起來虛擬成員比較奇怪，不過實際上這個東西可以用來實現(xiàn)現(xiàn)在很多語言中流行的屬性，或者可以用來封裝一個XML的解析器以便可以直接使用名字訪問節(jié)點（譬如Document.Book1.Author，雖然Book1和Author都是XML文件中的對象，但是通過虛擬成員就可以免去原本需要的Document.Get("Book1").Get("Author")的這種麻煩的代碼）等等。
目前Vczh Free Script還欠缺的語法已經(jīng)很少了，等這些東西加上去以后，就可以慢慢做庫了。等這個階段完成之后就發(fā)布一個dll出來。
posted on 2008-05-11 10:07
陳梓瀚(vczh) 閱讀(1861)
評論(5) 編輯 收藏 引用 所屬分類:
Vczh Free Script