1 // Copyright 2017 The Abseil Authors.
2 //
3 // Licensed under the Apache License, Version 2.0 (the "License");
4 // you may not use this file except in compliance with the License.
5 // You may obtain a copy of the License at
6 //
7 // https://www.apache.org/licenses/LICENSE-2.0
8 //
9 // Unless required by applicable law or agreed to in writing, software
10 // distributed under the License is distributed on an "AS IS" BASIS,
11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 // See the License for the specific language governing permissions and
13 // limitations under the License.
14
15 #include "absl/strings/str_cat.h"
16
17 #include <assert.h>
18
19 #include <cstddef>
20 #include <cstdint>
21 #include <cstring>
22 #include <initializer_list>
23 #include <string>
24 #include <type_traits>
25
26 #include "absl/base/config.h"
27 #include "absl/base/nullability.h"
28 #include "absl/strings/internal/resize_uninitialized.h"
29 #include "absl/strings/numbers.h"
30 #include "absl/strings/string_view.h"
31
32 namespace absl {
33 ABSL_NAMESPACE_BEGIN
34
35
36 // ----------------------------------------------------------------------
37 // StrCat()
38 // This merges the given strings or integers, with no delimiter. This
39 // is designed to be the fastest possible way to construct a string out
40 // of a mix of raw C strings, string_views, strings, and integer values.
41 // ----------------------------------------------------------------------
42
43 namespace {
44 // Append is merely a version of memcpy that returns the address of the byte
45 // after the area just overwritten.
Append(absl::Nonnull<char * > out,const AlphaNum & x)46 absl::Nonnull<char*> Append(absl::Nonnull<char*> out, const AlphaNum& x) {
47 // memcpy is allowed to overwrite arbitrary memory, so doing this after the
48 // call would force an extra fetch of x.size().
49 char* after = out + x.size();
50 if (x.size() != 0) {
51 memcpy(out, x.data(), x.size());
52 }
53 return after;
54 }
55
56 } // namespace
57
StrCat(const AlphaNum & a,const AlphaNum & b)58 std::string StrCat(const AlphaNum& a, const AlphaNum& b) {
59 std::string result;
60 absl::strings_internal::STLStringResizeUninitialized(&result,
61 a.size() + b.size());
62 char* const begin = &result[0];
63 char* out = begin;
64 out = Append(out, a);
65 out = Append(out, b);
66 assert(out == begin + result.size());
67 return result;
68 }
69
StrCat(const AlphaNum & a,const AlphaNum & b,const AlphaNum & c)70 std::string StrCat(const AlphaNum& a, const AlphaNum& b, const AlphaNum& c) {
71 std::string result;
72 strings_internal::STLStringResizeUninitialized(
73 &result, a.size() + b.size() + c.size());
74 char* const begin = &result[0];
75 char* out = begin;
76 out = Append(out, a);
77 out = Append(out, b);
78 out = Append(out, c);
79 assert(out == begin + result.size());
80 return result;
81 }
82
StrCat(const AlphaNum & a,const AlphaNum & b,const AlphaNum & c,const AlphaNum & d)83 std::string StrCat(const AlphaNum& a, const AlphaNum& b, const AlphaNum& c,
84 const AlphaNum& d) {
85 std::string result;
86 strings_internal::STLStringResizeUninitialized(
87 &result, a.size() + b.size() + c.size() + d.size());
88 char* const begin = &result[0];
89 char* out = begin;
90 out = Append(out, a);
91 out = Append(out, b);
92 out = Append(out, c);
93 out = Append(out, d);
94 assert(out == begin + result.size());
95 return result;
96 }
97
98 namespace strings_internal {
99
100 // Do not call directly - these are not part of the public API.
STLStringAppendUninitializedAmortized(std::string * dest,size_t to_append)101 void STLStringAppendUninitializedAmortized(std::string* dest,
102 size_t to_append) {
103 strings_internal::AppendUninitializedTraits<std::string>::Append(dest,
104 to_append);
105 }
106
107 template <typename Integer>
IntegerToString(Integer i)108 std::enable_if_t<std::is_integral<Integer>::value, std::string> IntegerToString(
109 Integer i) {
110 std::string str;
111 const auto /* either bool or std::false_type */ is_negative =
112 absl::numbers_internal::IsNegative(i);
113 const uint32_t digits = absl::numbers_internal::Base10Digits(
114 absl::numbers_internal::UnsignedAbsoluteValue(i));
115 absl::strings_internal::STLStringResizeUninitialized(
116 &str, digits + static_cast<uint32_t>(is_negative));
117 absl::numbers_internal::FastIntToBufferBackward(i, &str[str.size()], digits);
118 return str;
119 }
120
121 template <>
IntegerToString(long i)122 std::string IntegerToString(long i) { // NOLINT
123 if (sizeof(i) <= sizeof(int)) {
124 return IntegerToString(static_cast<int>(i));
125 } else {
126 return IntegerToString(static_cast<long long>(i)); // NOLINT
127 }
128 }
129
130 template <>
IntegerToString(unsigned long i)131 std::string IntegerToString(unsigned long i) { // NOLINT
132 if (sizeof(i) <= sizeof(unsigned int)) {
133 return IntegerToString(static_cast<unsigned int>(i));
134 } else {
135 return IntegerToString(static_cast<unsigned long long>(i)); // NOLINT
136 }
137 }
138
139 template <typename Float>
140 std::enable_if_t<std::is_floating_point<Float>::value, std::string>
FloatToString(Float f)141 FloatToString(Float f) {
142 std::string result;
143 strings_internal::STLStringResizeUninitialized(
144 &result, numbers_internal::kSixDigitsToBufferSize);
145 char* start = &result[0];
146 result.erase(numbers_internal::SixDigitsToBuffer(f, start));
147 return result;
148 }
149
SingleArgStrCat(int x)150 std::string SingleArgStrCat(int x) { return IntegerToString(x); }
SingleArgStrCat(unsigned int x)151 std::string SingleArgStrCat(unsigned int x) { return IntegerToString(x); }
152 // NOLINTNEXTLINE
SingleArgStrCat(long x)153 std::string SingleArgStrCat(long x) { return IntegerToString(x); }
154 // NOLINTNEXTLINE
SingleArgStrCat(unsigned long x)155 std::string SingleArgStrCat(unsigned long x) { return IntegerToString(x); }
156 // NOLINTNEXTLINE
SingleArgStrCat(long long x)157 std::string SingleArgStrCat(long long x) { return IntegerToString(x); }
158 // NOLINTNEXTLINE
SingleArgStrCat(unsigned long long x)159 std::string SingleArgStrCat(unsigned long long x) { return IntegerToString(x); }
SingleArgStrCat(float x)160 std::string SingleArgStrCat(float x) { return FloatToString(x); }
SingleArgStrCat(double x)161 std::string SingleArgStrCat(double x) { return FloatToString(x); }
162
163 template <class Integer>
AppendIntegerToString(std::string & str,Integer i)164 std::enable_if_t<std::is_integral<Integer>::value, void> AppendIntegerToString(
165 std::string& str, Integer i) {
166 const auto /* either bool or std::false_type */ is_negative =
167 absl::numbers_internal::IsNegative(i);
168 const uint32_t digits = absl::numbers_internal::Base10Digits(
169 absl::numbers_internal::UnsignedAbsoluteValue(i));
170 absl::strings_internal::STLStringAppendUninitializedAmortized(
171 &str, digits + static_cast<uint32_t>(is_negative));
172 absl::numbers_internal::FastIntToBufferBackward(i, &str[str.size()], digits);
173 }
174
175 template <>
AppendIntegerToString(std::string & str,long i)176 void AppendIntegerToString(std::string& str, long i) { // NOLINT
177 if (sizeof(i) <= sizeof(int)) {
178 return AppendIntegerToString(str, static_cast<int>(i));
179 } else {
180 return AppendIntegerToString(str, static_cast<long long>(i)); // NOLINT
181 }
182 }
183
184 template <>
AppendIntegerToString(std::string & str,unsigned long i)185 void AppendIntegerToString(std::string& str,
186 unsigned long i) { // NOLINT
187 if (sizeof(i) <= sizeof(unsigned int)) {
188 return AppendIntegerToString(str, static_cast<unsigned int>(i));
189 } else {
190 return AppendIntegerToString(str,
191 static_cast<unsigned long long>(i)); // NOLINT
192 }
193 }
194
195 // `SingleArgStrAppend` overloads are defined here for the same reasons as with
196 // `SingleArgStrCat` above.
SingleArgStrAppend(std::string & str,int x)197 void SingleArgStrAppend(std::string& str, int x) {
198 return AppendIntegerToString(str, x);
199 }
200
SingleArgStrAppend(std::string & str,unsigned int x)201 void SingleArgStrAppend(std::string& str, unsigned int x) {
202 return AppendIntegerToString(str, x);
203 }
204
205 // NOLINTNEXTLINE
SingleArgStrAppend(std::string & str,long x)206 void SingleArgStrAppend(std::string& str, long x) {
207 return AppendIntegerToString(str, x);
208 }
209
210 // NOLINTNEXTLINE
SingleArgStrAppend(std::string & str,unsigned long x)211 void SingleArgStrAppend(std::string& str, unsigned long x) {
212 return AppendIntegerToString(str, x);
213 }
214
215 // NOLINTNEXTLINE
SingleArgStrAppend(std::string & str,long long x)216 void SingleArgStrAppend(std::string& str, long long x) {
217 return AppendIntegerToString(str, x);
218 }
219
220 // NOLINTNEXTLINE
SingleArgStrAppend(std::string & str,unsigned long long x)221 void SingleArgStrAppend(std::string& str, unsigned long long x) {
222 return AppendIntegerToString(str, x);
223 }
224
CatPieces(std::initializer_list<absl::string_view> pieces)225 std::string CatPieces(std::initializer_list<absl::string_view> pieces) {
226 std::string result;
227 size_t total_size = 0;
228 for (absl::string_view piece : pieces) total_size += piece.size();
229 strings_internal::STLStringResizeUninitialized(&result, total_size);
230
231 char* const begin = &result[0];
232 char* out = begin;
233 for (absl::string_view piece : pieces) {
234 const size_t this_size = piece.size();
235 if (this_size != 0) {
236 memcpy(out, piece.data(), this_size);
237 out += this_size;
238 }
239 }
240 assert(out == begin + result.size());
241 return result;
242 }
243
244 // It's possible to call StrAppend with an absl::string_view that is itself a
245 // fragment of the string we're appending to. However the results of this are
246 // random. Therefore, check for this in debug mode. Use unsigned math so we
247 // only have to do one comparison. Note, there's an exception case: appending an
248 // empty string is always allowed.
249 #define ASSERT_NO_OVERLAP(dest, src) \
250 assert(((src).size() == 0) || \
251 (uintptr_t((src).data() - (dest).data()) > uintptr_t((dest).size())))
252
AppendPieces(absl::Nonnull<std::string * > dest,std::initializer_list<absl::string_view> pieces)253 void AppendPieces(absl::Nonnull<std::string*> dest,
254 std::initializer_list<absl::string_view> pieces) {
255 size_t old_size = dest->size();
256 size_t to_append = 0;
257 for (absl::string_view piece : pieces) {
258 ASSERT_NO_OVERLAP(*dest, piece);
259 to_append += piece.size();
260 }
261 strings_internal::STLStringAppendUninitializedAmortized(dest, to_append);
262
263 char* const begin = &(*dest)[0];
264 char* out = begin + old_size;
265 for (absl::string_view piece : pieces) {
266 const size_t this_size = piece.size();
267 if (this_size != 0) {
268 memcpy(out, piece.data(), this_size);
269 out += this_size;
270 }
271 }
272 assert(out == begin + dest->size());
273 }
274
275 } // namespace strings_internal
276
StrAppend(absl::Nonnull<std::string * > dest,const AlphaNum & a)277 void StrAppend(absl::Nonnull<std::string*> dest, const AlphaNum& a) {
278 ASSERT_NO_OVERLAP(*dest, a);
279 std::string::size_type old_size = dest->size();
280 strings_internal::STLStringAppendUninitializedAmortized(dest, a.size());
281 char* const begin = &(*dest)[0];
282 char* out = begin + old_size;
283 out = Append(out, a);
284 assert(out == begin + dest->size());
285 }
286
StrAppend(absl::Nonnull<std::string * > dest,const AlphaNum & a,const AlphaNum & b)287 void StrAppend(absl::Nonnull<std::string*> dest, const AlphaNum& a,
288 const AlphaNum& b) {
289 ASSERT_NO_OVERLAP(*dest, a);
290 ASSERT_NO_OVERLAP(*dest, b);
291 std::string::size_type old_size = dest->size();
292 strings_internal::STLStringAppendUninitializedAmortized(dest,
293 a.size() + b.size());
294 char* const begin = &(*dest)[0];
295 char* out = begin + old_size;
296 out = Append(out, a);
297 out = Append(out, b);
298 assert(out == begin + dest->size());
299 }
300
StrAppend(absl::Nonnull<std::string * > dest,const AlphaNum & a,const AlphaNum & b,const AlphaNum & c)301 void StrAppend(absl::Nonnull<std::string*> dest, const AlphaNum& a,
302 const AlphaNum& b, const AlphaNum& c) {
303 ASSERT_NO_OVERLAP(*dest, a);
304 ASSERT_NO_OVERLAP(*dest, b);
305 ASSERT_NO_OVERLAP(*dest, c);
306 std::string::size_type old_size = dest->size();
307 strings_internal::STLStringAppendUninitializedAmortized(
308 dest, a.size() + b.size() + c.size());
309 char* const begin = &(*dest)[0];
310 char* out = begin + old_size;
311 out = Append(out, a);
312 out = Append(out, b);
313 out = Append(out, c);
314 assert(out == begin + dest->size());
315 }
316
StrAppend(absl::Nonnull<std::string * > dest,const AlphaNum & a,const AlphaNum & b,const AlphaNum & c,const AlphaNum & d)317 void StrAppend(absl::Nonnull<std::string*> dest, const AlphaNum& a,
318 const AlphaNum& b, const AlphaNum& c, const AlphaNum& d) {
319 ASSERT_NO_OVERLAP(*dest, a);
320 ASSERT_NO_OVERLAP(*dest, b);
321 ASSERT_NO_OVERLAP(*dest, c);
322 ASSERT_NO_OVERLAP(*dest, d);
323 std::string::size_type old_size = dest->size();
324 strings_internal::STLStringAppendUninitializedAmortized(
325 dest, a.size() + b.size() + c.size() + d.size());
326 char* const begin = &(*dest)[0];
327 char* out = begin + old_size;
328 out = Append(out, a);
329 out = Append(out, b);
330 out = Append(out, c);
331 out = Append(out, d);
332 assert(out == begin + dest->size());
333 }
334
335 ABSL_NAMESPACE_END
336 } // namespace absl
337