理解C++模板
2008-07-08 23:10
162 查看
C++模板最初的设计动机是为了能产生类型安全的通用容器,但是现在也用来生成自定义代码,引申出了泛型编程等概念。
模板分为函数模板和类模板,模板参数大致可以这样认为:无类型的模板参数,默认模板参数,模板类型的模板参数。
如:
template <class T, size_t N> class Stack {...} ;
Stack<int, 100>和Stack<int, 99>是两个不同的类。
而默认参数模板顾名思义就是加了默认的参数。
如:
template <class T, size_t N = 100> class Stack {... };
其实这种默认模板参数被广泛用于C++的标准库中,如vector类模板的声明:template <class T, class Allocator = allocator<T> > class vector;
关于模板类型的模板参数则比较难理解,其实可以很简单地理解为参数是一个模板,要让编译器知道这个参数是一个模板。
如:
template <class T> class Array {...};
template <calss T, template <class N> class seq> class MyContainer {... };
或者:
template <calss T, template <class> class seq> class MyContainer {... };
注意:成员模板函数不能被声明为virtual,为什么呢?
因为编译器在解析一个类的时候,希望知道这个类的虚函数表的大小,如果允许虚成员模板函数的存在,则需要提前知道程序中所有这些成员函数的调用在什么地方,这是很不灵活的。
另外说下,模板中typename和class的使用,在很多程序中,用typename更直观些,但由于习惯问题,在模板声明时候,本人也一直都用的class。
其实,typename的作用就是告诉编译器这个标识符是一个类型,这个被用在编译器无法知道标识符的情况下。
例如:在很多STL中的begin和end函数,都是返回sql<T>::iterator之类的迭代器,这个时候就要在前面加上typename告诉编译器这个标识符是个类型。
模板分为函数模板和类模板,模板参数大致可以这样认为:无类型的模板参数,默认模板参数,模板类型的模板参数。
如:
template <class T, size_t N> class Stack {...} ;
Stack<int, 100>和Stack<int, 99>是两个不同的类。
而默认参数模板顾名思义就是加了默认的参数。
如:
template <class T, size_t N = 100> class Stack {... };
其实这种默认模板参数被广泛用于C++的标准库中,如vector类模板的声明:template <class T, class Allocator = allocator<T> > class vector;
关于模板类型的模板参数则比较难理解,其实可以很简单地理解为参数是一个模板,要让编译器知道这个参数是一个模板。
如:
template <class T> class Array {...};
template <calss T, template <class N> class seq> class MyContainer {... };
或者:
template <calss T, template <class> class seq> class MyContainer {... };
注意:成员模板函数不能被声明为virtual,为什么呢?
因为编译器在解析一个类的时候,希望知道这个类的虚函数表的大小,如果允许虚成员模板函数的存在,则需要提前知道程序中所有这些成员函数的调用在什么地方,这是很不灵活的。
另外说下,模板中typename和class的使用,在很多程序中,用typename更直观些,但由于习惯问题,在模板声明时候,本人也一直都用的class。
其实,typename的作用就是告诉编译器这个标识符是一个类型,这个被用在编译器无法知道标识符的情况下。
例如:在很多STL中的begin和end函数,都是返回sql<T>::iterator之类的迭代器,这个时候就要在前面加上typename告诉编译器这个标识符是个类型。
相关文章推荐
- 理解C++模板
- 《Effective Modern C++》翻译--条款1: 理解模板类型推导
- C++模板的理解
- C++模板深入理解
- Effective Modern C++ 条款9补完 理解模板类型推断
- 【C/C++】模板、特化、半特化的理解
- 理解C++模板
- C++的函数模板和类模板理解
- Effective Modern C++ 条款1 理解模板类型推断
- c++模板类(一)理解编译器的编译模板过程
- 理解C++模板
- c++ 模板学习笔记:理解类模板的特化与偏特化(权哥)
- C++深入理解(4)------函数模板以及显式具体化(读书笔记)
- 理解C++模板
- 理解C++模板
- 【C++】深入理解模板
- 透彻理解C++模板包含模型
- c++模板深度理解
- 透彻理解c++模板包含模型(转)
- 【ThinkingInC++】73、深入理解模板