• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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