руководства по выведению аргументов шаблона для std::unordered_multiset
Определён в заголовке <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_multiset( InputIt, InputIt,
typename /* see below */::size_type = /* see below */,
Hash = Hash(), Pred = Pred(), Alloc = Alloc() )
-> unordered_multiset<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_multiset( std::initializer_list<T>,
typename /* see below */::size_type = /* see below */,
Hash = Hash(), Pred = Pred(), Alloc = Alloc() )
-> unordered_multiset<T, Hash, Pred, Alloc>;
| (2) | (начиная с C++17) |
template< class InputIt, class Alloc >
unordered_multiset( InputIt, InputIt, typename /* see below */::size_type, Alloc )
-> unordered_multiset<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_multiset( InputIt, InputIt, typename /* see below */::size_type, Hash, Alloc )
-> unordered_multiset<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_multiset( std::initializer_list<T>, typename /* see below */::size_type, Alloc )
-> unordered_multiset<T, std::hash<T>, std::equal_to<T>, Alloc>;
| (5) | (начиная с C++17) |
template< class T, class Hash, class Alloc >
unordered_multiset( std::initializer_list<T>, typename /* see below */::size_type,
Hash, Alloc )
-> unordered_multiset<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_multiset( std::from_range_t, R&&,
typename /* see below */::size_type = /* see below */,
Hash = Hash(), Pred = Pred(), Alloc = Alloc() )
-> unordered_multiset<ranges::range_value_t<R>, Hash, Pred, Alloc>;
| (7) | (начиная с C++23) |
template< ranges::input_range R, class Alloc >
unordered_multiset( std::from_range_t, R&&,
typename /* see below */::size_type, Alloc )
-> unordered_multiset<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_multiset( std::from_range_t, R&&, Alloc )
-> unordered_multiset<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_multiset( std::from_range_t, R&&,
typename /* see below */::size_type, Hash, Alloc )
-> unordered_multiset<ranges::range_value_t<R>, Hash,
std::equal_to<ranges::range_value_t<R>>, Alloc>;
| (10) | (начиная с C++23) |
1-6) Эти руководства по выведению аргументов шаблона предоставляются для
unordered_multiset, чтобы обеспечить выведение по диапазону итераторов (перегрузки (1,3,4)) и std::initializer_list (перегрузки (2,5,6)). Эта перегрузка участвует в разрешении перегрузки только в том случае, если InputIt удовлетворяет требованиям LegacyInputIterator, Alloc удовлетворяет требованиям Allocator, ни Hash, ни Pred не удовлетворяют требованиям Allocator, а Hash не является целочисленным типом.
7-10) Эти руководства по выведению аргументов шаблона предоставляются для
unordered_multiset, чтобы обеспечить выведение по тегу 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) | Построение и вставка с поддержкой диапазонов; перегрузки (7-10) |
Пример
#include <unordered_set>
int main()
{
// guide #2 deduces std::unordered_multiset<int>
std::unordered_multiset s = {1, 2, 3, 4};
// guide #1 deduces std::unordered_multiset<int>
std::unordered_multiset 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_multiset/deduction_guides
