模板类与类模板、函数模板与模板函数等的区别

  在C++中有好几个这样的术语,但是我们很多时候用的并不正确,几乎是互相替换混淆使用。下面我想彻底辨清几个术语,这样就可以避免很多概念上的混淆和使用上的错误。这几个词是:

  • 函数指针——指针函数
  • 数组指针——指针数组
  • 类模板——模板类
  • 函数模板——模板函数

  最终在使用中,我们就可以让它们实至名归,名正言顺。

1.函数指针——指针函数  

  函数指针的重点是指针。表示的是一个指针,它指向的是一个函数,例子:

  int   (*pf)();

  指针函数的重点是函数。表示的是一个函数,它的返回值是指针。例子:

  int*   fun();

2.数组指针——指针数组  

  数组指针的重点是指针。表示的是一个指针,它指向的是一个数组,例子:

  int   (*pa)[8];

  指针数组的重点是数组。表示的是一个数组,它包含的元素是指针。例子;

  int*   ap[8];

3.类模板——模板类(class   template——template   class)  

  类模板的重点是模板。表示的是一个模板,专门用于产生类的模子。例子:

1 template <typename T>
2 class Vector
3 {
4     ...
5 };

  使用这个Vector模板就可以产生很多的class(类),Vector<int>、Vector<char>、 Vector<   Vector<int>  >、Vector<Shape*>……。

  模板类的重点是类。表示的是由一个模板生成而来的类。例子:

  上面的Vector<int>、Vector<char>、……全是模板类。

  这两个词很容易混淆,我看到很多文章都将其用错,甚至一些英文文章也是这样。将他们区分开是很重要的,你也就可以理解为什么在定义模板的头文件.h时,模板的成员函数实现也必须写在头文件.h中,而不能像普通的类(class)那样,class的声明(declaration)写在.h文件中,class 的定义(definition)写在.cpp文件中。请参照Marshall   Cline的《C++   FAQ   Lite》中的[34]   Container   classes   and   templates中的[34.12]   Why   can‘t   I   separate   the   definition   of   my   templates   class   from  it‘s   declaration   and   put   it   inside   a   .cpp   file?   URL地址是http://www.parashift.com/c++-faq-lite/containers-and- templates.html#faq-34.12

  我将几句关键的段落摘录如下,英文很好理解:

  In order for the compiler to generate the code, it must see both the  template definition (not just declaration) and the specific types/whatever used to "fill in" the template. For example, if you‘re trying to use a  Foo<int>, the compiler must see both the Foo template and the fact that  you‘re trying to make a specific Foo<int>.

  Suppose you have a template Foo defined like this:

1 template<class   T>
2 class   Foo {
3 public:
4     Foo();
5     void   someMethod(T   x);
6 private:
7     T   x;
8 };

  Along with similar definitions for the member functions:

 1 template<class   T>
 2 Foo<T>::Foo()
 3 {
 4     ...
 5 }
 6
 7 template<class   T>
 8 void   Foo<T>::someMethod(T   x)
 9 {
10     ...
11 }

  Now suppose you have some code in file Bar.cpp that uses Foo<int>:

  //   Bar.cpp

1 void   blah_blah_blah()
2 {
3   ...
4   Foo<int>   f;
5   f.someMethod(5);
6   ...
7 }    

  Clearly somebody somewhere is going to have to use the "pattern" for the  constructor definition and for the someMethod() definition and instantiate those when T is actually int. But if you had put the definition of the  constructor and someMethod() into file Foo.cpp, the compiler would see the  template code when it compiled Foo.cpp and it would see Foo<int> when it  compiled Bar.cpp, but there would never be a time when it saw both the  template code and Foo<int>. So by rule above, it could never generate the code for Foo<int>::someMethod().

  关于一个缺省模板参数的例子:

1 template   <typename   T = int>
2 class   Array
3 {
4   ...5 };

  第一次我定义这个模板并使用它的时候,是这样用的:

  Array   books;//我认为有缺省模板参数,这就相当于Array<int>   books

  上面的用法是错误的,编译不会通过,原因是Array不是一个类。正确的用法是Array<>   books;

  这里Array<>就是一个用于缺省模板参数的类模板所生成的一个具体类。

4.函数模板——模板函数(function   template——template   function)  

  函数模板的重点是模板。表示的是一个模板,专门用来生产函数。例子:

1 template   <typename   T>
2 void   fun(T   a)
3 {
4   ...5 }   

  在运用的时候,可以显式(explicitly)生产模板函数,fun<int>、fun<double>、fun<Shape*>……。

  也可以在使用的过程中由编译器进行模板参数推导,帮你隐式(implicitly)生成。

  fun(6);//隐式生成fun<int>

  fun(8.9);//隐式生成fun<double>

  fun(‘a’);//   隐式生成fun<char>

  Shape*   ps   =   new   Cirlcle;

  fun(ps);//隐式生成fun<Shape*>

  模板函数的重点是函数。表示的是由一个模板生成而来的函数。例子:

  上面显式(explicitly)或者隐式(implicitly)生成的fun<int>、fun<Shape*>……都是模板函数。

  

  关于模板本身,是一个非常庞大的主题,要把它讲清楚,需要的不是一篇文章,而是一本书,幸运的是,这本书已经有了:David   Vandevoorde,   Nicolai   M.   Josuttis写的《C++ Templates:   The   Complete  Guide》。可惜在大陆买不到纸版,不过有一个电子版在网上流传。

  模板本身的使用是很受限制的,一般来说,它们就只是一个产生类和函数的模子。除此之外,运用的领域非常少了,所以不可能有什么模板指针存在的,即指向模板的指针,这是因为在C++中,模板就是一个代码的代码生产工具,在最终的代码中,根本就没有模板本身存在,只有模板具现出来的具体类和具体函数的代码存在。

  但是类模板(class   template)还可以作为模板的模板参数(template   template   parameter)使用,在Andrei   Alexandrescu的《Modern   C++   Design》中的基于策略的设计(Policy   based   Design)中大量的用到。

