Namespaces
Variants

deduction guides for std::basic_string

From cppreference.net
C++
Strings library
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 /* см. ниже */ :: size_type ,
typename /* см. ниже */ :: 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)
1) Эта deduction guide предоставляется для std::basic_string чтобы позволить выведение из диапазона итераторов. Эта перегрузка участвует в разрешении перегрузки только если InputIt удовлетворяет требованиям LegacyInputIterator и Alloc удовлетворяет требованиям Allocator .
2,3) Эти направляющие вывода предоставлены для std::basic_string чтобы позволить вывод из std::basic_string_view . Эти перегрузки участвуют в разрешении перегрузки только если Alloc удовлетворяет требованиям Allocator .
3) Параметр типа size_type ссылается на вложенный тип size_type типа, выведенного с помощью направляющей вывода.
4) Этот направляющий вывод предоставлен для 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 сделаны шаблонными, чтобы избежать возникновения неоднозначностей в существующем коде, и эти шаблоны не поддерживают вывод аргументов шаблона класса.

Примечания

Feature-test макрос Значение Стандарт Функциональность
__cpp_lib_containers_ranges 202202L (C++23) Ranges-aware конструирование и вставка; перегрузка ( 4 )

Пример

Запустить этот код 
#include <cassert>
#include <string>
#include <vector>
int main()
{
    std::vector<char> v = {'a', 'b', 'c'};
    std::basic_string s1(v.begin(), v.end()); // использует направляющую вывода (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); // использует направляющую вывода (4)
    assert(s4 == L"C++23");
#endif
}

Отчёты о дефектах

Следующие отчеты об изменениях в поведении, содержащие описания дефектов, были применены ретроактивно к ранее опубликованным стандартам C++.

DR Applied to Behavior as published Correct behavior
LWG 3075 C++17 deduction from basic_string_view was unsupported
(exacerbated by LWG issue 2946 ) 		deduction guides added