| //===-- A simple implementation of the string class -------------*- C++ -*-===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #ifndef LLVM_LIBC_SRC___SUPPORT_CPP_STRING_H |
| #define LLVM_LIBC_SRC___SUPPORT_CPP_STRING_H |
| |
| #include "hdr/func/free.h" |
| #include "hdr/func/malloc.h" |
| #include "hdr/func/realloc.h" |
| #include "hdr/stdint_proxy.h" |
| #include "src/__support/CPP/algorithm.h" |
| #include "src/__support/CPP/string_view.h" |
| #include "src/__support/integer_to_string.h" // IntegerToString |
| #include "src/__support/libc_assert.h" |
| #include "src/__support/macros/config.h" |
| #include "src/__support/macros/null_check.h" |
| #include "src/string/memory_utils/inline_memcpy.h" |
| #include "src/string/memory_utils/inline_memmove.h" |
| #include "src/string/memory_utils/inline_memset.h" |
| #include "src/string/string_utils.h" // string_length |
| |
| #include <stddef.h> // size_t |
| |
| namespace LIBC_NAMESPACE_DECL { |
| namespace cpp { |
| namespace { |
| |
| char *realloc_or_die(char *ptr, size_t size) { |
| void *new_ptr = ::realloc(ptr, size); |
| // Out of memory: this is not handled in current implementation, so crash. |
| LIBC_CRASH_ON_NULLPTR(new_ptr); |
| return reinterpret_cast<char *>(new_ptr); |
| } |
| |
| char *malloc_or_die(size_t size) { return realloc_or_die(nullptr, size); } |
| |
| // Returns whether the address of a is less than or equal to the address of b. |
| LIBC_INLINE bool ptr_le(const char *a, const char *b) { |
| return reinterpret_cast<uintptr_t>(a) <= reinterpret_cast<uintptr_t>(b); |
| } |
| |
| // Whether the memory spanned by a and b have any overlap. |
| LIBC_INLINE bool memory_overlaps(cpp::string_view a, cpp::string_view b) { |
| return !(ptr_le(b.data() + b.size(), a.data()) || |
| ptr_le(a.data() + a.size(), b.data())); |
| } |
| |
| } // namespace |
| |
| // This class mimics std::string but does not intend to be a full fledged |
| // implementation. Most notably it does not provide support for character traits |
| // nor custom allocator. |
| class string { |
| private: |
| static constexpr char NULL_CHARACTER = '\0'; |
| static constexpr char *get_empty_string() { |
| return const_cast<char *>(&NULL_CHARACTER); |
| } |
| |
| // Backing data for the represented string. |
| // This may point to NULL_CHARACTER or a heap-allocated buffer. |
| char *buffer_ = get_empty_string(); |
| |
| // Size of the string represented in buffer_. |
| size_t size_ = 0; |
| |
| // The size of buffer_. |
| size_t capacity_ = 0; |
| |
| constexpr void reset_no_deallocate() { |
| buffer_ = get_empty_string(); |
| size_ = 0; |
| capacity_ = 0; |
| } |
| |
| void set_size_and_add_null_character(size_t size) { |
| size_ = size; |
| if (buffer_ != get_empty_string()) |
| buffer_[size_] = NULL_CHARACTER; |
| } |
| |
| // Assigns the new buffer, capacity, and size to this string, |
| // freeing the current internal buffer. |
| void move_assign_from_buffer(char *new_buffer, size_t new_capacity, |
| size_t new_size) { |
| if (buffer_ != get_empty_string()) |
| ::free(buffer_); |
| |
| buffer_ = new_buffer; |
| size_ = new_size; |
| capacity_ = new_capacity; |
| } |
| |
| // The size of the buffer that should be allocated for requested_capacity. |
| LIBC_INLINE static size_t amortized_capacity(size_t requested_capacity) { |
| size_t new_capacity = requested_capacity + 1; // +1 for the terminating '\0' |
| |
| // We extend the capacity to amortize buffer_ reallocations. |
| // We choose to augment the value by 11 / 8, this is about +40% and division |
| // by 8 is cheap. We guard the extension so the operation doesn't overflow. |
| if (new_capacity < SIZE_MAX / 11) |
| new_capacity = new_capacity * 11 / 8; |
| return new_capacity; |
| } |
| |
| // Replaces the current buffer with a new larger one that is the concatenation |
| // the first keep_prefix_size bytes of the current string, new_data, and the |
| // last keep_suffix_size bytes of the current string. |
| LIBC_INLINE void grow_and_replace(size_t keep_prefix_size, |
| cpp::string_view new_data, |
| size_t keep_suffix_size) { |
| size_t new_size = keep_prefix_size + new_data.size() + keep_suffix_size; |
| size_t new_capacity = amortized_capacity(new_size); |
| char *new_buffer = malloc_or_die(new_capacity); |
| |
| inline_memcpy(new_buffer, buffer_, keep_prefix_size); |
| inline_memcpy(new_buffer + keep_prefix_size, new_data.data(), |
| new_data.size()); |
| inline_memcpy(new_buffer + keep_prefix_size + new_data.size(), |
| buffer_ + size_ - keep_suffix_size, keep_suffix_size); |
| |
| move_assign_from_buffer(new_buffer, new_capacity, new_size); |
| set_size_and_add_null_character(new_size); |
| } |
| |
| public: |
| LIBC_INLINE constexpr string() {} |
| LIBC_INLINE string(const string &other) { this->operator+=(other); } |
| LIBC_INLINE constexpr string(string &&other) |
| : buffer_(other.buffer_), size_(other.size_), capacity_(other.capacity_) { |
| other.reset_no_deallocate(); |
| } |
| LIBC_INLINE string(const char *cstr, size_t count) { |
| resize(count); |
| inline_memcpy(buffer_, cstr, count); |
| } |
| LIBC_INLINE explicit string(const string_view &view) |
| : string(view.data(), view.size()) {} |
| LIBC_INLINE string(const char *cstr) |
| : string(cstr, ::LIBC_NAMESPACE::internal::string_length(cstr)) {} |
| LIBC_INLINE string(size_t size_, char value) { |
| resize(size_); |
| static_assert(sizeof(char) == sizeof(uint8_t)); |
| inline_memset((void *)buffer_, static_cast<uint8_t>(value), size_); |
| } |
| |
| LIBC_INLINE string &assign(cpp::string_view view) { |
| if (view.empty()) { |
| set_size_and_add_null_character(0); |
| return *this; |
| } |
| |
| if (capacity() < view.size()) { |
| grow_and_replace(/* keep_prefix_size= */ 0, view, |
| /* keep_suffix_size= */ 0); |
| return *this; |
| } |
| |
| inline_memmove(buffer_, view.data(), view.size()); |
| set_size_and_add_null_character(view.size()); |
| return *this; |
| } |
| |
| LIBC_INLINE string &operator=(const string &other) { return assign(other); } |
| |
| LIBC_INLINE string &operator=(char other) { |
| return assign(string_view(&other, 1)); |
| } |
| |
| LIBC_INLINE string &operator=(string_view view) { return assign(view); } |
| |
| LIBC_INLINE string &operator=(string &&other) { |
| if (this == &other) |
| return *this; |
| |
| move_assign_from_buffer(other.buffer_, other.capacity_, other.size_); |
| other.reset_no_deallocate(); |
| return *this; |
| } |
| |
| LIBC_INLINE ~string() { |
| if (buffer_ != get_empty_string()) |
| ::free(buffer_); |
| } |
| |
| // Returns the number of writable bytes in this string. |
| // Does not include the string-managed null terminator. |
| LIBC_INLINE constexpr size_t capacity() const { |
| if (capacity_ == 0) |
| return 0; |
| return capacity_ - 1; |
| } |
| LIBC_INLINE constexpr size_t size() const { return size_; } |
| LIBC_INLINE constexpr bool empty() const { return size_ == 0; } |
| |
| LIBC_INLINE constexpr const char *data() const { return buffer_; } |
| LIBC_INLINE char *data() { return buffer_; } |
| |
| LIBC_INLINE constexpr const char *begin() const { return data(); } |
| LIBC_INLINE char *begin() { return data(); } |
| |
| LIBC_INLINE constexpr const char *end() const { return data() + size_; } |
| LIBC_INLINE char *end() { return data() + size_; } |
| |
| LIBC_INLINE constexpr const char &front() const { return data()[0]; } |
| LIBC_INLINE char &front() { return data()[0]; } |
| |
| LIBC_INLINE constexpr const char &back() const { return data()[size_ - 1]; } |
| LIBC_INLINE char &back() { return data()[size_ - 1]; } |
| |
| LIBC_INLINE constexpr const char &operator[](size_t index) const { |
| return data()[index]; |
| } |
| LIBC_INLINE char &operator[](size_t index) { return data()[index]; } |
| |
| LIBC_INLINE const char *c_str() const { return data(); } |
| |
| LIBC_INLINE operator string_view() const { |
| return string_view(buffer_, size_); |
| } |
| |
| LIBC_INLINE void reserve(size_t new_cap) { |
| if (new_cap <= capacity()) |
| return; |
| size_t allocation_size = amortized_capacity(new_cap); |
| |
| if (buffer_ == get_empty_string()) { |
| buffer_ = malloc_or_die(allocation_size); |
| buffer_[0] = NULL_CHARACTER; |
| } else { |
| buffer_ = realloc_or_die(buffer_, allocation_size); |
| } |
| |
| capacity_ = allocation_size; |
| } |
| |
| LIBC_INLINE void resize(size_t size) { |
| // Avoid growing out of the static empty string during `resize(0)`, |
| // which may happen in string constructors. |
| if (size == size_) |
| return; |
| |
| if (size > capacity()) { |
| reserve(size); |
| const size_t size_extension = size - size_; |
| inline_memset(data() + size_, '\0', size_extension); |
| } |
| set_size_and_add_null_character(size); |
| } |
| |
| // Releases the backing C-string. |
| // |
| // The returned pointer must be free'd by the caller. |
| // This is a non-standard extension to std::string. |
| LIBC_INLINE char *release_c_str() { |
| if (buffer_ == get_empty_string()) { |
| // Ensure the buffer is heap allocated, |
| // so that it may later be passed to `free`. |
| char *res = malloc_or_die(1); |
| res[0] = '\0'; |
| return res; |
| } |
| |
| char *res = buffer_; |
| reset_no_deallocate(); |
| return res; |
| } |
| |
| LIBC_INLINE string &append(cpp::string_view view) { |
| if (view.empty()) |
| return *this; |
| |
| if (capacity() - size_ < view.size()) { |
| grow_and_replace(/* keep_prefix_size= */ size_, view, |
| /* keep_suffix_size= */ 0); |
| return *this; |
| } |
| |
| size_t new_size = size_ + view.size(); |
| inline_memcpy(buffer_ + size_, view.data(), view.size()); |
| set_size_and_add_null_character(new_size); |
| return *this; |
| } |
| |
| LIBC_INLINE string &operator+=(string_view rhs) { return append(rhs); } |
| |
| LIBC_INLINE string &operator+=(const char c) { |
| return append(string_view(&c, 1)); |
| } |
| |
| // Replaces the span [pos, pos + count) in this string with `str`. |
| LIBC_INLINE string &replace(size_t pos, size_t count, string_view str) { |
| LIBC_ASSERT(pos <= size_); // Out of bounds. |
| |
| count = min(count, size_ - pos); |
| size_t new_size = str.size() + size_ - count; |
| |
| if (new_size > capacity()) { |
| grow_and_replace(/* keep_prefix_size= */ pos, str, size_ - pos - count); |
| return *this; |
| } |
| |
| // If the input references a section of this string that will be edited, |
| // fall back to a slow approach. libc++ implements this efficiently via |
| // pointer arithmetic. If self-referential replace is used frequently, |
| // this can be updated to avoid the extra temporary. |
| bool has_overlap = |
| memory_overlaps(str, string_view(buffer_ + pos, size_ - pos)); |
| string tmp; |
| if (LIBC_UNLIKELY(has_overlap)) { |
| // Save str in a temp string, then update the view to reference it. |
| tmp = str; |
| str = tmp; |
| } |
| |
| if (str.size() != count) |
| inline_memmove(buffer_ + pos + str.size(), buffer_ + pos + count, |
| size_ - pos - count); |
| |
| inline_memcpy(buffer_ + pos, str.data(), str.size()); |
| set_size_and_add_null_character(new_size); |
| return *this; |
| } |
| }; |
| |
| LIBC_INLINE bool operator==(const string &lhs, const string &rhs) { |
| return string_view(lhs) == string_view(rhs); |
| } |
| LIBC_INLINE bool operator!=(const string &lhs, const string &rhs) { |
| return string_view(lhs) != string_view(rhs); |
| } |
| LIBC_INLINE bool operator<(const string &lhs, const string &rhs) { |
| return string_view(lhs) < string_view(rhs); |
| } |
| LIBC_INLINE bool operator<=(const string &lhs, const string &rhs) { |
| return string_view(lhs) <= string_view(rhs); |
| } |
| LIBC_INLINE bool operator>(const string &lhs, const string &rhs) { |
| return string_view(lhs) > string_view(rhs); |
| } |
| LIBC_INLINE bool operator>=(const string &lhs, const string &rhs) { |
| return string_view(lhs) >= string_view(rhs); |
| } |
| |
| LIBC_INLINE string operator+(const string &lhs, const string &rhs) { |
| string Tmp(lhs); |
| return Tmp += rhs; |
| } |
| LIBC_INLINE string operator+(const string &lhs, const char *rhs) { |
| return lhs + string(rhs); |
| } |
| LIBC_INLINE string operator+(const char *lhs, const string &rhs) { |
| return string(lhs) + rhs; |
| } |
| |
| namespace internal { |
| template <typename T> string to_dec_string(T value) { |
| const IntegerToString<T> buffer(value); |
| return string(buffer.view()); |
| } |
| } // namespace internal |
| |
| LIBC_INLINE string to_string(int value) { |
| return internal::to_dec_string<int>(value); |
| } |
| LIBC_INLINE string to_string(long value) { |
| return internal::to_dec_string<long>(value); |
| } |
| LIBC_INLINE string to_string(long long value) { |
| return internal::to_dec_string<long long>(value); |
| } |
| LIBC_INLINE string to_string(unsigned value) { |
| return internal::to_dec_string<unsigned>(value); |
| } |
| LIBC_INLINE string to_string(unsigned long value) { |
| return internal::to_dec_string<unsigned long>(value); |
| } |
| LIBC_INLINE string to_string(unsigned long long value) { |
| return internal::to_dec_string<unsigned long long>(value); |
| } |
| |
| // TODO: Support floating point |
| // LIBC_INLINE string to_string(float value); |
| // LIBC_INLINE string to_string(double value); |
| // LIBC_INLINE string to_string(long double value); |
| |
| } // namespace cpp |
| } // namespace LIBC_NAMESPACE_DECL |
| |
| #endif // LLVM_LIBC_SRC___SUPPORT_CPP_STRING_H |