| Dominik Laskowski | 4188ffd | 2021-02-07 22:15:44 -0800 | [diff] [blame] | 1 | /* | 
|  | 2 | * Copyright 2021 The Android Open Source Project | 
|  | 3 | * | 
|  | 4 | * Licensed under the Apache License, Version 2.0 (the "License"); | 
|  | 5 | * you may not use this file except in compliance with the License. | 
|  | 6 | * You may obtain a copy of the License at | 
|  | 7 | * | 
|  | 8 | *      http://www.apache.org/licenses/LICENSE-2.0 | 
|  | 9 | * | 
|  | 10 | * Unless required by applicable law or agreed to in writing, software | 
|  | 11 | * distributed under the License is distributed on an "AS IS" BASIS, | 
|  | 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | 
|  | 13 | * See the License for the specific language governing permissions and | 
|  | 14 | * limitations under the License. | 
|  | 15 | */ | 
|  | 16 |  | 
|  | 17 | #pragma once | 
|  | 18 |  | 
|  | 19 | #include <cassert> | 
|  | 20 | #include <charconv> | 
|  | 21 | #include <limits> | 
|  | 22 | #include <string> | 
|  | 23 | #include <string_view> | 
|  | 24 | #include <type_traits> | 
|  | 25 |  | 
|  | 26 | namespace android::ftl { | 
|  | 27 |  | 
|  | 28 | enum class Radix { kBin = 2, kDec = 10, kHex = 16 }; | 
|  | 29 |  | 
|  | 30 | template <typename T> | 
|  | 31 | struct to_chars_length { | 
|  | 32 | static_assert(std::is_integral_v<T>); | 
|  | 33 | // Maximum binary digits, plus minus sign and radix prefix. | 
|  | 34 | static constexpr std::size_t value = std::numeric_limits<std::make_unsigned_t<T>>::digits + 3; | 
|  | 35 | }; | 
|  | 36 |  | 
|  | 37 | template <typename T> | 
|  | 38 | constexpr std::size_t to_chars_length_v = to_chars_length<T>::value; | 
|  | 39 |  | 
|  | 40 | template <typename T = std::int64_t> | 
|  | 41 | using to_chars_buffer_t = char[to_chars_length_v<T>]; | 
|  | 42 |  | 
|  | 43 | // Lightweight (not allocating nor sprintf-based) alternative to std::to_string for integers, with | 
|  | 44 | // optional radix. See also ftl::to_string below. | 
|  | 45 | // | 
|  | 46 | //   ftl::to_chars_buffer_t<> buffer; | 
|  | 47 | // | 
|  | 48 | //   assert(ftl::to_chars(buffer, 123u) == "123"); | 
|  | 49 | //   assert(ftl::to_chars(buffer, -42, ftl::Radix::kBin) == "-0b101010"); | 
|  | 50 | //   assert(ftl::to_chars(buffer, 0xcafe, ftl::Radix::kHex) == "0xcafe"); | 
|  | 51 | //   assert(ftl::to_chars(buffer, '*', ftl::Radix::kHex) == "0x2a"); | 
|  | 52 | // | 
|  | 53 | template <typename T, std::size_t N> | 
|  | 54 | std::string_view to_chars(char (&buffer)[N], T v, Radix radix = Radix::kDec) { | 
|  | 55 | static_assert(N >= to_chars_length_v<T>); | 
|  | 56 |  | 
|  | 57 | auto begin = buffer + 2; | 
|  | 58 | const auto [end, err] = std::to_chars(begin, buffer + N, v, static_cast<int>(radix)); | 
|  | 59 | assert(err == std::errc()); | 
|  | 60 |  | 
|  | 61 | if (radix == Radix::kDec) { | 
|  | 62 | // TODO: Replace with {begin, end} in C++20. | 
|  | 63 | return {begin, static_cast<std::size_t>(end - begin)}; | 
|  | 64 | } | 
|  | 65 |  | 
|  | 66 | const auto prefix = radix == Radix::kBin ? 'b' : 'x'; | 
|  | 67 | if constexpr (std::is_unsigned_v<T>) { | 
|  | 68 | buffer[0] = '0'; | 
|  | 69 | buffer[1] = prefix; | 
|  | 70 | } else { | 
|  | 71 | if (*begin == '-') { | 
|  | 72 | *buffer = '-'; | 
|  | 73 | } else { | 
|  | 74 | --begin; | 
|  | 75 | } | 
|  | 76 |  | 
|  | 77 | *begin-- = prefix; | 
|  | 78 | *begin = '0'; | 
|  | 79 | } | 
|  | 80 |  | 
|  | 81 | // TODO: Replace with {buffer, end} in C++20. | 
|  | 82 | return {buffer, static_cast<std::size_t>(end - buffer)}; | 
|  | 83 | } | 
|  | 84 |  | 
|  | 85 | // Lightweight (not sprintf-based) alternative to std::to_string for integers, with optional radix. | 
|  | 86 | // | 
|  | 87 | //   assert(ftl::to_string(123u) == "123"); | 
|  | 88 | //   assert(ftl::to_string(-42, ftl::Radix::kBin) == "-0b101010"); | 
|  | 89 | //   assert(ftl::to_string(0xcafe, ftl::Radix::kHex) == "0xcafe"); | 
|  | 90 | //   assert(ftl::to_string('*', ftl::Radix::kHex) == "0x2a"); | 
|  | 91 | // | 
|  | 92 | template <typename T> | 
|  | 93 | inline std::string to_string(T v, Radix radix = Radix::kDec) { | 
|  | 94 | to_chars_buffer_t<T> buffer; | 
|  | 95 | return std::string(to_chars(buffer, v, radix)); | 
|  | 96 | } | 
|  | 97 |  | 
|  | 98 | std::string to_string(bool) = delete; | 
|  | 99 | std::string to_string(bool, Radix) = delete; | 
|  | 100 |  | 
|  | 101 | }  // namespace android::ftl |