久久精品理论片,国产综合精品,亚洲人成小说网站色在线

關于模板的類型參數

看了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 可冰閱讀(2275) 評論(9) 編輯收藏引用所屬分類: C++

模板的類型參數，只要是類型都是可以接受的。

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，總是按值拷貝。回復更多評論

刷新評論列表

只有注冊用戶登錄后才能發表評論。


相關文章: ［討論］關于注釋的書寫位置 C++編碼規范評價一下UTF-8與UNICODE相互轉換的代碼關于模板的類型參數 error C2899: 不能在模板聲明之外使用類型名稱 ?!! 構思UTF-8解碼模塊 std::wfstream是怎么支持寬字符的? 類成員變量封裝的問題目前C++可以實現跨平臺嗎

網站導航: 博客園 IT新聞 BlogJava 博問 Chat2DB 管理

青青草原综合久久大伊人导航_色综合久久天天综合_日日噜噜夜夜狠狠久久丁香五月_热久久这里只有精品

可冰

公告

常用鏈接

留言簿(7)

隨筆分類(18)

隨筆檔案(37)

文章分類(5)

文章檔案(5)

相冊

朋友的博客

收藏

我的博客組

搜索

積分與排名

最新評論

閱讀排行榜

評論排行榜

評論