久久亚洲AV永久无码精品,亚洲国产日韩综合久久精品,18岁日韩内射颜射午夜久久成人

關(guān)于模板的類(lèi)型參數(shù)

看了cpunion寫(xiě)的IDL的代碼,我知道了這樣的用法:
在模板參數(shù)中,類(lèi)型參數(shù)可以這樣構(gòu)造:
template_class< type( type1, type2, ... ) > a_class;
比如,可以void( void ), void(), void( int ), 也可以int( void ), string( int )等等,編譯器是將它們當(dāng)作不同的類(lèi)型的來(lái)處理的.對(duì)此,我寫(xiě)了一些代碼作了一下測(cè)試(見(jiàn)文末).但我也僅僅是有一個(gè)感性的認(rèn)識(shí)而已,對(duì)于其為什么可以這樣(因?yàn)閺奈匆?jiàn)哪本書(shū)上介紹過(guò)這樣的用法),我一點(diǎn)也不知道.
希望大家?guī)臀裔屢?也希望cpunion來(lái)幫我一下,謝謝!

#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) 評(píng)論(9) 編輯收藏引用所屬分類(lèi): C++

評(píng)論

# re: 關(guān)于模板的類(lèi)型參數(shù) 2005-09-29 21:16 cpunion

模板的類(lèi)型參數(shù)，只要是類(lèi)型都是可以接受的。

template <class T>
class Base
{
};
定義了一個(gè)類(lèi)模板，后面都是它的偏特化。

你的疑問(wèn)應(yīng)該是void(*)(int)類(lèi)型和void(int)類(lèi)型的區(qū)別吧？

void(int)是一個(gè)函數(shù)類(lèi)型，void(*)(int)是一個(gè)函數(shù)指針類(lèi)型，函數(shù)類(lèi)型僅在聲明時(shí)有效，當(dāng)把void(int)類(lèi)型的函數(shù)作為一個(gè)值來(lái)傳遞時(shí)，它自動(dòng)退化為void(*)(int)指針類(lèi)型。

關(guān)于這一點(diǎn)，最好是看劉未鵬對(duì)于boost::function源代碼的解釋?zhuān)乙彩菑倪@里才知道有這種用法的。回復(fù) 更多評(píng)論

# re: 關(guān)于模板的類(lèi)型參數(shù) 2005-09-29 21:23 函數(shù)類(lèi)型

void Fun(int);
cout << typeid(void(int)).name() << endl;
cout << typeid(Fun).name() << endl;
回復(fù) 更多評(píng)論

# re: 關(guān)于模板的類(lèi)型參數(shù) 2005-09-29 21:39 cpunion

typeid, sizeof, typeof(c++0x)都不取表達(dá)式的值，只提取類(lèi)型。回復(fù) 更多評(píng)論

# re: 關(guān)于模板的類(lèi)型參數(shù) 2005-09-29 22:57 可冰

void(int)原來(lái)是函數(shù)類(lèi)型啊!從來(lái)沒(méi)有見(jiàn)到過(guò)這樣的類(lèi)型啊.
你所說(shuō)的"當(dāng)把void(int)類(lèi)型的函數(shù)作為一個(gè)值來(lái)傳遞時(shí)，它自動(dòng)退化為void(*)(int)指針類(lèi)型。"應(yīng)該是指,用它來(lái)定義變量的時(shí)候,這個(gè)變量就成了函數(shù)指針類(lèi)型的了? 回復(fù) 更多評(píng)論

# re: 關(guān)于模板的類(lèi)型參數(shù) 2005-09-29 23:08 cpunion

函數(shù)類(lèi)型可以用做聲明，也可以表示函數(shù)代碼塊，不能直接用它聲明一個(gè)變量，所以很少見(jiàn)。

比如函數(shù)：

void func(int)
{
}

func本身是函數(shù)類(lèi)型，不過(guò)當(dāng)作值來(lái)傳遞給一個(gè)void(*)(int)類(lèi)型指針時(shí)，自動(dòng)退化為指針類(lèi)型，所以不需要加上&符號(hào)，加上&也是合法的。

使用typeid, typeof都可以獲取到函數(shù)類(lèi)型。回復(fù) 更多評(píng)論

# re: 關(guān)于模板的類(lèi)型參數(shù) 2005-09-29 23:11 可冰

我在模板中試了一下,確實(shí)用函數(shù)類(lèi)型定義的變量成為了函數(shù)指針類(lèi)型.
定義為: T var;
輸出為: var: void (__thiscall Base<void __cdecl(int)>::*)(int)
T : void __cdecl(int)

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

它們的類(lèi)型居然是一樣的,method在這兒并沒(méi)有轉(zhuǎn)化為函數(shù)指針類(lèi)型.
輸出類(lèi)型如下:
void __cdecl(int)
void __cdecl(int)

