Spec-Zone.ru › C++

Руководства по выводу 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)
1-4) Эти руководства по выводу предоставляются для set для вывода из диапазона итераторов (перегрузки (1,3)) и std::initializer_list (перегрузки (2,4)).
5,6) Эти руководства по выводу предоставляются для 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 Значение Std Функция
__cpp_lib_containers_ranges 202202L (C++23) Совместимая с контейнерами конструкция и вставка; перегрузка (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/w/cpp/container/set/deduction_guides

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API