• <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>
            posts - 23,  comments - 94,  trackbacks - 0
            /************************************************************************/
            /* Copyright (c) 2009, Roc King
            All rights reserved.

            Redistribution and use in source and binary forms,
                with or without modification, are permitted
                provided that the following conditions are met:

            1. Redistributions of source code must retain the above copyright notice,
                this list of conditions and the following disclaimer.

            2. Redistributions in binary form must reproduce the above copyright notice,
                this list of conditions and the following disclaimer in the documentation
                and other materials provided with the distribution.

            3. Neither the name of the Tju nor the names of its contributors
                may be used to endorse or promote products derived from this software
                without specific prior written permission.

            THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS
                AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
                INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY
                AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
                IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
                INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
                (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
                LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
                HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
                WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
                (INCLUDING NEGLIGENCE OR OTHERWISE)
                ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
                EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.                                                                     
            */
            /************************************************************************/


            /**
            這份代碼詳細(xì)介紹了使用SFINAE技術(shù)實(shí)現(xiàn)is_not_buildin_type的原理。
            按順序由上往下閱讀即可。
            */

            #include 
            <stdio.h>
            #include 
            <iostream>


            /** ------------------------------------------------------------------------ */
            #define DEFINITION(prefix)          \
            prefix none {};                     \
            prefix data { 
            int i; };             \
            prefix function { 
            void f(int ) {} };    \
            prefix both { 
            int i; double f() { return 0.0; } };

            namespace structures { DEFINITION(struct) }
            namespace s = structures;

            namespace classes { DEFINITION(class) }
            namespace c = classes;

            namespace unions { DEFINITION(union) }
            namespace u = unions;

            #undef DEFINITION

            /**
            上面對(duì)class、struct、union分別定義了:
            none        有數(shù)據(jù)成員,無(wú)成員函數(shù)
            data        有數(shù)據(jù)成員,沒(méi)成員函數(shù)
            function    無(wú)數(shù)據(jù)成員,有成員函數(shù)
            both        有數(shù)據(jù)成員,有成員函數(shù)
            */

            /** ------------------------------------------------------------------------ */

            void test_pointer_to_data_member() {

                
            // 一旦某個(gè)類型不是基本數(shù)據(jù)類型,就可以定義成員指針(數(shù)據(jù)成員指針,成員函數(shù)指針)。
                
            // 即使它沒(méi)有數(shù)據(jù)成員或者成員函數(shù)。

                
            // s::none 并沒(méi)有數(shù)據(jù)成員或者成員函數(shù)。
                int s::none::* p; //但是可以定義一個(gè)指向s的數(shù)據(jù)成員指針,只要類型不是void
                
            // void s::none::* p2; //error C2182: 'p2' : illegal use of type 'void'

                
            // 同時(shí),在C++中,字面值0可以隱式轉(zhuǎn)換到任何指針類型。
                p = 0// ok
                double s::none::* p3 = 0// ok

                
            // 但是,如果某類型沒(méi)有對(duì)應(yīng)類型的數(shù)據(jù)成員,就不能用數(shù)據(jù)成員指針去指向它。
                int s::data::* p4 = 0;
                p4 
            = &s::data::i;  // ok
                double s::data::* p5 = 0;
                
            // p5 = &s::data::i;
                
            // error C2440: '=' : cannot convert from 'int structures::data::* ' to 'double structures::data::* '

                (
            void)p3; (void)p5;
            }

            // 這個(gè)是比較完整的測(cè)試
            void test_pointer_to_data_member_integrate();


            /** ------------------------------------------------------------------------ */

            void test_pointer_to_member_function() {
                
            // 同理,一旦某個(gè)類型不是基本類型,就可以定義指向該類型的成員函數(shù)的指針。
                
            // 并且字面值0可以隱式轉(zhuǎn)換到該指針。

                
            int (u::none::* p1)(void)  = 0;
                
            double (u::none::* p2)(double= 0;

                
            // 如果該類型確實(shí)有匹配的成員函數(shù),可以使用該成員函數(shù)給指針賦值。
                double (u::both::* p3 )(void= &u::both::f;
                
            void (u::function::* p4)(int= &u::function::f;

                
            // 否則不能賦值
                
            // double (u::both::* p5 )(void) = &u::function::f;
                
            //error C2440: 'initializing' : cannot convert from 'void (__thiscall unions::function::* )(int)' to 'double (__thiscall unions::both::* )(void)'
                
            // void (u::function::* p6)(int) = &u::both::f;
                
            //error C2440: 'initializing' : cannot convert from 'double (__thiscall unions::both::* )(void)' to 'void (__thiscall unions::function::* )(int)'

                (
            void)p1; (void)p2; (void)p3; (void)p4;
            }

            // 這個(gè)是比較完整的測(cè)試
            void test_pointer_to_member_function_integrate();

            /** ------------------------------------------------------------------------ */
            /**
            那么,測(cè)試一個(gè)類型是否是內(nèi)建類型的“一個(gè)”方法就是
            */

            namespace SFINAE {

                
            class true_type { char dummy; true_type(); };
                
            class false_type { char dummy[2]; false_type(); };
                
            // sizeof(true_type)!=sizeof(false_type)

                template
            <class C>
                true_type is_not_buildin_type_test(
            int C::* pointer_to_data_member);

                template
            <typename T>
                false_type is_not_buildin_type_test();

                
            void test_theory() {
                    
            using namespace std;

                    
            /* 在當(dāng)前名字空間下, is_not_buildin_type_test是2個(gè)函數(shù)模板的名字:
                    template<class C>
                    true_type is_not_buildin_type_test(int C::* pointer_to_data_member);
                    (以下簡(jiǎn)稱模板1)

                    template<typename T>
                    false_type is_not_buildin_type_test();
                    (以下簡(jiǎn)稱模板2)

                    它們相互構(gòu)成重載。
                    
            */

                    cout
            <<sizeof( is_not_buildin_type_test<c::none>(0) )<<endl;
                    
            // 0 可以隱式轉(zhuǎn)化成 int c::none::* ,可以匹配模板1 (with C = c::none)

                    
            // 這里int是無(wú)關(guān)緊要的, 只要不是void就行
                    
            // 當(dāng)然使用其他類型的數(shù)據(jù)成員指針 T C::* (T!=void)
                    
            // 或者成員函數(shù)指針進(jìn)行測(cè)試 T (C::*)(paramter_list),也是可以的
                    
            // 只是int C::* 寫起來(lái)比較方便。

                    
            // 因?yàn)?) 可以匹配任何類型的對(duì)象,
                    
            // 所以 0 也可以匹配模板2

                    
            // 又因?yàn)?)處于重載選擇優(yōu)先級(jí)中的最底層,所以最終匹配模板1。
                    
            // 注意,此處模板2不能使用(int),或者(T*)因?yàn)樗膬?yōu)先級(jí)高于(int C::*)


                    cout
            <<sizeof( is_not_buildin_type_test<double>(0) )<<endl;
                    
            // 0 不能隱式轉(zhuǎn)換成 int double::*,也就不能匹配模板1 ( with C=double )

                    
            // 但是還有一個(gè)“補(bǔ)救”的函數(shù)模板2,可以匹配任何類型的對(duì)象。
                    
            // 又因?yàn)镾FINAE(Substitution failure is not an error)機(jī)制
                    
            // 所以對(duì)模板1的失敗的匹配并不報(bào)錯(cuò)。
                }

                
            // 還有一些細(xì)節(jié)
                
            // 比如is_not_buildin_type_test并沒(méi)有實(shí)現(xiàn)。
                
            // 但是因?yàn)樗瑫r(shí)也沒(méi)有被調(diào)用, 而僅僅是用sizeof測(cè)試它的返回值,所以不算錯(cuò)誤。
                
            // 也防止了客戶無(wú)意調(diào)用這個(gè)函數(shù)。

                
            // 如何得知哪個(gè)is_not_buildin_type_test被重載選中?
                
            // 是通過(guò)返回值的大小不同來(lái)區(qū)分的。

                
            // 所以就需要true_type和false_type這2個(gè)東西。
                
            // 其實(shí)更合理的命名應(yīng)該是small_type和big_type。
                
            // 同時(shí),它們聲明有私有的構(gòu)造函數(shù),并且不實(shí)現(xiàn),防止客戶使用這2個(gè)類。

                
            // 還因?yàn)閕s_not_buildin_type_test并沒(méi)有真正實(shí)現(xiàn)
                
            // 也就沒(méi)有真正返回true_type或者false_type
                
            // 所以沒(méi)有實(shí)現(xiàn)true_type和false_type的構(gòu)造函數(shù)也沒(méi)關(guān)系。

                
            // 一切都因?yàn)閟izeof ……

                
            /** -------------------------------------------------------------------- */
                
            /**
                將這種方法再包裝一下
                (避免客戶去使用sizeof( xxx ) == sizeof( ture_type )等等)
                就得到
                
            */

                template
            <typename T>
                
            class is_not_buildin_type {
                    is_not_buildin_type();
                
            public:
                    
            enum { value =
                        
            sizeof(true_type)==sizeof( is_not_buildin_type_test<T>(0) ) };
                };
                
            // 或者將true_type,false_type,定義為它的內(nèi)嵌類型。
                
            // 同時(shí)將is_not_buildin_type_test定義為它的靜態(tài)成員函數(shù)。

                template
            <typename T>
                
            class is_not_buildin_type2 {
                    is_not_buildin_type2();

                    
            // 因?yàn)槭莾?nèi)嵌的private,客戶不能訪問(wèn)
                    
            // 所以可以隨意一點(diǎn)
                    typedef char small_t;
                    
            struct big_t { small_t dummy[2]; };

                    template
            <typename U>
                    
            static big_t test(void (U::*)(shortfloat) );
                    
            // 只要是成員指針就ok,無(wú)論是數(shù)據(jù)成員指針還是成員函數(shù)指針。
                    
            // 也無(wú)論類型,簽名如何。

                    template
            <typename U>
                    
            static small_t test();
                    
            // 注意補(bǔ)救函數(shù)現(xiàn)在返回small_t

                
            public:
                    
            // 但這也是無(wú)關(guān)緊要的,因?yàn)閟mall_t和big_t只是告之哪個(gè)重載被選中的方式。
                    
            // 只要這里處理好對(duì)應(yīng)就可以了。
                    enum { value= sizeof(big_t)==sizeof( test<T>(0) ) };
                };

                
            void test_wrapper() {
                    
            using namespace std;
                    cout
            <<is_not_buildin_type<c::data>::value<<endl;
                    cout
            <<is_not_buildin_type<u::both>::value<<endl;
                    cout
            <<is_not_buildin_type<float>::value<<endl;

                    cout
            <<is_not_buildin_type2<c::data>::value<<endl;
                    cout
            <<is_not_buildin_type2<u::both>::value<<endl;
                    cout
            <<is_not_buildin_type2<float>::value<<endl;
                }

                
            // 一個(gè)更完整的測(cè)試
                void test_wrapper_integrate();
            }

            /** ------------------------------------------------------------------------ */
            /**測(cè)試一個(gè)類型是否是內(nèi)建類型的另一個(gè)方法,需要更少的技巧。*/

            namespace partial_specialization {

                template
            <typename T>
                
            struct is_not_buildin_type { enum { value=true }; };
                
            // T不是一個(gè)內(nèi)建類型

                
            // 除非
                template<>
                
            struct is_not_buildin_type<int> { enum { value=false}; };
                
            // T是int
                template<>
                
            struct is_not_buildin_type<unsigned int> { enum { value=false}; };
                
            // T是unsigned int
                
            // .. more ..
            }

            int main()
            {
                
            using namespace std;
                test_pointer_to_data_member();
                test_pointer_to_data_member_integrate();
                test_pointer_to_member_function();
                test_pointer_to_member_function_integrate();

                cout
            <<endl;
                SFINAE::test_theory();
                cout
            <<endl;
                SFINAE::test_wrapper();
                cout
            <<endl;
                SFINAE::test_wrapper_integrate();
            }



            void test_pointer_to_data_member_integrate() {
                
            // to do
            }
            void test_pointer_to_member_function_integrate() {
                
            // to do
            }

            namespace SFINAE {
                
            void test_wrapper_integrate() {
                    
            // to do
                }
            }

            這個(gè)代碼已經(jīng)能很完美的解釋了~
            今天看了C++ Templates 的15章.. 收獲頗多.. 以前的很多疑惑都比較開(kāi)朗了~

            posted on 2009-03-16 23:32 Charlie 侯杰 閱讀(2659) 評(píng)論(3)  編輯 收藏 引用

            只有注冊(cè)用戶登錄后才能發(fā)表評(píng)論。
            網(wǎng)站導(dǎo)航: 博客園   IT新聞   BlogJava   博問(wèn)   Chat2DB   管理


            by Charlie
            久久免费精品一区二区| 少妇被又大又粗又爽毛片久久黑人| 无码精品久久久天天影视| 国产精品久久久久aaaa| 久久精品国产一区二区三区| 久久人人爽人人爽人人片av麻烦| 久久久久99精品成人片试看| 久久久久九九精品影院| 伊人久久大香线蕉av一区| 99久久国产热无码精品免费久久久久| 色婷婷久久综合中文久久一本| 99久久这里只有精品| 久久只这里是精品66| 久久亚洲精品视频| 亚洲国产精品综合久久网络| 99久久精品费精品国产一区二区 | 无码国内精品久久人妻| 国产成人精品久久一区二区三区av| 久久久久久精品免费免费自慰| 久久国产精品一区| 2021少妇久久久久久久久久| 一本色道久久88—综合亚洲精品| 亚洲国产成人久久综合一 | 久久精品视频一| 成人a毛片久久免费播放| 欧美午夜精品久久久久免费视| 青青草国产97免久久费观看| 日韩精品国产自在久久现线拍| 综合网日日天干夜夜久久| 亚洲精品美女久久久久99小说 | 久久性生大片免费观看性| 色综合久久精品中文字幕首页| 午夜天堂精品久久久久| 国产激情久久久久久熟女老人| 日日狠狠久久偷偷色综合免费 | 亚洲日韩欧美一区久久久久我| 久久精品免费网站网| 久久久艹| 欧美久久综合九色综合| 老司机午夜网站国内精品久久久久久久久 | 精品久久久无码人妻中文字幕|