source: mainline/uspace/lib/cpp/include/impl/string.hpp@ d7f0b3f7

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since d7f0b3f7 was 27473fb8, checked in by Dzejrou <dzejrou@…>, 7 years ago

cpp: added a missing implementation of std::string::copy

  • Property mode set to 100644
File size: 43.4 KB
RevLine 
[52d025c]1/*
2 * Copyright (c) 2017 Jaroslav Jindrak
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 *
9 * - Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * - Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 * - The name of the author may not be used to endorse or promote products
15 * derived from this software without specific prior written permission.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
29#ifndef LIBCPP_STRING
30#define LIBCPP_STRING
31
[dc0fff11]32#include <algorithm>
[52d025c]33#include <iosfwd>
[dc0fff11]34#include <iterator>
[52d025c]35#include <cstdio>
36#include <cstdlib>
37#include <cstring>
[dc0fff11]38#include <memory>
39#include <utility>
40
41#include <initializer_list>
[52d025c]42
43namespace std
44{
45
46 /**
47 * 21.2, char_traits:
48 */
49
50 template<class Char>
51 struct char_traits;
52
53 /**
54 * 21.2.3, char_traits specializations:
55 */
56
57 template<>
58 struct char_traits<char>
59 {
60 using char_type = char;
61 using int_type = int;
62 using off_type = streamoff;
63 using pos_type = streampos;
64 /* using state_type = mbstate_t; */
65
66 static void assign(char_type& c1, char_type& c2) noexcept
67 {
68 c1 = c2;
69 }
70
71 static constexpr bool eq(char_type c1, char_type c2) noexcept
72 {
73 return c1 == c2;
74 }
75
76 static constexpr bool lt(char_type c1, char_type c2) noexcept
77 {
78 return c1 < c2;
79 }
80
81 static int compare(const char_type* s1, const char_type* s2, size_t n)
82 {
83 return std::str_lcmp(s1, s2, n);
84 }
85
86 static size_t length(const char_type* s)
87 {
[681fdcca]88 return std::str_size(s) + 1;
[52d025c]89 }
90
91 static const char_type* find(const char_type* s, size_t n, const char_type& c)
92 {
93 size_t i{};
94 while (i++ < n)
95 {
96 if (s[i] == c)
97 return s + i;
98 }
99
100 return nullptr;
101 }
102
103 static char_type* move(char_type* s1, const char_type* s2, size_t n)
104 {
105 return static_cast<char_type*>(memmove(s1, s2, n));
106 }
107
108 static char_type* copy(char_type* s1, const char_type* s2, size_t n)
109 {
110 return static_cast<char_type*>(memcpy(s1, s2, n));
111 }
112
113 static char_type* assign(char_type* s, size_t n, char_type c)
114 {
115 /**
116 * Note: Even though memset accepts int as its second argument,
117 * the actual implementation assigns that int to a dereferenced
118 * char pointer.
119 */
120 return static_cast<char_type*>(memset(s, static_cast<int>(c), n));
121 }
122
123 static constexpr int_type not_eof(int_type c) noexcept
124 {
125 if (!eq_int_type(c, eof()))
126 return c;
127 else
128 return to_int_type('a'); // We just need something that is not eof.
129 }
130
131 static constexpr char_type to_char_type(int_type c) noexcept
132 {
133 return static_cast<char_type>(c);
134 }
135
136 static constexpr int_type to_int_type(char_type c) noexcept
137 {
138 return static_cast<int_type>(c);
139 }
140
141 static constexpr bool eq_int_type(int_type c1, int_type c2) noexcept
142 {
143 return c1 == c2;
144 }
145
146 static constexpr int_type eof() noexcept
147 {
148 return static_cast<int_type>(EOF);
149 }
150 };
151
152 template<>
153 struct char_traits<char16_t>
154 { /* TODO: implement */ };
155
156 template<>
157 struct char_traits<char32_t>
158 { /* TODO: implement */ };
159
160 template<>
161 struct char_traits<wchar_t>
162 {
163 using char_type = wchar_t;
164 using int_type = wint_t;
165 using off_type = streamoff;
166 using pos_type = wstreampos;
167 /* using state_type = mbstate_t; */
168
169 static void assign(char_type& c1, char_type& c2) noexcept
170 {
171 c1 = c2;
172 }
173
174 static constexpr bool eq(char_type c1, char_type c2) noexcept
175 {
176 return c1 == c2;
177 }
178
179 static constexpr bool lt(char_type c1, char_type c2) noexcept
180 {
181 return c1 < c2;
182 }
183
184 static int compare(const char_type* s1, const char_type* s2, size_t n)
185 {
[dc0fff11]186 // TODO: This function does not exits...
187 //return std::wstr_lcmp(s1, s2, n);
188 return 0;
[52d025c]189 }
190
191 static size_t length(const char_type* s)
192 {
[681fdcca]193 return std::wstr_size(s) + 1;
[52d025c]194 }
195
196 static const char_type* find(const char_type* s, size_t n, const char_type& c)
197 {
198 size_t i{};
199 while (i++ < n)
200 {
201 if (s[i] == c)
202 return s + i;
203 }
204
205 return nullptr;
206 }
207
208 static char_type* move(char_type* s1, const char_type* s2, size_t n)
209 {
210 return static_cast<char_type*>(memmove(s1, s2, n * sizeof(wchar_t)));
211 }
212
213 static char_type* copy(char_type* s1, const char_type* s2, size_t n)
214 {
215 return static_cast<char_type*>(memcpy(s1, s2, n * sizeof(wchar_t)));
216 }
217
218 static char_type* assign(char_type* s, size_t n, char_type c)
219 {
220 return static_cast<char_type*>(memset(s, static_cast<int>(c), n * sizeof(wchar_t)));
221 }
222
223 static constexpr int_type not_eof(int_type c) noexcept
224 {
225 if (!eq_int_type(c, eof()))
226 return c;
227 else
228 return to_int_type(L'a'); // We just need something that is not eof.
229 }
230
231 static constexpr char_type to_char_type(int_type c) noexcept
232 {
233 return static_cast<char_type>(c);
234 }
235
236 static constexpr int_type to_int_type(char_type c) noexcept
237 {
238 return static_cast<int_type>(c);
239 }
240
241 static constexpr bool eq_int_type(int_type c1, int_type c2) noexcept
242 {
243 return c1 == c2;
244 }
245
246 static constexpr int_type eof() noexcept
247 {
248 return static_cast<int_type>(EOF);
249 }
250 };
251
252 /**
253 * 21.4, class template basic_string:
254 */
255
256 template<class Char, class Traits = char_traits<Char>,
257 class Allocator = allocator<Char>>
258 class basic_string
259 {
[177a576]260 public:
261 using traits_type = Traits;
262 using value_type = typename traits_type::char_type;
263 using allocator_type = Allocator;
264 using size_type = typename allocator_traits<allocator_type>::size_type;
265 using difference_type = typename allocator_traits<allocator_type>::difference_type;
[52d025c]266
[177a576]267 using reference = value_type&;
268 using const_reference = const value_type&;
[dc0fff11]269 using pointer = typename allocator_traits<allocator_type>::pointer;
270 using const_pointer = typename allocator_traits<allocator_type>::const_pointer;
[52d025c]271
[177a576]272 using iterator = pointer;
273 using const_iterator = const_pointer;
274 using reverse_iterator = std::reverse_iterator<iterator>;
275 using const_reverse_iterator = std::reverse_iterator<const_iterator>;
[52d025c]276
[177a576]277 static constexpr size_type npos = -1;
[52d025c]278
[177a576]279 /**
280 * 21.4.2, construct/copy/destroy:
281 */
282 basic_string() noexcept
283 : basic_string(allocator_type{})
284 { /* DUMMY BODY */ }
[52d025c]285
[681fdcca]286 explicit basic_string(const allocator_type& alloc)
287 : data_{}, size_{}, capacity_{}, allocator_{alloc}
288 {
289 /**
290 * Postconditions:
291 * data() = non-null copyable value that can have 0 added to it.
292 * size() = 0
293 * capacity() = unspecified
294 */
[dc0fff11]295 data_ = allocator_.allocate(default_capacity_);
296 capacity_ = default_capacity_;
[681fdcca]297 }
[52d025c]298
[681fdcca]299 basic_string(const basic_string& other)
300 : data_{}, size_{other.size_}, capacity_{other.capacity_},
301 allocator_{other.allocator_}
302 {
303 init_(other.data(), size_);
304 }
[52d025c]305
[681fdcca]306 basic_string(basic_string&& other)
307 : data_{other.data_}, size_{other.size_},
308 capacity_{other.capacity_}, allocator_{move(other.allocator_)}
309 {
310 other.data_ = nullptr;
311 other.size_ = 0;
312 other.capacity_ = 0;
313 }
[52d025c]314
[177a576]315 basic_string(const basic_string& other, size_type pos, size_type n = npos,
[681fdcca]316 const allocator_type& alloc = allocator_type{})
317 : data_{}, size_{}, capacity_{}, allocator_{alloc}
318 {
319 // TODO: if pos < other.size() throw out_of_range.
320 auto len = min(n, other.size() - pos);
321 init_(other.data() + pos, len);
322 }
[52d025c]323
[dc0fff11]324 basic_string(const value_type* str, size_type n, const allocator_type& alloc = allocator_type{})
[681fdcca]325 : data_{}, size_{n}, capacity_{n}, allocator_{alloc}
326 {
327 init_(str, size_);
328 }
[52d025c]329
[dc0fff11]330 basic_string(const value_type* str, const allocator_type& alloc = allocator_type{})
[681fdcca]331 : data_{}, size_{}, capacity_{}, allocator_{alloc}
332 {
333 init_(str, traits_type::length(str));
334 }
[52d025c]335
[dc0fff11]336 basic_string(size_type n, value_type c, const allocator_type& alloc = allocator_type{})
[681fdcca]337 : data_{}, size_{n}, capacity_{n}, allocator_{alloc}
338 {
339 data_ = allocator_.allocate(capacity_);
340 for (size_type i = 0; i < size_; ++i)
341 traits_type::asign(data_[i], c);
342 ensure_null_terminator_();
343 }
[52d025c]344
[177a576]345 template<class InputIterator>
346 basic_string(InputIterator first, InputIterator last,
[dc0fff11]347 const allocator_type& alloc = allocator_type{})
[681fdcca]348 : data_{}, size_{}, capacity_{}, allocator_{alloc}
349 {
[dc0fff11]350 if constexpr (is_integral<InputIterator>::value)
[681fdcca]351 { // Required by the standard.
352 size_ = static_cast<size_type>(first);
353 capacity_ = size_;
354 data_ = allocator_.allocate(capacity_);
355
356 for (size_type i = 0; i < size_; ++i)
357 traits_type::assign(data_[i], static_cast<value_type>(last));
358 ensure_null_terminator_();
359 }
360 else
361 {
362 auto len = static_cast<size_type>(last - first);
363 init_(static_cast<value_type*>(first), len);
364 }
365 }
[52d025c]366
[dc0fff11]367 basic_string(initializer_list<value_type> init, const allocator_type& alloc = allocator_type{})
[681fdcca]368 : basic_string{init.begin(), init.size(), alloc}
369 { /* DUMMY BODY */ }
[52d025c]370
[681fdcca]371 basic_string(const basic_string& other, const allocator_type& alloc)
372 : data_{}, size_{other.size_}, capacity_{other.capacity_}, allocator_{alloc}
373 {
374 init_(other.data(), size_);
375 }
[52d025c]376
[681fdcca]377 basic_string(basic_string&& other, const allocator_type& alloc)
378 : data_{other.data_}, size_{other.size_}, capacity_{other.capacity_}, allocator_{alloc}
379 {
380 other.data_ = nullptr;
381 other.size_ = 0;
382 other.capacity_ = 0;
383 }
[52d025c]384
[681fdcca]385 ~basic_string()
386 {
387 allocator_.deallocate(data_, capacity_);
388 }
[52d025c]389
[681fdcca]390 basic_string& operator=(const basic_string& other)
391 {
392 if (this != &other)
393 {
394 basic_string tmp{other};
395 swap(tmp);
396 }
397 }
[52d025c]398
[177a576]399 basic_string& operator=(basic_string&& other)
400 noexcept(allocator_traits<allocator_type>::propagate_on_container_move_assignment::value ||
[681fdcca]401 allocator_traits<allocator_type>::is_always_equal::value)
402 {
403 if (this != &other)
404 swap(other);
405 }
[52d025c]406
[681fdcca]407 basic_string& operator=(const value_type* other)
408 {
409 *this = basic_string{other};
[52d025c]410
[681fdcca]411 return *this;
412 }
[52d025c]413
[681fdcca]414 basic_string& operator=(value_type c)
415 {
416 *this = basic_string{1, c};
417
418 return *this;
419 }
420
421 basic_string& operator=(initializer_list<value_type> init)
422 {
423 *this = basic_string{init};
424
425 return *this;
426 }
[52d025c]427
[177a576]428 /**
429 * 21.4.3, iterators:
430 */
[52d025c]431
[b08a62c]432 iterator begin() noexcept
433 {
434 return &data_[0];
435 }
[52d025c]436
[b08a62c]437 const_iterator begin() const noexcept
438 {
439 return &data_[0];
440 }
[52d025c]441
[b08a62c]442 iterator end() noexcept
443 {
444 return begin() + size_;
445 }
[52d025c]446
[b08a62c]447 const_iterator end() const noexcept
448 {
449 return begin() + size_;
450 }
[52d025c]451
[177a576]452 reverse_iterator rbegin() noexcept
453 {
[98c99ba]454 return make_reverse_iterator(end());
[177a576]455 }
[52d025c]456
[177a576]457 const_reverse_iterator rbegin() const noexcept
458 {
[98c99ba]459 return make_reverse_iterator(cend());
[177a576]460 }
[52d025c]461
[177a576]462 reverse_iterator rend() noexcept
463 {
[98c99ba]464 return make_reverse_iterator(begin());
[177a576]465 }
[52d025c]466
[177a576]467 const_reverse_iterator rend() const noexcept
468 {
[98c99ba]469 return make_reverse_iterator(cbegin());
[177a576]470 }
[52d025c]471
[b08a62c]472 const_iterator cbegin() const noexcept
473 {
474 return &data_[0];
475 }
[52d025c]476
[b08a62c]477 const_iterator cend() const noexcept
478 {
479 return cbegin() + size_;
480 }
[52d025c]481
[177a576]482 const_reverse_iterator crbegin() const noexcept
483 {
[98c99ba]484 return rbegin();
[177a576]485 }
[52d025c]486
[177a576]487 const_reverse_iterator crend() const noexcept
488 {
[98c99ba]489 return rend();
[177a576]490 }
[52d025c]491
[177a576]492 /**
493 * 21.4.4, capacity:
494 */
[52d025c]495
[b08a62c]496 size_type size() const noexcept
497 {
498 return size_;
499 }
[52d025c]500
[b08a62c]501 size_type length() const noexcept
502 {
503 return size_;
504 }
[52d025c]505
[b08a62c]506 size_type max_size() const noexcept
507 {
508 return allocator_traits<allocator_type>::max_size(allocator_);
509 }
[52d025c]510
[681fdcca]511 void resize(size_type new_size, value_type c)
512 {
513 // TODO: if new_size > max_size() throw length_error.
514 if (new_size > size_)
515 {
516 ensure_free_space_(new_size - size_ + 1);
517 for (size_type i = size_; i < new_size; ++i)
518 traits_type::assign(data_[i], i);
519 }
520
521 size_ = new_size;
522 ensure_null_terminator_();
523 }
[52d025c]524
[681fdcca]525 void resize(size_type new_size)
526 {
527 resize(new_size, value_type{});
528 }
[52d025c]529
[b08a62c]530 size_type capacity() const noexcept
531 {
532 return capacity_;
533 }
[52d025c]534
[681fdcca]535 void reserve(size_type new_capacity = 0)
536 {
537 // TODO: if new_capacity > max_size() throw
538 // length_error (this function shall have no
539 // effect in such case)
540 if (new_capacity > capacity_)
541 resize_with_copy_(size_, new_capacity);
542 else if (new_capacity < capacity)
543 shrink_to_fit(); // Non-binding request, but why not.
544 }
[52d025c]545
[681fdcca]546 void shrink_to_fit()
547 {
548 if (size_ != capacity_)
549 resize_with_copy_(size_);
550 }
[52d025c]551
[681fdcca]552 void clear() noexcept
553 {
554 size_ = 0;
555 }
[52d025c]556
[b08a62c]557 bool empty() const noexcept
558 {
559 return size_ == 0;
560 }
[52d025c]561
[177a576]562 /**
563 * 21.4.5, element access:
564 */
[52d025c]565
[b08a62c]566 const_reference operator[](size_type idx) const
567 {
568 return data_[idx];
569 }
[52d025c]570
[b08a62c]571 reference operator[](size_type idx)
572 {
573 return data_[idx];
574 }
[52d025c]575
[b08a62c]576 const_reference at(size_type idx) const
577 {
578 // TODO: bounds checking
579 return data_[idx];
580 }
[52d025c]581
[b08a62c]582 reference at(size_type idx)
583 {
584 // TODO: bounds checking
585 return data_[idx];
586 }
[52d025c]587
[b08a62c]588 const_reference front() const
589 {
590 return at(0);
591 }
[52d025c]592
[b08a62c]593 reference front()
594 {
595 return at(0);
596 }
[52d025c]597
[b08a62c]598 const_reference back() const
599 {
600 return at(size_ - 1);
601 }
[52d025c]602
[b08a62c]603 reference back()
604 {
605 return at(size_ - 1);
606 }
[52d025c]607
[177a576]608 /**
609 * 21.4.6, modifiers:
610 */
[52d025c]611
[681fdcca]612 basic_string& operator+=(const basic_string& str)
613 {
614 return append(str);
615 }
[52d025c]616
[681fdcca]617 basic_string& operator+=(const value_type* str)
618 {
619 return append(str);
620 }
[52d025c]621
[681fdcca]622 basic_string& operator+=(value_type c)
623 {
624 push_back(c);
625 return *this;
626 }
[52d025c]627
[681fdcca]628 basic_string& operator+=(initializer_list<value_type> init)
629 {
630 return append(init.begin(), init.size());
631 }
[52d025c]632
[681fdcca]633 basic_string& append(const basic_string& str)
634 {
635 return append(str.data(), str.size());
636 }
[52d025c]637
[dc0fff11]638 basic_string& append(const basic_string& str, size_type pos,
[681fdcca]639 size_type n = npos)
640 {
641 if (pos < str.size())
642 {
643 auto len = min(n, str.size() - pos);
644
645 return append(str.data() + pos, len);
646 }
647 // TODO: Else throw out_of_range.
648 }
[52d025c]649
[681fdcca]650 basic_string& append(const value_type* str, size_type n)
651 {
652 // TODO: if (size_ + n > max_size()) throw length_error
653 ensure_free_space_(n);
[b1b500b]654 traits_type::copy(data_ + size_ - 1, str, n);
655 size_ += n - 1; // We are not copying str's null terminator.
[681fdcca]656 ensure_null_terminator_();
[52d025c]657
[681fdcca]658 return *this;
659 }
[52d025c]660
[681fdcca]661 basic_string& append(const value_type* str)
662 {
663 return append(str, traits_type::length(str));
664 }
665
666 basic_string& append(size_type n, value_type c)
667 {
668 return append(basic_string(n, c));
669 }
[52d025c]670
[177a576]671 template<class InputIterator>
[681fdcca]672 basic_string& append(InputIterator first, InputIterator last)
673 {
[dc0fff11]674 return append(basic_string(first, last));
[681fdcca]675 }
[52d025c]676
[681fdcca]677 basic_string& append(initializer_list<value_type> init)
678 {
679 return append(init.begin(), init.size());
680 }
[52d025c]681
[681fdcca]682 void push_back(value_type c)
683 {
684 ensure_free_space_(1);
685 traits_type::assign(data_[size_++], c);
686 ensure_null_terminator_();
687 }
[52d025c]688
[681fdcca]689 basic_string& assign(const basic_string& str)
690 {
691 return assign(str, 0, npos);
692 }
[52d025c]693
[681fdcca]694 basic_string& assign(basic_string&& str)
695 {
696 swap(str);
697
698 return *this;
699 }
[52d025c]700
[177a576]701 basic_string& assign(const basic_string& str, size_type pos,
[681fdcca]702 size_type n = npos)
703 {
704 if (pos < str.size())
705 {
706 auto len = min(n, str.size() - pos);
707 ensure_free_space_(len);
708
709 return assign(str.data() + pos, len);
710 }
711 // TODO: Else throw out_of_range.
[dc0fff11]712
713 return *this;
[681fdcca]714 }
[52d025c]715
[681fdcca]716 basic_string& assign(const value_type* str, size_type n)
717 {
718 // TODO: if (n > max_size()) throw length_error.
719 resize_without_copy_(n);
720 traits_type::copy(begin(), str, n);
[dc0fff11]721 size_ = n;
722 ensure_null_terminator_();
[681fdcca]723
724 return *this;
725 }
[52d025c]726
[681fdcca]727 basic_string& assign(const value_type* str)
728 {
729 return assign(str, traits_type::length(str));
730 }
[52d025c]731
[681fdcca]732 basic_string& assign(size_type n, value_type c)
733 {
734 return assign(basic_string(n, c));
735 }
[52d025c]736
[177a576]737 template<class InputIterator>
[681fdcca]738 basic_string& assign(InputIterator first, InputIterator last)
739 {
740 return assign(basic_string(first, last));
741 }
[52d025c]742
[681fdcca]743 basic_string& assign(initializer_list<value_type> init)
744 {
745 return assign(init.begin(), init.size());
746 }
[52d025c]747
[681fdcca]748 basic_string& insert(size_type pos, const basic_string& str)
749 {
750 // TODO: if (pos > str.size()) throw out_of_range.
751 return insert(pos, str.data(), str.size());
752 }
[52d025c]753
[177a576]754 basic_string& insert(size_type pos1, const basic_string& str,
[681fdcca]755 size_type pos2, size_type n = npos)
756 {
757 // TODO: if (pos1 > size() or pos2 > str.size()) throw
758 // out_of_range.
759 auto len = min(n, str.size() - pos2);
[52d025c]760
[681fdcca]761 return insert(pos1, str.data() + pos2, len);
762 }
[52d025c]763
[681fdcca]764 basic_string& insert(size_type pos, const value_type* str, size_type n)
765 {
766 ensure_free_space_(size_ + n);
767 copy_backward_(begin() + pos, end(), end() + n);
768 copy_(begin() + pos, begin() + pos + n, str);
[52d025c]769
[681fdcca]770 return *this;
771 }
[52d025c]772
[681fdcca]773 basic_string& insert(size_type pos, const value_type* str)
774 {
775 return insert(pos, str, traits_type::length(str));
776 }
[52d025c]777
[681fdcca]778 basic_string& insert(size_type pos, size_type n, value_type c)
779 {
780 return insert(pos, basic_string(n, c));
781 }
782
783 iterator insert(const_iterator pos, value_type c)
784 {
785 auto idx = static_cast<size_type>(pos - begin());
786
787 ensure_free_space_(1);
788 copy_backward_(begin() + pos, end(), end() + 1);
789 ensure_null_terminator_();
790
791 return begin() + idx;
792 }
793
794 iterator insert(const_iterator pos, size_type n, value_type c)
795 {
796 if (n == 0)
797 return const_cast<iterator>(pos);
798
799 auto idx = static_cast<size_type>(pos - begin());
800
801 ensure_free_space_(n);
802 copy_backward_(begin() + pos, end(), end() + n);
803
[dc0fff11]804 auto it = pos;
[681fdcca]805 for (size_type i = 0; i < n; ++i)
[dc0fff11]806 traits_type::assign(*it++, c);
[681fdcca]807 ensure_null_terminator_();
808
809 return begin() + idx;
810 }
[52d025c]811
[177a576]812 template<class InputIterator>
813 iterator insert(const_iterator pos, InputIterator first,
[681fdcca]814 InputIterator last)
815 {
816 return insert(pos - begin(), basic_string(first, last));
817 }
[52d025c]818
[681fdcca]819 iterator insert(const_iterator pos, initializer_list<value_type> init)
820 {
821 return insert(pos, init.begin(), init.end());
822 }
[52d025c]823
[dc0fff11]824 basic_string& erase(size_type pos = 0, size_type n = npos)
[681fdcca]825 {
826 auto len = min(n, size_ - pos);
827 copy_(begin() + pos + n, end(), begin() + pos);
828 size_ -= len;
829 ensure_null_terminator_();
[e07bbbc]830
831 return *this;
[681fdcca]832 }
[52d025c]833
[e07bbbc]834 iterator erase(const_iterator pos)
835 {
836 auto idx = static_cast<size_type>(pos - cbegin());
[dc0fff11]837 erase(idx, 1);
[52d025c]838
[e07bbbc]839 return begin() + idx;
840 }
841
842 iterator erase(const_iterator first, const_iterator last)
843 {
844 auto idx = static_cast<size_type>(first - cbegin());
845 auto count = static_cast<size_type>(last - first);
846 erase(idx, count);
847
848 return begin() + idx;
849 }
[52d025c]850
[681fdcca]851 void pop_back()
852 {
853 --size_;
854 ensure_null_terminator_();
855 }
[52d025c]856
[b0b46d59]857 basic_string& replace(size_type pos, size_type n, const basic_string& str)
858 {
859 // TODO: throw out_of_range if pos > size()
860 return replace(pos, n, str.data(), str.size());
861 }
[52d025c]862
[dc0fff11]863 basic_string& replace(size_type pos1, size_type n1, const basic_string& str,
[b0b46d59]864 size_type pos2, size_type n2 = npos)
865 {
866 // TODO: throw out_of_range if pos1 > size() or pos2 > str.size()
867 auto len = min(n2, str.size() - pos2);
868 return replace(pos1, n1, str.data() + pos2, len);
869 }
[52d025c]870
[177a576]871 basic_string& replace(size_type pos, size_type n1, const value_type* str,
[b0b46d59]872 size_type n2)
873 {
874 // TODO: format and comment this properly
875 // TODO: throw out_of_range if pos > size()
876 auto len = min(n1, size_ - pos);
877 // TODO: if size() - len > max_size() - n2 throw length_error
878 basic_string tmp{};
879 tmp.resize_without_copy_(size_ - len + n2);
880 copy_(begin(), begin() + pos, tmp.begin());
881 traits_type::copy(tmp.begin() + pos + 1, str, n2);
882 copy_(begin() + pos + len, end(), tmp.begin() + pos + 1 + n2);
883 swap(tmp);
884 return *this;
885 }
[52d025c]886
[b0b46d59]887 basic_string& replace(size_type pos, size_type n, const value_type* str)
888 {
889 return replace(pos, n, str, traits_type::length(str));
890 }
[52d025c]891
[177a576]892 basic_string& replace(size_type pos, size_type n1, size_type n2,
[b0b46d59]893 value_type c)
894 {
895 return replace(pos, n1, basic_string(n2, c));
896 }
[52d025c]897
[177a576]898 basic_string& replace(const_iterator i1, const_iterator i2,
[b0b46d59]899 const basic_string& str)
900 {
901 return replace(i1 - begin(), i2 - i1, str);
902 }
[52d025c]903
[177a576]904 basic_string& replace(const_iterator i1, const_iterator i2,
[b0b46d59]905 const value_type* str, size_type n)
906 {
[dc0fff11]907 return replace(i1 - begin(), i2 - i1, str, n);
[b0b46d59]908 }
[52d025c]909
[177a576]910 basic_string& replace(const_iterator i1, const_iterator i2,
[b0b46d59]911 const value_type* str)
912 {
913 return replace(i1 - begin(), i2 - i1, str, traits_type::length(str));
914 }
[52d025c]915
[177a576]916 basic_string& replace(const_iterator i1, const_iterator i2,
[b0b46d59]917 size_type n, value_type c)
918 {
919 return replace(i1 - begin(), i2 - i1, basic_string(n, c));
920 }
[52d025c]921
[177a576]922 template<class InputIterator>
923 basic_string& replace(const_iterator i1, const_iterator i2,
[b0b46d59]924 InputIterator j1, InputIterator j2)
925 {
926 return replace(i1 - begin(), i2 - i1, basic_string(j1, j2));
927 }
[52d025c]928
[177a576]929 basic_string& replace(const_iterator i1, const_iterator i2,
[b0b46d59]930 initializer_list<value_type> init)
931 {
932 return replace(i1 - begin(), i2 - i1, init.begin(), init.size());
933 }
[52d025c]934
[27473fb8]935 size_type copy(value_type* str, size_type n, size_type pos = 0) const
936 {
937 auto len = min(n , size_ - pos);
938 for (size_type i = 0; i < len; ++i)
939 traits_type::assign(str[i], data_[pos + i]);
940
941 return len;
942 }
[52d025c]943
[177a576]944 void swap(basic_string& other)
945 noexcept(allocator_traits<allocator_type>::propagate_on_container_swap::value ||
[b08a62c]946 allocator_traits<allocator_type>::is_always_equal)
947 {
948 std::swap(data_, other.data_);
949 std::swap(size_, other.size_);
950 std::swap(capacity_, other.capacity_);
951 }
[52d025c]952
[177a576]953 /**
954 * 21.4.7, string operations:
955 */
[52d025c]956
[b08a62c]957 const value_type* c_str() const noexcept
958 {
959 return data_;
960 }
[52d025c]961
[b08a62c]962 const value_type* data() const noexcept
963 {
964 return data_;
965 }
[52d025c]966
[b08a62c]967 allocator_type get_allocator() const noexcept
968 {
969 return allocator_type{allocator_};
970 }
[52d025c]971
[e07bbbc]972 /**
973 * Note: The following find functions have 4 versions each:
974 * (1) takes basic_string
975 * (2) takes c string and length
976 * (3) takes c string
977 * (4) takes value_type
978 * According to the C++14 standard, only (1) is marked as
979 * noexcept and the other three return the first one with
980 * a newly allocated strings (and thus cannot be noexcept).
981 * However, allocating a new string results in memory
982 * allocation and copying of the source and thus we have
983 * decided to follow C++17 signatures of these functions
984 * (i.e. all of them being marked as noexcept) and use
985 * (2) for the actual implementation (and avoiding any
986 * allocations or copying in the process and also providing
987 * stronger guarantees to the user).
988 */
989
990 size_type find(const basic_string& str, size_type pos = 0) const noexcept
991 {
992 return find(str.c_str(), pos, str.size());
993 }
994
995 size_type find(const value_type* str, size_type pos, size_type len) const noexcept
996 {
997 if (empty() || len == 0 || len - pos > size())
998 return npos;
999
1000 size_type idx{pos};
1001
1002 while (idx + len < size_)
1003 {
1004 if (substr_starts_at_(idx, str, len))
1005 return idx;
1006 ++idx;
1007 }
1008
1009 return npos;
1010 }
1011
1012 size_type find(const value_type* str, size_type pos = 0) const noexcept
1013 {
1014 return find(str, pos, traits_type::length(str));
1015 }
1016
1017 size_type find(value_type c, size_type pos = 0) const noexcept
1018 {
1019 if (empty())
1020 return npos;
1021
1022 for (size_type i = pos; i < size_; ++i)
1023 {
1024 if (traits_type::eq(c, data_[i]))
1025 return i;
1026 }
1027
1028 return npos;
1029 }
1030
1031 size_type rfind(const basic_string& str, size_type pos = npos) const noexcept
1032 {
1033 return rfind(str.c_str(), pos, str.size());
1034 }
1035
1036 size_type rfind(const value_type* str, size_type pos, size_type len) const noexcept
1037 {
1038 if (empty() || len == 0 || len - pos > size())
1039 return npos;
1040
1041 size_type idx{min(pos, size_ - 1) + 1};
1042
1043 while (idx > 0)
1044 {
1045 if (substr_starts_at_(idx - 1, str, len))
1046 return idx - 1;
1047 --idx;
1048 }
1049
1050 return npos;
1051 }
1052
1053 size_type rfind(const value_type* str, size_type pos = npos) const noexcept
1054 {
1055 return rfind(str, pos, traits_type::length(str));
1056 }
1057
1058 size_type rfind(value_type c, size_type pos = npos) const noexcept
1059 {
1060 if (empty())
1061 return npos;
1062
1063 for (size_type i = min(pos, size_ - 1) + 1; i > 0; --i)
1064 {
1065 if (traits_type::eq(c, data_[i - 1]))
1066 return i - 1;
1067 }
1068
1069 return npos;
1070 }
1071
1072 size_type find_first_of(const basic_string& str, size_type pos = 0) const noexcept
1073 {
1074 return find_first_of(str.c_str(), pos, str.size());
1075 }
1076
1077 size_type find_first_of(const value_type* str, size_type pos, size_type len) const noexcept
1078 {
1079 if (empty() || len == 0 || pos + len > size())
1080 return npos;
1081
1082 size_type idx{pos};
1083
1084 while (idx < size_)
1085 {
1086 if (is_any_of_(idx, str, len))
1087 return idx;
1088 ++idx;
1089 }
1090
1091 return npos;
1092 }
1093
1094 size_type find_first_of(const value_type* str, size_type pos = 0) const noexcept
1095 {
1096 return find_first_of(str, pos, traits_type::length(str));
1097 }
1098
1099 size_type find_first_of(value_type c, size_type pos = 0) const noexcept
1100 {
1101 return find(c, pos);
1102 }
[52d025c]1103
[e07bbbc]1104 size_type find_last_of(const basic_string& str, size_type pos = npos) const noexcept
1105 {
1106 return find_last_of(str.c_str(), pos, str.size());
1107 }
[52d025c]1108
[e07bbbc]1109 size_type find_last_of(const value_type* str, size_type pos, size_type len) const noexcept
1110 {
1111 if (empty())
1112 return npos;
[52d025c]1113
[e07bbbc]1114 for (size_type i = min(pos, size_ - 1) + 1; i > 0; --i)
1115 {
1116 if (is_any_of_(i - 1, str, len))
1117 return i - 1;
1118 }
[52d025c]1119
[e07bbbc]1120 return npos;
1121 }
[52d025c]1122
[e07bbbc]1123 size_type find_last_of(const value_type* str, size_type pos = npos) const noexcept
1124 {
1125 return find_last_of(str, pos, traits_type::length(str));
1126 }
[52d025c]1127
[e07bbbc]1128 size_type find_last_of(value_type c, size_type pos = npos) const noexcept
1129 {
1130 return rfind(c, pos);
1131 }
[52d025c]1132
[e07bbbc]1133 size_type find_first_not_of(const basic_string& str, size_type pos = 0) const noexcept
1134 {
1135 return find_first_not_of(str.c_str(), pos, str.size());
1136 }
[52d025c]1137
[e07bbbc]1138 size_type find_first_not_of(const value_type* str, size_type pos, size_type len) const noexcept
1139 {
1140 if (empty() || len == 0 || pos + len > size())
1141 return npos;
[52d025c]1142
[e07bbbc]1143 size_type idx{pos};
[52d025c]1144
[e07bbbc]1145 while (idx < size_)
1146 {
1147 if (!is_any_of_(idx, str, len))
1148 return idx;
1149 ++idx;
1150 }
[52d025c]1151
[e07bbbc]1152 return npos;
1153 }
[52d025c]1154
[e07bbbc]1155 size_type find_first_not_of(const value_type* str, size_type pos = 0) const noexcept
1156 {
1157 return find_first_not_of(str.c_str(), pos, str.size());
1158 }
[52d025c]1159
[e07bbbc]1160 size_type find_first_not_of(value_type c, size_type pos = 0) const noexcept
1161 {
1162 if (empty())
1163 return npos;
[52d025c]1164
[e07bbbc]1165 for (size_type i = pos; i < size_; ++i)
1166 {
1167 if (!traits_type::eq(c, data_[i]))
1168 return i;
1169 }
[52d025c]1170
[e07bbbc]1171 return npos;
1172 }
[52d025c]1173
[e07bbbc]1174 size_type find_last_not_of(const basic_string& str, size_type pos = npos) const noexcept
1175 {
1176 return find_last_not_of(str.c_str(), pos, str.size());
1177 }
[52d025c]1178
[e07bbbc]1179 size_type find_last_not_of(const value_type* str, size_type pos, size_type len) const noexcept
1180 {
1181 if (empty())
1182 return npos;
[52d025c]1183
[e07bbbc]1184 for (size_type i = min(pos, size_ - 1) + 1; i > 0; --i)
1185 {
1186 if (!is_one_of_(i - 1, str, len))
1187 return i - 1;
1188 }
[52d025c]1189
[e07bbbc]1190 return npos;
1191 }
[52d025c]1192
[e07bbbc]1193 size_type find_last_not_of(const value_type* str, size_type pos = npos) const noexcept
1194 {
1195 return find_last_not_of(str, pos, traits_type::length(str));
1196 }
[52d025c]1197
[e07bbbc]1198 size_type find_last_not_of(value_type c, size_type pos = npos) const noexcept
1199 {
1200 if (empty())
1201 return npos;
[52d025c]1202
[e07bbbc]1203 pos = min(pos, size_ - 1);
[52d025c]1204
[e07bbbc]1205 for (size_type i = min(pos, size_ - 1) + 1; i > 1; --i)
1206 {
1207 if (!traits_type::eq(c, data_[i - 1]))
1208 return i - 1;
1209 }
[52d025c]1210
[e07bbbc]1211 return npos;
1212 }
[52d025c]1213
[e07bbbc]1214 basic_string substr(size_type pos = 0, size_type n = npos) const
1215 {
1216 // TODO: throw out_of_range if pos > size().
1217 auto len = min(n, size_ - pos);
1218 return basic_string{data() + pos, len};
1219 }
[52d025c]1220
[e07bbbc]1221 int compare(const basic_string& other) const noexcept
1222 {
1223 auto len = min(size(), other.size());
1224 auto comp = traits_type::compare(data_, other.data(), len);
1225
1226 if (comp != 0)
1227 return comp;
1228 else if (size() == other.size())
1229 return 0;
1230 else if (size() > other.size())
1231 return 1;
1232 else if (size() < other.size())
1233 return -1;
1234 }
1235
1236 int compare(size_type pos, size_type n, const basic_string& other) const
1237 {
1238 return basic_string{*this, pos, n}.compare(other);
1239 }
[52d025c]1240
[177a576]1241 int compare(size_type pos1, size_type n1, const basic_string& other,
[e07bbbc]1242 size_type pos2, size_type n2 = npos) const
1243 {
1244 return basic_string{*this, pos1, n1}.compare(basic_string{other, pos2, n2});
1245 }
[52d025c]1246
[e07bbbc]1247 int compare(const value_type* other) const
1248 {
1249 return compare(basic_string(other));
1250 }
[52d025c]1251
[e07bbbc]1252 int compare(size_type pos, size_type n, const value_type* other) const
1253 {
1254 return basic_string{*this, pos, n}.compare(basic_string{other});
1255 }
[52d025c]1256
[e07bbbc]1257 int compare(size_type pos, size_type n1,
1258 const value_type* other, size_type n2) const
1259 {
1260 return basic_string{*this, pos, n1}.compare(basic_string{other, n2});
1261 }
[b08a62c]1262
1263 private:
1264 value_type* data_;
1265 size_type size_;
1266 size_type capacity_;
1267 allocator_type allocator_;
[681fdcca]1268
1269 /**
1270 * Arbitrary value, standard just requires
1271 * data() to have some capacity.
1272 * (Well, we could've done data_ = &data_ and
1273 * set capacity to 0, but that would be too cryptic.)
1274 */
[dc0fff11]1275 static constexpr size_type default_capacity_{4};
[681fdcca]1276
1277 void init_(const value_type* str, size_type size)
1278 {
1279 if (data_)
1280 allocator_.deallocate(data_, capacity_);
1281
1282 size_ = size;
1283 capacity_ = size;
1284
1285 data_ = allocator_.allocate(capacity_);
1286 traits_type::copy(data_, str, size);
1287 ensure_null_terminator_();
1288 }
1289
1290 size_type next_capacity_(size_type hint = 0) const noexcept
1291 {
1292 if (hint != 0)
1293 return max(capacity_ * 2, hint);
1294 else
1295 return max(capacity_ * 2, 2ul);
1296 }
1297
1298 void ensure_free_space_(size_type n)
1299 {
1300 /**
1301 * Note: We cannot use reserve like we
1302 * did in vector, because in string
1303 * reserve can cause shrinking.
1304 */
[dc0fff11]1305 if (size_ + 1 + n > capacity_)
[681fdcca]1306 resize_with_copy_(size_, max(size_ + 1 + n, next_capacity_()));
1307 }
1308
1309 void resize_without_copy_(size_type capacity)
1310 {
1311 if (data_)
1312 allocator_.deallocate(data_, capacity_);
1313
1314 data_ = allocator_.allocate(capacity);
1315 size_ = 0;
1316 capacity_ = capacity;
1317 ensure_null_terminator_();
1318 }
1319
1320 void resize_with_copy_(size_type size, size_type capacity)
1321 {
1322 if(capacity_ == 0 || capacity_ < capacity)
1323 {
1324 auto new_data = allocator_.allocate(capacity);
1325
1326 auto to_copy = min(size, size_);
1327 traits_type::move(new_data, data_, to_copy);
1328
1329 std::swap(data_, new_data);
1330
1331 allocator_.deallocate(new_data, capacity_);
1332 }
1333
1334 capacity_ = capacity;
1335 size_ = size;
1336 ensure_null_terminator_();
1337 }
1338
1339 iterator copy_(const_iterator first, const_iterator last,
1340 iterator result)
1341 {
1342 while (first != last)
1343 traits_type::assign(*result++, *first++);
1344
1345 ensure_null_terminator_();
1346 return result;
1347 }
1348
1349 iterator copy_backward_(const_iterator first, const_iterator last,
1350 iterator result)
1351 {
1352 while (last-- != first)
1353 traits_type::assign(*result--, *last);
1354
1355 ensure_null_terminator_();
1356 return result;
1357 }
1358
1359 void ensure_null_terminator_()
1360 {
[dc0fff11]1361 value_type c{};
1362 traits_type::assign(data_[size_], c);
[681fdcca]1363 }
[e07bbbc]1364
1365 bool is_one_of_(size_type idx, const basic_string& str) const
1366 {
1367 auto cstr = str.c_str();
1368 for (size_type i = 0; i < str.size(); ++i)
1369 {
1370 if (traits_type::eq(data_[idx], cstr[i]))
1371 return true;
1372 }
1373
1374 return false;
1375 }
1376
1377 bool substr_starts_at_(size_type idx, const value_type* str, size_type len) const
1378 {
1379 size_type i{};
1380 for (i = 0; i < len; ++i)
1381 {
1382 if (!traits_type::eq(data_[idx + i], str[i]))
1383 break;
1384 }
1385
1386 return i == len;
1387 }
[52d025c]1388 };
[dc0fff11]1389
1390 using string = basic_string<char>;
[52d025c]1391}
1392
1393#endif
Note: See TracBrowser for help on using the repository browser.