направляющие вывода для std::set
Определено в заголовочном файле <set> | ||
|---|---|---|
template<
class InputIt,
class Comp = std::less<typename std::iterator_traits<InputIt>::value_type>,
class Alloc = std::allocator<typename std::iterator_traits<InputIt>::value_type>>
set( InputIt, InputIt, Comp = Comp(), Alloc = Alloc() )
-> set<typename std::iterator_traits<InputIt>::value_type, Comp, Alloc>;
| (1) | (начиная с C++17) |
template<
class Key, class Comp = std::less<Key>,
class Alloc = std::allocator<Key> >
set( std::initializer_list<Key>, Comp = Comp(), Alloc = Alloc() )
-> set<Key, Comp, Alloc>;
| (2) | (начиная с C++17) |
template< class InputIt, class Alloc >
set( InputIt, InputIt, Alloc )
-> set<typename std::iterator_traits<InputIt>::value_type,
std::less<typename std::iterator_traits<InputIt>::value_type>, Alloc>;
| (3) | (начиная с C++17) |
template< class Key, class Alloc >
set( std::initializer_list<Key>, Alloc )
-> set<Key, std::less<Key>, Alloc>;
| (4) | (начиная с C++17) |
template< ranges::input_range R, class Compare = less<ranges::range_value_t<R>>,
class Alloc = std::allocator<ranges::range_value_t<R>> >
set( std::from_range_t, R&&, Compare = Compare(), Alloc = Alloc() )
-> set<ranges::range_value_t<R>, Compare, Alloc>;
| (5) | (начиная с C++23) |
template< ranges::input_range R, class Alloc >
set( std::from_range_t, R&&, Alloc )
-> set<ranges::range_value_t<R>, std::less<ranges::range_value_t<R>>, Alloc>;
| (6) | (начиная с C++23) |
set, чтобы обеспечить вывод по диапазону итераторов (перегрузки (1,3)) и std::initializer_list (перегрузки (2,4)).set, чтобы обеспечить вывод по тегу 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) | Конструирование и вставка с поддержкой ranges; перегрузки (5,6) |
Пример
#include <set>
int main()
{
// guide #2 deduces std::set<int>
std::set s = {1, 2, 3, 4};
// guide #1 deduces std::set<int>
std::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/set/deduction_guides