1 template<   typename   T,   template<typename   U>   class   Y>
2 class   Foo
3 {
4   ...
5 };   

  从文章的讨论中,可以看到,名字是非常重要的,如果对名字的使用不恰当的话,会引起很多的麻烦和误解。我们在实际的程序中各种标识符的命名也是一门学问,为了清晰易懂,有时候还是需要付出一定的代价。

  最后提醒:在本文的几个术语中,语言的重心在后面,前面的词是作为形容词使用的。

  转自:http://blog.sina.com.cn/s/blog_8b6cb0930100xair.html

时间: 2024-11-05 08:35:08

模板类与类模板、函数模板与模板函数等的区别的相关文章

C++ 类模板二(类模版与友元函数)

//类模版与友元函数 #include<iostream> using namespace std; template<typename T> class Complex{ public: Complex(T a,T b); void Print() const//const修饰的是this指针 { cout << this->Real << ":" <<this->Image<< endl; } /*

【C/C++学院】0823-静态联合编译与动态联合编译/父类指针子类指针释放/虚函数/纯虚函数概念以及虚析构函数/抽象类与纯虚函数以及应用/虚函数原理/虚函数分层以及异质链表/类模板的概念以及应用

静态联合编译与动态联合编译 #include <iostream> #include <stdlib.h> //散列 void go(int num) { } void go(char *str) { } //class //::在一个类中 class A { public: void go(int num) { } void go(char *str) { } }; void main() { ///auto p = go;编译的阶段,静态联编 void(*p1)(char *s

【C/C++学院】0825-类模板/final_override/类模板与普通类的派生类模板虚函数抽象模板类/类模板友元/位运算算法以及类声明/Rtti 实时类型检测/高级new创建/类以及函数包装器

类模板 类模板多个类型默认类型简单数组模板 #pragma once template <class T=int>//类模板可以有一个默认的值 class myArray { public: myArray(); ~myArray(); }; #include "myArray.h" template <class T=int>//每一个函数都需要加上一个默认的值 myArray<T>::myArray() //类模板成员函数在外部,需要加载类型初始

类模板,多种类型的类模板,自定义类模板,类模板的默认类型,数组的模板实现,友元和类模板,友元函数,类模板与静态变量,类模板与普通类之间互相继承,类模板作为模板参数,类嵌套,类模板嵌套,类包装器

 1.第一个最简单的类模板案例 #include "mainwindow.h" #include <QApplication> #include <QPushButton> #include <QLabel> template<class T> class run { public: T w; void show() { w.show(); } void settext() { w.setText("A"); }

实验二:函数重载、模板、简单类的定义和实现

[实验结论] #函数重载 编写重载函数add(),实现对int型,double型,Complex型数据的加法.在main()函数中定义不同类型 数据,调用测试. #include<iostream> using namespace std; struct Complex { double real; double imaginary; }; //函数声明 int add(int a, int b); double add(double a,double b); Complex add(Comp

实验2:函数重载、函数模板、简单类的定义和实现

实验目的 1. 掌握c++中函数的声明.定义.调用和参数传递方式 2. 掌握c++中带有默认形参值的函数声明和定义方法 3. 理解函数重载,掌握c++中函数重载的实现方式 4. 理解函数模板,掌握c++中函数模板的简单使用 5. 理解面向对象的抽象和封装,掌握c++中类的定义.实现和使用方法 实验准备 1. 函数的声明.定义.调用.参数传递方法 2. 带有默认形参值的函数 3. 函数重载 4. 函数模板(9.1.1节 + 9.3节) 其中,9.3节,理解3个常用的排序算法和两个常用的查找算法 5

C++ Primer 学习笔记_81_模板与泛型编程 --类模板成员[续1]

模板与泛型编程 --类模板成员[续1] 二.非类型形参的模板实参 template <int hi,int wid> class Screen { public: Screen():screen(hi * wid,'#'), cursor(hi * wid),height(hi),width(wid) {} //.. private: std::string screen; std::string::size_type cursor; std::string::size_type height

C++ Primer 学习笔记_82_模板与泛型编程 --类模板成员[续2]

模板与泛型编程 --类模板成员[续2] 六.完整的Queue类 Queue的完整定义: template <typename Type> class Queue; template <typename Type> ostream &operator<<(ostream &,const Queue<Type> &); template <typename Type> class QueueItem { friend clas

《Effective C++》:条款43:学习处理模板化基类内的名称

[toc] 模板化的类作为基类时,有哪些要注意的地方.以一个例子说明,假设现在编写一个发送信息到不同公司的程序,信息要么译成密码,要么就是原始文字,在编译期间来决定哪一家公司发送至哪一家公司,采用template手法: class CompanyA{ public: void sendCleartext(const std::string& msg); void sendEncryted(const std::string& msg); -- }; class CompanyB{ publ