std::list<T,Allocator>::unique

	(1)
void unique();		(до C++20)
size_type unique();		(с C++20)
	(2)
template< class BinaryPredicate > void unique( BinaryPredicate p );		(до C++20)
template< class BinaryPredicate > size_type unique( BinaryPredicate p );		(с C++20)

Удаляет все последовательные дублирующиеся элементы из контейнера. Оставляет только первый элемент в каждой группе равных элементов. Делает недействительными только итераторы и ссылки на удаленные элементы.

1) Использует operator== для сравнения элементов.

2) Использует p для сравнения элементов.

Поведение не определено, если соответствующий компаратор не устанавливает отношение эквивалентности.

Параметры

бинарный предикат, который возвращает true , если элементы должны рассматриваться как равные.

Подпись функции-предиката должна быть эквивалентна следующей:

bool pred(const Type1 &a, const Type2 &b);

Хотя подпись не должна содержать const &, функция не должна изменять объекты, передаваемые ей, и должна уметь принимать все значения типа (возможно const) Type1 и Type2 независимо от категории значения (следовательно, Type1 & не допускается, также как и Type1 за исключением случаев, когда для Type1 перемещение эквивалентно копированию(с C++11)).
Типы Type1 и Type2 должны быть такими, чтобы объект типа list<T,Allocator>::const_iterator можно было разыменовать, а затем неявно преобразовать в оба из них.

Требования к типу

-BinaryPredicate должно удовлетворять требованиям Бинарного предиката.

Значение результата

(нет)	(до C++20)
Количество удаленных элементов.	(с C++20)

Сложность

Если empty() равно true, сравнение не выполняется.

В противном случае, учитывая \(\scriptsize N\)N как std::distance(begin(), end()):

1) Точно \(\scriptsize N-1\)N-1 сравнения с использованием operator==.

2) Точно \(\scriptsize N-1\)N-1 применения предиката p.

Примечания

Макро-тест на наличие функции	Значение	Стандарт	Функция
`__cpp_lib_list_remove_return_type`	201806L	(C++20)	Изменение типа возвращаемого значения

Пример

#include <iostream>
#include <list>
 
std::ostream& operator<< (std::ostream& os, std::list<int> const& container)
{
    for (int val : container)
        os << val << ' ';
    return os << '\n';
}
 
int main()
{
    std::list<int> c{1, 2, 2, 3, 3, 2, 1, 1, 2};
    std::cout << "Before unique(): " << c;
    const auto count1 = c.unique();
    std::cout << "After unique():  " << c
              << count1 << " elements were removed\n";
 
    c = {1, 2, 12, 23, 3, 2, 51, 1, 2, 2};
    std::cout << "\nBefore unique(pred): " << c;
 
    const auto count2 = c.unique([mod = 10](int x, int y)
    {
        return (x % mod) == (y % mod);
    });
 
    std::cout << "After unique(pred):  " << c
              << count2 << " elements were removed\n";
}

Вывод:

Before unique(): 1 2 2 3 3 2 1 1 2
After unique():  1 2 3 2 1 2
3 elements were removed
 
Before unique(pred): 1 2 12 23 3 2 51 1 2 2
After unique(pred):  1 2 23 2 51 2
4 elements were removed

Отчеты об ошибках

Следующие отчеты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

DR	Применено к	Поведение, опубликованное ранее	Правильное поведение
LWG 1207	C++98	неясно, будут ли итераторы и/или ссылки аннулированы	аннулируются только итераторы и ссылки на удаленные элементы

См. также

unique

удаляет последовательные дублирующиеся элементы в диапазоне
(функция-шаблон)

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