deduction guides for
std::vector
|
Определено в заголовочном файле
<vector>
|
||
|
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 <vector> int main() { std::vector<int> v = {1, 2, 3, 4}; // использует явный направляющий вывод для вывода std::vector<int> std::vector x(v.begin(), v.end()); // выводит std::vector<std::vector<int>::iterator> // первая фаза разрешения перегрузки для list-initialization выбирает кандидата // синтезированного из конструктора initializer-list; вторая фаза не выполняется // и направляющий вывод не оказывает эффекта std::vector y{v.begin(), v.end()}; }