函数模板的定义和使用

函数模板的定义和使用

一.场景: 
在使用STL时, 经常使用std::vector, std::list 等等, 以std::vector为例
1. std::vector<int>, std::vector<double>, 在赋值的时候比较简单(因为C++ 已经实现了int和double的赋值操作符 =)
2. std::vector<int*>, std::vector<double*>, std::vector<someClass*>, 在这种情况下赋值就不一样了, 只是浅层拷贝, 你懂的. 如果你需要深层拷贝, 必须遍历源vector, 再new出新的对象, 在push_back到目标vector.
3. 这种深层拷贝的流程都是一致的, 就只是类型不同, 所以这里使用函数模板实现, 避免重复工作.
4. std::vector<int*>, std::vector<double*>, std::vector<someClass*> 也是需要深层delete


看下面代码
// .h File


typedef std::vector<int*> IntVector;
typedef IntVector::iterator IntVectorIterator;


template<typename TContainer, typename TItem>
void CopyPContainer(const TContainer& containerSrc, TContainer& containerTar)
{
        TContainer::const_iterator iter;
        for(iter = containerSrc.begin(); iter != containerSrc.end(); ++iter)
        {
                containerTar.push_back(new TItem(*(*iter)));
        }
}


template<typename TContainer, typename TItem>
void ReleasePContainer(const TContainer& containerSrc, TContainer& containerTar)
{
        TContainer::const_iterator iter;
        for(iter = containerSrc.begin(); iter != containerSrc.end(); ++iter)
        {
                delete ((TItem*)(*iter));
        }
}




// .cpp File 调用
IntVector vector1, vector2;
CopyPContainer<IntVector, int>(vector1, vector2);




二. 函数模板的声明和使用

1. 函数模板的声明

template<typename 数据类型参数标识符1 [, typename 数据类型参数标识符2, ...]>
<返回类型><函数名>(参数表)
{
    函数体
}

2. 使用

2.1
template<typename T>
T Add(T a, T b)
{
        T c = a + b;
        return c;
}


int a, b;
Add(a, b); // 上面的T经过编译器, 就编程int了(有一点像C中的宏).


2.2
template<typename T1, typename T2>
T2 Sub(T1 a, T1 b)
{
        T2 c = a / b;
        return c;
}


int a, b;
Sub<int, double>(a, b); // 因为模板函数的参数列表中没有使用到T2, 所以在调用的时候要显式增加.


三. ...