| OLD | NEW |
| (Empty) |
| 1 // Copyright (c) 2010 The Chromium Authors. All rights reserved. | |
| 2 // Use of this source code is governed by a BSD-style license that can be | |
| 3 // found in the LICENSE file. | |
| 4 | |
| 5 // STL utility functions. Usually, these replace built-in, but slow(!), | |
| 6 // STL functions with more efficient versions. | |
| 7 | |
| 8 #ifndef BASE_STL_UTIL_INL_H_ | |
| 9 #define BASE_STL_UTIL_INL_H_ | |
| 10 #pragma once | |
| 11 | |
| 12 #include <string.h> // for memcpy | |
| 13 #include <functional> | |
| 14 #include <set> | |
| 15 #include <string> | |
| 16 #include <vector> | |
| 17 #include <cassert> | |
| 18 | |
| 19 // Clear internal memory of an STL object. | |
| 20 // STL clear()/reserve(0) does not always free internal memory allocated | |
| 21 // This function uses swap/destructor to ensure the internal memory is freed. | |
| 22 template<class T> void STLClearObject(T* obj) { | |
| 23 T tmp; | |
| 24 tmp.swap(*obj); | |
| 25 obj->reserve(0); // this is because sometimes "T tmp" allocates objects with | |
| 26 // memory (arena implementation?). use reserve() | |
| 27 // to clear() even if it doesn't always work | |
| 28 } | |
| 29 | |
| 30 // Reduce memory usage on behalf of object if it is using more than | |
| 31 // "bytes" bytes of space. By default, we clear objects over 1MB. | |
| 32 template <class T> inline void STLClearIfBig(T* obj, size_t limit = 1<<20) { | |
| 33 if (obj->capacity() >= limit) { | |
| 34 STLClearObject(obj); | |
| 35 } else { | |
| 36 obj->clear(); | |
| 37 } | |
| 38 } | |
| 39 | |
| 40 // Reserve space for STL object. | |
| 41 // STL's reserve() will always copy. | |
| 42 // This function avoid the copy if we already have capacity | |
| 43 template<class T> void STLReserveIfNeeded(T* obj, int new_size) { | |
| 44 if (obj->capacity() < new_size) // increase capacity | |
| 45 obj->reserve(new_size); | |
| 46 else if (obj->size() > new_size) // reduce size | |
| 47 obj->resize(new_size); | |
| 48 } | |
| 49 | |
| 50 // STLDeleteContainerPointers() | |
| 51 // For a range within a container of pointers, calls delete | |
| 52 // (non-array version) on these pointers. | |
| 53 // NOTE: for these three functions, we could just implement a DeleteObject | |
| 54 // functor and then call for_each() on the range and functor, but this | |
| 55 // requires us to pull in all of algorithm.h, which seems expensive. | |
| 56 // For hash_[multi]set, it is important that this deletes behind the iterator | |
| 57 // because the hash_set may call the hash function on the iterator when it is | |
| 58 // advanced, which could result in the hash function trying to deference a | |
| 59 // stale pointer. | |
| 60 template <class ForwardIterator> | |
| 61 void STLDeleteContainerPointers(ForwardIterator begin, ForwardIterator end) { | |
| 62 while (begin != end) { | |
| 63 ForwardIterator temp = begin; | |
| 64 ++begin; | |
| 65 delete *temp; | |
| 66 } | |
| 67 } | |
| 68 | |
| 69 // STLDeleteContainerPairPointers() | |
| 70 // For a range within a container of pairs, calls delete | |
| 71 // (non-array version) on BOTH items in the pairs. | |
| 72 // NOTE: Like STLDeleteContainerPointers, it is important that this deletes | |
| 73 // behind the iterator because if both the key and value are deleted, the | |
| 74 // container may call the hash function on the iterator when it is advanced, | |
| 75 // which could result in the hash function trying to dereference a stale | |
| 76 // pointer. | |
| 77 template <class ForwardIterator> | |
| 78 void STLDeleteContainerPairPointers(ForwardIterator begin, | |
| 79 ForwardIterator end) { | |
| 80 while (begin != end) { | |
| 81 ForwardIterator temp = begin; | |
| 82 ++begin; | |
| 83 delete temp->first; | |
| 84 delete temp->second; | |
| 85 } | |
| 86 } | |
| 87 | |
| 88 // STLDeleteContainerPairFirstPointers() | |
| 89 // For a range within a container of pairs, calls delete (non-array version) | |
| 90 // on the FIRST item in the pairs. | |
| 91 // NOTE: Like STLDeleteContainerPointers, deleting behind the iterator. | |
| 92 template <class ForwardIterator> | |
| 93 void STLDeleteContainerPairFirstPointers(ForwardIterator begin, | |
| 94 ForwardIterator end) { | |
| 95 while (begin != end) { | |
| 96 ForwardIterator temp = begin; | |
| 97 ++begin; | |
| 98 delete temp->first; | |
| 99 } | |
| 100 } | |
| 101 | |
| 102 // STLDeleteContainerPairSecondPointers() | |
| 103 // For a range within a container of pairs, calls delete | |
| 104 // (non-array version) on the SECOND item in the pairs. | |
| 105 template <class ForwardIterator> | |
| 106 void STLDeleteContainerPairSecondPointers(ForwardIterator begin, | |
| 107 ForwardIterator end) { | |
| 108 while (begin != end) { | |
| 109 delete begin->second; | |
| 110 ++begin; | |
| 111 } | |
| 112 } | |
| 113 | |
| 114 template<typename T> | |
| 115 inline void STLAssignToVector(std::vector<T>* vec, | |
| 116 const T* ptr, | |
| 117 size_t n) { | |
| 118 vec->resize(n); | |
| 119 memcpy(&vec->front(), ptr, n*sizeof(T)); | |
| 120 } | |
| 121 | |
| 122 /***** Hack to allow faster assignment to a vector *****/ | |
| 123 | |
| 124 // This routine speeds up an assignment of 32 bytes to a vector from | |
| 125 // about 250 cycles per assignment to about 140 cycles. | |
| 126 // | |
| 127 // Usage: | |
| 128 // STLAssignToVectorChar(&vec, ptr, size); | |
| 129 // STLAssignToString(&str, ptr, size); | |
| 130 | |
| 131 inline void STLAssignToVectorChar(std::vector<char>* vec, | |
| 132 const char* ptr, | |
| 133 size_t n) { | |
| 134 STLAssignToVector(vec, ptr, n); | |
| 135 } | |
| 136 | |
| 137 inline void STLAssignToString(std::string* str, const char* ptr, size_t n) { | |
| 138 str->resize(n); | |
| 139 memcpy(&*str->begin(), ptr, n); | |
| 140 } | |
| 141 | |
| 142 // To treat a possibly-empty vector as an array, use these functions. | |
| 143 // If you know the array will never be empty, you can use &*v.begin() | |
| 144 // directly, but that is allowed to dump core if v is empty. This | |
| 145 // function is the most efficient code that will work, taking into | |
| 146 // account how our STL is actually implemented. THIS IS NON-PORTABLE | |
| 147 // CODE, so call us instead of repeating the nonportable code | |
| 148 // everywhere. If our STL implementation changes, we will need to | |
| 149 // change this as well. | |
| 150 | |
| 151 template<typename T> | |
| 152 inline T* vector_as_array(std::vector<T>* v) { | |
| 153 # ifdef NDEBUG | |
| 154 return &*v->begin(); | |
| 155 # else | |
| 156 return v->empty() ? NULL : &*v->begin(); | |
| 157 # endif | |
| 158 } | |
| 159 | |
| 160 template<typename T> | |
| 161 inline const T* vector_as_array(const std::vector<T>* v) { | |
| 162 # ifdef NDEBUG | |
| 163 return &*v->begin(); | |
| 164 # else | |
| 165 return v->empty() ? NULL : &*v->begin(); | |
| 166 # endif | |
| 167 } | |
| 168 | |
| 169 // Return a mutable char* pointing to a string's internal buffer, | |
| 170 // which may not be null-terminated. Writing through this pointer will | |
| 171 // modify the string. | |
| 172 // | |
| 173 // string_as_array(&str)[i] is valid for 0 <= i < str.size() until the | |
| 174 // next call to a string method that invalidates iterators. | |
| 175 // | |
| 176 // As of 2006-04, there is no standard-blessed way of getting a | |
| 177 // mutable reference to a string's internal buffer. However, issue 530 | |
| 178 // (http://www.open-std.org/JTC1/SC22/WG21/docs/lwg-active.html#530) | |
| 179 // proposes this as the method. According to Matt Austern, this should | |
| 180 // already work on all current implementations. | |
| 181 inline char* string_as_array(std::string* str) { | |
| 182 // DO NOT USE const_cast<char*>(str->data())! See the unittest for why. | |
| 183 return str->empty() ? NULL : &*str->begin(); | |
| 184 } | |
| 185 | |
| 186 // These are methods that test two hash maps/sets for equality. These exist | |
| 187 // because the == operator in the STL can return false when the maps/sets | |
| 188 // contain identical elements. This is because it compares the internal hash | |
| 189 // tables which may be different if the order of insertions and deletions | |
| 190 // differed. | |
| 191 | |
| 192 template <class HashSet> | |
| 193 inline bool HashSetEquality(const HashSet& set_a, const HashSet& set_b) { | |
| 194 if (set_a.size() != set_b.size()) return false; | |
| 195 for (typename HashSet::const_iterator i = set_a.begin(); | |
| 196 i != set_a.end(); ++i) { | |
| 197 if (set_b.find(*i) == set_b.end()) | |
| 198 return false; | |
| 199 } | |
| 200 return true; | |
| 201 } | |
| 202 | |
| 203 template <class HashMap> | |
| 204 inline bool HashMapEquality(const HashMap& map_a, const HashMap& map_b) { | |
| 205 if (map_a.size() != map_b.size()) return false; | |
| 206 for (typename HashMap::const_iterator i = map_a.begin(); | |
| 207 i != map_a.end(); ++i) { | |
| 208 typename HashMap::const_iterator j = map_b.find(i->first); | |
| 209 if (j == map_b.end()) return false; | |
| 210 if (i->second != j->second) return false; | |
| 211 } | |
| 212 return true; | |
| 213 } | |
| 214 | |
| 215 // The following functions are useful for cleaning up STL containers | |
| 216 // whose elements point to allocated memory. | |
| 217 | |
| 218 // STLDeleteElements() deletes all the elements in an STL container and clears | |
| 219 // the container. This function is suitable for use with a vector, set, | |
| 220 // hash_set, or any other STL container which defines sensible begin(), end(), | |
| 221 // and clear() methods. | |
| 222 // | |
| 223 // If container is NULL, this function is a no-op. | |
| 224 // | |
| 225 // As an alternative to calling STLDeleteElements() directly, consider | |
| 226 // STLElementDeleter (defined below), which ensures that your container's | |
| 227 // elements are deleted when the STLElementDeleter goes out of scope. | |
| 228 template <class T> | |
| 229 void STLDeleteElements(T *container) { | |
| 230 if (!container) return; | |
| 231 STLDeleteContainerPointers(container->begin(), container->end()); | |
| 232 container->clear(); | |
| 233 } | |
| 234 | |
| 235 // Given an STL container consisting of (key, value) pairs, STLDeleteValues | |
| 236 // deletes all the "value" components and clears the container. Does nothing | |
| 237 // in the case it's given a NULL pointer. | |
| 238 | |
| 239 template <class T> | |
| 240 void STLDeleteValues(T *v) { | |
| 241 if (!v) return; | |
| 242 for (typename T::iterator i = v->begin(); i != v->end(); ++i) { | |
| 243 delete i->second; | |
| 244 } | |
| 245 v->clear(); | |
| 246 } | |
| 247 | |
| 248 | |
| 249 // The following classes provide a convenient way to delete all elements or | |
| 250 // values from STL containers when they goes out of scope. This greatly | |
| 251 // simplifies code that creates temporary objects and has multiple return | |
| 252 // statements. Example: | |
| 253 // | |
| 254 // vector<MyProto *> tmp_proto; | |
| 255 // STLElementDeleter<vector<MyProto *> > d(&tmp_proto); | |
| 256 // if (...) return false; | |
| 257 // ... | |
| 258 // return success; | |
| 259 | |
| 260 // Given a pointer to an STL container this class will delete all the element | |
| 261 // pointers when it goes out of scope. | |
| 262 | |
| 263 template<class STLContainer> class STLElementDeleter { | |
| 264 public: | |
| 265 STLElementDeleter<STLContainer>(STLContainer *ptr) : container_ptr_(ptr) {} | |
| 266 ~STLElementDeleter<STLContainer>() { STLDeleteElements(container_ptr_); } | |
| 267 private: | |
| 268 STLContainer *container_ptr_; | |
| 269 }; | |
| 270 | |
| 271 // Given a pointer to an STL container this class will delete all the value | |
| 272 // pointers when it goes out of scope. | |
| 273 | |
| 274 template<class STLContainer> class STLValueDeleter { | |
| 275 public: | |
| 276 STLValueDeleter<STLContainer>(STLContainer *ptr) : container_ptr_(ptr) {} | |
| 277 ~STLValueDeleter<STLContainer>() { STLDeleteValues(container_ptr_); } | |
| 278 private: | |
| 279 STLContainer *container_ptr_; | |
| 280 }; | |
| 281 | |
| 282 | |
| 283 // Forward declare some callback classes in callback.h for STLBinaryFunction | |
| 284 template <class R, class T1, class T2> | |
| 285 class ResultCallback2; | |
| 286 | |
| 287 // STLBinaryFunction is a wrapper for the ResultCallback2 class in callback.h | |
| 288 // It provides an operator () method instead of a Run method, so it may be | |
| 289 // passed to STL functions in <algorithm>. | |
| 290 // | |
| 291 // The client should create callback with NewPermanentCallback, and should | |
| 292 // delete callback after it is done using the STLBinaryFunction. | |
| 293 | |
| 294 template <class Result, class Arg1, class Arg2> | |
| 295 class STLBinaryFunction : public std::binary_function<Arg1, Arg2, Result> { | |
| 296 public: | |
| 297 typedef ResultCallback2<Result, Arg1, Arg2> Callback; | |
| 298 | |
| 299 STLBinaryFunction(Callback* callback) | |
| 300 : callback_(callback) { | |
| 301 assert(callback_); | |
| 302 } | |
| 303 | |
| 304 Result operator() (Arg1 arg1, Arg2 arg2) { | |
| 305 return callback_->Run(arg1, arg2); | |
| 306 } | |
| 307 | |
| 308 private: | |
| 309 Callback* callback_; | |
| 310 }; | |
| 311 | |
| 312 // STLBinaryPredicate is a specialized version of STLBinaryFunction, where the | |
| 313 // return type is bool and both arguments have type Arg. It can be used | |
| 314 // wherever STL requires a StrictWeakOrdering, such as in sort() or | |
| 315 // lower_bound(). | |
| 316 // | |
| 317 // templated typedefs are not supported, so instead we use inheritance. | |
| 318 | |
| 319 template <class Arg> | |
| 320 class STLBinaryPredicate : public STLBinaryFunction<bool, Arg, Arg> { | |
| 321 public: | |
| 322 typedef typename STLBinaryPredicate<Arg>::Callback Callback; | |
| 323 STLBinaryPredicate(Callback* callback) | |
| 324 : STLBinaryFunction<bool, Arg, Arg>(callback) { | |
| 325 } | |
| 326 }; | |
| 327 | |
| 328 // Functors that compose arbitrary unary and binary functions with a | |
| 329 // function that "projects" one of the members of a pair. | |
| 330 // Specifically, if p1 and p2, respectively, are the functions that | |
| 331 // map a pair to its first and second, respectively, members, the | |
| 332 // table below summarizes the functions that can be constructed: | |
| 333 // | |
| 334 // * UnaryOperate1st<pair>(f) returns the function x -> f(p1(x)) | |
| 335 // * UnaryOperate2nd<pair>(f) returns the function x -> f(p2(x)) | |
| 336 // * BinaryOperate1st<pair>(f) returns the function (x,y) -> f(p1(x),p1(y)) | |
| 337 // * BinaryOperate2nd<pair>(f) returns the function (x,y) -> f(p2(x),p2(y)) | |
| 338 // | |
| 339 // A typical usage for these functions would be when iterating over | |
| 340 // the contents of an STL map. For other sample usage, see the unittest. | |
| 341 | |
| 342 template<typename Pair, typename UnaryOp> | |
| 343 class UnaryOperateOnFirst | |
| 344 : public std::unary_function<Pair, typename UnaryOp::result_type> { | |
| 345 public: | |
| 346 UnaryOperateOnFirst() { | |
| 347 } | |
| 348 | |
| 349 UnaryOperateOnFirst(const UnaryOp& f) : f_(f) { | |
| 350 } | |
| 351 | |
| 352 typename UnaryOp::result_type operator()(const Pair& p) const { | |
| 353 return f_(p.first); | |
| 354 } | |
| 355 | |
| 356 private: | |
| 357 UnaryOp f_; | |
| 358 }; | |
| 359 | |
| 360 template<typename Pair, typename UnaryOp> | |
| 361 UnaryOperateOnFirst<Pair, UnaryOp> UnaryOperate1st(const UnaryOp& f) { | |
| 362 return UnaryOperateOnFirst<Pair, UnaryOp>(f); | |
| 363 } | |
| 364 | |
| 365 template<typename Pair, typename UnaryOp> | |
| 366 class UnaryOperateOnSecond | |
| 367 : public std::unary_function<Pair, typename UnaryOp::result_type> { | |
| 368 public: | |
| 369 UnaryOperateOnSecond() { | |
| 370 } | |
| 371 | |
| 372 UnaryOperateOnSecond(const UnaryOp& f) : f_(f) { | |
| 373 } | |
| 374 | |
| 375 typename UnaryOp::result_type operator()(const Pair& p) const { | |
| 376 return f_(p.second); | |
| 377 } | |
| 378 | |
| 379 private: | |
| 380 UnaryOp f_; | |
| 381 }; | |
| 382 | |
| 383 template<typename Pair, typename UnaryOp> | |
| 384 UnaryOperateOnSecond<Pair, UnaryOp> UnaryOperate2nd(const UnaryOp& f) { | |
| 385 return UnaryOperateOnSecond<Pair, UnaryOp>(f); | |
| 386 } | |
| 387 | |
| 388 template<typename Pair, typename BinaryOp> | |
| 389 class BinaryOperateOnFirst | |
| 390 : public std::binary_function<Pair, Pair, typename BinaryOp::result_type> { | |
| 391 public: | |
| 392 BinaryOperateOnFirst() { | |
| 393 } | |
| 394 | |
| 395 BinaryOperateOnFirst(const BinaryOp& f) : f_(f) { | |
| 396 } | |
| 397 | |
| 398 typename BinaryOp::result_type operator()(const Pair& p1, | |
| 399 const Pair& p2) const { | |
| 400 return f_(p1.first, p2.first); | |
| 401 } | |
| 402 | |
| 403 private: | |
| 404 BinaryOp f_; | |
| 405 }; | |
| 406 | |
| 407 template<typename Pair, typename BinaryOp> | |
| 408 BinaryOperateOnFirst<Pair, BinaryOp> BinaryOperate1st(const BinaryOp& f) { | |
| 409 return BinaryOperateOnFirst<Pair, BinaryOp>(f); | |
| 410 } | |
| 411 | |
| 412 template<typename Pair, typename BinaryOp> | |
| 413 class BinaryOperateOnSecond | |
| 414 : public std::binary_function<Pair, Pair, typename BinaryOp::result_type> { | |
| 415 public: | |
| 416 BinaryOperateOnSecond() { | |
| 417 } | |
| 418 | |
| 419 BinaryOperateOnSecond(const BinaryOp& f) : f_(f) { | |
| 420 } | |
| 421 | |
| 422 typename BinaryOp::result_type operator()(const Pair& p1, | |
| 423 const Pair& p2) const { | |
| 424 return f_(p1.second, p2.second); | |
| 425 } | |
| 426 | |
| 427 private: | |
| 428 BinaryOp f_; | |
| 429 }; | |
| 430 | |
| 431 template<typename Pair, typename BinaryOp> | |
| 432 BinaryOperateOnSecond<Pair, BinaryOp> BinaryOperate2nd(const BinaryOp& f) { | |
| 433 return BinaryOperateOnSecond<Pair, BinaryOp>(f); | |
| 434 } | |
| 435 | |
| 436 // Translates a set into a vector. | |
| 437 template<typename T> | |
| 438 std::vector<T> SetToVector(const std::set<T>& values) { | |
| 439 std::vector<T> result; | |
| 440 result.reserve(values.size()); | |
| 441 result.insert(result.begin(), values.begin(), values.end()); | |
| 442 return result; | |
| 443 } | |
| 444 | |
| 445 // Test to see if a set, map, hash_set or hash_map contains a particular key. | |
| 446 // Returns true if the key is in the collection. | |
| 447 template <typename Collection, typename Key> | |
| 448 bool ContainsKey(const Collection& collection, const Key& key) { | |
| 449 return collection.find(key) != collection.end(); | |
| 450 } | |
| 451 | |
| 452 #endif // BASE_STL_UTIL_INL_H_ | |
| OLD | NEW |