руководства по выводу для 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_views являются шаблонами, чтобы избежать неоднозначностей в существующем коде, а эти шаблоны не поддерживают вывод аргументов шаблона класса.
Заметки
| Макрос проверки поддержки функции | Значение | Стандарт | Функция |
|---|---|---|---|
__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/cpp/string/basic_string/deduction_guides
