• <ins id="pjuwb"></ins>
    <blockquote id="pjuwb"><pre id="pjuwb"></pre></blockquote>
    <noscript id="pjuwb"></noscript>
          <sup id="pjuwb"><pre id="pjuwb"></pre></sup>
            <dd id="pjuwb"></dd>
            <abbr id="pjuwb"></abbr>
            隨筆-341  評論-2670  文章-0  trackbacks-0
                大概都是要定稿了罷,想了這么久……前人果然是前人啊,C++的concept也好,Haskell的type class也好,C#的generic interface也好,都非常精確地描述出了NativeX的泛型所應該有的形式。設計語言什么的,還是大部分要抄啊……

                接上一篇文章。昨天晚上Vczh Library++的泛型結構體以及泛型類型重命名已經搞定了。這部分先做是因為泛型結構體以及泛型類型重命名都不需要在鏈接的時候產生新的指令表,因此完全是編譯器的事情,不需要修改虛擬機。先來看看泛型結構體以及泛型類型重命名的樣子。這次我仍然在單元測試用例里面生成了一個語法樹,然后反編譯成NativeX代碼,然后再一次編譯成語法樹,最后給生成的指令自動加注釋:
             1 /*NativeX Code*/
             2 unit nativex_program_generated;
             3 generic<T>
             4 type Unit = T;
             5 
             6 generic<T>
             7 structure Vector
             8 {
             9     Unit<T> x;
            10     Unit<T> y;
            11 }
            12 
            13 function Unit<int32> main()
            14 {
            15     variable Unit<Vector<int32>> v;
            16     (v.x=10);
            17     (v.y=20);
            18     (result=(v.x+v.y));
            19 }
            20 
            21 
            22 /*Assembly*/
            23 .data
            24 .label
            25      0: instruction 3
            26 .code
            27 // unit nativex_program_generated;
            28      0: stack_reserve 0
            29      1: stack_reserve 0
            30      2: ret 0
            31 // function Unit<int32> main()
            32      3: stack_reserve 8
            33 // (v.x=10);
            34      4: push s8 10
            35      5: convert s32 s8
            36      6: stack_offset -8
            37      7: push s32 0
            38      8: add s32
            39      9: write s32
            40 // (v.y=20);
            41     10: push s8 20
            42     11: convert s32 s8
            43     12: stack_offset -8
            44     13: push s32 4
            45     14: add s32
            46     15: write s32
            47 // (result=(v.x+v.y));
            48     16: stack_offset -8
            49     17: push s32 4
            50     18: add s32
            51     19: read s32
            52     20: stack_offset -8
            53     21: push s32 0
            54     22: add s32
            55     23: read s32
            56     24: add s32
            57     25: resptr
            58     26: write s32
            59 // function Unit<int32> main()
            60     27: stack_reserve -8
            61     28: ret 0
            62 

                在這里可以看出實際上編譯完了之后,指令集里面根本不會包含有關反省的任何信息,甚至是原先的類型也都丟掉了。當然為了解決這個問題,我給Assembly加了“資源”,那是一種通過C++的技巧封裝之后,你可以不斷地構造越來越大的只讀數據結構,方便二進制形式的序列化和反序列化。所有的信息都存在里面,供以后使用(反正虛擬機不需要讀)。

                但是泛型的全局變量、函數和契約就不一樣了。泛型全局變量還是很容易做的因此我就忽略掉了。泛型的函數需要把契約的類型完整保留在指令表里面,這樣在特化的時候才知道哪些地方需要被替換掉??偟膩碚f最終的設計是這個樣子的:

                首先是契約,跟上次差不多,只是命名契約被我刪除了,只剩下匿名契約??偟膩碚f我只需要在鏈接的時候進行檢查就好了,如果發現新來的Assembly重復實現了舊Assembly已經特化過的一個契約,那就會出現鏈接錯誤。至于特化要實現在哪里,我就不在編譯器上座約束了,因為這個代價更大,而且約束了靈活性。

                其次是函數。函數的泛型頭現在被我修改成了:
             1 generic<T>
             2 concept Comparable
             3 {
             4     int Compare(T a, T b);
             5 }
             6 
             7 generic<T> with
             8 Comparable<T> ct
             9 function bool AreEqual(T a, T b)
            10 {
            11     result = ct::Compare(a, b)==0;
            12 }

                你會發現最終concept變成了對一個類型或者一組類型附加的屬性。泛型的函數除了這些屬性以外,就只能用一些基本的東西了(當然如果你把一個變量T的地址拿出來,強轉……)。這些時候所有泛型參數類型的參數、變量和結構體的地址都變成了一個表達式,譬如說&a == stack_offset+sizeof(int)*4而&b == stack_offset+sizeof(int)*4+sizeof(T)等等。而且如果AreEqual要調用其它關于T的泛型函數的話,如果其他的泛型函數對concept的要求比Comparable更多,那么就變成了編譯錯誤。當然最簡單的解決辦法就是在AreEqual函數上把所有用到的concept全部加滿。

                當然,最后一個泛型函數還是可以被編譯成指令表和一組待計算向量的,只是鏈接的時候,會查看新來的Assembly需要多少還沒特化的函數,然后一一為他們生成。于是現在最難的問題就變成了重構已有代碼,以及如何判斷concept instance是否被多個Assembly重復特化了……
            posted on 2010-06-19 00:07 陳梓瀚(vczh) 閱讀(2434) 評論(3)  編輯 收藏 引用 所屬分類: VL++3.0開發紀事

            評論:
            # re: Vczh Library++ 3.0之NativeX語言泛型草稿(三)[未登錄] 2010-06-19 01:43 | ccsdu2009
            真是高產  回復  更多評論
              
            # re: Vczh Library++ 3.0之NativeX語言泛型草稿(三) 2010-06-19 07:03 | 陳梓瀚(vczh)
            @ccsdu2009
            設計什么的,顯然要頻繁更改到滿意才行。話說這個速度比我上學的平均速度慢多了……  回復  更多評論
              
            # re: Vczh Library++ 3.0之NativeX語言泛型草稿(三) 2010-06-21 04:04 | 小時候可靚了
            哈哈,你們都是高產  回復  更多評論
              
            久久亚洲精品成人av无码网站| 99久久99这里只有免费费精品| 嫩草影院久久99| 欧美亚洲另类久久综合| 精品免费久久久久国产一区| 日韩AV毛片精品久久久| 少妇人妻88久久中文字幕| 国产亚洲综合久久系列| 久久久久亚洲AV综合波多野结衣 | 精品一区二区久久| 久久高清一级毛片| 亚洲狠狠婷婷综合久久蜜芽| 伊人热人久久中文字幕| 亚洲狠狠婷婷综合久久久久 | 国产福利电影一区二区三区,免费久久久久久久精 | 久久亚洲色一区二区三区| 久久人人爽人人人人爽AV| 99久久国产综合精品成人影院| 午夜精品久久久久久| 99久久久久| 亚洲精品白浆高清久久久久久| 久久久久香蕉视频| 久久国产精品99国产精| 久久这里都是精品| 久久久久九国产精品| 久久久久久久尹人综合网亚洲| 亚洲国产欧洲综合997久久| 国内精品久久久久影院亚洲| 久久激情五月丁香伊人| 欧美一区二区精品久久| 精品久久久久久中文字幕| 久久久久久国产精品免费无码 | 久久久久99精品成人片三人毛片| 国产精品一区二区久久| 久久综合给合久久狠狠狠97色| 免费精品久久久久久中文字幕| 国内精品久久久久久麻豆| 国产成人精品久久亚洲| 久久综合欧美成人| 国产精品久久久久一区二区三区| 91精品国产91久久久久久青草 |