deduction guides for
std::deque
|
Определено в заголовке
<deque>
|
||
|
template
<
class
InputIt,
class
Alloc
=
std::
allocator
<
|
(1) | (начиная с C++17) |
|
template
<
ranges::
input_range
R,
class
Alloc
=
std::
allocator
<
ranges::
range_value_t
<
R
>>
>
|
(2) | (начиная с C++23) |
InputIt
удовлетворяет требованиям
LegacyInputIterator
и
Alloc
удовлетворяет требованиям
Allocator
.
input_range
.
Примечание: степень, в которой библиотека определяет, что тип не удовлетворяет требованиям
LegacyInputIterator
, не специфицирована, за исключением того, что как минимум целочисленные типы не квалифицируются как итераторы ввода. Аналогично, степень, в которой она определяет, что тип не удовлетворяет требованиям
Allocator
, не специфицирована, за исключением того, что как минимум тип-член
Alloc::value_type
должен существовать и выражение
std::
declval
<
Alloc
&
>
(
)
.
allocate
(
std::
size_t
{
}
)
должно быть корректным при рассмотрении как невычисляемый операнд.
Примечания
| Макрос тестирования возможностей | Значение | Стандарт | Функция |
|---|---|---|---|
__cpp_lib_containers_ranges
|
202202L
|
(C++23) | Ranges-aware конструирование и вставка; перегрузка (2) |
Пример
#include <deque> #include <vector> int main() { std::vector<int> v = {1, 2, 3, 4}; // использует явный guide вывода для вывода std::deque<int> std::deque x(v.begin(), v.end()); // выводит std::deque<std::vector<int>::iterator> // первая фаза разрешения перегрузки для list-initialization выбирает кандидата // синтезированного из initializer-list конструктора; вторая фаза не выполняется // и deduction guide не имеет эффекта std::deque y{v.begin(), v.end()}; }