可冰

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

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

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

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

關(guān)于這一點(diǎn)，最好是看劉未鵬對于boost::function源代碼的解釋，我也是從這里才知道有這種用法的。  回復(fù)  更多評論
  

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

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

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

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

比如函數(shù)：

void func(int)
{
}

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

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

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

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

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

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

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

typedef void MethodType (int);
MethodType method;

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

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

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

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

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

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

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

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