Исходный файл не находит соответствующую функцию, как исправить?

Question

[zenz]

Шаблон в заголовочном файле:

//"remove_copys.h"
template <class In, class X> void remove_copys(In begin, In end, In bk(In), const X& x) 
{
	In cont;
	if (*begin != x)
		bk(cont);
	++begin;
};

Исходный файл:

#include<vector>
#include<iostream>
#include<string>
#include "remove_copys.h"

using namespace std;

int main() {
	int x;
	vector<int> vec = { 1, 2, 3, 0, 0, 0, 4 };
	vector<int> vec1 = { 4, 0, 2, 3, 4 };
	
	remove_copys(vec.begin(), vec.end(), back_inserter(vec1), 0);
	for (vector<int>::iterator it = vec1.begin(); it != vec1.end(); ++it)
		cout << *it << endl;
}

Comments

[Евгений Шатунов]

zenz , так а ошибки тебе какие транслятор пишет?

[zenz]

не найдена соответствующая перегруженная функция

[Wataru]

zenz, Нет, там точно что-то еще написано. Например, какой именно параметр он не может сматчить в шаблоне. Это сообщение компилятора должно вам однозначно намекнуть, что проблема в одном из ваших параметров в шаблонной функции. Конкретно в третьем. Посмотрите, какой тип имеет back_inserter и подумайте, каким образом оно может привестись к вашему параметру?

[zenz]

Wataru, больше ошибок не было. Back_inserter должен возвращать итератор, не подскажите, как это в шаблоне реализовать? Просто добавить ещё один шаблонный класс?

[Wataru]

zenz, Ну, так же, как у вас InputIterator'ы передаются - обозначте его, ну не знаю, Out. У него в коде функции можно будет делать присвоение и инкрементирование.

[zenz]

Wataru, спасибо большое

[Евгений Шатунов]

zenz, небольшой совет тебе на будущее.
П3.8 регламента запрещает публикацию текста в изображениях. Многие люди, как и я, просто отказываются вчитываться в том мыло, которое ты опубликовал. Лично мне мои глаза дороже ответа тебе.
Поведение в нарушение правил бросает обществу вызов, поэтому такое поведение и называется вызывающим. Я просто советую тебе не заниматься этим.

Окно вывода ошибок не всегда является информативным. В твоем случае куда более информативным будет являться лог сборки проекта. И там, в твоей ситуации, действительно больше написано чем ты показываешь. Я от тебя ожидал ошибки именно из лога сборки.

По коду твоего шаблона. Если его суть действительно в удалении копий переданного значения, то тебе не нужен третий параметр в сигнатуре функции. Вместо этого тебе нужно возвращать итератор нового окончания диапазона.
В функцию ты передаешь диапазон в виде двух итераторов. В теле функции ты заводишь еще один локальный итератор от начала диапазона. В цикле по элементам диапазона: если нашелся дубликат - просто переходим к следующему элементу; если локальный итератор и итератор текущего элемента одинаковы - двигаем локальный итератор дальше; иначе перемещаем значение текущего элемента в позицию локального итератора и двигаем локальный итератор дальше. В конце функции возвращаем значение локального итератора как значение нового конца диапазона.
В момент обнаружения дубликата позиция локального итератора и текущего элемента диапазона разбегутся, а в конце цикла дистанция разбежки между локальным итератором и концом диапазона будет означать количество обнаруженных дубликатов.

[zenz]

Евгений Шатунов, спасибо. Цель функции была скопировать ненулевые элементы одного контейнера в другой, в общем написать свою функцию remove_copy. Мне уже подсказали, что back_inserter возвращает итератор, а мое создание локального итератора было ошибкой. Исправленная версия уже ошибок не выдает. Спасибо за помощь, про лог проекта я теперь знаю
:

template <class In, class X, class Out> Out remove_copys(In begin, In end, Out iterator, const X& x)
{
       while (begin != end) {
		if (*begin != x) {
			*iterator = *begin;
			++iterator;
		}
		++begin;
	}	
	return iterator;
};

[Евгений Шатунов]

zenz,

в общем написать свою функцию remove_copy

Смысл фразы "Remove Copies" буквально означает удаление копий. Возникают вопросы: откуда будут удалены копии, копии чего нужно удалить, как именно удалять копии и так далее. Из параметров алгоритма с таким именем сразу будет ясно что копии удаляются из переданного диапазона и удаляться будут те копии, которые соответствуют переданному аргументу. В стандарте такой алгоритм называется std::remove_if[?].

Цель функции была скопировать ненулевые элементы одного контейнера в другой

Такая функция не может называться "Remove Copies", это противоречит смыслу этой фразы.
Такая функция может называться или "Filter by Condition", или "Copy If Condition". Собственно, в стандарте такой алгоритм называется std::copy_if[?].

Понимаешь разницу смыслов? Ты хочешь копировать элементы по условию, а не удалять копии элемента.
Грамотное отражение смыслов конструкций в их названиях лежит в самой основе всей инженерии ПО. Этому лучше начинать учиться как можно раньше.

Answer 1

[FoxOne]

Мне кажется, что у вас в remove_copys не хватает цикла... (cont не инициализирован, end не используется..., что-то не дописано)
Может надо что-то типа

template <class In, class X>
void remove_copys(In begin, In end, In bk(In), const X& x) 
{
while( begin!=end ) {
  if (*begin != x)
    bk(begin);
  ++begin;
  }
};

B чем не угодил штатный std::copy_if ?

Или это вообще не компилируется? Тогда ищите проблему в путях для include, где что лежит и прочее

Comments

[zenz]

спасибо, проблема уже решилась, функция выглядит так:

template <class In, class X> void remove_copies(In begin, In end, In bk(In), const X& x) 
{
	In cont;
	if (*begin != x)
		bk(cont);
	++begin;
};

std::copy_if более чем устраивает, целью написания функции было научиться писать шаблонные функции и заодно лучше понять, как работают некоторые функции стандартной библиотеки (по сути эта функция копия remove_copy)