руководства по выводу типа для 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 типа, выведенного руководством по выводу типа.
Примечания
| Макрос проверки поддержки возможности | Значение | Стандарт | Возможность |
|---|---|---|---|
__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/cpp/container/unordered_set/deduction_guides
