12.29--C++模板与泛型编程--《C++ Primer》学习

今天学习第16章《模板与泛型编程》 感觉脑子有点模模糊糊的，效率不是很高，赶快写一下学习日志备忘。

模板其实在java中用的也多了，但是C++的没用过，感觉有点虚。

其实的确是差不多的用法，所以记几个点好了。

1. 模板形参表，即template <typename T...> 或 template <class T...>

2. 使用函数模板或类模板时，是编译器根据不同的实参类型进行实例化的过程。具体机理还没有看到。

3.  inline函数模板： inline写在形参表之后。

4. 模板形参的作用域：模板形参的作用域即为其后所跟随的{ }中，个人理解。会屏蔽全局名字，比如typedef double T

5. 有两种模板形参：类型形参 与 非类型形参

    类型模板形参也就是class或typename T的那种，在函数或类的定义中使用其作为类型。

    非类型模板形参类似一般的函数的形参，如int n, float s等等。

6. 类型形参中需要注意的一点：如果要在模板定义的内部使用指定类型，即在类型T中可能存在定义了的类型K，如果要使用类型K，则：

如：

template <class T>

T function(T* arrray)

{

     T::size_type * p;

}

也就是说T中可能定义了类型size_type,但是编译器未必知道，他会默认size_type是一个对象，然后结果就是做乘法操作，所以这里要显式的定义，方法是在前面加上typename。  typename T::size_type * p;

7. 至于非类型模板形参

我今晚试了一下，几乎完全按照书的代码，结果却报错了。等完成后再补上来吧。

8. 今晚做的测试程序，还有一个发现或者猜测是，int x[10] 这样定义的数组跟 用指针来定义的数组必然是有很大区别的，除了所谓的const的区别之外，还有就是关于10这个数组长度，会不会寄存器是会有保存的呢？ 只是猜想。

（明日继续）