這又是怎么回事? 回復(fù) 更多評(píng)論

# re: 關(guān)于模板的類(lèi)型參數(shù) 2005-09-29 23:40 cpunion

在g++編譯器下，T var;是不能編譯通過(guò)的。

typedef void MethodType (int);
MethodType method;

這個(gè)定義確實(shí)能夠通過(guò)編譯（我以前沒(méi)這么測(cè)試過(guò)），因?yàn)閙ethod的是函數(shù)類(lèi)型，而它沒(méi)有實(shí)際定義，相當(dāng)于寫(xiě)了一個(gè)函數(shù)聲明，所以如果調(diào)用它，鏈接器將報(bào)錯(cuò)。

這個(gè)功能本來(lái)是開(kāi)放給編譯器使用的，所以雖然能夠定義，但無(wú)法操作它，你無(wú)法對(duì)它使用sizeof，無(wú)法對(duì)它取地址，只能對(duì)它使用typeid獲取類(lèi)型信息、使用typeof獲取它的類(lèi)型。

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

測(cè)試可以知道，n和m的地址相差是4字節(jié)（32位平臺(tái)上），method并不真的定義了一個(gè)變量。

應(yīng)該是C＋＋給編譯器定的標(biāo)準(zhǔn)，相當(dāng)詭異。。回復(fù) 更多評(píng)論

# re: 關(guān)于模板的類(lèi)型參數(shù) 2005-09-30 01:59 說(shuō)得對(duì)，僅僅是申明

typedef void MethodType (int);
MethodType method;
和
extern void method(int);
基本上一樣，另外，加上定義
void method(int)
{
}
可以
method(0);
這樣用了
回復(fù) 更多評(píng)論

# re: 關(guān)于模板的類(lèi)型參數(shù) 2005-09-30 20:51 可冰

[摘錄](méi)Boost源碼剖析之:泛型函數(shù)指針類(lèi)boost::function(修訂版)
劉未鵬 /文

或許你會(huì)對(duì)模板參數(shù)int(int)感到陌生，其實(shí)它是個(gè)函數(shù)型別——函數(shù)g的確切型別就是int(int)，而我們通常所看到的函數(shù)指針型別int (*)(int)則是&g的型別。它們的區(qū)別與聯(lián)系在于：當(dāng)把g作為一個(gè)值進(jìn)行拷貝的時(shí)候（例如，按值傳參），其類(lèi)型就會(huì)由int(int)退化為int(*)(int)，即從函數(shù)類(lèi)型退化為函數(shù)指針類(lèi)型——因?yàn)閺恼Z(yǔ)義上說(shuō)，函數(shù)不能被“按值拷貝”，但身為函數(shù)指針的地址值則是可以被拷貝的。另一方面，如果g被綁定到引用，則其類(lèi)型不會(huì)退化，仍保持函數(shù)類(lèi)型。
......
請(qǐng)注意，函數(shù)類(lèi)型乃是個(gè)極其特殊的類(lèi)型，在大多數(shù)時(shí)候它都會(huì)退化為函數(shù)指針類(lèi)型，以便滿(mǎn)足拷貝語(yǔ)義，只有面對(duì)引用綁定的時(shí)候，能夠維持原來(lái)的類(lèi)型。當(dāng)然，對(duì)于boost::function，總是按值拷貝。回復(fù) 更多評(píng)論

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

只有注冊(cè)用戶(hù)登錄后才能發(fā)表評(píng)論。
【推薦】100%開(kāi)源！大型工業(yè)跨平臺(tái)軟件C++源碼提供，建模，組態(tài)！

相關(guān)文章: 模板導(dǎo)致的代碼膨脹問(wèn)題和解決模版函數(shù)特化版本放在前面，錯(cuò)誤（VC6） VC6不支持的模板特性成員函數(shù)指針與高性能的C++委托（Fastest Possible C++ Delegates）模版函數(shù)指針，C++委托的實(shí)現(xiàn) VC++ 6.0的小花招 STL中迭代器traits技巧學(xué)習(xí) : 一個(gè)簡(jiǎn)單的測(cè)試程序 Traits: 類(lèi)型的else-if-then機(jī)制 Generic：Traits on Steroids traits：Traits技術(shù)初探

網(wǎng)站導(dǎo)航: 博客園 IT新聞 BlogJava 博問(wèn) Chat2DB 管理

woaidongmao

關(guān)于模板的類(lèi)型參數(shù)

評(píng)論

導(dǎo)航

常用鏈接

留言簿(10)

隨筆分類(lèi)

隨筆檔案

搜索

最新評(píng)論

閱讀排行榜

評(píng)論排行榜