我是C/C++的新手。这篇文章介绍了在看《C++ Templates》第二章时的一点读后笔记。记下来，以便将来忘了能很快的回忆起来。期待高手的指教。

一：模板参数的推导。
简单的说，可以把模板看作一种类型，函数模板也不例外。既然是类型，那么我们在使用模板函数的时候就应该是使用它的一个实例。既然是类型与实例的关系，那么就应该有一个类型的实例化的问题。我们对普通类型进行实例化的时候通常需要提供必要的参数以，模板函数也不例外。只是模板函数的参数不是普通的参数，而是特定的类型。也就是说在实例化一个函数模板的时候需要以类型作为参数。通常，模板的参数分为模板参数和调用参数。例如：
其中，第一行定义了函数模板参数；第二行的函数参数则定义了调用参数，需要注意的是返回值并不属于函数模板的调用参数。

在调用一个模板的时候，最重要的是在调用的时候能正确的推导出模板参数。这里有几点要注意的：
1：显示的实例化函数模板。例如：
第十行，通过显示的指定模板参数为double而实例化了一个模板。
2：隐式的实例化一个函数模板。例如：
第8行，我们没有显示的指定函数模板参数，但它能自动的去推导出函数模板参数为int。
这里可能有个问题。如果非模板函数它的定义和推导后的模板函数实例一样，会产生什么结果呢？例如：
实际上，第14行的代码首先回去查看是否有满足要求的非模板函数；如果没有，再根据参数去匹配并实例化相应的模板函数。所以，它调用的应该是非模板的max函数。

3： 也可以使用部分缺省的模板参数。你不用指定全部的模板参数，比如，你可以从左到右的，指定一部分参数。例如：
上面的代码中，由于返回参数类型不属于调用参数，所以必须明确的指定它为double类型。而T1和T2属于调用参数，能从函数调用中推导出来。

二：模板函数的重载。
通普通函数一样，模版函数也可以重载。只是注意两点。
1：实例化后的模版函数如果和某个非模版函数的调用一样的情况，会调用非模版函数。但也可以指定调用模版函数，如：

2：由于模版函数的参数是类型，因此它不支持类型转化。但非模版函数支持类型转换：
试想上面的代码中，如果max('c', 42.2)要调用模板的max函数，它必须满足两个参数和返回值都是同一类型的条件。而给定的两个参数类型不一致，模板函数又不支持类型转换。因此，它找不到相匹配的模板函数，将会调用非模板的max函数。而如果我们强制使用max<>('c', 42.2)调用模板函数的话将会出现编译错误。

3：和指针有关的重载。

上面的代码有需要注意：1)：max(a, b)和max(s, t)调用的是同一个max模版函数。因为他们满足第一个模版函数的定义，只是类型不一样而已。
2)：max(p1, p2)的调用有点玄乎。可以参照我的另一篇笔记： 指针作为模板参数时参数类型的推导问题
3)：max(s1, s2)会调用第三个非模版的max函数。不会使用第二个模版函数产生新的实例。

三：非常重要的一点，使用指针的时候千万要注意不要返回临时变量的指针。参见我的另一篇笔记：
使用模板函数返回临时变量的指针的问题