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)[N])  
{  
    for(std::size_t i = 0;i != N ; i++)  
        cout<<parm[i]<<endl;  
} 

二.编程建议：

2.1  模板的形参使用const引用。因为使用引用，可以避免那些不能复制的类型不能调用模板（比如流），而且如果调用模板的对象比较大，那么可以省去复制的代价。

2.2 函数体中的测试只用 “<” 比较。因为有些类型不一定支持>操作. 这是一种泛型编程的习惯。类似的习惯还有：可以用“==”或者“!=”判断时，不用<一样。比如在for循环时，最好使用=！来当条件，而不是小于。

转载于：点击打开链接