std::erase, std::erase_if(std::forward_list)

Определено в заголовочном файле <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)

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)

1) Удаляет из контейнера все элементы, равные value. Эквивалентно return c.remove_if([&](const auto& elem) -> bool { return elem == value; });.

2) Удаляет из контейнера все элементы, удовлетворяющие предикату pred. Эквивалентно return c.remove_if(pred);.

Параметры

c	-	контейнер, из которого удаляются элементы
value	-	значение, которое требуется удалить
pred	-	унарный предикат, который возвращает `true`, если элемент следует удалить. Выражение `pred(v)` должно преобразовываться к типу `bool` для каждого аргумента `v` типа (возможно, const-квалифицированного) `T` независимо от категории значения и не должно изменять `v`. Таким образом, тип параметра `T&`не допускается, как и `T`, за исключением случая, когда для `T` перемещение эквивалентно копированию(начиная с C++11).

Возвращаемое значение

Количество удалённых элементов.

Сложность

Линейная.

Примечания

В отличие от std::forward_list::remove, erase принимает разнородные типы и не приводит их к типу значения контейнера перед вызовом оператора ==.

Макрос проверки поддержки возможности	Значение	Стандарт	Возможность
`__cpp_lib_algorithm_default_value_type`	`202403`	(C++26)	Инициализация списком для алгоритма (1)

Пример

#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	Применяется к	Поведение согласно опубликованной версии	Корректное поведение
LWG 4135	C++20	тип возвращаемого значения лямбда-предиката выводился из аргументов предиката	тип возвращаемого значения явно задан как bool

См. также

removeremove_if	удаляет элементы, удовлетворяющие определённым критериям (открытая функция-член)
removeremove_if	удаляет элементы, удовлетворяющие определённым критериям (шаблон функции и объект-функция алгоритма)
ranges::removeranges::remove_if (C++20)(C++20)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/container/forward_list/erase2