【 GeekBand STL与泛型编程 第六周笔记与拓展 】

【 本周概述 】

- 1.模板概念与函数模板

- 2.类模板与操作符重载

- 3.泛型编程

- 4.容器（上）

这里 我补充一些 我认为重要的知识如下：

1.函数模板与模板函数的区分（类模板与模板类同理）：

函数模板 是我们自己定义的一种模板 也就是说 它本质上是一种模板 其作用是用来制作一系列的不同参数的函数的模板

模板函数 是用函数模板制作出来的 带有具体的参数的函数

2.课程中老师所犯的错误总结与深究之const再探究：

在张文杰老师的课件中有如下的代码：

const for &

本代码中 放在&前面的两个const是相同的意义 都表示该引用所代表的那个变量的值是不能改变的 所以写两个就重复了 可以去掉任意一个

并且 &之后是不允许放const的 如果放 是为了表示该引用不能被赋予另外一个变量（引用这个别名 一旦初始化 本身就不可以更改 也就是说其底层默认就是const的 所以不需要加const 如果加 就会报错）

const for *

那么const在*前后 又有什么意思呢？ 参见下图 我们就可以直观的感受到其作用

下面我举一个栗子：( 本栗子来源于翁恺老师的Ｃ＋＋课程）

Person p1( "Fred" , 200 )；

const Person* p = &p1; //这个const是指*p所指的东西是不能修改的

Person const* p = &p1；//这个const和上面的const是一样的意思

Person *const p = &p1; //这个const指的是p这个指针是不可以指向其他对象的

3.类模板实参可以使某种类型或常量（常量仅限于int或enum）

对于实参可以使用常量并且仅限于int 或 enum 这一点来说 我觉得是值得我们注意的 但是我认为 enum并非常量 而是类似于类的一种对象

下面是老师给的例子：

这里我总结了一下关于enum的用法（由于我的语言基本功不是特别扎实 所以特地复习了一下enum的用法） 具体请见我的另一篇文章：

http://www.jianshu.com/p/00e5f9a744e0

4.类模板声明中的小细节：

除了 copy constructor 之外，如果在类模板中需要使用刀这个类本身，比如定义operator=，那么应该使用其完整的定义，而不是省略类型T，

如下面例子：

---

template <typename T,std::size_t n> class Stack

{

 public:

   ...

   Stack(Stack<T,n> const&);  // copy constructor

   Stack<T> & operator= (Stack<T,n> const&);  // assignment operator

   ...

}

5.成员模板 （这一部分是上一个课程中侯捷老师的例子 非常经典 我把它记录在这里）

这是一个非常经典的例子 拷贝构造函数的成员函数模板  （这个例子非常经典 并且很难概括 需要自己对照下图仔细思考理解）在标准库（STL）中 大量的类的构造函数中 都用到这种成员模板 为的是使代码更有弹性

让我们再看另外一个例子（share pointer的例子 并且此例子中包含 多态）：