专门设计一个包含模板模板的模板

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。“