今天終于讓
腳本引擎可以成功執行int main(){return 1+1;}了,總算是讓冒煙測試過了。一開始沒那么順利,主要是因為昨天寫了一整天代碼,犯了點錯誤。
舉個例子,腳本里面有return語句,這個語句實際上是對應到一個jump指令去,跳到函數最后面執行一些代碼然后返回。當代碼生成執行到return的時候,實際上函數還沒生成完,所以不知道jump到什么地方。因此我想到一個辦法,我先把這些需要延遲填充的指令都記下來,當函數結束的時候一次性填充它們。于是我使用了下面的代碼:
1 needToReturns.Add(&ins[ins.Count()-1]);
這樣做我就把剛剛加入的那條jump指令,也就是當前的最后一條指令的指針添加到一個列表里面去了。于是我接著處理很多代碼生成的工作,也免不了往needToReturns添加很多的其他jump指令。于是到了最后填充它們的時候了,沒有問題發生。代碼生成結束之后,我就要把再也不需要的符號表給析構掉,這個時候VC就報告說釋放一個TypeInfo的時候完蛋了。
其實很明顯,錯誤肯定不會出現在TypeInfo里面的,想都不用想肯定是哪里溢出了。但是自己的容器的operator[]都有溢出檢查的,不可能通過a[b]=c;的方法導致內存出現錯誤。最后想來想去,發現問題出在上面那一行代碼里。
我們都知道,一個列表在Add的時候,他所擁有的緩沖區肯定最終都會用光,然后分配一個更大的。于是之前的&ins[x]跟之后的&ins[x]的地址肯定不一樣,于是我添加到needToReturns里面的引用就變成一個野引用了。搞定一個函數之后,我一下子填充它們,也就等于往各種各樣不同的野引用里面寫東西。剛好之后創建的一個符號表項就是某一個野引用指向的地方,于是內容就被我破壞了,釋放它的時候當然就出現問題了。
這個故事告訴我們
1:永遠不要試圖獲取容器中某一個項的引用。
2:就算是自己的類,有時候也會誤用的。
關于我如何執行int main(){return 1+1;},可以在
Vczh Library++3.0的單元測試代碼(UnitTest\UnitTest\TestScripting_BasicLanguage_CodeGeneration.cpp)里面找到。
posted on 2010-02-26 19:41
陳梓瀚(vczh) 閱讀(2409)
評論(6) 編輯 收藏 引用 所屬分類:
VL++3.0開發紀事