выводящие руководства для std::hive
template< class InputIt,
class Alloc = std::allocator</*iter-value-type*/<InputIt>> >
hive( InputIt, InputIt, Alloc = Alloc() )
-> hive</*iter-value-type*/<InputIt>, Alloc>;
| (1) | (начиная с C++26) |
template< class InputIt,
class Alloc = std::allocator</*iter-value-type*/<InputIt>> >
hive( InputIt, InputIt, std::hive_limits, Alloc = Alloc() )
-> hive</*iter-value-type*/<InputIt>, Alloc>;
| (2) | (начиная с C++26) |
template< ranges::input_range R,
class Alloc = std::allocator<ranges::range_value_t<R>> >
hive( std::from_range_t, R&&, Alloc = Alloc() )
-> hive<ranges::range_value_t<R>, Alloc>;
| (3) | (начиная с C++26) |
template< ranges::input_range R,
class Alloc = std::allocator<ranges::range_value_t<R>> >
hive( std::from_range_t, R&&, std::hive_limits, Alloc = Alloc() )
-> hive<ranges::range_value_t<R>, Alloc>;
| (4) | (начиная с C++26) |
1,2) Это выводящее руководство предоставлено для hive, чтобы обеспечить вывод типа по диапазону итераторов. Эта перегрузка участвует в разрешении перегрузки, только если
InputIt удовлетворяет требованиям LegacyInputIterator, а Alloc удовлетворяет требованиям Allocator.
3,4) Это выводящее руководство предоставлено для hive, чтобы обеспечить вывод типа по тегу
std::from_range_t и input_range.Примечание: степень, в которой библиотека определяет, что тип не удовлетворяет требованиям LegacyInputIterator, не указана; как минимум, целочисленные типы не считаются входными итераторами. Аналогично, степень, в которой библиотека определяет, что тип не удовлетворяет требованиям Allocator, не указана; как минимум, должен существовать тип-член Alloc::value_type, а выражение std::declval<Alloc&>().allocate(std::size_t{}) должно быть корректно сформировано при использовании в качестве невычисляемого операнда.
Пример
#include <hive>
#include <list>
int main()
{
std::list v{1, 2, 3, 4};
// uses explicit deduction guide to deduce std::hive<int>
std::hive x(v.begin(), v.end());
// deduces std::hive<std::vector<int>::iterator>
// first phase of overload resolution for list-initialization selects
// the candidate synthesized from the initializer-list constructor;
// second phase is not performed and deduction guide has no effect
std::hive y{v.begin(), v.end()};
}
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/container/hive/deduction_guides
