руководства по выводу типов для std::flat_map
Определено в заголовочном файле <flat_map> | ||
|---|---|---|
template< class KeyContainer, class MappedContainer,
class Compare = std::less<typename KeyContainer::value_type> >
flat_map( KeyContainer, MappedContainer, Compare = Compare() )
-> flat_map<typename KeyContainer::value_type,
typename MappedContainer::value_type,
Compare, KeyContainer, MappedContainer>;
| (1) | (начиная с C++23) |
template< class KeyContainer, class MappedContainer, class Allocator >
flat_map( KeyContainer, MappedContainer, Allocator )
-> flat_map<typename KeyContainer::value_type,
typename MappedContainer::value_type,
std::less<typename KeyContainer::value_type>,
KeyContainer, MappedContainer>;
| (2) | (начиная с C++23) |
template< class KeyContainer, class MappedContainer,
class Compare, class Allocator >
flat_map( KeyContainer, MappedContainer, Compare, Allocator )
-> flat_map<typename KeyContainer::value_type,
typename MappedContainer::value_type,
Compare, KeyContainer, MappedContainer>;
| (3) | (начиная с C++23) |
template< class KeyContainer, class MappedContainer,
class Compare = std::less<typename KeyContainer::value_type> >
flat_map( std::sorted_unique_t, KeyContainer, MappedContainer,
Compare = Compare() )
-> flat_map<typename KeyContainer::value_type,
typename MappedContainer::value_type,
Compare, KeyContainer, MappedContainer>;
| (4) | (начиная с C++23) |
template< class KeyContainer, class MappedContainer, class Allocator >
flat_map( std::sorted_unique_t, KeyContainer, MappedContainer,
Allocator )
-> flat_map<typename KeyContainer::value_type,
typename MappedContainer::value_type,
std::less<typename KeyContainer::value_type>,
KeyContainer, MappedContainer>;
| (5) | (начиная с C++23) |
template< class KeyContainer, class MappedContainer,
class Compare, class Allocator>
flat_map( std::sorted_unique_t, KeyContainer, MappedContainer,
Compare, Allocator )
-> flat_map<typename KeyContainer::value_type,
typename MappedContainer::value_type,
Compare, KeyContainer, MappedContainer>;
| (6) | (начиная с C++23) |
template< class InputIt,
class Compare = std::less</*iter-key-t*/<InputIt>> >
flat_map( InputIt, InputIt, Compare = Compare() )
-> flat_map</*iter-key-t*/<InputIt>,
/*iter-mapped-t*/<InputIt>, Compare>;
| (7) | (начиная с C++23) |
template< class InputIt,
class Compare = std::less</*iter-key-t*/<InputIt>> >
flat_map( std::sorted_unique_t, InputIt, InputIt,
Compare = Compare() )
-> flat_map</*iter-key-t*/<InputIt>,
/*iter-mapped-t*/<InputIt>, Compare>;
| (8) | (начиная с C++23) |
template< ranges::input_range R,
class Compare = std::less</*range-key-t*/<R>>,
class Allocator = allocator<byte> >
flat_map( std::from_range_t, R&&, Compare = Compare(),
Allocator = Allocator() )
-> flat_map</*range-key-t*/<R>, /*range-mapped-t*/<R>, Compare,
std::vector</*range-key-t*/<R>,
/*alloc-rebind*/<Allocator,
/*range-key-t*/<R>>>,
std::vector</*range-mapped-t*/<R>,
/*alloc-rebind*/<Allocator,
/*range-mapped-t*/<R>>>>;
| (9) | (начиная с C++23) |
template< ranges::input_range R, class Allocator >
flat_map( std::from_range_t, R&&, Allocator )
-> flat_map</*range-key-t*/<R>, /*range-mapped-t*/<R>,
std::less</*range-key-t*/<R>>,
std::vector</*range-key-t*/<R>,
/*alloc-rebind*/<Allocator,
/*range-key-t*/<R>>>,
std::vector</*range-mapped-t*/<R>,
/*alloc-rebind*/<Allocator,
/*range-mapped-t*/<R>>>>;
| (10) | (начиная с C++23) |
template< class Key, class T, class Compare = std::less<Key> >
flat_map( std::initializer_list<pair<Key, T>>, Compare = Compare() )
-> flat_map<Key, T, Compare>;
| (11) | (начиная с C++23) |
template< class Key, class T, class Compare = std::less<Key> >
flat_map( std::sorted_unique_t, std::initializer_list<pair<Key, T>>,
Compare = Compare() )
-> flat_map<Key, T, Compare>;
| (12) | (начиная с C++23) |
| Вспомогательные псевдонимы типов, используемые только для описания | ||
template< class InputIt >
using /*iter-val-t*/ =
typename std::iterator_traits<InputIt>::value_type;
| (только для описания*) | |
template< class InputIt >
using /*iter-key-t*/ =
std::remove_const_t< std::tuple_element_t<0, /*iter-val-t*/<InputIt>>>;
| (только для описания*) | |
template< class InputIt >
using /*iter-mapped-t*/ =
std::tuple_element_t<1, /*iter-val-t*/<InputIt>>;
| (только для описания*) | |
template< class Allocator, class T >
using /*alloc-rebind*/ =
typename std::allocator_traits<Allocator>::template rebind_alloc<T>;
| (только для описания*) | |
template< ranges::input_range Range >
using /*range-key-t*/ =
std::remove_const_t<typename ranges::range_value_t<Range>::first_type>;
| (только для описания*) | |
template< ranges::input_range Range >
using /*range-mapped-t*/ =
typename ranges::range_value_t<Range>::second_type;
| (только для описания*) |
Для предоставлены следующие руководства по выводу типов, позволяющие выводить тип из:
1) Контейнера ключей, контейнера отображаемых значений и компаратора.
2) Контейнера ключей, контейнера отображаемых значений и аллокатора.
3) Контейнера ключей, контейнера отображаемых значений, компаратора и аллокатора.
4) Тега
std::sorted_unique_t, контейнера ключей, контейнера отображаемых значений и компаратора.
5) Тега
std::sorted_unique_t, контейнера ключей, контейнера отображаемых значений и аллокатора.
6) Тега
std::sorted_unique_t, контейнера ключей, контейнера отображаемых значений, компаратора и аллокатора.
7) Диапазона итераторов и компаратора.
8) Тега
std::sorted_unique_t, диапазона итераторов и компаратора.
11)
std::initializer_list и компаратора.Эти перегрузки участвуют в разрешении перегрузки, только если InputIt удовлетворяет требованиям LegacyInputIterator, Alloc удовлетворяет требованиям Allocator, а Comp не удовлетворяет требованиям Allocator.
Примечание: степень, в которой библиотека определяет, что тип не удовлетворяет требованиям LegacyInputIterator, не указана; однако как минимум целочисленные типы не считаются входными итераторами. Аналогично, степень, в которой библиотека определяет, что тип не удовлетворяет требованиям Allocator, не указана; однако как минимум должен существовать тип-член Alloc::value_type, а выражение std::declval<Alloc&>().allocate(std::size_t{}) должно быть корректным при рассмотрении в качестве невычисляемого операнда.
Пример
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/container/flat_map/deduction_guides
