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

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

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 肥仔閱讀(573) 評論(0) 編輯收藏引用所屬分類: C++ 模板

只有注冊用戶登錄后才能發表評論。
【推薦】100%開源！大型工業跨平臺軟件C++源碼提供，建模，組態！

相關文章: 模板導致的代碼膨脹問題和解決模版函數特化版本放在前面，錯誤（VC6） VC6不支持的模板特性成員函數指針與高性能的C++委托（Fastest Possible C++ Delegates）模版函數指針，C++委托的實現 VC++ 6.0的小花招 STL中迭代器traits技巧學習 : 一個簡單的測試程序 Traits: 類型的else-if-then機制 Generic：Traits on Steroids traits：Traits技術初探

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