blob: 2c94cb85269fb6d3b5a7b220f4bcb8a30bc7b484 [file] [log] [blame]
Marshall Clowdf63a6d2016-07-21 05:31:24 +00001// -*- C++ -*-
2//===------------------------ string_view ---------------------------------===//
3//
Chandler Carruth7642bb12019-01-19 08:50:56 +00004// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5// See https://llvm.org/LICENSE.txt for license information.
6// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Marshall Clowdf63a6d2016-07-21 05:31:24 +00007//
8//===----------------------------------------------------------------------===//
9
10#ifndef _LIBCPP_STRING_VIEW
11#define _LIBCPP_STRING_VIEW
12
13/*
14string_view synopsis
15
16namespace std {
17
18 // 7.2, Class template basic_string_view
19 template<class charT, class traits = char_traits<charT>>
20 class basic_string_view;
21
Mark de Weveraf59b2d2020-11-24 18:08:02 +010022 template<class charT, class traits>
Christopher Di Bella92072c22021-05-14 06:20:07 +000023 inline constexpr bool ranges::enable_view<basic_string_view<charT, traits>> = true;
24
25 template<class charT, class traits>
Mark de Weveraf59b2d2020-11-24 18:08:02 +010026 inline constexpr bool ranges::enable_borrowed_range<basic_string_view<charT, traits>> = true; // C++20
27
Marshall Clowdf63a6d2016-07-21 05:31:24 +000028 // 7.9, basic_string_view non-member comparison functions
29 template<class charT, class traits>
30 constexpr bool operator==(basic_string_view<charT, traits> x,
31 basic_string_view<charT, traits> y) noexcept;
32 template<class charT, class traits>
33 constexpr bool operator!=(basic_string_view<charT, traits> x,
34 basic_string_view<charT, traits> y) noexcept;
35 template<class charT, class traits>
36 constexpr bool operator< (basic_string_view<charT, traits> x,
37 basic_string_view<charT, traits> y) noexcept;
38 template<class charT, class traits>
39 constexpr bool operator> (basic_string_view<charT, traits> x,
40 basic_string_view<charT, traits> y) noexcept;
41 template<class charT, class traits>
42 constexpr bool operator<=(basic_string_view<charT, traits> x,
43 basic_string_view<charT, traits> y) noexcept;
44 template<class charT, class traits>
45 constexpr bool operator>=(basic_string_view<charT, traits> x,
46 basic_string_view<charT, traits> y) noexcept;
47 // see below, sufficient additional overloads of comparison functions
48
49 // 7.10, Inserters and extractors
50 template<class charT, class traits>
51 basic_ostream<charT, traits>&
52 operator<<(basic_ostream<charT, traits>& os,
53 basic_string_view<charT, traits> str);
54
55 // basic_string_view typedef names
56 typedef basic_string_view<char> string_view;
Marek Kurdeje3ac4e22021-03-23 17:15:07 +010057 typedef basic_string_view<char8_t> u8string_view; // C++20
Marshall Clowdf63a6d2016-07-21 05:31:24 +000058 typedef basic_string_view<char16_t> u16string_view;
59 typedef basic_string_view<char32_t> u32string_view;
60 typedef basic_string_view<wchar_t> wstring_view;
61
62 template<class charT, class traits = char_traits<charT>>
63 class basic_string_view {
64 public:
65 // types
66 typedef traits traits_type;
67 typedef charT value_type;
68 typedef charT* pointer;
69 typedef const charT* const_pointer;
70 typedef charT& reference;
71 typedef const charT& const_reference;
72 typedef implementation-defined const_iterator;
73 typedef const_iterator iterator;
74 typedef reverse_iterator<const_iterator> const_reverse_iterator;
75 typedef const_reverse_iterator reverse_iterator;
76 typedef size_t size_type;
77 typedef ptrdiff_t difference_type;
78 static constexpr size_type npos = size_type(-1);
79
80 // 7.3, basic_string_view constructors and assignment operators
81 constexpr basic_string_view() noexcept;
82 constexpr basic_string_view(const basic_string_view&) noexcept = default;
83 basic_string_view& operator=(const basic_string_view&) noexcept = default;
84 template<class Allocator>
85 constexpr basic_string_view(const charT* str);
Marek Kurdej90d79712021-07-27 16:16:21 +020086 basic_string_view(nullptr_t) = delete; // C++2b
Marshall Clowdf63a6d2016-07-21 05:31:24 +000087 constexpr basic_string_view(const charT* str, size_type len);
88
89 // 7.4, basic_string_view iterator support
90 constexpr const_iterator begin() const noexcept;
91 constexpr const_iterator end() const noexcept;
92 constexpr const_iterator cbegin() const noexcept;
93 constexpr const_iterator cend() const noexcept;
94 const_reverse_iterator rbegin() const noexcept;
95 const_reverse_iterator rend() const noexcept;
96 const_reverse_iterator crbegin() const noexcept;
97 const_reverse_iterator crend() const noexcept;
98
99 // 7.5, basic_string_view capacity
100 constexpr size_type size() const noexcept;
101 constexpr size_type length() const noexcept;
102 constexpr size_type max_size() const noexcept;
103 constexpr bool empty() const noexcept;
104
105 // 7.6, basic_string_view element access
106 constexpr const_reference operator[](size_type pos) const;
107 constexpr const_reference at(size_type pos) const;
108 constexpr const_reference front() const;
109 constexpr const_reference back() const;
110 constexpr const_pointer data() const noexcept;
111
112 // 7.7, basic_string_view modifiers
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000113 constexpr void remove_prefix(size_type n);
114 constexpr void remove_suffix(size_type n);
115 constexpr void swap(basic_string_view& s) noexcept;
116
Arthur O'Dwyer20638cc2021-02-09 19:12:16 -0500117 size_type copy(charT* s, size_type n, size_type pos = 0) const; // constexpr in C++20
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000118
119 constexpr basic_string_view substr(size_type pos = 0, size_type n = npos) const;
120 constexpr int compare(basic_string_view s) const noexcept;
121 constexpr int compare(size_type pos1, size_type n1, basic_string_view s) const;
122 constexpr int compare(size_type pos1, size_type n1,
123 basic_string_view s, size_type pos2, size_type n2) const;
124 constexpr int compare(const charT* s) const;
125 constexpr int compare(size_type pos1, size_type n1, const charT* s) const;
126 constexpr int compare(size_type pos1, size_type n1,
127 const charT* s, size_type n2) const;
128 constexpr size_type find(basic_string_view s, size_type pos = 0) const noexcept;
129 constexpr size_type find(charT c, size_type pos = 0) const noexcept;
zoecarver1997e0a2021-02-05 11:54:47 -0800130 constexpr size_type find(const charT* s, size_type pos, size_type n) const noexcept; // noexcept as an extension
131 constexpr size_type find(const charT* s, size_type pos = 0) const noexcept; // noexcept as an extension
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000132 constexpr size_type rfind(basic_string_view s, size_type pos = npos) const noexcept;
133 constexpr size_type rfind(charT c, size_type pos = npos) const noexcept;
zoecarver1997e0a2021-02-05 11:54:47 -0800134 constexpr size_type rfind(const charT* s, size_type pos, size_type n) const noexcept; // noexcept as an extension
135 constexpr size_type rfind(const charT* s, size_type pos = npos) const noexcept; // noexcept as an extension
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000136 constexpr size_type find_first_of(basic_string_view s, size_type pos = 0) const noexcept;
137 constexpr size_type find_first_of(charT c, size_type pos = 0) const noexcept;
zoecarver1997e0a2021-02-05 11:54:47 -0800138 constexpr size_type find_first_of(const charT* s, size_type pos, size_type n) const noexcept; // noexcept as an extension
139 constexpr size_type find_first_of(const charT* s, size_type pos = 0) const noexcept; // noexcept as an extension
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000140 constexpr size_type find_last_of(basic_string_view s, size_type pos = npos) const noexcept;
141 constexpr size_type find_last_of(charT c, size_type pos = npos) const noexcept;
zoecarver1997e0a2021-02-05 11:54:47 -0800142 constexpr size_type find_last_of(const charT* s, size_type pos, size_type n) const noexcept; // noexcept as an extension
143 constexpr size_type find_last_of(const charT* s, size_type pos = npos) const noexcept; // noexcept as an extension
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000144 constexpr size_type find_first_not_of(basic_string_view s, size_type pos = 0) const noexcept;
145 constexpr size_type find_first_not_of(charT c, size_type pos = 0) const noexcept;
zoecarver1997e0a2021-02-05 11:54:47 -0800146 constexpr size_type find_first_not_of(const charT* s, size_type pos, size_type n) const noexcept; // noexcept as an extension
147 constexpr size_type find_first_not_of(const charT* s, size_type pos = 0) const noexcept; // noexcept as an extension
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000148 constexpr size_type find_last_not_of(basic_string_view s, size_type pos = npos) const noexcept;
149 constexpr size_type find_last_not_of(charT c, size_type pos = npos) const noexcept;
zoecarver1997e0a2021-02-05 11:54:47 -0800150 constexpr size_type find_last_not_of(const charT* s, size_type pos, size_type n) const noexcept; // noexcept as an extension
151 constexpr size_type find_last_not_of(const charT* s, size_type pos = npos) const noexcept; // noexcept as an extension
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000152
Marek Kurdej24b4c512021-01-07 12:29:04 +0100153 constexpr bool starts_with(basic_string_view s) const noexcept; // C++20
154 constexpr bool starts_with(charT c) const noexcept; // C++20
155 constexpr bool starts_with(const charT* s) const; // C++20
156 constexpr bool ends_with(basic_string_view s) const noexcept; // C++20
157 constexpr bool ends_with(charT c) const noexcept; // C++20
158 constexpr bool ends_with(const charT* s) const; // C++20
Marshall Clow18c293b2017-12-04 20:11:38 +0000159
Wim Leflere023c3542021-01-19 14:33:30 -0500160 constexpr bool contains(basic_string_view s) const noexcept; // C++2b
161 constexpr bool contains(charT c) const noexcept; // C++2b
162 constexpr bool contains(const charT* s) const; // C++2b
163
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000164 private:
165 const_pointer data_; // exposition only
166 size_type size_; // exposition only
167 };
168
169 // 7.11, Hash support
170 template <class T> struct hash;
171 template <> struct hash<string_view>;
Marek Kurdeje3ac4e22021-03-23 17:15:07 +0100172 template <> struct hash<u8string_view>; // C++20
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000173 template <> struct hash<u16string_view>;
174 template <> struct hash<u32string_view>;
175 template <> struct hash<wstring_view>;
176
Marshall Clowabe6daf2017-10-24 14:06:00 +0000177 constexpr basic_string_view<char> operator "" sv( const char *str, size_t len ) noexcept;
178 constexpr basic_string_view<wchar_t> operator "" sv( const wchar_t *str, size_t len ) noexcept;
Marek Kurdeje3ac4e22021-03-23 17:15:07 +0100179 constexpr basic_string_view<char8_t> operator "" sv( const char8_t *str, size_t len ) noexcept; // C++20
Marshall Clowabe6daf2017-10-24 14:06:00 +0000180 constexpr basic_string_view<char16_t> operator "" sv( const char16_t *str, size_t len ) noexcept;
181 constexpr basic_string_view<char32_t> operator "" sv( const char32_t *str, size_t len ) noexcept;
Marshall Clow27c8a4c2017-01-09 18:07:34 +0000182
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000183} // namespace std
184
185
186*/
187
188#include <__config>
Arthur O'Dwyeref181602021-05-19 11:57:04 -0400189#include <__debug>
Mark de Weveraf59b2d2020-11-24 18:08:02 +0100190#include <__ranges/enable_borrowed_range.h>
Christopher Di Bella92072c22021-05-14 06:20:07 +0000191#include <__ranges/enable_view.h>
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000192#include <__string>
Eric Fiselier2d357f72016-12-05 23:53:23 +0000193#include <algorithm>
Arthur O'Dwyer7deec122021-03-24 18:19:12 -0400194#include <compare>
Arthur O'Dwyeref181602021-05-19 11:57:04 -0400195#include <iosfwd>
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000196#include <iterator>
Eric Fiselier2d357f72016-12-05 23:53:23 +0000197#include <limits>
198#include <stdexcept>
Marshall Clow0a1e7502018-09-12 19:41:40 +0000199#include <version>
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000200
201#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
202#pragma GCC system_header
203#endif
204
Eric Fiselierf4433a32017-05-31 22:07:49 +0000205_LIBCPP_PUSH_MACROS
206#include <__undef_macros>
207
208
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000209_LIBCPP_BEGIN_NAMESPACE_STD
210
211template<class _CharT, class _Traits = char_traits<_CharT> >
Richard Smith256954d2020-11-11 17:12:18 -0800212 class _LIBCPP_TEMPLATE_VIS basic_string_view;
213
214typedef basic_string_view<char> string_view;
Arthur O'Dwyerafa5d5f2021-04-18 21:47:08 -0400215#ifndef _LIBCPP_HAS_NO_CHAR8_T
Richard Smith256954d2020-11-11 17:12:18 -0800216typedef basic_string_view<char8_t> u8string_view;
217#endif
218typedef basic_string_view<char16_t> u16string_view;
219typedef basic_string_view<char32_t> u32string_view;
220typedef basic_string_view<wchar_t> wstring_view;
221
222template<class _CharT, class _Traits>
223class
224 _LIBCPP_PREFERRED_NAME(string_view)
Arthur O'Dwyerafa5d5f2021-04-18 21:47:08 -0400225#ifndef _LIBCPP_HAS_NO_CHAR8_T
Richard Smith256954d2020-11-11 17:12:18 -0800226 _LIBCPP_PREFERRED_NAME(u8string_view)
227#endif
228 _LIBCPP_PREFERRED_NAME(u16string_view)
229 _LIBCPP_PREFERRED_NAME(u32string_view)
230 _LIBCPP_PREFERRED_NAME(wstring_view)
231 basic_string_view {
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000232public:
Marshall Clowb7db4972017-11-15 20:02:27 +0000233 // types
234 typedef _Traits traits_type;
235 typedef _CharT value_type;
Marshall Clow7d2c5182017-12-20 16:31:40 +0000236 typedef _CharT* pointer;
Marshall Clowb7db4972017-11-15 20:02:27 +0000237 typedef const _CharT* const_pointer;
Marshall Clow7d2c5182017-12-20 16:31:40 +0000238 typedef _CharT& reference;
Marshall Clowb7db4972017-11-15 20:02:27 +0000239 typedef const _CharT& const_reference;
240 typedef const_pointer const_iterator; // See [string.view.iterators]
241 typedef const_iterator iterator;
242 typedef _VSTD::reverse_iterator<const_iterator> const_reverse_iterator;
243 typedef const_reverse_iterator reverse_iterator;
244 typedef size_t size_type;
245 typedef ptrdiff_t difference_type;
246 static _LIBCPP_CONSTEXPR const size_type npos = -1; // size_type(-1);
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000247
Marshall Clow79f33542018-03-21 00:36:05 +0000248 static_assert((!is_array<value_type>::value), "Character type of basic_string_view must not be an array");
249 static_assert(( is_standard_layout<value_type>::value), "Character type of basic_string_view must be standard-layout");
250 static_assert(( is_trivial<value_type>::value), "Character type of basic_string_view must be trivial");
Marshall Clowa3a74e02017-03-15 18:41:11 +0000251 static_assert((is_same<_CharT, typename traits_type::char_type>::value),
252 "traits_type::char_type must be the same type as CharT");
253
Marshall Clowb7db4972017-11-15 20:02:27 +0000254 // [string.view.cons], construct/copy
255 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
256 basic_string_view() _NOEXCEPT : __data (nullptr), __size(0) {}
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000257
Marshall Clowb7db4972017-11-15 20:02:27 +0000258 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
259 basic_string_view(const basic_string_view&) _NOEXCEPT = default;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000260
Marshall Clowb7db4972017-11-15 20:02:27 +0000261 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
262 basic_string_view& operator=(const basic_string_view&) _NOEXCEPT = default;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000263
Marshall Clowb7db4972017-11-15 20:02:27 +0000264 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
265 basic_string_view(const _CharT* __s, size_type __len) _NOEXCEPT
266 : __data(__s), __size(__len)
267 {
Marshall Clowca1bcdb2019-06-04 02:07:11 +0000268#if _LIBCPP_STD_VER > 11
269 _LIBCPP_ASSERT(__len == 0 || __s != nullptr, "string_view::string_view(_CharT *, size_t): received nullptr");
270#endif
Marshall Clowb7db4972017-11-15 20:02:27 +0000271 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000272
Marshall Clowb7db4972017-11-15 20:02:27 +0000273 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
274 basic_string_view(const _CharT* __s)
Arthur O'Dwyer07b22492020-11-27 11:02:06 -0500275 : __data(__s), __size(_VSTD::__char_traits_length_checked<_Traits>(__s)) {}
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000276
Marek Kurdej90d79712021-07-27 16:16:21 +0200277#if _LIBCPP_STD_VER > 20
278 basic_string_view(nullptr_t) = delete;
279#endif
280
Marshall Clowb7db4972017-11-15 20:02:27 +0000281 // [string.view.iterators], iterators
282 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
283 const_iterator begin() const _NOEXCEPT { return cbegin(); }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000284
Marshall Clowb7db4972017-11-15 20:02:27 +0000285 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
286 const_iterator end() const _NOEXCEPT { return cend(); }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000287
Marshall Clowb7db4972017-11-15 20:02:27 +0000288 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
289 const_iterator cbegin() const _NOEXCEPT { return __data; }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000290
Marshall Clowb7db4972017-11-15 20:02:27 +0000291 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
292 const_iterator cend() const _NOEXCEPT { return __data + __size; }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000293
Marshall Clowb7db4972017-11-15 20:02:27 +0000294 _LIBCPP_CONSTEXPR_AFTER_CXX14 _LIBCPP_INLINE_VISIBILITY
295 const_reverse_iterator rbegin() const _NOEXCEPT { return const_reverse_iterator(cend()); }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000296
Marshall Clowb7db4972017-11-15 20:02:27 +0000297 _LIBCPP_CONSTEXPR_AFTER_CXX14 _LIBCPP_INLINE_VISIBILITY
298 const_reverse_iterator rend() const _NOEXCEPT { return const_reverse_iterator(cbegin()); }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000299
Marshall Clowb7db4972017-11-15 20:02:27 +0000300 _LIBCPP_CONSTEXPR_AFTER_CXX14 _LIBCPP_INLINE_VISIBILITY
301 const_reverse_iterator crbegin() const _NOEXCEPT { return const_reverse_iterator(cend()); }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000302
Marshall Clowb7db4972017-11-15 20:02:27 +0000303 _LIBCPP_CONSTEXPR_AFTER_CXX14 _LIBCPP_INLINE_VISIBILITY
304 const_reverse_iterator crend() const _NOEXCEPT { return const_reverse_iterator(cbegin()); }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000305
Marshall Clowb7db4972017-11-15 20:02:27 +0000306 // [string.view.capacity], capacity
307 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
308 size_type size() const _NOEXCEPT { return __size; }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000309
Marshall Clowb7db4972017-11-15 20:02:27 +0000310 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
311 size_type length() const _NOEXCEPT { return __size; }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000312
Marshall Clowb7db4972017-11-15 20:02:27 +0000313 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
314 size_type max_size() const _NOEXCEPT { return numeric_limits<size_type>::max(); }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000315
Marshall Clowb7db4972017-11-15 20:02:27 +0000316 _LIBCPP_NODISCARD_AFTER_CXX17 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
317 bool empty() const _NOEXCEPT { return __size == 0; }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000318
Marshall Clowb7db4972017-11-15 20:02:27 +0000319 // [string.view.access], element access
320 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
Chris Palmer1b114a52020-10-06 13:01:50 -0400321 const_reference operator[](size_type __pos) const _NOEXCEPT {
322 return _LIBCPP_ASSERT(__pos < size(), "string_view[] index out of bounds"), __data[__pos];
323 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000324
Marshall Clowb7db4972017-11-15 20:02:27 +0000325 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
326 const_reference at(size_type __pos) const
327 {
328 return __pos >= size()
329 ? (__throw_out_of_range("string_view::at"), __data[0])
330 : __data[__pos];
331 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000332
Marshall Clowb7db4972017-11-15 20:02:27 +0000333 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
Marshall Clow05cf6692019-03-19 03:30:07 +0000334 const_reference front() const _NOEXCEPT
Marshall Clowb7db4972017-11-15 20:02:27 +0000335 {
336 return _LIBCPP_ASSERT(!empty(), "string_view::front(): string is empty"), __data[0];
337 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000338
Marshall Clowb7db4972017-11-15 20:02:27 +0000339 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
Marshall Clow05cf6692019-03-19 03:30:07 +0000340 const_reference back() const _NOEXCEPT
Marshall Clowb7db4972017-11-15 20:02:27 +0000341 {
342 return _LIBCPP_ASSERT(!empty(), "string_view::back(): string is empty"), __data[__size-1];
343 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000344
Marshall Clowb7db4972017-11-15 20:02:27 +0000345 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
346 const_pointer data() const _NOEXCEPT { return __data; }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000347
Marshall Clowb7db4972017-11-15 20:02:27 +0000348 // [string.view.modifiers], modifiers:
349 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
350 void remove_prefix(size_type __n) _NOEXCEPT
351 {
352 _LIBCPP_ASSERT(__n <= size(), "remove_prefix() can't remove more than size()");
353 __data += __n;
354 __size -= __n;
355 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000356
Marshall Clowb7db4972017-11-15 20:02:27 +0000357 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
358 void remove_suffix(size_type __n) _NOEXCEPT
359 {
360 _LIBCPP_ASSERT(__n <= size(), "remove_suffix() can't remove more than size()");
361 __size -= __n;
362 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000363
Marshall Clowb7db4972017-11-15 20:02:27 +0000364 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
365 void swap(basic_string_view& __other) _NOEXCEPT
366 {
367 const value_type *__p = __data;
368 __data = __other.__data;
369 __other.__data = __p;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000370
Marshall Clowb7db4972017-11-15 20:02:27 +0000371 size_type __sz = __size;
372 __size = __other.__size;
373 __other.__size = __sz;
374 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000375
Arthur O'Dwyer20638cc2021-02-09 19:12:16 -0500376 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX17
Marshall Clowb7db4972017-11-15 20:02:27 +0000377 size_type copy(_CharT* __s, size_type __n, size_type __pos = 0) const
378 {
379 if (__pos > size())
380 __throw_out_of_range("string_view::copy");
381 size_type __rlen = _VSTD::min(__n, size() - __pos);
382 _Traits::copy(__s, data() + __pos, __rlen);
383 return __rlen;
384 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000385
Marshall Clowb7db4972017-11-15 20:02:27 +0000386 _LIBCPP_CONSTEXPR _LIBCPP_INLINE_VISIBILITY
387 basic_string_view substr(size_type __pos = 0, size_type __n = npos) const
388 {
389 return __pos > size()
390 ? (__throw_out_of_range("string_view::substr"), basic_string_view())
391 : basic_string_view(data() + __pos, _VSTD::min(__n, size() - __pos));
392 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000393
Marshall Clowb7db4972017-11-15 20:02:27 +0000394 _LIBCPP_CONSTEXPR_AFTER_CXX11 int compare(basic_string_view __sv) const _NOEXCEPT
395 {
396 size_type __rlen = _VSTD::min( size(), __sv.size());
397 int __retval = _Traits::compare(data(), __sv.data(), __rlen);
398 if ( __retval == 0 ) // first __rlen chars matched
399 __retval = size() == __sv.size() ? 0 : ( size() < __sv.size() ? -1 : 1 );
400 return __retval;
401 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000402
Marshall Clowb7db4972017-11-15 20:02:27 +0000403 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
404 int compare(size_type __pos1, size_type __n1, basic_string_view __sv) const
405 {
406 return substr(__pos1, __n1).compare(__sv);
407 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000408
Marshall Clowb7db4972017-11-15 20:02:27 +0000409 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Louis Dionne173f29e2019-05-29 16:01:36 +0000410 int compare( size_type __pos1, size_type __n1,
Marshall Clowb7db4972017-11-15 20:02:27 +0000411 basic_string_view __sv, size_type __pos2, size_type __n2) const
412 {
413 return substr(__pos1, __n1).compare(__sv.substr(__pos2, __n2));
414 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000415
Marshall Clowb7db4972017-11-15 20:02:27 +0000416 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
417 int compare(const _CharT* __s) const _NOEXCEPT
418 {
419 return compare(basic_string_view(__s));
420 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000421
Marshall Clowb7db4972017-11-15 20:02:27 +0000422 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
423 int compare(size_type __pos1, size_type __n1, const _CharT* __s) const
424 {
425 return substr(__pos1, __n1).compare(basic_string_view(__s));
426 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000427
Marshall Clowb7db4972017-11-15 20:02:27 +0000428 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
429 int compare(size_type __pos1, size_type __n1, const _CharT* __s, size_type __n2) const
430 {
431 return substr(__pos1, __n1).compare(basic_string_view(__s, __n2));
432 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000433
Marshall Clowb7db4972017-11-15 20:02:27 +0000434 // find
435 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
436 size_type find(basic_string_view __s, size_type __pos = 0) const _NOEXCEPT
437 {
438 _LIBCPP_ASSERT(__s.size() == 0 || __s.data() != nullptr, "string_view::find(): received nullptr");
439 return __str_find<value_type, size_type, traits_type, npos>
440 (data(), size(), __s.data(), __pos, __s.size());
441 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000442
Marshall Clowb7db4972017-11-15 20:02:27 +0000443 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
444 size_type find(_CharT __c, size_type __pos = 0) const _NOEXCEPT
445 {
446 return __str_find<value_type, size_type, traits_type, npos>
447 (data(), size(), __c, __pos);
448 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000449
Marshall Clowb7db4972017-11-15 20:02:27 +0000450 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
zoecarver1997e0a2021-02-05 11:54:47 -0800451 size_type find(const _CharT* __s, size_type __pos, size_type __n) const _NOEXCEPT
Marshall Clowb7db4972017-11-15 20:02:27 +0000452 {
453 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "string_view::find(): received nullptr");
454 return __str_find<value_type, size_type, traits_type, npos>
455 (data(), size(), __s, __pos, __n);
456 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000457
Marshall Clowb7db4972017-11-15 20:02:27 +0000458 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
zoecarver1997e0a2021-02-05 11:54:47 -0800459 size_type find(const _CharT* __s, size_type __pos = 0) const _NOEXCEPT
Marshall Clowb7db4972017-11-15 20:02:27 +0000460 {
461 _LIBCPP_ASSERT(__s != nullptr, "string_view::find(): received nullptr");
462 return __str_find<value_type, size_type, traits_type, npos>
463 (data(), size(), __s, __pos, traits_type::length(__s));
464 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000465
Marshall Clowb7db4972017-11-15 20:02:27 +0000466 // rfind
467 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
468 size_type rfind(basic_string_view __s, size_type __pos = npos) const _NOEXCEPT
469 {
470 _LIBCPP_ASSERT(__s.size() == 0 || __s.data() != nullptr, "string_view::find(): received nullptr");
471 return __str_rfind<value_type, size_type, traits_type, npos>
472 (data(), size(), __s.data(), __pos, __s.size());
473 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000474
Marshall Clowb7db4972017-11-15 20:02:27 +0000475 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
476 size_type rfind(_CharT __c, size_type __pos = npos) const _NOEXCEPT
477 {
478 return __str_rfind<value_type, size_type, traits_type, npos>
479 (data(), size(), __c, __pos);
480 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000481
Marshall Clowb7db4972017-11-15 20:02:27 +0000482 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
zoecarver1997e0a2021-02-05 11:54:47 -0800483 size_type rfind(const _CharT* __s, size_type __pos, size_type __n) const _NOEXCEPT
Marshall Clowb7db4972017-11-15 20:02:27 +0000484 {
485 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "string_view::rfind(): received nullptr");
486 return __str_rfind<value_type, size_type, traits_type, npos>
487 (data(), size(), __s, __pos, __n);
488 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000489
Marshall Clowb7db4972017-11-15 20:02:27 +0000490 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
zoecarver1997e0a2021-02-05 11:54:47 -0800491 size_type rfind(const _CharT* __s, size_type __pos=npos) const _NOEXCEPT
Marshall Clowb7db4972017-11-15 20:02:27 +0000492 {
493 _LIBCPP_ASSERT(__s != nullptr, "string_view::rfind(): received nullptr");
494 return __str_rfind<value_type, size_type, traits_type, npos>
495 (data(), size(), __s, __pos, traits_type::length(__s));
496 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000497
Marshall Clowb7db4972017-11-15 20:02:27 +0000498 // find_first_of
499 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
500 size_type find_first_of(basic_string_view __s, size_type __pos = 0) const _NOEXCEPT
501 {
502 _LIBCPP_ASSERT(__s.size() == 0 || __s.data() != nullptr, "string_view::find_first_of(): received nullptr");
503 return __str_find_first_of<value_type, size_type, traits_type, npos>
504 (data(), size(), __s.data(), __pos, __s.size());
505 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000506
Marshall Clowb7db4972017-11-15 20:02:27 +0000507 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
508 size_type find_first_of(_CharT __c, size_type __pos = 0) const _NOEXCEPT
509 { return find(__c, __pos); }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000510
Marshall Clowb7db4972017-11-15 20:02:27 +0000511 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
zoecarver1997e0a2021-02-05 11:54:47 -0800512 size_type find_first_of(const _CharT* __s, size_type __pos, size_type __n) const _NOEXCEPT
Marshall Clowb7db4972017-11-15 20:02:27 +0000513 {
514 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "string_view::find_first_of(): received nullptr");
515 return __str_find_first_of<value_type, size_type, traits_type, npos>
516 (data(), size(), __s, __pos, __n);
517 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000518
Marshall Clowb7db4972017-11-15 20:02:27 +0000519 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
zoecarver1997e0a2021-02-05 11:54:47 -0800520 size_type find_first_of(const _CharT* __s, size_type __pos=0) const _NOEXCEPT
Marshall Clowb7db4972017-11-15 20:02:27 +0000521 {
522 _LIBCPP_ASSERT(__s != nullptr, "string_view::find_first_of(): received nullptr");
523 return __str_find_first_of<value_type, size_type, traits_type, npos>
524 (data(), size(), __s, __pos, traits_type::length(__s));
525 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000526
Marshall Clowb7db4972017-11-15 20:02:27 +0000527 // find_last_of
528 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
529 size_type find_last_of(basic_string_view __s, size_type __pos=npos) const _NOEXCEPT
530 {
531 _LIBCPP_ASSERT(__s.size() == 0 || __s.data() != nullptr, "string_view::find_last_of(): received nullptr");
532 return __str_find_last_of<value_type, size_type, traits_type, npos>
533 (data(), size(), __s.data(), __pos, __s.size());
534 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000535
Marshall Clowb7db4972017-11-15 20:02:27 +0000536 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
537 size_type find_last_of(_CharT __c, size_type __pos = npos) const _NOEXCEPT
538 { return rfind(__c, __pos); }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000539
Marshall Clowb7db4972017-11-15 20:02:27 +0000540 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
zoecarver1997e0a2021-02-05 11:54:47 -0800541 size_type find_last_of(const _CharT* __s, size_type __pos, size_type __n) const _NOEXCEPT
Marshall Clowb7db4972017-11-15 20:02:27 +0000542 {
543 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "string_view::find_last_of(): received nullptr");
544 return __str_find_last_of<value_type, size_type, traits_type, npos>
545 (data(), size(), __s, __pos, __n);
546 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000547
Marshall Clowb7db4972017-11-15 20:02:27 +0000548 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
zoecarver1997e0a2021-02-05 11:54:47 -0800549 size_type find_last_of(const _CharT* __s, size_type __pos=npos) const _NOEXCEPT
Marshall Clowb7db4972017-11-15 20:02:27 +0000550 {
551 _LIBCPP_ASSERT(__s != nullptr, "string_view::find_last_of(): received nullptr");
552 return __str_find_last_of<value_type, size_type, traits_type, npos>
553 (data(), size(), __s, __pos, traits_type::length(__s));
554 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000555
Marshall Clowb7db4972017-11-15 20:02:27 +0000556 // find_first_not_of
557 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
558 size_type find_first_not_of(basic_string_view __s, size_type __pos=0) const _NOEXCEPT
559 {
560 _LIBCPP_ASSERT(__s.size() == 0 || __s.data() != nullptr, "string_view::find_first_not_of(): received nullptr");
561 return __str_find_first_not_of<value_type, size_type, traits_type, npos>
562 (data(), size(), __s.data(), __pos, __s.size());
563 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000564
Marshall Clowb7db4972017-11-15 20:02:27 +0000565 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
566 size_type find_first_not_of(_CharT __c, size_type __pos=0) const _NOEXCEPT
567 {
568 return __str_find_first_not_of<value_type, size_type, traits_type, npos>
569 (data(), size(), __c, __pos);
570 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000571
Marshall Clowb7db4972017-11-15 20:02:27 +0000572 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
zoecarver1997e0a2021-02-05 11:54:47 -0800573 size_type find_first_not_of(const _CharT* __s, size_type __pos, size_type __n) const _NOEXCEPT
Marshall Clowb7db4972017-11-15 20:02:27 +0000574 {
575 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "string_view::find_first_not_of(): received nullptr");
576 return __str_find_first_not_of<value_type, size_type, traits_type, npos>
577 (data(), size(), __s, __pos, __n);
578 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000579
Marshall Clowb7db4972017-11-15 20:02:27 +0000580 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
zoecarver1997e0a2021-02-05 11:54:47 -0800581 size_type find_first_not_of(const _CharT* __s, size_type __pos=0) const _NOEXCEPT
Marshall Clowb7db4972017-11-15 20:02:27 +0000582 {
583 _LIBCPP_ASSERT(__s != nullptr, "string_view::find_first_not_of(): received nullptr");
584 return __str_find_first_not_of<value_type, size_type, traits_type, npos>
585 (data(), size(), __s, __pos, traits_type::length(__s));
586 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000587
Marshall Clowb7db4972017-11-15 20:02:27 +0000588 // find_last_not_of
589 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
590 size_type find_last_not_of(basic_string_view __s, size_type __pos=npos) const _NOEXCEPT
591 {
592 _LIBCPP_ASSERT(__s.size() == 0 || __s.data() != nullptr, "string_view::find_last_not_of(): received nullptr");
593 return __str_find_last_not_of<value_type, size_type, traits_type, npos>
594 (data(), size(), __s.data(), __pos, __s.size());
595 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000596
Marshall Clowb7db4972017-11-15 20:02:27 +0000597 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
598 size_type find_last_not_of(_CharT __c, size_type __pos=npos) const _NOEXCEPT
599 {
600 return __str_find_last_not_of<value_type, size_type, traits_type, npos>
601 (data(), size(), __c, __pos);
602 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000603
Marshall Clowb7db4972017-11-15 20:02:27 +0000604 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
zoecarver1997e0a2021-02-05 11:54:47 -0800605 size_type find_last_not_of(const _CharT* __s, size_type __pos, size_type __n) const _NOEXCEPT
Marshall Clowb7db4972017-11-15 20:02:27 +0000606 {
607 _LIBCPP_ASSERT(__n == 0 || __s != nullptr, "string_view::find_last_not_of(): received nullptr");
608 return __str_find_last_not_of<value_type, size_type, traits_type, npos>
609 (data(), size(), __s, __pos, __n);
610 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000611
Marshall Clowb7db4972017-11-15 20:02:27 +0000612 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
zoecarver1997e0a2021-02-05 11:54:47 -0800613 size_type find_last_not_of(const _CharT* __s, size_type __pos=npos) const _NOEXCEPT
Marshall Clowb7db4972017-11-15 20:02:27 +0000614 {
615 _LIBCPP_ASSERT(__s != nullptr, "string_view::find_last_not_of(): received nullptr");
616 return __str_find_last_not_of<value_type, size_type, traits_type, npos>
617 (data(), size(), __s, __pos, traits_type::length(__s));
618 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000619
Marshall Clow18c293b2017-12-04 20:11:38 +0000620#if _LIBCPP_STD_VER > 17
621 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
622 bool starts_with(basic_string_view __s) const _NOEXCEPT
623 { return size() >= __s.size() && compare(0, __s.size(), __s) == 0; }
624
625 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
626 bool starts_with(value_type __c) const _NOEXCEPT
627 { return !empty() && _Traits::eq(front(), __c); }
628
629 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
630 bool starts_with(const value_type* __s) const _NOEXCEPT
631 { return starts_with(basic_string_view(__s)); }
632
633 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
634 bool ends_with(basic_string_view __s) const _NOEXCEPT
635 { return size() >= __s.size() && compare(size() - __s.size(), npos, __s) == 0; }
636
637 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
638 bool ends_with(value_type __c) const _NOEXCEPT
639 { return !empty() && _Traits::eq(back(), __c); }
640
641 _LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
642 bool ends_with(const value_type* __s) const _NOEXCEPT
643 { return ends_with(basic_string_view(__s)); }
644#endif
645
Wim Leflere023c3542021-01-19 14:33:30 -0500646#if _LIBCPP_STD_VER > 20
647 constexpr _LIBCPP_INLINE_VISIBILITY
648 bool contains(basic_string_view __sv) const noexcept
649 { return find(__sv) != npos; }
650
651 constexpr _LIBCPP_INLINE_VISIBILITY
652 bool contains(value_type __c) const noexcept
653 { return find(__c) != npos; }
654
655 constexpr _LIBCPP_INLINE_VISIBILITY
656 bool contains(const value_type* __s) const
657 { return find(__s) != npos; }
658#endif
659
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000660private:
Marshall Clowb7db4972017-11-15 20:02:27 +0000661 const value_type* __data;
662 size_type __size;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000663};
664
Mark de Weveraf59b2d2020-11-24 18:08:02 +0100665#if _LIBCPP_STD_VER > 17 && !defined(_LIBCPP_HAS_NO_RANGES)
666template <class _CharT, class _Traits>
Christopher Di Bella92072c22021-05-14 06:20:07 +0000667inline constexpr bool ranges::enable_view<basic_string_view<_CharT, _Traits>> = true;
668
669template <class _CharT, class _Traits>
Mark de Weveraf59b2d2020-11-24 18:08:02 +0100670inline constexpr bool ranges::enable_borrowed_range<basic_string_view<_CharT, _Traits> > = true;
671#endif // _LIBCPP_STD_VER > 17 && !defined(_LIBCPP_HAS_NO_RANGES)
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000672
673// [string.view.comparison]
674// operator ==
675template<class _CharT, class _Traits>
676_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
677bool operator==(basic_string_view<_CharT, _Traits> __lhs,
Marshall Clowb7db4972017-11-15 20:02:27 +0000678 basic_string_view<_CharT, _Traits> __rhs) _NOEXCEPT
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000679{
Marshall Clowb7db4972017-11-15 20:02:27 +0000680 if ( __lhs.size() != __rhs.size()) return false;
681 return __lhs.compare(__rhs) == 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000682}
683
684template<class _CharT, class _Traits>
685_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
686bool operator==(basic_string_view<_CharT, _Traits> __lhs,
Marshall Clowb7db4972017-11-15 20:02:27 +0000687 typename common_type<basic_string_view<_CharT, _Traits> >::type __rhs) _NOEXCEPT
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000688{
Marshall Clowb7db4972017-11-15 20:02:27 +0000689 if ( __lhs.size() != __rhs.size()) return false;
690 return __lhs.compare(__rhs) == 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000691}
692
693template<class _CharT, class _Traits>
694_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Louis Dionne173f29e2019-05-29 16:01:36 +0000695bool operator==(typename common_type<basic_string_view<_CharT, _Traits> >::type __lhs,
Marshall Clowb7db4972017-11-15 20:02:27 +0000696 basic_string_view<_CharT, _Traits> __rhs) _NOEXCEPT
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000697{
Marshall Clowb7db4972017-11-15 20:02:27 +0000698 if ( __lhs.size() != __rhs.size()) return false;
699 return __lhs.compare(__rhs) == 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000700}
701
702
703// operator !=
704template<class _CharT, class _Traits>
705_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
706bool operator!=(basic_string_view<_CharT, _Traits> __lhs, basic_string_view<_CharT, _Traits> __rhs) _NOEXCEPT
707{
Marshall Clowb7db4972017-11-15 20:02:27 +0000708 if ( __lhs.size() != __rhs.size())
709 return true;
710 return __lhs.compare(__rhs) != 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000711}
712
713template<class _CharT, class _Traits>
714_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
715bool operator!=(basic_string_view<_CharT, _Traits> __lhs,
Marshall Clowb7db4972017-11-15 20:02:27 +0000716 typename common_type<basic_string_view<_CharT, _Traits> >::type __rhs) _NOEXCEPT
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000717{
Marshall Clowb7db4972017-11-15 20:02:27 +0000718 if ( __lhs.size() != __rhs.size())
719 return true;
720 return __lhs.compare(__rhs) != 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000721}
722
723template<class _CharT, class _Traits>
724_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Louis Dionne173f29e2019-05-29 16:01:36 +0000725bool operator!=(typename common_type<basic_string_view<_CharT, _Traits> >::type __lhs,
Marshall Clowb7db4972017-11-15 20:02:27 +0000726 basic_string_view<_CharT, _Traits> __rhs) _NOEXCEPT
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000727{
Marshall Clowb7db4972017-11-15 20:02:27 +0000728 if ( __lhs.size() != __rhs.size())
729 return true;
730 return __lhs.compare(__rhs) != 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000731}
732
733
734// operator <
735template<class _CharT, class _Traits>
736_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
737bool operator<(basic_string_view<_CharT, _Traits> __lhs, basic_string_view<_CharT, _Traits> __rhs) _NOEXCEPT
738{
Marshall Clowb7db4972017-11-15 20:02:27 +0000739 return __lhs.compare(__rhs) < 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000740}
741
742template<class _CharT, class _Traits>
743_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
744bool operator<(basic_string_view<_CharT, _Traits> __lhs,
Marshall Clowb7db4972017-11-15 20:02:27 +0000745 typename common_type<basic_string_view<_CharT, _Traits> >::type __rhs) _NOEXCEPT
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000746{
Marshall Clowb7db4972017-11-15 20:02:27 +0000747 return __lhs.compare(__rhs) < 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000748}
749
750template<class _CharT, class _Traits>
751_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Louis Dionne173f29e2019-05-29 16:01:36 +0000752bool operator<(typename common_type<basic_string_view<_CharT, _Traits> >::type __lhs,
Marshall Clowb7db4972017-11-15 20:02:27 +0000753 basic_string_view<_CharT, _Traits> __rhs) _NOEXCEPT
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000754{
Marshall Clowb7db4972017-11-15 20:02:27 +0000755 return __lhs.compare(__rhs) < 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000756}
757
758
759// operator >
760template<class _CharT, class _Traits>
761_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
762bool operator> (basic_string_view<_CharT, _Traits> __lhs, basic_string_view<_CharT, _Traits> __rhs) _NOEXCEPT
763{
Marshall Clowb7db4972017-11-15 20:02:27 +0000764 return __lhs.compare(__rhs) > 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000765}
766
767template<class _CharT, class _Traits>
768_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
769bool operator>(basic_string_view<_CharT, _Traits> __lhs,
Marshall Clowb7db4972017-11-15 20:02:27 +0000770 typename common_type<basic_string_view<_CharT, _Traits> >::type __rhs) _NOEXCEPT
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000771{
Marshall Clowb7db4972017-11-15 20:02:27 +0000772 return __lhs.compare(__rhs) > 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000773}
774
775template<class _CharT, class _Traits>
776_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Louis Dionne173f29e2019-05-29 16:01:36 +0000777bool operator>(typename common_type<basic_string_view<_CharT, _Traits> >::type __lhs,
Marshall Clowb7db4972017-11-15 20:02:27 +0000778 basic_string_view<_CharT, _Traits> __rhs) _NOEXCEPT
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000779{
Marshall Clowb7db4972017-11-15 20:02:27 +0000780 return __lhs.compare(__rhs) > 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000781}
782
783
784// operator <=
785template<class _CharT, class _Traits>
786_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
787bool operator<=(basic_string_view<_CharT, _Traits> __lhs, basic_string_view<_CharT, _Traits> __rhs) _NOEXCEPT
788{
Marshall Clowb7db4972017-11-15 20:02:27 +0000789 return __lhs.compare(__rhs) <= 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000790}
791
792template<class _CharT, class _Traits>
793_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
794bool operator<=(basic_string_view<_CharT, _Traits> __lhs,
Marshall Clowb7db4972017-11-15 20:02:27 +0000795 typename common_type<basic_string_view<_CharT, _Traits> >::type __rhs) _NOEXCEPT
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000796{
Marshall Clowb7db4972017-11-15 20:02:27 +0000797 return __lhs.compare(__rhs) <= 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000798}
799
800template<class _CharT, class _Traits>
801_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Louis Dionne173f29e2019-05-29 16:01:36 +0000802bool operator<=(typename common_type<basic_string_view<_CharT, _Traits> >::type __lhs,
Marshall Clowb7db4972017-11-15 20:02:27 +0000803 basic_string_view<_CharT, _Traits> __rhs) _NOEXCEPT
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000804{
Marshall Clowb7db4972017-11-15 20:02:27 +0000805 return __lhs.compare(__rhs) <= 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000806}
807
808
809// operator >=
810template<class _CharT, class _Traits>
811_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
812bool operator>=(basic_string_view<_CharT, _Traits> __lhs, basic_string_view<_CharT, _Traits> __rhs) _NOEXCEPT
813{
Marshall Clowb7db4972017-11-15 20:02:27 +0000814 return __lhs.compare(__rhs) >= 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000815}
816
817
818template<class _CharT, class _Traits>
819_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
820bool operator>=(basic_string_view<_CharT, _Traits> __lhs,
Marshall Clowb7db4972017-11-15 20:02:27 +0000821 typename common_type<basic_string_view<_CharT, _Traits> >::type __rhs) _NOEXCEPT
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000822{
Marshall Clowb7db4972017-11-15 20:02:27 +0000823 return __lhs.compare(__rhs) >= 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000824}
825
826template<class _CharT, class _Traits>
827_LIBCPP_CONSTEXPR_AFTER_CXX11 _LIBCPP_INLINE_VISIBILITY
Louis Dionne173f29e2019-05-29 16:01:36 +0000828bool operator>=(typename common_type<basic_string_view<_CharT, _Traits> >::type __lhs,
Marshall Clowb7db4972017-11-15 20:02:27 +0000829 basic_string_view<_CharT, _Traits> __rhs) _NOEXCEPT
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000830{
Marshall Clowb7db4972017-11-15 20:02:27 +0000831 return __lhs.compare(__rhs) >= 0;
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000832}
833
Eric Fiselier14116922019-09-25 18:56:54 +0000834
835template<class _CharT, class _Traits>
836basic_ostream<_CharT, _Traits>&
837operator<<(basic_ostream<_CharT, _Traits>& __os,
838 basic_string_view<_CharT, _Traits> __str);
839
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000840// [string.view.hash]
Marshall Clowab313df2019-06-27 14:18:32 +0000841template<class _CharT>
842struct _LIBCPP_TEMPLATE_VIS hash<basic_string_view<_CharT, char_traits<_CharT> > >
843 : public unary_function<basic_string_view<_CharT, char_traits<_CharT> >, size_t>
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000844{
Louis Dionned83f2e62018-11-28 15:22:30 +0000845 _LIBCPP_INLINE_VISIBILITY
Marshall Clowab313df2019-06-27 14:18:32 +0000846 size_t operator()(const basic_string_view<_CharT, char_traits<_CharT> > __val) const _NOEXCEPT {
Louis Dionned83f2e62018-11-28 15:22:30 +0000847 return __do_string_hash(__val.data(), __val.data() + __val.size());
848 }
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000849};
850
Marshall Clow27c8a4c2017-01-09 18:07:34 +0000851
Louis Dionne173f29e2019-05-29 16:01:36 +0000852#if _LIBCPP_STD_VER > 11
Marshall Clow27c8a4c2017-01-09 18:07:34 +0000853inline namespace literals
854{
855 inline namespace string_view_literals
856 {
857 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
Marshall Clowabe6daf2017-10-24 14:06:00 +0000858 basic_string_view<char> operator "" sv(const char *__str, size_t __len) _NOEXCEPT
Marshall Clow27c8a4c2017-01-09 18:07:34 +0000859 {
860 return basic_string_view<char> (__str, __len);
861 }
862
863 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
Marshall Clowabe6daf2017-10-24 14:06:00 +0000864 basic_string_view<wchar_t> operator "" sv(const wchar_t *__str, size_t __len) _NOEXCEPT
Marshall Clow27c8a4c2017-01-09 18:07:34 +0000865 {
866 return basic_string_view<wchar_t> (__str, __len);
867 }
868
Arthur O'Dwyerafa5d5f2021-04-18 21:47:08 -0400869#ifndef _LIBCPP_HAS_NO_CHAR8_T
Marshall Clow8732fed2018-12-11 04:35:44 +0000870 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
871 basic_string_view<char8_t> operator "" sv(const char8_t *__str, size_t __len) _NOEXCEPT
872 {
873 return basic_string_view<char8_t> (__str, __len);
874 }
875#endif
876
Marshall Clow27c8a4c2017-01-09 18:07:34 +0000877 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
Marshall Clowabe6daf2017-10-24 14:06:00 +0000878 basic_string_view<char16_t> operator "" sv(const char16_t *__str, size_t __len) _NOEXCEPT
Marshall Clow27c8a4c2017-01-09 18:07:34 +0000879 {
880 return basic_string_view<char16_t> (__str, __len);
881 }
882
883 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
Marshall Clowabe6daf2017-10-24 14:06:00 +0000884 basic_string_view<char32_t> operator "" sv(const char32_t *__str, size_t __len) _NOEXCEPT
Marshall Clow27c8a4c2017-01-09 18:07:34 +0000885 {
886 return basic_string_view<char32_t> (__str, __len);
887 }
888 }
889}
890#endif
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000891_LIBCPP_END_NAMESPACE_STD
892
Eric Fiselierf4433a32017-05-31 22:07:49 +0000893_LIBCPP_POP_MACROS
894
Marshall Clowdf63a6d2016-07-21 05:31:24 +0000895#endif // _LIBCPP_STRING_VIEW