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

            woaidongmao

            文章均收錄自他人博客,但不喜標題前加-[轉貼],因其丑陋,見諒!~
            隨筆 - 1469, 文章 - 0, 評論 - 661, 引用 - 0
            數據加載中……

            關于模板的類型參數

            看了cpunion寫的IDL的代碼,我知道了這樣的用法:
            在模板參數中,類型參數可以這樣構造:
                    template_class< type( type1, type2, ... ) > a_class;
            比如,可以void( void ), void(), void( int ), 也可以int( void ), string( int )等等,編譯器是將它們當作不同的類型的來處理的.對此,我寫了一些代碼作了一下測試(見文末).但我也僅僅是有一個感性的認識而已,對于其為什么可以這樣(因為從未見哪本書上介紹過這樣的用法),我一點也不知道.
            希望大家幫我釋疑,也希望cpunion來幫我一下,謝謝!


            #include
            <iostream>

            typedef
            void(*fun)(int);

            using namespace std;

            template
            < typename T >
            struct Base
            {
               
            void test()
               
            {
                    cout
            << "Base" << "\t=\t";
                    cout
            << "Base<" << typeid(T).name() << ">" << endl;
                }

            }
            ;

            template
            <>
            struct Base < void >
            {
               
            void test()
               
            {
                    cout
            << "Base" << endl;
                }

            }
            ;

            template
            <>
            struct Base < void( int ) >
            {
               
            void test()
               
            {
                    cout
            << "Base" << endl;
                }

            }
            ;

            template
            <>
            struct Base < fun >
            {
               
            void test()
               
            {
                    cout
            << "Base" << endl;
                }

            }
            ;

            template
            <>
            struct Base < int( string, int, char ) >
            {
               
            void test()
               
            {
                    cout
            << "Base" << endl;
                }

            }
            ;

            int main(int argc, char* argv[])
            {
                Base
            < void > b_void;
                Base
            < void( int ) > b_void_int;
                b_void.test();
                b_void_int.test();

                Base
            < int( string, int, char ) > b_int;
                Base
            < fun > b_fun;
                b_int.test();
                b_fun.test();


                Base
            < Base< void > ( Base < int ( string, int, char ) > ) > b_complex;
                b_complex.test();

               
            return 0;
            }


            posted on 2005-09-29 19:51 可冰 閱讀(757) 評論(9)  編輯 收藏 引用 所屬分類: C++

            評論

            # re: 關于模板的類型參數 2005-09-29 21:16 cpunion
            模板的類型參數,只要是類型都是可以接受的。

            template <class T>
            class Base
            {
            };
            定義了一個類模板,后面都是它的偏特化。

            你的疑問應該是void(*)(int)類型和void(int)類型的區別吧?

            void(int)是一個函數類型,void(*)(int)是一個函數指針類型,函數類型僅在聲明時有效,當把void(int)類型的函數作為一個值來傳遞時,它自動退化為void(*)(int)指針類型。

            關于這一點,最好是看劉未鵬對于boost::function源代碼的解釋,我也是從這里才知道有這種用法的。  回復  更多評論
             

            # re: 關于模板的類型參數 2005-09-29 21:23 函數類型
            void Fun(int);
            cout << typeid(void(int)).name() << endl;
            cout << typeid(Fun).name() << endl;
              回復  更多評論
             

            # re: 關于模板的類型參數 2005-09-29 21:39 cpunion
            typeid, sizeof, typeof(c++0x)都不取表達式的值,只提取類型。  回復  更多評論
             

            # re: 關于模板的類型參數 2005-09-29 22:57 可冰
            void(int)原來是函數類型啊!從來沒有見到過這樣的類型啊.
            你所說的"當把void(int)類型的函數作為一個值來傳遞時,它自動退化為void(*)(int)指針類型。"應該是指,用它來定義變量的時候,這個變量就成了函數指針類型的了?  回復  更多評論
             

            # re: 關于模板的類型參數 2005-09-29 23:08 cpunion
            函數類型可以用做聲明,也可以表示函數代碼塊,不能直接用它聲明一個變量,所以很少見。

            比如函數:

            void func(int)
            {
            }

            func本身是函數類型,不過當作值來傳遞給一個void(*)(int)類型指針時,自動退化為指針類型,所以不需要加上&符號,加上&也是合法的。

            使用typeid, typeof都可以獲取到函數類型。  回復  更多評論
             

            # re: 關于模板的類型參數 2005-09-29 23:11 可冰
            我在模板中試了一下,確實用函數類型定義的變量成為了函數指針類型.
            定義為: T var;
            輸出為: var: void (__thiscall Base<void __cdecl(int)>::*)(int)
            T : void __cdecl(int)

            但是在外部,定義這樣的一個類型及變量:
            typedef void MethodType (int);
            MethodType method;

            它們的類型居然是一樣的,method在這兒并沒有轉化為函數指針類型.
            輸出類型如下:
            void __cdecl(int)
            void __cdecl(int)

            這又是怎么回事?  回復  更多評論
             

            # re: 關于模板的類型參數 2005-09-29 23:40 cpunion
            在g++編譯器下,T var;是不能編譯通過的。

            typedef void MethodType (int);
            MethodType method;

            這個定義確實能夠通過編譯(我以前沒這么測試過),因為method的是函數類型,而它沒有實際定義,相當于寫了一個函數聲明,所以如果調用它,鏈接器將報錯。

            這個功能本來是開放給編譯器使用的,所以雖然能夠定義,但無法操作它,你無法對它使用sizeof,無法對它取地址,只能對它使用typeid獲取類型信息、使用typeof獲取它的類型。

            int m;
            typedef void MethodType (int);
            MethodType method;
            int n;

            測試可以知道,n和m的地址相差是4字節(32位平臺上),method并不真的定義了一個變量。

            應該是C++給編譯器定的標準,相當詭異。。  回復  更多評論
             

            # re: 關于模板的類型參數 2005-09-30 01:59 說得對,僅僅是申明
            typedef void MethodType (int);
            MethodType method;

            extern void method(int);
            基本上一樣,另外,加上定義
            void method(int)
            {
            }
            可以
            method(0);
            這樣用了
              回復  更多評論
             

            # re: 關于模板的類型參數 2005-09-30 20:51 可冰
            [摘錄]Boost源碼剖析之:泛型函數指針類boost::function(修訂版)
            劉未鵬 /文

            或許你會對模板參數int(int)感到陌生,其實它是個函數型別——函數g的確切型別就是int(int),而我們通常所看到的函數指針型別int (*)(int)則是&g的型別。它們的區別與聯系在于:當把g作為一個值進行拷貝的時候(例如,按值傳參),其類型就會由int(int)退化為int(*)(int),即從函數類型退化為函數指針類型——因為從語義上說,函數不能被“按值拷貝”,但身為函數指針的地址值則是可以被拷貝的。另一方面,如果g被綁定到引用,則其類型不會退化,仍保持函數類型。
            ......
            請注意,函數類型乃是個極其特殊的類型,在大多數時候它都會退化為函數指針類型,以便滿足拷貝語義,只有面對引用綁定的時候,能夠維持原來的類型。當然,對于boost::function,總是按值拷貝。  回復  更多評論
             

            posted on 2008-08-31 21:55 肥仔 閱讀(569) 評論(0)  編輯 收藏 引用 所屬分類: C++ 模板

            伊人精品久久久久7777| 久久狠狠爱亚洲综合影院| 国产精品久久国产精麻豆99网站| 国产国产成人精品久久| 久久r热这里有精品视频| 久久久网中文字幕| 亚洲狠狠婷婷综合久久蜜芽| 91精品国产高清久久久久久io| 狠狠色噜噜狠狠狠狠狠色综合久久 | 亚洲一区中文字幕久久| 色99久久久久高潮综合影院| 久久99精品久久久久久久久久| 久久国产精品免费一区二区三区| 精品一二三区久久aaa片| 久久精品国产一区二区电影| 蜜臀av性久久久久蜜臀aⅴ麻豆| 久久精品亚洲乱码伦伦中文| 久久亚洲AV成人无码国产| 亚洲精品WWW久久久久久| 久久综合九色综合欧美狠狠| 久久精品国产亚洲AV电影| 天天影视色香欲综合久久| 国产精品99久久久久久宅男| 99久久国语露脸精品国产| 国色天香久久久久久久小说| 亚洲精品无码久久毛片| 久久精品无码一区二区app| 久久综合狠狠综合久久激情 | 99久久久国产精品免费无卡顿| 亚洲va久久久噜噜噜久久天堂| 狠狠色丁香久久婷婷综合_中| 人人狠狠综合88综合久久| 久久高清一级毛片| 性做久久久久久久久老女人| 久久久国产精华液| 亚洲另类欧美综合久久图片区| 久久人人爽人人爽AV片| 久久久国产亚洲精品| 亚洲天堂久久久| 人妻精品久久久久中文字幕一冢本| 久久精品人妻中文系列|