Как передать в лямбда функцию два аргумента?

Question

[originalnii]

Имею метод, который должен из некоторой базы данных удалять записи, соответствующие условию:

template <class F>
	int RemoveIf(F predicate) 
	{
		int count = 0;
		for (auto item : storage)
		{
			auto mark = stable_partition(item.second.begin(), item.second.end(), predicate(item.first, string event_));
			count += distance(mark, item.second.end());
			item.second.erase(mark, item.second.end());
		}
		return count;
	}

Здесь storage - это map<Date, set<string>> (Date - свой тип данных), а predicate - лямбда-функция. И вот в чём проблема. Я знаю, что если в stable_partition передать некоторый диапазон, то в качестве аргумента в функцию сравнения он будет передавать все элементы этого диапазона по очереди. Но моей лямбда-функции нужны два аргумента. И менять её, скорее всего, нельзя. Выглядит она так:

auto predicate = [condition](const Date& date, const string& event) {
                return condition->Evaluate(date, event);
            };

Отсюда вопрос. Как передать два аргумента в лямбда-функцию?

Answer 1

[Wataru]

Вам поможет std::bind.

Передавайте в partition

std::bind(predicate, item.first, std::placeholders::_1)

в качестве предиката.

Edit:

Но тут у вас будет другая проблема. set - не vector. Вы не сможете его передать stable_partition. Вместо ручного применения stable_partition, используйте erase_if. Предикат туда также через std::bind передавайте.

Comments

[originalnii]

Благодарю. Проблема в том, что составители задачи сделали акцент на времени выполнения, и очень жирно намекнули на то, что быстрее будет отсортировать контейнер и срезать часть, чем удалять каждый подходящий элемент отдельно. Но тут я уже смогу разобраться, ведь set - это не обязательное условие. Поменяю его на vector, и адаптирую остальной код к этому. Ну или как то ещё, если дальнейшее решение будет требовать.
Вопрос чистого любопытства: std::placeholders::_1 - это указатель на текущий элемент, который просматривает stable_partition?
И да, если я и так работаю в пространстве имён std, то его можно не указывать перед bind и placeholders? Просто я до сих пор не могу понять, когда using namespace std; в начале файла достаточно, а когда - нет.

[Wataru]

originalnii,
Вообще-то, без разницы, что у вектора erase_if вызывать, что у set, что у вектора через partition удалять - время одинаково линейное. Я вообще подозреваю, что vector::erase_if внутри себя partition вызывает. Не городите лишний код, пишите через erase_if. Я подозреваю, что vector::erase_if будет немного быстрее засчет особенностей работы процессора, но это какие-то проценты ускорения.

Если вам известно какое-то особое свойство предиката (типа, если строка X подошла, то все строки большие ее - тоже подойдут), то можно думать над чем-то более быстрым. Например, поддерживать вектор отсортированным и через бинарный поиск найти первую удаляемую строку и потом просто изменить size у вектора, без деаллокаций и удаления элементов. Но тут встает вопрос баланса - а как строки в этот вектор попадают и меняется ли он где-либо еще. Может там из-за сортированности массива будет сильно хуже. А сортировать вектор перед удалениями будет медленнее текущего метода.

Вопрос чистого любопытства: std::placeholders::_1 - это указатель на текущий элемент, который просматривает stable_partition?

Да. Почитайте по ссылке в документации. _1 будет аргументом переданным предикату внутри partition или erase_if. Это все элементы контейнера по одному.

если я и так работаю в пространстве имён std, то его можно не указывать

Да, можно не указывать. Всегда достаточно в начале файла указать и внутри нигде не писать std::. Но лучше этого не делать. От лишних std:: пальцы не отвалятся, а выстрелить себе в ногу шансов меньше.

Edit: изменил начало.