[1166] | 1 | // Components for manipulating non-owning sequences of characters -*- C++ -*-
|
---|
| 2 |
|
---|
| 3 | // Copyright (C) 2013-2021 Free Software Foundation, Inc.
|
---|
| 4 | //
|
---|
| 5 | // This file is part of the GNU ISO C++ Library. This library is free
|
---|
| 6 | // software; you can redistribute it and/or modify it under the
|
---|
| 7 | // terms of the GNU General Public License as published by the
|
---|
| 8 | // Free Software Foundation; either version 3, or (at your option)
|
---|
| 9 | // any later version.
|
---|
| 10 |
|
---|
| 11 | // This library is distributed in the hope that it will be useful,
|
---|
| 12 | // but WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
| 13 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
---|
| 14 | // GNU General Public License for more details.
|
---|
| 15 |
|
---|
| 16 | // Under Section 7 of GPL version 3, you are granted additional
|
---|
| 17 | // permissions described in the GCC Runtime Library Exception, version
|
---|
| 18 | // 3.1, as published by the Free Software Foundation.
|
---|
| 19 |
|
---|
| 20 | // You should have received a copy of the GNU General Public License and
|
---|
| 21 | // a copy of the GCC Runtime Library Exception along with this program;
|
---|
| 22 | // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
|
---|
| 23 | // <http://www.gnu.org/licenses/>.
|
---|
| 24 |
|
---|
| 25 | /** @file experimental/string_view
|
---|
| 26 | * This is a TS C++ Library header.
|
---|
| 27 | * @ingroup libfund-ts
|
---|
| 28 | */
|
---|
| 29 |
|
---|
| 30 | //
|
---|
| 31 | // N3762 basic_string_view library
|
---|
| 32 | //
|
---|
| 33 |
|
---|
| 34 | #ifndef _GLIBCXX_EXPERIMENTAL_STRING_VIEW
|
---|
| 35 | #define _GLIBCXX_EXPERIMENTAL_STRING_VIEW 1
|
---|
| 36 |
|
---|
| 37 | #pragma GCC system_header
|
---|
| 38 |
|
---|
| 39 | #if __cplusplus >= 201402L
|
---|
| 40 |
|
---|
| 41 | #include <string>
|
---|
| 42 | #include <limits>
|
---|
| 43 | #include <bits/ranges_base.h> // enable_borrowed_range, enable_view
|
---|
| 44 | #include <experimental/bits/lfts_config.h>
|
---|
| 45 |
|
---|
| 46 | namespace std _GLIBCXX_VISIBILITY(default)
|
---|
| 47 | {
|
---|
| 48 | _GLIBCXX_BEGIN_NAMESPACE_VERSION
|
---|
| 49 |
|
---|
| 50 | namespace experimental
|
---|
| 51 | {
|
---|
| 52 | inline namespace fundamentals_v1
|
---|
| 53 | {
|
---|
| 54 | #define __cpp_lib_experimental_string_view 201411
|
---|
| 55 |
|
---|
| 56 | /**
|
---|
| 57 | * @class basic_string_view <experimental/string_view>
|
---|
| 58 | * @brief A non-owning reference to a string.
|
---|
| 59 | *
|
---|
| 60 | * @ingroup strings
|
---|
| 61 | * @ingroup sequences
|
---|
| 62 | * @ingroup libfund-ts
|
---|
| 63 | *
|
---|
| 64 | * @tparam _CharT Type of character
|
---|
| 65 | * @tparam _Traits Traits for character type, defaults to
|
---|
| 66 | * char_traits<_CharT>.
|
---|
| 67 | *
|
---|
| 68 | * A basic_string_view looks like this:
|
---|
| 69 | *
|
---|
| 70 | * @code
|
---|
| 71 | * _CharT* _M_str
|
---|
| 72 | * size_t _M_len
|
---|
| 73 | * @endcode
|
---|
| 74 | */
|
---|
| 75 | template<typename _CharT, typename _Traits = std::char_traits<_CharT>>
|
---|
| 76 | class basic_string_view
|
---|
| 77 | {
|
---|
| 78 | public:
|
---|
| 79 |
|
---|
| 80 | // types
|
---|
| 81 | using traits_type = _Traits;
|
---|
| 82 | using value_type = _CharT;
|
---|
| 83 | using pointer = _CharT*;
|
---|
| 84 | using const_pointer = const _CharT*;
|
---|
| 85 | using reference = _CharT&;
|
---|
| 86 | using const_reference = const _CharT&;
|
---|
| 87 | using const_iterator = const _CharT*;
|
---|
| 88 | using iterator = const_iterator;
|
---|
| 89 | using const_reverse_iterator = std::reverse_iterator<const_iterator>;
|
---|
| 90 | using reverse_iterator = const_reverse_iterator;
|
---|
| 91 | using size_type = size_t;
|
---|
| 92 | using difference_type = ptrdiff_t;
|
---|
| 93 | static constexpr size_type npos = size_type(-1);
|
---|
| 94 |
|
---|
| 95 | // [string.view.cons], construct/copy
|
---|
| 96 |
|
---|
| 97 | constexpr
|
---|
| 98 | basic_string_view() noexcept
|
---|
| 99 | : _M_len{0}, _M_str{nullptr}
|
---|
| 100 | { }
|
---|
| 101 |
|
---|
| 102 | constexpr basic_string_view(const basic_string_view&) noexcept = default;
|
---|
| 103 |
|
---|
| 104 | template<typename _Allocator>
|
---|
| 105 | basic_string_view(const basic_string<_CharT, _Traits,
|
---|
| 106 | _Allocator>& __str) noexcept
|
---|
| 107 | : _M_len{__str.length()}, _M_str{__str.data()}
|
---|
| 108 | { }
|
---|
| 109 |
|
---|
| 110 | constexpr basic_string_view(const _CharT* __str)
|
---|
| 111 | : _M_len{__str == nullptr ? 0 : traits_type::length(__str)},
|
---|
| 112 | _M_str{__str}
|
---|
| 113 | { }
|
---|
| 114 |
|
---|
| 115 | constexpr basic_string_view(const _CharT* __str, size_type __len)
|
---|
| 116 | : _M_len{__len},
|
---|
| 117 | _M_str{__str}
|
---|
| 118 | { }
|
---|
| 119 |
|
---|
| 120 | basic_string_view&
|
---|
| 121 | operator=(const basic_string_view&) noexcept = default;
|
---|
| 122 |
|
---|
| 123 | // [string.view.iterators], iterators
|
---|
| 124 |
|
---|
| 125 | constexpr const_iterator
|
---|
| 126 | begin() const noexcept
|
---|
| 127 | { return this->_M_str; }
|
---|
| 128 |
|
---|
| 129 | constexpr const_iterator
|
---|
| 130 | end() const noexcept
|
---|
| 131 | { return this->_M_str + this->_M_len; }
|
---|
| 132 |
|
---|
| 133 | constexpr const_iterator
|
---|
| 134 | cbegin() const noexcept
|
---|
| 135 | { return this->_M_str; }
|
---|
| 136 |
|
---|
| 137 | constexpr const_iterator
|
---|
| 138 | cend() const noexcept
|
---|
| 139 | { return this->_M_str + this->_M_len; }
|
---|
| 140 |
|
---|
| 141 | const_reverse_iterator
|
---|
| 142 | rbegin() const noexcept
|
---|
| 143 | { return const_reverse_iterator(this->end()); }
|
---|
| 144 |
|
---|
| 145 | const_reverse_iterator
|
---|
| 146 | rend() const noexcept
|
---|
| 147 | { return const_reverse_iterator(this->begin()); }
|
---|
| 148 |
|
---|
| 149 | const_reverse_iterator
|
---|
| 150 | crbegin() const noexcept
|
---|
| 151 | { return const_reverse_iterator(this->end()); }
|
---|
| 152 |
|
---|
| 153 | const_reverse_iterator
|
---|
| 154 | crend() const noexcept
|
---|
| 155 | { return const_reverse_iterator(this->begin()); }
|
---|
| 156 |
|
---|
| 157 | // [string.view.capacity], capacity
|
---|
| 158 |
|
---|
| 159 | constexpr size_type
|
---|
| 160 | size() const noexcept
|
---|
| 161 | { return this->_M_len; }
|
---|
| 162 |
|
---|
| 163 | constexpr size_type
|
---|
| 164 | length() const noexcept
|
---|
| 165 | { return _M_len; }
|
---|
| 166 |
|
---|
| 167 | constexpr size_type
|
---|
| 168 | max_size() const noexcept
|
---|
| 169 | {
|
---|
| 170 | return (npos - sizeof(size_type) - sizeof(void*))
|
---|
| 171 | / sizeof(value_type) / 4;
|
---|
| 172 | }
|
---|
| 173 |
|
---|
| 174 | _GLIBCXX_NODISCARD constexpr bool
|
---|
| 175 | empty() const noexcept
|
---|
| 176 | { return this->_M_len == 0; }
|
---|
| 177 |
|
---|
| 178 | // [string.view.access], element access
|
---|
| 179 |
|
---|
| 180 | constexpr const _CharT&
|
---|
| 181 | operator[](size_type __pos) const
|
---|
| 182 | {
|
---|
| 183 | __glibcxx_assert(__pos < this->_M_len);
|
---|
| 184 | return *(this->_M_str + __pos);
|
---|
| 185 | }
|
---|
| 186 |
|
---|
| 187 | constexpr const _CharT&
|
---|
| 188 | at(size_type __pos) const
|
---|
| 189 | {
|
---|
| 190 | return __pos < this->_M_len
|
---|
| 191 | ? *(this->_M_str + __pos)
|
---|
| 192 | : (__throw_out_of_range_fmt(__N("basic_string_view::at: __pos "
|
---|
| 193 | "(which is %zu) >= this->size() "
|
---|
| 194 | "(which is %zu)"),
|
---|
| 195 | __pos, this->size()),
|
---|
| 196 | *this->_M_str);
|
---|
| 197 | }
|
---|
| 198 |
|
---|
| 199 | constexpr const _CharT&
|
---|
| 200 | front() const
|
---|
| 201 | {
|
---|
| 202 | __glibcxx_assert(this->_M_len > 0);
|
---|
| 203 | return *this->_M_str;
|
---|
| 204 | }
|
---|
| 205 |
|
---|
| 206 | constexpr const _CharT&
|
---|
| 207 | back() const
|
---|
| 208 | {
|
---|
| 209 | __glibcxx_assert(this->_M_len > 0);
|
---|
| 210 | return *(this->_M_str + this->_M_len - 1);
|
---|
| 211 | }
|
---|
| 212 |
|
---|
| 213 | constexpr const _CharT*
|
---|
| 214 | data() const noexcept
|
---|
| 215 | { return this->_M_str; }
|
---|
| 216 |
|
---|
| 217 | // [string.view.modifiers], modifiers:
|
---|
| 218 |
|
---|
| 219 | constexpr void
|
---|
| 220 | remove_prefix(size_type __n)
|
---|
| 221 | {
|
---|
| 222 | __glibcxx_assert(this->_M_len >= __n);
|
---|
| 223 | this->_M_str += __n;
|
---|
| 224 | this->_M_len -= __n;
|
---|
| 225 | }
|
---|
| 226 |
|
---|
| 227 | constexpr void
|
---|
| 228 | remove_suffix(size_type __n)
|
---|
| 229 | { this->_M_len -= __n; }
|
---|
| 230 |
|
---|
| 231 | constexpr void
|
---|
| 232 | swap(basic_string_view& __sv) noexcept
|
---|
| 233 | {
|
---|
| 234 | auto __tmp = *this;
|
---|
| 235 | *this = __sv;
|
---|
| 236 | __sv = __tmp;
|
---|
| 237 | }
|
---|
| 238 |
|
---|
| 239 |
|
---|
| 240 | // [string.view.ops], string operations:
|
---|
| 241 |
|
---|
| 242 | template<typename _Allocator>
|
---|
| 243 | explicit operator basic_string<_CharT, _Traits, _Allocator>() const
|
---|
| 244 | {
|
---|
| 245 | return { this->_M_str, this->_M_len };
|
---|
| 246 | }
|
---|
| 247 |
|
---|
| 248 | template<typename _Allocator = std::allocator<_CharT>>
|
---|
| 249 | basic_string<_CharT, _Traits, _Allocator>
|
---|
| 250 | to_string(const _Allocator& __alloc = _Allocator()) const
|
---|
| 251 | {
|
---|
| 252 | return { this->_M_str, this->_M_len, __alloc };
|
---|
| 253 | }
|
---|
| 254 |
|
---|
| 255 | size_type
|
---|
| 256 | copy(_CharT* __str, size_type __n, size_type __pos = 0) const
|
---|
| 257 | {
|
---|
| 258 | __glibcxx_requires_string_len(__str, __n);
|
---|
| 259 | if (__pos > this->_M_len)
|
---|
| 260 | __throw_out_of_range_fmt(__N("basic_string_view::copy: __pos "
|
---|
| 261 | "(which is %zu) > this->size() "
|
---|
| 262 | "(which is %zu)"),
|
---|
| 263 | __pos, this->size());
|
---|
| 264 | size_type __rlen{std::min(__n, size_type{this->_M_len - __pos})};
|
---|
| 265 | for (auto __begin = this->_M_str + __pos,
|
---|
| 266 | __end = __begin + __rlen; __begin != __end;)
|
---|
| 267 | *__str++ = *__begin++;
|
---|
| 268 | return __rlen;
|
---|
| 269 | }
|
---|
| 270 |
|
---|
| 271 |
|
---|
| 272 | // [string.view.ops], string operations:
|
---|
| 273 |
|
---|
| 274 | constexpr basic_string_view
|
---|
| 275 | substr(size_type __pos = 0, size_type __n = npos) const
|
---|
| 276 | {
|
---|
| 277 | return __pos <= this->_M_len
|
---|
| 278 | ? basic_string_view{this->_M_str + __pos,
|
---|
| 279 | std::min(__n, size_type{this->_M_len - __pos})}
|
---|
| 280 | : (__throw_out_of_range_fmt(__N("basic_string_view::substr: __pos "
|
---|
| 281 | "(which is %zu) > this->size() "
|
---|
| 282 | "(which is %zu)"),
|
---|
| 283 | __pos, this->size()), basic_string_view{});
|
---|
| 284 | }
|
---|
| 285 |
|
---|
| 286 | constexpr int
|
---|
| 287 | compare(basic_string_view __str) const noexcept
|
---|
| 288 | {
|
---|
| 289 | int __ret = traits_type::compare(this->_M_str, __str._M_str,
|
---|
| 290 | std::min(this->_M_len, __str._M_len));
|
---|
| 291 | if (__ret == 0)
|
---|
| 292 | __ret = _S_compare(this->_M_len, __str._M_len);
|
---|
| 293 | return __ret;
|
---|
| 294 | }
|
---|
| 295 |
|
---|
| 296 | constexpr int
|
---|
| 297 | compare(size_type __pos1, size_type __n1, basic_string_view __str) const
|
---|
| 298 | { return this->substr(__pos1, __n1).compare(__str); }
|
---|
| 299 |
|
---|
| 300 | constexpr int
|
---|
| 301 | compare(size_type __pos1, size_type __n1,
|
---|
| 302 | basic_string_view __str, size_type __pos2, size_type __n2) const
|
---|
| 303 | { return this->substr(__pos1, __n1).compare(__str.substr(__pos2, __n2)); }
|
---|
| 304 |
|
---|
| 305 | constexpr int
|
---|
| 306 | compare(const _CharT* __str) const noexcept
|
---|
| 307 | { return this->compare(basic_string_view{__str}); }
|
---|
| 308 |
|
---|
| 309 | constexpr int
|
---|
| 310 | compare(size_type __pos1, size_type __n1, const _CharT* __str) const
|
---|
| 311 | { return this->substr(__pos1, __n1).compare(basic_string_view{__str}); }
|
---|
| 312 |
|
---|
| 313 | constexpr int
|
---|
| 314 | compare(size_type __pos1, size_type __n1,
|
---|
| 315 | const _CharT* __str, size_type __n2) const
|
---|
| 316 | {
|
---|
| 317 | return this->substr(__pos1, __n1)
|
---|
| 318 | .compare(basic_string_view(__str, __n2));
|
---|
| 319 | }
|
---|
| 320 |
|
---|
| 321 | constexpr size_type
|
---|
| 322 | find(basic_string_view __str, size_type __pos = 0) const noexcept
|
---|
| 323 | { return this->find(__str._M_str, __pos, __str._M_len); }
|
---|
| 324 |
|
---|
| 325 | constexpr size_type
|
---|
| 326 | find(_CharT __c, size_type __pos=0) const noexcept;
|
---|
| 327 |
|
---|
| 328 | constexpr size_type
|
---|
| 329 | find(const _CharT* __str, size_type __pos, size_type __n) const noexcept;
|
---|
| 330 |
|
---|
| 331 | constexpr size_type
|
---|
| 332 | find(const _CharT* __str, size_type __pos=0) const noexcept
|
---|
| 333 | { return this->find(__str, __pos, traits_type::length(__str)); }
|
---|
| 334 |
|
---|
| 335 | constexpr size_type
|
---|
| 336 | rfind(basic_string_view __str, size_type __pos = npos) const noexcept
|
---|
| 337 | { return this->rfind(__str._M_str, __pos, __str._M_len); }
|
---|
| 338 |
|
---|
| 339 | constexpr size_type
|
---|
| 340 | rfind(_CharT __c, size_type __pos = npos) const noexcept;
|
---|
| 341 |
|
---|
| 342 | constexpr size_type
|
---|
| 343 | rfind(const _CharT* __str, size_type __pos, size_type __n) const noexcept;
|
---|
| 344 |
|
---|
| 345 | constexpr size_type
|
---|
| 346 | rfind(const _CharT* __str, size_type __pos = npos) const noexcept
|
---|
| 347 | { return this->rfind(__str, __pos, traits_type::length(__str)); }
|
---|
| 348 |
|
---|
| 349 | constexpr size_type
|
---|
| 350 | find_first_of(basic_string_view __str, size_type __pos = 0) const noexcept
|
---|
| 351 | { return this->find_first_of(__str._M_str, __pos, __str._M_len); }
|
---|
| 352 |
|
---|
| 353 | constexpr size_type
|
---|
| 354 | find_first_of(_CharT __c, size_type __pos = 0) const noexcept
|
---|
| 355 | { return this->find(__c, __pos); }
|
---|
| 356 |
|
---|
| 357 | constexpr size_type
|
---|
| 358 | find_first_of(const _CharT* __str, size_type __pos, size_type __n) const;
|
---|
| 359 |
|
---|
| 360 | constexpr size_type
|
---|
| 361 | find_first_of(const _CharT* __str, size_type __pos = 0) const noexcept
|
---|
| 362 | { return this->find_first_of(__str, __pos, traits_type::length(__str)); }
|
---|
| 363 |
|
---|
| 364 | constexpr size_type
|
---|
| 365 | find_last_of(basic_string_view __str,
|
---|
| 366 | size_type __pos = npos) const noexcept
|
---|
| 367 | { return this->find_last_of(__str._M_str, __pos, __str._M_len); }
|
---|
| 368 |
|
---|
| 369 | constexpr size_type
|
---|
| 370 | find_last_of(_CharT __c, size_type __pos=npos) const noexcept
|
---|
| 371 | { return this->rfind(__c, __pos); }
|
---|
| 372 |
|
---|
| 373 | constexpr size_type
|
---|
| 374 | find_last_of(const _CharT* __str, size_type __pos, size_type __n) const;
|
---|
| 375 |
|
---|
| 376 | constexpr size_type
|
---|
| 377 | find_last_of(const _CharT* __str, size_type __pos = npos) const noexcept
|
---|
| 378 | { return this->find_last_of(__str, __pos, traits_type::length(__str)); }
|
---|
| 379 |
|
---|
| 380 | constexpr size_type
|
---|
| 381 | find_first_not_of(basic_string_view __str,
|
---|
| 382 | size_type __pos = 0) const noexcept
|
---|
| 383 | { return this->find_first_not_of(__str._M_str, __pos, __str._M_len); }
|
---|
| 384 |
|
---|
| 385 | constexpr size_type
|
---|
| 386 | find_first_not_of(_CharT __c, size_type __pos = 0) const noexcept;
|
---|
| 387 |
|
---|
| 388 | constexpr size_type
|
---|
| 389 | find_first_not_of(const _CharT* __str,
|
---|
| 390 | size_type __pos, size_type __n) const;
|
---|
| 391 |
|
---|
| 392 | constexpr size_type
|
---|
| 393 | find_first_not_of(const _CharT* __str, size_type __pos = 0) const noexcept
|
---|
| 394 | {
|
---|
| 395 | return this->find_first_not_of(__str, __pos,
|
---|
| 396 | traits_type::length(__str));
|
---|
| 397 | }
|
---|
| 398 |
|
---|
| 399 | constexpr size_type
|
---|
| 400 | find_last_not_of(basic_string_view __str,
|
---|
| 401 | size_type __pos = npos) const noexcept
|
---|
| 402 | { return this->find_last_not_of(__str._M_str, __pos, __str._M_len); }
|
---|
| 403 |
|
---|
| 404 | constexpr size_type
|
---|
| 405 | find_last_not_of(_CharT __c, size_type __pos = npos) const noexcept;
|
---|
| 406 |
|
---|
| 407 | constexpr size_type
|
---|
| 408 | find_last_not_of(const _CharT* __str,
|
---|
| 409 | size_type __pos, size_type __n) const;
|
---|
| 410 |
|
---|
| 411 | constexpr size_type
|
---|
| 412 | find_last_not_of(const _CharT* __str,
|
---|
| 413 | size_type __pos = npos) const noexcept
|
---|
| 414 | {
|
---|
| 415 | return this->find_last_not_of(__str, __pos,
|
---|
| 416 | traits_type::length(__str));
|
---|
| 417 | }
|
---|
| 418 |
|
---|
| 419 | private:
|
---|
| 420 |
|
---|
| 421 | static constexpr int
|
---|
| 422 | _S_compare(size_type __n1, size_type __n2) noexcept
|
---|
| 423 | {
|
---|
| 424 | return difference_type(__n1 - __n2) > std::numeric_limits<int>::max()
|
---|
| 425 | ? std::numeric_limits<int>::max()
|
---|
| 426 | : difference_type(__n1 - __n2) < std::numeric_limits<int>::min()
|
---|
| 427 | ? std::numeric_limits<int>::min()
|
---|
| 428 | : static_cast<int>(difference_type(__n1 - __n2));
|
---|
| 429 | }
|
---|
| 430 |
|
---|
| 431 | size_t _M_len;
|
---|
| 432 | const _CharT* _M_str;
|
---|
| 433 | };
|
---|
| 434 |
|
---|
| 435 | // [string.view.comparison], non-member basic_string_view comparison functions
|
---|
| 436 |
|
---|
| 437 | // Several of these functions use type_identity_t to create a non-deduced
|
---|
| 438 | // context, so that only one argument participates in template argument
|
---|
| 439 | // deduction and the other argument gets implicitly converted to the deduced
|
---|
| 440 | // type (see N3766).
|
---|
| 441 |
|
---|
| 442 | template<typename _CharT, typename _Traits>
|
---|
| 443 | constexpr bool
|
---|
| 444 | operator==(basic_string_view<_CharT, _Traits> __x,
|
---|
| 445 | basic_string_view<_CharT, _Traits> __y) noexcept
|
---|
| 446 | { return __x.size() == __y.size() && __x.compare(__y) == 0; }
|
---|
| 447 |
|
---|
| 448 | template<typename _CharT, typename _Traits>
|
---|
| 449 | constexpr bool
|
---|
| 450 | operator==(basic_string_view<_CharT, _Traits> __x,
|
---|
| 451 | __type_identity_t<basic_string_view<_CharT, _Traits>> __y)
|
---|
| 452 | noexcept
|
---|
| 453 | { return __x.size() == __y.size() && __x.compare(__y) == 0; }
|
---|
| 454 |
|
---|
| 455 | template<typename _CharT, typename _Traits>
|
---|
| 456 | constexpr bool
|
---|
| 457 | operator==(__type_identity_t<basic_string_view<_CharT, _Traits>> __x,
|
---|
| 458 | basic_string_view<_CharT, _Traits> __y) noexcept
|
---|
| 459 | { return __x.size() == __y.size() && __x.compare(__y) == 0; }
|
---|
| 460 |
|
---|
| 461 | template<typename _CharT, typename _Traits>
|
---|
| 462 | constexpr bool
|
---|
| 463 | operator!=(basic_string_view<_CharT, _Traits> __x,
|
---|
| 464 | basic_string_view<_CharT, _Traits> __y) noexcept
|
---|
| 465 | { return !(__x == __y); }
|
---|
| 466 |
|
---|
| 467 | template<typename _CharT, typename _Traits>
|
---|
| 468 | constexpr bool
|
---|
| 469 | operator!=(basic_string_view<_CharT, _Traits> __x,
|
---|
| 470 | __type_identity_t<basic_string_view<_CharT, _Traits>> __y)
|
---|
| 471 | noexcept
|
---|
| 472 | { return !(__x == __y); }
|
---|
| 473 |
|
---|
| 474 | template<typename _CharT, typename _Traits>
|
---|
| 475 | constexpr bool
|
---|
| 476 | operator!=(__type_identity_t<basic_string_view<_CharT, _Traits>> __x,
|
---|
| 477 | basic_string_view<_CharT, _Traits> __y) noexcept
|
---|
| 478 | { return !(__x == __y); }
|
---|
| 479 |
|
---|
| 480 | template<typename _CharT, typename _Traits>
|
---|
| 481 | constexpr bool
|
---|
| 482 | operator< (basic_string_view<_CharT, _Traits> __x,
|
---|
| 483 | basic_string_view<_CharT, _Traits> __y) noexcept
|
---|
| 484 | { return __x.compare(__y) < 0; }
|
---|
| 485 |
|
---|
| 486 | template<typename _CharT, typename _Traits>
|
---|
| 487 | constexpr bool
|
---|
| 488 | operator< (basic_string_view<_CharT, _Traits> __x,
|
---|
| 489 | __type_identity_t<basic_string_view<_CharT, _Traits>> __y)
|
---|
| 490 | noexcept
|
---|
| 491 | { return __x.compare(__y) < 0; }
|
---|
| 492 |
|
---|
| 493 | template<typename _CharT, typename _Traits>
|
---|
| 494 | constexpr bool
|
---|
| 495 | operator< (__type_identity_t<basic_string_view<_CharT, _Traits>> __x,
|
---|
| 496 | basic_string_view<_CharT, _Traits> __y) noexcept
|
---|
| 497 | { return __x.compare(__y) < 0; }
|
---|
| 498 |
|
---|
| 499 | template<typename _CharT, typename _Traits>
|
---|
| 500 | constexpr bool
|
---|
| 501 | operator> (basic_string_view<_CharT, _Traits> __x,
|
---|
| 502 | basic_string_view<_CharT, _Traits> __y) noexcept
|
---|
| 503 | { return __x.compare(__y) > 0; }
|
---|
| 504 |
|
---|
| 505 | template<typename _CharT, typename _Traits>
|
---|
| 506 | constexpr bool
|
---|
| 507 | operator> (basic_string_view<_CharT, _Traits> __x,
|
---|
| 508 | __type_identity_t<basic_string_view<_CharT, _Traits>> __y)
|
---|
| 509 | noexcept
|
---|
| 510 | { return __x.compare(__y) > 0; }
|
---|
| 511 |
|
---|
| 512 | template<typename _CharT, typename _Traits>
|
---|
| 513 | constexpr bool
|
---|
| 514 | operator> (__type_identity_t<basic_string_view<_CharT, _Traits>> __x,
|
---|
| 515 | basic_string_view<_CharT, _Traits> __y) noexcept
|
---|
| 516 | { return __x.compare(__y) > 0; }
|
---|
| 517 |
|
---|
| 518 | template<typename _CharT, typename _Traits>
|
---|
| 519 | constexpr bool
|
---|
| 520 | operator<=(basic_string_view<_CharT, _Traits> __x,
|
---|
| 521 | basic_string_view<_CharT, _Traits> __y) noexcept
|
---|
| 522 | { return __x.compare(__y) <= 0; }
|
---|
| 523 |
|
---|
| 524 | template<typename _CharT, typename _Traits>
|
---|
| 525 | constexpr bool
|
---|
| 526 | operator<=(basic_string_view<_CharT, _Traits> __x,
|
---|
| 527 | __type_identity_t<basic_string_view<_CharT, _Traits>> __y)
|
---|
| 528 | noexcept
|
---|
| 529 | { return __x.compare(__y) <= 0; }
|
---|
| 530 |
|
---|
| 531 | template<typename _CharT, typename _Traits>
|
---|
| 532 | constexpr bool
|
---|
| 533 | operator<=(__type_identity_t<basic_string_view<_CharT, _Traits>> __x,
|
---|
| 534 | basic_string_view<_CharT, _Traits> __y) noexcept
|
---|
| 535 | { return __x.compare(__y) <= 0; }
|
---|
| 536 |
|
---|
| 537 | template<typename _CharT, typename _Traits>
|
---|
| 538 | constexpr bool
|
---|
| 539 | operator>=(basic_string_view<_CharT, _Traits> __x,
|
---|
| 540 | basic_string_view<_CharT, _Traits> __y) noexcept
|
---|
| 541 | { return __x.compare(__y) >= 0; }
|
---|
| 542 |
|
---|
| 543 | template<typename _CharT, typename _Traits>
|
---|
| 544 | constexpr bool
|
---|
| 545 | operator>=(basic_string_view<_CharT, _Traits> __x,
|
---|
| 546 | __type_identity_t<basic_string_view<_CharT, _Traits>> __y)
|
---|
| 547 | noexcept
|
---|
| 548 | { return __x.compare(__y) >= 0; }
|
---|
| 549 |
|
---|
| 550 | template<typename _CharT, typename _Traits>
|
---|
| 551 | constexpr bool
|
---|
| 552 | operator>=(__type_identity_t<basic_string_view<_CharT, _Traits>> __x,
|
---|
| 553 | basic_string_view<_CharT, _Traits> __y) noexcept
|
---|
| 554 | { return __x.compare(__y) >= 0; }
|
---|
| 555 |
|
---|
| 556 | // [string.view.io], Inserters and extractors
|
---|
| 557 | template<typename _CharT, typename _Traits>
|
---|
| 558 | inline basic_ostream<_CharT, _Traits>&
|
---|
| 559 | operator<<(basic_ostream<_CharT, _Traits>& __os,
|
---|
| 560 | basic_string_view<_CharT,_Traits> __str)
|
---|
| 561 | { return __ostream_insert(__os, __str.data(), __str.size()); }
|
---|
| 562 |
|
---|
| 563 |
|
---|
| 564 | // basic_string_view typedef names
|
---|
| 565 |
|
---|
| 566 | using string_view = basic_string_view<char>;
|
---|
| 567 | #ifdef _GLIBCXX_USE_WCHAR_T
|
---|
| 568 | using wstring_view = basic_string_view<wchar_t>;
|
---|
| 569 | #endif
|
---|
| 570 | #ifdef _GLIBCXX_USE_CHAR8_T
|
---|
| 571 | using u8string_view = basic_string_view<char8_t>;
|
---|
| 572 | #endif
|
---|
| 573 | using u16string_view = basic_string_view<char16_t>;
|
---|
| 574 | using u32string_view = basic_string_view<char32_t>;
|
---|
| 575 | } // namespace fundamentals_v1
|
---|
| 576 | } // namespace experimental
|
---|
| 577 |
|
---|
| 578 |
|
---|
| 579 | // [string.view.hash], hash support:
|
---|
| 580 | template<typename _Tp>
|
---|
| 581 | struct hash;
|
---|
| 582 |
|
---|
| 583 | template<>
|
---|
| 584 | struct hash<experimental::string_view>
|
---|
| 585 | : public __hash_base<size_t, experimental::string_view>
|
---|
| 586 | {
|
---|
| 587 | size_t
|
---|
| 588 | operator()(const experimental::string_view& __str) const noexcept
|
---|
| 589 | { return std::_Hash_impl::hash(__str.data(), __str.length()); }
|
---|
| 590 | };
|
---|
| 591 |
|
---|
| 592 | template<>
|
---|
| 593 | struct __is_fast_hash<hash<experimental::string_view>> : std::false_type
|
---|
| 594 | { };
|
---|
| 595 |
|
---|
| 596 | #ifdef _GLIBCXX_USE_WCHAR_T
|
---|
| 597 | template<>
|
---|
| 598 | struct hash<experimental::wstring_view>
|
---|
| 599 | : public __hash_base<size_t, wstring>
|
---|
| 600 | {
|
---|
| 601 | size_t
|
---|
| 602 | operator()(const experimental::wstring_view& __s) const noexcept
|
---|
| 603 | { return std::_Hash_impl::hash(__s.data(),
|
---|
| 604 | __s.length() * sizeof(wchar_t)); }
|
---|
| 605 | };
|
---|
| 606 |
|
---|
| 607 | template<>
|
---|
| 608 | struct __is_fast_hash<hash<experimental::wstring_view>> : std::false_type
|
---|
| 609 | { };
|
---|
| 610 | #endif
|
---|
| 611 |
|
---|
| 612 | #ifdef _GLIBCXX_USE_CHAR8_T
|
---|
| 613 | template<>
|
---|
| 614 | struct hash<experimental::u8string_view>
|
---|
| 615 | : public __hash_base<size_t, experimental::u8string_view>
|
---|
| 616 | {
|
---|
| 617 | size_t
|
---|
| 618 | operator()(const experimental::u8string_view& __s) const noexcept
|
---|
| 619 | { return std::_Hash_impl::hash(__s.data(), __s.length()); }
|
---|
| 620 | };
|
---|
| 621 |
|
---|
| 622 | template<>
|
---|
| 623 | struct __is_fast_hash<hash<experimental::u8string_view>> : std::false_type
|
---|
| 624 | { };
|
---|
| 625 | #endif
|
---|
| 626 |
|
---|
| 627 | template<>
|
---|
| 628 | struct hash<experimental::u16string_view>
|
---|
| 629 | : public __hash_base<size_t, experimental::u16string_view>
|
---|
| 630 | {
|
---|
| 631 | size_t
|
---|
| 632 | operator()(const experimental::u16string_view& __s) const noexcept
|
---|
| 633 | { return std::_Hash_impl::hash(__s.data(),
|
---|
| 634 | __s.length() * sizeof(char16_t)); }
|
---|
| 635 | };
|
---|
| 636 |
|
---|
| 637 | template<>
|
---|
| 638 | struct __is_fast_hash<hash<experimental::u16string_view>> : std::false_type
|
---|
| 639 | { };
|
---|
| 640 |
|
---|
| 641 | template<>
|
---|
| 642 | struct hash<experimental::u32string_view>
|
---|
| 643 | : public __hash_base<size_t, experimental::u32string_view>
|
---|
| 644 | {
|
---|
| 645 | size_t
|
---|
| 646 | operator()(const experimental::u32string_view& __s) const noexcept
|
---|
| 647 | { return std::_Hash_impl::hash(__s.data(),
|
---|
| 648 | __s.length() * sizeof(char32_t)); }
|
---|
| 649 | };
|
---|
| 650 |
|
---|
| 651 | template<>
|
---|
| 652 | struct __is_fast_hash<hash<experimental::u32string_view>> : std::false_type
|
---|
| 653 | { };
|
---|
| 654 |
|
---|
| 655 | namespace experimental
|
---|
| 656 | {
|
---|
| 657 | // I added these EMSR.
|
---|
| 658 | inline namespace literals
|
---|
| 659 | {
|
---|
| 660 | inline namespace string_view_literals
|
---|
| 661 | {
|
---|
| 662 | #pragma GCC diagnostic push
|
---|
| 663 | #pragma GCC diagnostic ignored "-Wliteral-suffix"
|
---|
| 664 | inline constexpr basic_string_view<char>
|
---|
| 665 | operator""sv(const char* __str, size_t __len) noexcept
|
---|
| 666 | { return basic_string_view<char>{__str, __len}; }
|
---|
| 667 |
|
---|
| 668 | #ifdef _GLIBCXX_USE_WCHAR_T
|
---|
| 669 | inline constexpr basic_string_view<wchar_t>
|
---|
| 670 | operator""sv(const wchar_t* __str, size_t __len) noexcept
|
---|
| 671 | { return basic_string_view<wchar_t>{__str, __len}; }
|
---|
| 672 | #endif
|
---|
| 673 |
|
---|
| 674 | #ifdef _GLIBCXX_USE_CHAR8_T
|
---|
| 675 | inline constexpr basic_string_view<char8_t>
|
---|
| 676 | operator""sv(const char8_t* __str, size_t __len) noexcept
|
---|
| 677 | { return basic_string_view<char8_t>{__str, __len}; }
|
---|
| 678 | #endif
|
---|
| 679 |
|
---|
| 680 | inline constexpr basic_string_view<char16_t>
|
---|
| 681 | operator""sv(const char16_t* __str, size_t __len) noexcept
|
---|
| 682 | { return basic_string_view<char16_t>{__str, __len}; }
|
---|
| 683 |
|
---|
| 684 | inline constexpr basic_string_view<char32_t>
|
---|
| 685 | operator""sv(const char32_t* __str, size_t __len) noexcept
|
---|
| 686 | { return basic_string_view<char32_t>{__str, __len}; }
|
---|
| 687 | #pragma GCC diagnostic pop
|
---|
| 688 | } // namespace string_literals
|
---|
| 689 | } // namespace literals
|
---|
| 690 | } // namespace experimental
|
---|
| 691 |
|
---|
| 692 | #if __cpp_lib_concepts
|
---|
| 693 | namespace ranges
|
---|
| 694 | {
|
---|
| 695 | // Opt-in to borrowed_range concept
|
---|
| 696 | template<typename _CharT, typename _Traits>
|
---|
| 697 | inline constexpr bool
|
---|
| 698 | enable_borrowed_range<experimental::basic_string_view<_CharT, _Traits>>
|
---|
| 699 | = true;
|
---|
| 700 |
|
---|
| 701 | // Opt-in to view concept
|
---|
| 702 | template<typename _CharT, typename _Traits>
|
---|
| 703 | inline constexpr bool
|
---|
| 704 | enable_view<experimental::basic_string_view<_CharT, _Traits>> = true;
|
---|
| 705 | }
|
---|
| 706 | #endif
|
---|
| 707 |
|
---|
| 708 | _GLIBCXX_END_NAMESPACE_VERSION
|
---|
| 709 | } // namespace std
|
---|
| 710 |
|
---|
| 711 | #include <experimental/bits/string_view.tcc>
|
---|
| 712 |
|
---|
| 713 | #endif // __cplusplus <= 201103L
|
---|
| 714 |
|
---|
| 715 | #endif // _GLIBCXX_EXPERIMENTAL_STRING_VIEW
|
---|