设计一个泛型算法

算法的目的很简单,找出小于(大于)elem_size的元素并打印.

先贴上代码:

#include <algorithm> //泛型算法
#include <functional> //function object
#include <vector>
#include <iostream>

using namespace std;

template <typename InputIterator,typename OutputIterator,
      typename ElemType,     typename Comp >
    
OutputIterator 
filter(InputIterator first,InputIterator last,
       OutputIterator at, const ElemType &val,Comp pred)  
{
    //从first到last的地址搜索小于(或大于)val对象的对象,找到后把该对象地址赋给first
    while((first=find_if(first,last,bind2nd(pred,val)))!=last)
    {
        cout << " found value :" << *first <<endl;
        
        *at++=*first++;
    }

    return at;
}

int main()
{
    const int elem_size = 8;
    //数组测试
    int ia[elem_size]={12,8,43,0,6,21,3,7};

    int ia2[elem_size];
    //vector测试
    vector<int> ivec(ia,ia+elem_size);
    vector<int> ivec2(elem_size);

    cout << "less than 8 ";
    filter(ia,ia+elem_size,ia2,elem_size,less<int>());

    cout << "greater than 8 ";
    filter(ivec.begin(),ivec.end(),ivec2.begin(),elem_size,greater<int>());

    return 0;
}

几点说明:

1.函数与元素型别无关,与比较操作无关,更和容器型别无关,这样,函数就初步转化为一个泛型算法了.

2.function object adapter 会对 function object 进行修改操作.上例中bind2nd会将指定值绑定至第二操作数,即val成为pred function object的第二个参数,同理bind1st将指定值绑定至第一操作数.

3.上例中的OutputIterator filter 函数中的OutputIterator对应参数并没有使用引用,因为cout操作是在此函数内进行,所以不需要使用对象的引用.