C++_Primer 16.1 模板定义

函数模板

一.注意事项：

1.1 模板类型形参跟一般的形参类似，具有屏蔽外围变量类型的作用，在模板中，T表示的是模板类型，而不是double。

typedef double T;
template <typename T>
T foo(const T &val)
{
T tmp = val;
return tmp;
}

1.2 模板形参的名字不能在模板内部重用：

typedef double T；
template <typename T>
T foo(const T &a)
{
typedef double T；//error
return a;
}

1.3 我们可以在模板内部定义自己的类型成员：

//使用迭代器打印容器元素
template <typename T>
void print_by_iter(T& c)
{
typename T::iterator iter = c.begin();  // 加 typename 避免二义性
while(iter != c.end())
{
cout<<*iter++<<"\t";
}
}

最好在定义类型前加上typenme关键字告诉编译器，你指定的是一个类型。在我们的例子中，不加的话也是能够顺利执行的，但对于有的情况，就必须加上了，比如：T::size_type  * p， 这句代码就有二义性了：如果size_type是一种类型，那么这里应该是声明了指向一个类型的指针的类型；如果它是一个对象，那么这里就是在做乘法运算。而编译器会默认的将它当做对象处理。

1.4 模板参数不必都是类型，我们也可以定义非类型模板形参。

//打印数组
template <typename T,size_t N>
void printValue(const T (&parm)
)
{
for(std::size_t i = 0;i != N ; i++)
cout<<parm[i]<<endl;
}

二.编程建议：

2.1 模板的形参使用const引用。因为使用引用，可以避免那些不能复制的类型不能调用模板（比如流），而且如果调用模板的对象比较大，那么可以省去复制的代价。
2.2 函数体中的测试只用
“<” 比较。因为有些类型不一定支持>操作. 这是一种泛型编程的习惯。类似的习惯还有：可以用“==”或者“!=”判断时，不用<一样。比如在for循环时，最好使用=！来当条件，而不是小于。

转载于：点击打开链接