Руководства по выводу типов для std::unordered_set
Определено в заголовке <unordered_set> | ||
|---|---|---|
template<
class InputIt,
class Hash = std::hash<typename std::iterator_traits<InputIt>::value_type>,
class Pred = std::equal_to<typename std::iterator_traits<InputIt>::value_type>,
class Alloc = std::allocator<typename std::iterator_traits<InputIt>::value_type> >
unordered_set( InputIt, InputIt,
typename /* see below */::size_type = /* see below */,
Hash = Hash(), Pred = Pred(), Alloc = Alloc() )
-> unordered_set<typename std::iterator_traits<InputIt>::value_type,
Hash, Pred, Alloc>;
| (1) | (с C++17) |
template< class T,
class Hash = std::hash<T>,
class Pred = std::equal_to<T>,
class Alloc = std::allocator<T> >
unordered_set( std::initializer_list<T>,
typename /* see below */::size_type = /* see below */,
Hash = Hash(), Pred = Pred(), Alloc = Alloc() )
-> unordered_set<T, Hash, Pred, Alloc>;
| (2) | (с C++17) |
template< class InputIt, class Alloc >
unordered_set( InputIt, InputIt, typename /* see below */::size_type, Alloc )
-> unordered_set<typename std::iterator_traits<InputIt>::value_type,
std::hash<typename std::iterator_traits<InputIt>::value_type>,
std::equal_to<typename std::iterator_traits<InputIt>::value_type>,
Alloc>;
| (3) | (с C++17) |
template< class InputIt, class Hash, class Alloc >
unordered_set( InputIt, InputIt, typename /* see below */::size_type, Hash, Alloc )
-> unordered_set<typename std::iterator_traits<InputIt>::value_type, Hash,
std::equal_to<typename std::iterator_traits<InputIt>::value_type>,
Alloc>;
| (4) | (с C++17) |
template< class T, class Alloc >
unordered_set( std::initializer_list<T>, typename /* see below */::size_type, Alloc )
-> unordered_set<T, std::hash<T>, std::equal_to<T>, Alloc>;
| (5) | (с C++17) |
template< class T, class Hash, class Alloc >
unordered_set( std::initializer_list<T>, typename /* see below */::size_type,
Hash, Alloc )
-> unordered_set<T, Hash, std::equal_to<T>, Alloc>;
| (6) | (с C++17) |
template< ranges::input_range R,
class Hash = std::hash<ranges::range_value_t<R>>,
class Pred = std::equal_to<ranges::range_value_t<R>>,
class Alloc = std::allocator<ranges::range_value_t<R>> >
unordered_set( std::from_range_t, R&&,
typename /* see below */::size_type = /* see below */,
Hash = Hash(), Pred = Pred(), Alloc = Alloc() )
-> unordered_set<ranges::range_value_t<R>, Hash, Pred, Alloc>;
| (7) | (с C++23) |
template< ranges::input_range R, class Alloc >
unordered_set( std::from_range_t, R&&,
typename /* see below */::size_type, Alloc )
-> unordered_set<ranges::range_value_t<R>, hash<ranges::range_value_t<R>>,
std::equal_to<ranges::range_value_t<R>>, Alloc>;
| (8) | (с C++23) |
template< ranges::input_range R, class Alloc >
unordered_set( std::from_range_t, R&&, Alloc )
-> unordered_set<ranges::range_value_t<R>, hash<ranges::range_value_t<R>>,
std::equal_to<ranges::range_value_t<R>>, Alloc>;
| (9) | (с C++23) |
template< ranges::input_range R, class Hash, class Alloc >
unordered_set( std::from_range_t, R&&,
typename /* see below */::size_type, Hash, Alloc )
-> unordered_set<ranges::range_value_t<R>, Hash,
std::equal_to<ranges::range_value_t<R>>, Alloc>;
| (10) | (с C++23) |
1-6) Эти руководства по выводу типов предоставляются для
unordered_set для вывода типа из диапазона итераторов (перегрузки (1,3,4)) и std::initializer_list (перегрузки (2,5,6)). Эта перегрузка участвует в разрешении перегрузки только если InputIt удовлетворяет LegacyInputIterator, Alloc удовлетворяет Allocator, ни Hash ни Pred не удовлетворяют Allocator, а Hash не является целочисленным типом.
7-10) Эти руководства по выводу типов предоставляются для
unordered_set для вывода типа из std::from_range_t и input_range.Примечание: степень, в которой библиотека определяет, что тип не удовлетворяет LegacyInputIterator, не определена, за исключением того, что целочисленные типы не являются входными итераторами по минимуму. Аналогично, степень, в которой библиотека определяет, что тип не удовлетворяет Allocator, не определена, за исключением того, что по минимуму член-тип Alloc::value_type должен существовать, а выражение std::declval<Alloc&>().allocate(std::size_t{}) должно быть допустимым, когда оно рассматривается как невычисляемое операнд.
Тип параметра size_type в этих руководствах относится к члену-типу size_type типа, выведенного руководством по выводу.
Примечания
| Макрокоманда проверки наличия функции | Значение | Std | Функция |
|---|---|---|---|
__cpp_lib_containers_ranges | 202202L | (C++23) | Поддержка Ranges конструкций и вставок; перегрузки (7-10) |
Пример
#include <unordered_set>
int main()
{
// guide #2 deduces std::unordered_set<int>
std::unordered_set s = {1, 2, 3, 4};
// guide #1 deduces std::unordered_set<int>
std::unordered_set s2(s.begin(), s.end());
}
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/container/unordered_set/deduction_guides
