Не могу разобраться в функции.

[Вовастый]

Функция filter() ищет элементы в исходном контейнере, значения которых соответствуют условию (значению), переданному в функцию при ее вызове, потом копирует найденные значения элементов в целевой контейнер.
Беда в том, что если копировать элементы с исходного контейнера в целевой посредством присваивания, программа работает, но при этом нужно объявлять вектор и указывать его размер, а так как размер вектора может превышать реальное количество элементов в нем, логичным выглядит копирование посредством вставки нового элемента в контейнер баз объявленного размера, но тут у меня возникли трудности и мне срочно нужна подсказка, так как сам я это пока не осилю. Заранее спасибо.

#include "stdafx.h"
#include <iostream>
#include <vector>
#include <algorithm>
#include <iterator>
#include <functional>

using namespace std;

//шаблон функции filter 
template <typename InputIterator, typename OutputIterator,
		  typename ElemType, typename Comp>
OutputIterator filter(InputIterator first, OutputIterator last,
	OutputIterator at, const ElemType &val, Comp pred)
{
	while((first = find_if(first, last, bind2nd(pred, val))) != last)
	{
		cout << "найдено: " << *first << endl;
		*at++ = *first++;
	}
	return at;
}


int _tmain(int argc, _TCHAR* argv[])
{
	setlocale(LC_ALL, "Rus");

	const int elem_size = 8;

	int ia[elem_size] = {12, 8, 43, 0, 6, 21, 3, 7};
	vector<int> ivec(ia, ia+elem_size);

	int ia2[elem_size];
//не задаю размер вектора, так как буду использовать вставку элементов вместо присваивания...
	vector<int> ivec2;

	cout << "отфильтровываю из массива числа меньше 8\n";
	filter(ia, ia+elem_size, ia2, elem_size, less<int>());

	cout << "отфильтровываю из массива числа больше 8)\n";
//...но к сожалению функция не работает со вставкой
	filter(ivec.begin(), ivec.end(), back_inserter(ivec2), elem_size, greater<int>());
	return 0;
}