Руководства по выводу для std::basic_string
Определено в заголовке <string> | ||
|---|---|---|
template< class InputIt, class Alloc = std::allocator<
typename std::iterator_traits<InputIt>::value_type> >
basic_string( InputIt, InputIt, Alloc = Alloc() )
-> basic_string<typename std::iterator_traits<InputIt>::value_type,
std::char_traits<typename std::iterator_traits<InputIt>::value_type>,
Alloc>;
| (1) | (с C++17) |
template< class CharT,
class Traits,
class Alloc = std::allocator<CharT> >
explicit basic_string( std::basic_string_view<CharT, Traits>, const Alloc& = Alloc() )
-> basic_string<CharT, Traits, Alloc>;
| (2) | (с C++17) |
template< class CharT,
class Traits,
class Alloc = std::allocator<CharT>> >
basic_string( std::basic_string_view<CharT, Traits>, typename /*see below*/::size_type,
typename /*see below*/::size_type, const Alloc& = Alloc() )
-> basic_string<CharT, Traits, Alloc>;
| (3) | (с C++17) |
template< ranges::input_range R,
class Alloc = std::allocator<ranges::range_value_t<R>> >
basic_string( std::from_range_t, R&&, Alloc = Alloc() )
-> basic_string<ranges::range_value_t<R>, std::char_traits<ranges::range_value_t<R>>,
Alloc>;
| (4) | (с C++23) |
std::basic_string для возможности вывода из диапазона итераторов. Эта перегрузка участвует в разрешении перегрузки только в том случае, если InputIt удовлетворяет LegacyInputIterator, а Alloc удовлетворяет Allocator.std::basic_string для возможности вывода из std::basic_string_view. Тип параметра size_type в (3) относится к членскому типу size_type типа, выведенного руководством по выводу. Эти перегрузки участвуют в разрешении перегрузки только в том случае, если Alloc удовлетворяет Allocator.std::basic_string для возможности вывода из тега std::from_range_t и input_range.Примечание: степень, в которой библиотека определяет, что тип не удовлетворяет LegacyInputIterator, не определена, за исключением того, что в качестве минимального целочисленные типы не квалифицируются как итераторы ввода. Аналогично, степень, в которой она определяет, что тип не удовлетворяет Allocator, не определена, за исключением того, что, по меньшей мере, членский тип Alloc::value_type должен существовать, а выражение std::declval<Alloc&>().allocate(std::size_t{}) должно быть допустимо, когда оно рассматривается как операнд без оценки.
Примечания
Руководства (2,3) необходимы, потому что конструкторы std::basic_string для std::basic_string_view сделаны шаблонами для избежания создания неоднозначностей в существующем коде, и эти шаблоны не поддерживают вывод аргументов шаблона класса.
Примечания
| Макро-тест функции | Значение | Std | Функция |
|---|---|---|---|
__cpp_lib_containers_ranges | 202202L | (C++23) | Совместимая с контейнерами конструкция и вставка; перегрузки (4) |
Пример
#include <cassert>
#include <string>
#include <vector>
int main()
{
std::vector<char> v = {'a', 'b', 'c'};
std::basic_string s1(v.begin(), v.end()); // uses deduction guide (1)
assert(s1 == "abc");
#if __cpp_lib_containers_ranges >= 202202L
std::vector<wchar_t> v4{0x43, 43, 053, 0x32, 0x33};
std::basic_string s4(std::from_range, v4); // uses deduction guide (4)
assert(s4 == L"C++23");
#endif
}Отчеты об ошибках
Следующие отчеты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Применено к | Поведение при публикации | Корректное поведение |
|---|---|---|---|
| LWG 3075 | C++17 | Вывод из basic_string_view не поддерживался (усугубленный LWG 2946) | Добавлены руководства по выводу |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/string/basic_string/deduction_guides
