在泛型编程的形参表中,关键字typename和class具有相同的含义,可以相互使用,两个关键字都可以在同一模板形参表中使用:
1. typename用在模板定义里,标明其后的模板参数是类型参数。
- template<typename T,class U> calc (const T&, const U& );
- // 定义一个返回参数中较大者的通用函数
- template <typename T>
- const T& max(const T& x, const T& y)
- {
- if (y < x) {
- return x;
- }
- return y;
- }
这种情况下,typename
可用另一个的等效关键字class
代替,如下片段所示:
- // 定义一个返回参数中较大者的通用函数
- template <class T>
- const T& max(const T& x, const T& y)
- {
- if (y < x) {
- return x;
- }
- return y;
- }
引入这个关键字主要是为了避免class可能给人带来的混淆:
使用关键字typdef 代替关键字class制定模板类型形参也许更为直观,毕竟,可以使用内置类型(而不仅仅只是类类型)作为实际的类型形参,而且,更清楚地声明后面的名字是一个类型名。关键字typedef作为标准c++的组成部分假如到c++中的,因此旧的程序可能只是用class用来修饰泛型编程的形参类型。
2, 模板中标明“内嵌依赖类型名”:内嵌依赖类型名(nested dependent type name)
.本来typename的用法就是这么简单, 但是STL源代码中还有typename的一种不常见的用法:
例1:
请看SGI STL里的一个例子, 只是STL中count范型算法的实现:
- template <class _InputIter, class _Tp>
- typename iterator_traits<_InputIter>::difference_type
- count(_InputIter __first, _InputIter __last, const _Tp& __value) {
- __STL_REQUIRES(_InputIter, _InputIterator);
- __STL_REQUIRES(typename iterator_traits<_InputIter>::value_type,
- _EqualityComparable);
- __STL_REQUIRES(_Tp, _EqualityComparable);
- typename iterator_traits<_InputIter>::difference_type __n = 0;
- for ( ; __first != __last; ++__first)
- if (*__first == __value)
- ++__n;
- return __n;
- }
这里有三个地方用到了typename:返回值、参数、变量定义。分别是:
typename iterator_traits<_InputIter>::difference_type
typename iterator_traits<_InputIter>::value_type
typename iterator_traits<_InputIter>::difference_type __n = 0;
difference_type, value_type就是依赖于_InputIter(模板类型参数)的类型名。源码如下:
- template <class _Iterator>
- truct iterator_traits {
- typedef typename _Iterator::iterator_category iterator_category;
- typedef typename _Iterator::value_type value_type;
- typedef typename _Iterator::difference_type difference_type;
- typedef typename _Iterator::pointer pointer;
- typedef typename _Iterator::reference reference;
- ;
内嵌是指定义在类名的定义中的。以上difference_type和value_type都是定义在iterator_traits中的。
依赖是指依赖于一个模板参数。typename iterator_traits<_InputIter>::difference_type中difference_type依赖于模板参数_InputIter.
类型名是指这里最终要指出的是个类型名,而不是变量。例如iterator_traits<_InputIter>::difference_type完全有可能是类iterator_traits<_InputIter>类里的一个static对
象。而且当我们这样写的时候,C++默认就是解释为一个变量的。所以,为了和变量区分,必须使用typename告诉编译器。
那么是不是所有的T::type_or_variable, 或者tmpl<T>:type_or_variable都需要使用typename呢?不是,有以下两个例外。
3 例外
(1)类模板定义中的基类列表。
例如
- template<class T>
- class Derived: public Base<T>::XXX
- {
- ...
- }
(2)类模板定义中的初始化列表。
- Derived(int x) : Base<T>::xxx(x)
- {
- ...
- }
为什么这里不需要呢?因为编译器知道这里需要的是类型还是变量,
(1)基类列表里肯定是类型名,(2)初始化列表里肯定是成员变量名。
例2:
在模板定义内部指定类型。如下面代码:
- typename<class Parm,class U>
- Parm fcn(Parm* array,U value)
- {
- Parm::size_type *p;
- //如果Parm::size_type是一个类型,这句话的意思就是声明一个变量
- //如果如果Parm::size_type是一个变量(对象),这句话的意思就是乘法运算
- }
假如像上面的代码一样在模板中使用这种语句,则编译器将无法辨别Parm::size_type是一个变量还是一个类型。所以必须显式的告诉编译器:
Parm::size_type是一个类型:
则函数模板变为如下所示:
- typename<class Parm,class U>
- Parm fcn(Parm* array,U value)
- {
- typename Parm::size_type *p;
- }
内容来自http://blog.csdn.net/chenyu964877814/article/details/7346499
相关推荐
C++ Template中的typename、class关键字,模板中关键字的class与typename的作用
template <typename T> class RBTree { private: static node<T> *nil;//哨兵,静态成员,被整个RBTree类所共有 node<T> *root; RBTree(const RBTree&);//禁止复制构造 RBTree operator=(const RBTree&);//禁止...
template<typename T>class Stack{ int top; //栈顶指针(下标) T *elements; //动态建立的数值 int maxSize; //栈最大允纳的元素个数 public: Stack(int=20); //栈如不指定大小,设为20元素 ~Stack(){delete...
相信学习C++的人对class这个关键字都非常明白,class用于定义类。...在模板定义语法中关键字class与typename的作用完全一样。 typename难道仅仅在模板定义中起作用吗?其实不是这样,typename另外一个作用为:使
template<class TT>struct ChangeClass<TT,false> {typedef typename std::vector<void*> Type;}; 然后代码中的 typedef typename LK::Templates::UseT<LK::Templates::IsClassOrUnion<T>::value, std::vector<void>...
答:class用于定义类,在模板引入c++后,初定义模板的方法为:template<class>,这里class关键字表明T是一个类型,后来为了避免class在这两个地方的使用可能给人带来混淆,所以引入了typename这个关键字,它的...
template<typename T> struct LNode { T data; LNode<T> *next; }; template<typename T> class LinkList { public: LinkList(){L = 0;}//构造函数 ~LinkList();//析构函数,销毁单链表 void CreateList_L(int n)...
其实,这里最常用的是使用关键字class,而且二者功能完全相同,这里的class和定义类时的class完全是两回事,C++当时就是为了减少关键字,才使用了class。但最终却不得不引入了typename,究竟是 什么原因呢
不错的关于c++中typedef和class的使用说明
在c++Template中很多地方都用到了typename与class这两个关键字,而且好像可以替换,是不是这两个关键字完全一样呢?下面这篇文章主要给大家介绍了关于c++模板中class与typename的相关资料,需要的朋友可以参考下。
本文实例讲述了C++语言实现线性表之链表...template<typename> class CList; template<class> class Node { friend CList<T>; private: T m_data; Node *m_pNext; }; template<class> class CList { public: CList
template<typename> class CLink; template<typename> class Node { friend class CLink<T>; public: /* 构造函数和析构函数一般不加类型参数 本类类中除了构造函数和析构函数以外 其它的地方都要加上类型参数 ...
template <typename T> class TSMatrix { private: T **Parray; T **Qarray; Triple<T> *data; Triple<T> *Cdata; int mu,nu,tu; public: TSMatrix(void) { //Parray=NULL; data=new Triple [100]; ...
template <typename Type> class SeqList{ public: SeqList(int sz=DefaultSize) :m_nmaxsize(sz),m_ncurrentsize(-1){ if(sz>0){ m_elements=new Type[m_nmaxsize]; } } ~SeqList(){ delete[] m_...
本节讨论下在C++11中怎样使用std::async来执行异步task。...future<typename>::type> async(launch policy, Fn&& fn, Args&&...args); std::async返回一个 std::future<T>,它存储由 std::async()执行的函
template<typename> class threadsafe_queue { public: threadsafe_queue(); threadsafe_queue(const threadsafe_queue&); threadsafe_queue& operator=(const threadsafe_queue&) = delete; void push(T new_...
template<typename> T add(const T& a, const T& b) { return a + b; } // 类模板 template<typename> class Point { private: T x[3]; ... }; 类型模板以template开始声明,尖括号内的typename关键字可用class...
template<>,藉此告訴編譯器哪些符號是 型別參數( type parameters),如圖 8。 template <typename T> class Rect : public Shape 侯捷觀點 JDK 1.5的泛型實現(Generics in JDK 1.5)7 { ...
中我们来谈一谈C++的template模板中class与typename关键字的区别分析,同时会讲到嵌套从属名称时的一些注意点,需要的朋友可以参考下