руководства по выводу типов для std::map
Определено в заголовке <map> | ||
|---|---|---|
template< class InputIt,
class Comp = std::less</*iter-key-t*/<InputIt>>,
class Alloc = std::allocator</*iter-to-alloc-t*/<InputIt>> >
map( InputIt, InputIt, Comp = Comp(), Alloc = Alloc() )
-> map</*iter-key-t*/<InputIt>, /*iter-val-t*/<InputIt>, Comp, Alloc>;
| (1) | (начиная с C++17) |
template< class Key,
class T,
class Comp = std::less<Key>,
class Alloc = std::allocator<std::pair<const Key, T>> >
map( std::initializer_list<std::pair<Key, T>>, Comp = Comp(), Alloc = Alloc() )
-> map<Key, T, Comp, Alloc>;
| (2) | (начиная с C++17) |
template< class InputIt, class Alloc >
map( InputIt, InputIt, Alloc )
-> map</*iter-key-t*/<InputIt>, /*iter-val-t*/<InputIt>,
std::less</*iter-key-t*/<InputIt>>, Alloc>;
| (3) | (начиная с C++17) |
template< class Key, class T, class Alloc >
map( std::initializer_list<std::pair<Key, T>>, Alloc )
-> map<Key, T, std::less<Key>, Alloc>;
| (4) | (начиная с C++17) |
template< ranges::input_range R, class Compare = std::less</*range-key-t*/<R>,
class Alloc = std::allocator</*range-to-alloc-t*/<R>> >
map( std::from_range_t, R&&, Compare = Compare(), Alloc = Alloc() )
-> map</*range-key-t*/<R>, range_mapped_t<R>, Compare, Alloc>;
| (5) | (начиная с C++23) |
template< ranges::input_range R, class Alloc >
map( std::from_range_t, R&&, Alloc )
-> map</*range-key-t*/<R>, range_mapped_t<R>,
map std::less</*range-key-t*/<R>>, Alloc>;
| (6) | (начиная с 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 InputIt >
using /*iter-to-alloc-t*/ =
std::pair<std::add_const_t<tuple_element_t<0, /*iter-val-t*/<InputIt>>>,
std::tuple_element_t<1, /*iter-val-t*/<InputIt>>>;
| (только для описания*) | |
template< ranges::input_range Range >
using /*range-key-t*/ =
std::remove_const_t<typename ranges::range_value_t<Range>::first_type>;
|
(начиная с C++23) (только для описания*) | |
template< ranges::input_range Range >
using /*range-mapped-t*/ =
typename ranges::range_value_t<Range>::second_type;
|
(начиная с C++23) (только для описания*) | |
template< ranges::input_range Range >
using /*range-to-alloc-t*/ =
std::pair<std::add_const_t<typename ranges::range_value_t<Range>::first_type>,
typename ranges::range_value_t<Range>::second_type>;
|
(начиная с C++23) (только для описания*) |
map, чтобы обеспечить вывод из диапазона итераторов (перегрузки (1,3)) и std::initializer_list (перегрузки (2,4)).map, чтобы обеспечить вывод с помощью тега std::from_range_t и input_range.Эти перегрузки участвуют в разрешении перегрузки только в том случае, если InputIt удовлетворяет требованиям LegacyInputIterator, Alloc удовлетворяет требованиям Allocator, а Comp не удовлетворяет требованиям Allocator.
Примечание: степень, в которой библиотека определяет, что тип не удовлетворяет требованиям LegacyInputIterator, не указана; при этом как минимум целочисленные типы не считаются входными итераторами. Аналогично, степень, в которой библиотека определяет, что тип не удовлетворяет требованиям Allocator, не указана; при этом как минимум должен существовать тип-член Alloc::value_type, а выражение std::declval<Alloc&>().allocate(std::size_t{}) должно быть корректным, если рассматривать его как невычисляемый операнд.
Примечания
| Макрос проверки функциональности | Значение | Стандарт | Функциональность |
|---|---|---|---|
__cpp_lib_containers_ranges | 202202L | (C++23) | Конструирование и вставка с поддержкой диапазонов; перегрузка (5,6) |
Пример
#include <map>
int main()
{
// std::map m1 = {{"foo", 1}, {"bar", 2}};
// Error: braced-init-list has no type; cannot deduce
// pair<Key, T> from {"foo", 1} or {"bar", 2}
std::map m1 = {std::pair{"foo", 2}, {"bar", 3}}; // guide #2
std::map m2(m1.begin(), m1.end()); // guide #1
}
Отчеты об ошибках
Следующие отчеты об ошибках, изменяющие поведение, были применены задним числом к ранее опубликованным стандартам C++.
| Отчет об ошибке | Применяется к | Поведение согласно опубликованной версии | Корректное поведение |
|---|---|---|---|
| LWG 3025 | C++17 | руководства для списков инициализации (2,4) принимают std::pair<constKey,T> | использовать std::pair<Key,T> |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/container/map/deduction_guides
