<@乌龟:>浅谈STL中自己实现模板函数

    采用STL来实现模板函数是非常简洁美观的，本文后面的一些内容将对这点进行一些简单的总结和讨论，如果想比较好的理解本文的内容，最好具备函数模板和STL的一些基本知识。

    函数模板中最好多用迭代器（Iterators）来作为参数进行传递，迭代器可以简单的认为类似于指向数组的某个元素的指针。原因是这样可以做到非常的通用，比如到底参数是来自vector，list，或者set都是不重要的。首先要知道规范的命名。

    迭代器类型的缩写

缩写	含义
In	输入迭代器
Out	输出迭代器
Fwd	前向迭代器
Bid	双向迭代器
Rand	随机访问迭代器

 

    在泛型算法中，同样需要注意的是传入的算符，算符相当于是一个函数，比如需要写一个CopyIf即选择性复制的算法，需要把一个int型的vector小于x的元素复制到另外一个vector中，就需要一个函数来判断是否里面元素的值小于x。一般来说，算符规范的命名为：

   算符类型

缩写	含义
UnPred	一元断言，带一个参数并返回布尔值
BinPred	二元断言，带两个参数并返回布尔值
UnFunc	一元函数，带一个参数并返回任意值
BinFunc	二元函数，带两个参数并返回任意值

   

    下面是一个简单的示例程序，实现了一个CopyIf的程序

 

# include <vector>
# include <list>
# include <string>
# include <iostream>
# include <algorithm>

using namespace std;

bool UnPredIsLess(int a)
{
    if (a < 3) { return true; }
    else { return false; }
}

//选择性赋值的泛型算法
template <typename In, typename Out, typename UnPred>
void CopyIf(In first, In last, Out result, UnPred pred)
{
    for (; first != last; first++)
    {
        if (pred(first))
        {
            *result ++ = *first;
        }
    }
}

int main()
{
    vector<int> vec1;
    vec1.push_back(1);
    vec1.push_back(2);
    vec1.push_back(3);
    vec1.push_back(4);
    vec1.push_back(5);

    vector<int> vec2;

    CopyIf(vec1.begin(), vec1.end(), back_inserter(vec2), UnPredIsLess);

    for (vector<int>::iterator p = vec2.begin();
        p != vec2.end(); p ++)
    {
        cout << *p << endl;
    }

    string end;
    cin >> end;
}

    UnPredLess就是一个一元断言，将a与3比较，该CopyIf的功能就是将一个序列的值小于3的复制到另一个序列中。在这个程序里面，具体是采用的vector还是list还是set是没有关系的。断言可以是函数或者伪函数来实现，伪函数就是一个重载了运算符的类

    back_inserter是另外一个需要注意的地方，采用这种写法可以不显式的指定第二个序列的大小，这个方法自动会调用push_back函数加入到序列的末端。