專門設計一個包含模板模板的模板

Question

我在教C++自己的模板編程，所以我的一些假設可能是錯誤的 - 請糾正我，如果你看到任何錯誤。

我想使用STL列表作爲函數的模板參數。該函數應該用於各種數據類型，所以我在其原始聲明中將函數定義爲template<class T>而不是template<template<> class T>。我現在想專門支持模板類。

template<class T> 
void function(T param) 
{ 
    // do something with T 
} 

template<template <class T, class Allocator> class listPlaceholder> 
void function(std::list<T, Allocator> param) 
{ 
    // do something with every element in param (I actually need to know it's a list) 
    std::list<T, Allocator>::iterator current = param.begin(); 
    std::list<T, Allocator>::iterator end = param.end(); 

    do { 
    function<T>(*current); 
    } while (++current != end); 
} 

的問題是，當我嘗試編譯此代碼（GCC下），它說，T和Allocator未在範圍內定義。我的主要問題是「我如何專注於模板類？」其次，如果可能的話，「我如何提取模板模板參數？」。

如前所述，我正在學習模板編程，因此歡迎使用明顯的解決方案。

Answer 1

要聲明的參數

template<template <class T, class Allocator> class listPlaceholder, 
     class T, class Allocator> 
void function(listPlaceholder<T, Allocator> param) 
{ 
    // do something with every element in param (I actually need to know it's a list) 
    typename listPlaceholder<T, Allocator>::iterator current = param.begin(); 
    typename listPlaceholder<T, Allocator>::iterator end = param.end(); 

    do { 
    function<T>(*current); 
    } while (++current != end); 
} 

正式參數列表中使用的名稱沒有意義。實際上你也忘記使用listPlaceholder。但我認爲這是偶然的。

正如另一張海報所說，您還需要typename關鍵字，因爲名稱是dependent names。

爲什麼在正式名單的名字是沒有意義的，它比較函數指針：

void f(void (*p)(int t, int allocator), int t, int allocator) { 
    p(t, allocator); 
} 

void g(int a, int b) { 
} 

int main() { 
    f(&g, 0, 1); 
} 

什麼是重要的僅僅是參數的類型，我可以寫void(*p)(int, int)了。在你的情況下，重要的是兩個參數都是類型參數。所以你也可以把模板模板參數也寫成template<class, class> class listPlaceholder，完全等價。

最後但並非最不重要的一點，我想強調的是，您有而不是專門的function，但是您已經用另一個模板重載了它。所以，兩個function s是兩個完全不同的功能模板。

Answer 2

使用typename爲：

typename std::list<T, Allocator>::iterator current = param.begin(); 
typename std::list<T, Allocator>::iterator end = param.end(); 

其因iterator依賴名字，所以typename是由編譯器必需的，所以它可以知道iterator實際上是一個型，而不是一個靜態值。

要知道對此進行了詳細，請閱讀此FAQ：

• Where and why do I have to put the "template" and "typename" keywords?

旁邊，你應該寫你的函數模板：

template <class T, class Allocator> 
void function(std::list<T, Allocator> param) 
{ 
    //code.. 
} 

Answer 3

g++這裏其實是正確的;您尚未在此範圍內聲明T或Allocator。你有模板聲明

template<template <class T, class Allocator> class listPlaceholder> 
    void function(std::list<T, Allocator> param) 

說：「我參數化了一個類模板，它接受兩個類作爲參數。但是，這些參數的名稱無法在模板正文的任何​​位置訪問。他們大多是有作爲佔位符，和上面的模板聲明等效於

template<template <class, class> class listPlaceholder> 
    void function(std::list<T, Allocator> param) 

這類似於如何，如果你要宣佈了另一個函數作爲參數常規C++函數，你不能訪問參數的名稱。例如，這是非法的：

void DoSomething(void function(int x, int y)) { 
    x = 5; // Error! 
} 

因爲它是相當於

void DoSomething(void function(int, int)) { 
    x = 5; // Error! 
} 

我相信你想要做的是改變你的模板函數簽名看起來像這樣的內容：

template<class T, class Allocator> 
    void function(std::list<T, Allocator> param) 

這就是說：「這個函數是通過兩種類型參數化的，當作爲參數提供一個參數化的類型和一個分配器時，這個函數的主體可以參考第其他類型爲T和Allocator。「