std::erase, std::erase_if(std::forward_list)
| Определён в заголовочном файле <forward_list>
|
||
template< class T, class Alloc, class U >
std::forward_list<T, Alloc>::size_type
erase( std::forward_list<T, Alloc>& c, const U& value );
|
(1) | (начиная с C++20) (до C++26) |
template< class T, class Alloc, class U = T >
std::forward_list<T, Alloc>::size_type
erase( std::forward_list<T, Alloc>& c, const U& value );
|
(начиная с C++26) | |
template< class T, class Alloc, class Pred >
std::forward_list<T, Alloc>::size_type
erase_if( std::forward_list<T, Alloc>& c, Pred pred );
|
(2) | (начиная с C++20) |
value из контейнера. Эквивалентно return c.remove_if([&](const auto& elem) -> bool { return elem == value; });.pred из контейнера. Эквивалентно return c.remove_if(pred);.Параметры
| c | - | контейнер, из которого производится удаление |
| value | - | значение для удаления |
| pred | - |
унарный предикат, который возвращает
true
если элемент должен быть удалён.
Выражение
pred
(
v
)
должно быть преобразуемо в
bool
для любого аргумента
|
Возвращаемое значение
Количество удалённых элементов.
Сложность
Линейный.
Примечания
В отличие от
std::forward_list::remove
,
erase
принимает гетерогенные типы и не принудительно преобразует их в тип значения контейнера перед вызовом оператора
==
.
| Макрос тестирования возможностей | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_algorithm_default_value_type
|
202403
|
(C++26) |
Списковая инициализация
для
std::erase
|
Пример
#include <complex>
#include <numeric>
#include <print>
#include <forward_list>
template<typename T>
struct std::formatter<std::complex<T>, char>
{
template<class ParseContext>
constexpr ParseContext::iterator parse(ParseContext& ctx)
{
return ctx.begin();
}
template<class FmtContext>
FmtContext::iterator format(const auto& s, FmtContext& ctx) const
{
auto out{std::format("({},{})", s.real(), s.imag())};
return std::ranges::copy(std::move(out), ctx.out()).out;
}
};
int main()
{
std::forward_list<char> cnt(10);
std::iota(cnt.begin(), cnt.end(), '0');
std::println("Initially, cnt = {}", cnt);
std::erase(cnt, '3');
std::println("After erase '3', cnt = {}", cnt);
auto erased = std::erase_if(cnt, [](char x) { return (x - '0') % 2 == 0; });
std::println("After erase all even numbers, cnt = {}", cnt);
std::println("Erased even numbers: {}", erased);
std::forward_list<std::complex<double>> nums{{2, 2}, {4, 2}, {4, 8}, {4, 2}};
#ifdef __cpp_lib_algorithm_default_value_type
std::erase(nums, {4, 2});
#else
std::erase(nums, std::complex<double>{4, 2});
#endif
std::println("After erase {{4, 2}}, nums = {}", nums);
}
Вывод:
Initially, cnt = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
After erase '3', cnt = [0, 1, 2, 4, 5, 6, 7, 8, 9]
After erase all even numbers, cnt = [1, 5, 7, 9]
Erased even numbers: 5
After erase {4, 2}, nums = [(2,2), (4,8)]
Отчеты о дефектах
Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 4135 | C++20 |
the return type of the lambda predicate used
was deduced from predicate arguments |
the return type is
explicitly specified as bool |
См. также
| удаляет элементы, удовлетворяющие определённым критериям (public функция-член) | |
| удаляет элементы, удовлетворяющие определённым критериям (шаблон функции & функциональный объект алгоритма) | |
(C++20)(C++20) |
|
(C++20)(C++20) |
удаляет элементы, удовлетворяющие определённым критериям (функциональный объект алгоритма) |