• <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>

            小明思考

            高性能服務(wù)器端計算
            posts - 70, comments - 428, trackbacks - 0, articles - 0
              C++博客 :: 首頁 :: 新隨筆 :: 聯(lián)系 :: 聚合  :: 管理

            C++編譯期Constraints設(shè)計

            Posted on 2006-01-17 14:12 小明 閱讀(1556) 評論(0)  編輯 收藏 引用 所屬分類: C/C++
            所謂的compile-time Constraints就是在編譯期使用C++的語法規(guī)則對設(shè)計進行約束檢查,盡量在編譯期把程序的問題暴露出來,節(jié)省成本。

            常用的規(guī)則:
            1.大小為0的數(shù)組在編譯期會報錯
            template<typename T1,typename T2>
            void check_size()
            {
                 
            int dmp[sizeof(T1)==sizeof(T2)];
            }

            比如
            check_size<int,long>();//ok
            check_size<int,char>();//compile error:cannot allocate an array of constant size 0

            2.不同類型的指針需要強制轉(zhuǎn)換
            以此可以用來判斷兩個對象是否有繼承關(guān)系
            template<typename T1,typename T2>
            void is_derived(T1 *pd =0 ,T2 *pb=0)
            {
                pb 
            = pd;
            }
            比如:
            is_derived<int,char>()  //compile failed

            3.union的成員不能是非POD
            union Test
            {
                std::string s; //illegal
            };
            這一點可以用來測試一個類型是否是POD
            template<typename T>
            void check_pod()
            {
                union {
                    T data;
                };
            };
            比如:
            check_pod<int>();//ok
            check_pod<std::string>();//failed


            常用的技巧:

            1.利用模板特化
            Loki里面的例子
            namespace Loki
            {
                template
            <int> struct CompileTimeError;
                template
            <> struct CompileTimeError<true> {};
            }

            #define LOKI_STATIC_CHECK(expr, msg) \
                { Loki::CompileTimeError
            <((expr) != 0)> ERROR_##msg; (void)ERROR_##msg; } 
            利用特化來定制錯誤信息

            2.利用空函數(shù)來實現(xiàn)0開銷
            編譯器可能將空函數(shù)優(yōu)化掉

            3.利用enum無開銷的取得編譯期的所得到的整數(shù)值
            Loki里面的例子:
            template <class TList> struct Length;
                    template 
            <> struct Length<NullType>
                    {
                        
            enum { value = 0 };
                    };
                    
                    template 
            <class T, class U>
                    
            struct Length< Typelist<T, U> >
                    {
                        
            enum { value = 1 + Length<U>::value };
                    };
            99蜜桃臀久久久欧美精品网站| 久久99亚洲综合精品首页| 色婷婷综合久久久久中文字幕 | 亚洲精品乱码久久久久久不卡| 久久五月精品中文字幕| 国产亚洲精久久久久久无码77777| 中文无码久久精品| Xx性欧美肥妇精品久久久久久| 久久久久亚洲?V成人无码| 无遮挡粉嫩小泬久久久久久久| 天天爽天天爽天天片a久久网| 久久久噜噜噜久久中文字幕色伊伊| 久久久久久久女国产乱让韩| 中文字幕一区二区三区久久网站| 婷婷国产天堂久久综合五月| 久久中文骚妇内射| 久久99精品久久久久久9蜜桃 | 国产免费久久精品99re丫y| 国产成人精品久久一区二区三区| 久久久久亚洲av成人无码电影| 国产精品女同久久久久电影院| 欧美麻豆久久久久久中文| 色综合久久中文色婷婷| 久久午夜无码鲁丝片| 狠狠色丁香久久婷婷综合| 色综合久久中文字幕综合网 | 久久精品综合一区二区三区| 久久久久久久人妻无码中文字幕爆| 国产99久久久国产精品小说| 久久人人爽人人精品视频| 成人午夜精品久久久久久久小说| 潮喷大喷水系列无码久久精品| 成人午夜精品无码区久久| 亚洲综合久久夜AV | 伊人色综合九久久天天蜜桃| 婷婷国产天堂久久综合五月| 天堂无码久久综合东京热| 欧美一级久久久久久久大片| 亚洲国产一成久久精品国产成人综合| 国产精品青草久久久久福利99 | 久久精品成人免费网站|