对于模板,我看到了这两种声明:
template < typename T >
template < class T >
有什么不同?
在下面的例子中(摘自维基百科关于模板的德语文章),这些关键字到底是什么意思?
template < template < typename, typename > class Container, typename Type >
class Example
{
Container< Type, std::allocator < Type > > baz;
};
对于命名模板参数,typename和class是等价的。§14.1.2:
没有语义上的区别
类中的类和typename之间
模板参数。
然而,在使用模板时,Typename在另一个上下文中是可能的——用来提示编译器你引用的是依赖类型。§14.6.2:
模板声明中使用的名称
或者定义,这取决于
假设模板参数不是
除非适用的名称,否则指定一个类型
查找查找类型名或名称
由关键字typename限定。
例子:
typename some_template<T>::some_type
如果没有typename,编译器一般无法判断你是否引用了一个类型。
使用<typename T>或<class T>之间没有区别;也就是说,它是c++程序员使用的一种约定。我自己更喜欢<typename T>,因为它更清楚地描述了它的用法;例如,定义一个具有特定类型的模板。
注意:有一个例外,在声明模板模板形参时必须使用class(而不是typename):
template <template <typename> class T> class C { }; // valid!
template <template <typename> typename T> class C { }; // invalid!
在大多数情况下,您不会定义嵌套的模板定义,因此任何一种定义都可以工作——只要在使用中保持一致即可。
对于命名模板参数,typename和class是等价的。§14.1.2:
没有语义上的区别
类中的类和typename之间
模板参数。
然而,在使用模板时,Typename在另一个上下文中是可能的——用来提示编译器你引用的是依赖类型。§14.6.2:
模板声明中使用的名称
或者定义,这取决于
假设模板参数不是
除非适用的名称,否则指定一个类型
查找查找类型名或名称
由关键字typename限定。
例子:
typename some_template<T>::some_type
如果没有typename,编译器一般无法判断你是否引用了一个类型。
这段代码摘自c++入门书。尽管我确信这是错误的。
每个类型参数前面必须有关键字class或typename:
// error: must precede U with either typename or class
template <typename T, U> T calc(const T&, const U&);
这些关键字具有相同的含义,并且可以在模板参数列表中互换使用。模板参数列表可以使用以下两个关键字:
// ok: no distinction between typename and class in a template parameter list
template <typename T, class U> calc (const T&, const U&);
使用关键字typename而不是class来指定模板类型形参似乎更直观。毕竟,我们可以使用内置(非类)类型作为模板类型参数。而且,typename更清楚地表明后面的名称是类型名。然而,typename是在模板已经被广泛使用之后才加入c++的;一些程序员继续专门使用类