blob: 3602df0377ade5e461c73aad16f672743050b98d [file] [log] [blame]
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +09001// Copyright (c) 2011 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// Derived from google3/util/gtl/stl_util.h
6
7#ifndef BASE_STL_UTIL_H_
8#define BASE_STL_UTIL_H_
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +09009
kalman@chromium.org028e6242012-12-06 06:40:27 +090010#include <algorithm>
cpu@chromium.org6ca08fa2012-12-11 07:48:42 +090011#include <functional>
mostynb@opera.comf29dd612013-09-04 08:29:12 +090012#include <iterator>
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +090013#include <string>
14#include <vector>
15
kalman@chromium.org028e6242012-12-06 06:40:27 +090016#include "base/logging.h"
17
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +090018// Clears internal memory of an STL object.
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +090019// STL clear()/reserve(0) does not always free internal memory allocated
20// This function uses swap/destructor to ensure the internal memory is freed.
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +090021template<class T>
22void STLClearObject(T* obj) {
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +090023 T tmp;
24 tmp.swap(*obj);
25 // Sometimes "T tmp" allocates objects with memory (arena implementation?).
26 // Hence using additional reserve(0) even if it doesn't always work.
27 obj->reserve(0);
28}
29
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +090030// For a range within a container of pointers, calls delete (non-array version)
31// on these pointers.
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +090032// NOTE: for these three functions, we could just implement a DeleteObject
33// functor and then call for_each() on the range and functor, but this
34// requires us to pull in all of algorithm.h, which seems expensive.
35// For hash_[multi]set, it is important that this deletes behind the iterator
36// because the hash_set may call the hash function on the iterator when it is
37// advanced, which could result in the hash function trying to deference a
38// stale pointer.
39template <class ForwardIterator>
40void STLDeleteContainerPointers(ForwardIterator begin, ForwardIterator end) {
41 while (begin != end) {
42 ForwardIterator temp = begin;
43 ++begin;
44 delete *temp;
45 }
46}
47
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +090048// For a range within a container of pairs, calls delete (non-array version) on
49// BOTH items in the pairs.
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +090050// NOTE: Like STLDeleteContainerPointers, it is important that this deletes
51// behind the iterator because if both the key and value are deleted, the
52// container may call the hash function on the iterator when it is advanced,
53// which could result in the hash function trying to dereference a stale
54// pointer.
55template <class ForwardIterator>
56void STLDeleteContainerPairPointers(ForwardIterator begin,
57 ForwardIterator end) {
58 while (begin != end) {
59 ForwardIterator temp = begin;
60 ++begin;
61 delete temp->first;
62 delete temp->second;
63 }
64}
65
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +090066// For a range within a container of pairs, calls delete (non-array version) on
67// the FIRST item in the pairs.
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +090068// NOTE: Like STLDeleteContainerPointers, deleting behind the iterator.
69template <class ForwardIterator>
70void STLDeleteContainerPairFirstPointers(ForwardIterator begin,
71 ForwardIterator end) {
72 while (begin != end) {
73 ForwardIterator temp = begin;
74 ++begin;
75 delete temp->first;
76 }
77}
78
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +090079// For a range within a container of pairs, calls delete.
joth@chromium.org5613e5a2011-07-21 17:39:51 +090080// NOTE: Like STLDeleteContainerPointers, deleting behind the iterator.
81// Deleting the value does not always invalidate the iterator, but it may
82// do so if the key is a pointer into the value object.
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +090083template <class ForwardIterator>
84void STLDeleteContainerPairSecondPointers(ForwardIterator begin,
85 ForwardIterator end) {
86 while (begin != end) {
joth@chromium.org5613e5a2011-07-21 17:39:51 +090087 ForwardIterator temp = begin;
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +090088 ++begin;
joth@chromium.org5613e5a2011-07-21 17:39:51 +090089 delete temp->second;
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +090090 }
91}
92
93// To treat a possibly-empty vector as an array, use these functions.
94// If you know the array will never be empty, you can use &*v.begin()
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +090095// directly, but that is undefined behaviour if |v| is empty.
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +090096template<typename T>
97inline T* vector_as_array(std::vector<T>* v) {
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +090098 return v->empty() ? NULL : &*v->begin();
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +090099}
100
101template<typename T>
102inline const T* vector_as_array(const std::vector<T>* v) {
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +0900103 return v->empty() ? NULL : &*v->begin();
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +0900104}
105
106// Return a mutable char* pointing to a string's internal buffer,
107// which may not be null-terminated. Writing through this pointer will
108// modify the string.
109//
110// string_as_array(&str)[i] is valid for 0 <= i < str.size() until the
111// next call to a string method that invalidates iterators.
112//
113// As of 2006-04, there is no standard-blessed way of getting a
114// mutable reference to a string's internal buffer. However, issue 530
115// (http://www.open-std.org/JTC1/SC22/WG21/docs/lwg-active.html#530)
116// proposes this as the method. According to Matt Austern, this should
117// already work on all current implementations.
118inline char* string_as_array(std::string* str) {
119 // DO NOT USE const_cast<char*>(str->data())
120 return str->empty() ? NULL : &*str->begin();
121}
122
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +0900123// The following functions are useful for cleaning up STL containers whose
124// elements point to allocated memory.
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +0900125
126// STLDeleteElements() deletes all the elements in an STL container and clears
127// the container. This function is suitable for use with a vector, set,
128// hash_set, or any other STL container which defines sensible begin(), end(),
129// and clear() methods.
130//
131// If container is NULL, this function is a no-op.
132//
133// As an alternative to calling STLDeleteElements() directly, consider
134// STLElementDeleter (defined below), which ensures that your container's
135// elements are deleted when the STLElementDeleter goes out of scope.
136template <class T>
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +0900137void STLDeleteElements(T* container) {
138 if (!container)
139 return;
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +0900140 STLDeleteContainerPointers(container->begin(), container->end());
141 container->clear();
142}
143
144// Given an STL container consisting of (key, value) pairs, STLDeleteValues
145// deletes all the "value" components and clears the container. Does nothing
146// in the case it's given a NULL pointer.
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +0900147template <class T>
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +0900148void STLDeleteValues(T* container) {
149 if (!container)
150 return;
151 for (typename T::iterator i(container->begin()); i != container->end(); ++i)
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +0900152 delete i->second;
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +0900153 container->clear();
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +0900154}
155
156
157// The following classes provide a convenient way to delete all elements or
158// values from STL containers when they goes out of scope. This greatly
159// simplifies code that creates temporary objects and has multiple return
160// statements. Example:
161//
162// vector<MyProto *> tmp_proto;
163// STLElementDeleter<vector<MyProto *> > d(&tmp_proto);
164// if (...) return false;
165// ...
166// return success;
167
168// Given a pointer to an STL container this class will delete all the element
169// pointers when it goes out of scope.
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +0900170template<class T>
171class STLElementDeleter {
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +0900172 public:
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +0900173 STLElementDeleter<T>(T* container) : container_(container) {}
174 ~STLElementDeleter<T>() { STLDeleteElements(container_); }
175
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +0900176 private:
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +0900177 T* container_;
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +0900178};
179
180// Given a pointer to an STL container this class will delete all the value
181// pointers when it goes out of scope.
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +0900182template<class T>
183class STLValueDeleter {
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +0900184 public:
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +0900185 STLValueDeleter<T>(T* container) : container_(container) {}
186 ~STLValueDeleter<T>() { STLDeleteValues(container_); }
187
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +0900188 private:
tfarina@chromium.orge8ef3b32012-06-27 02:24:05 +0900189 T* container_;
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +0900190};
191
192// Test to see if a set, map, hash_set or hash_map contains a particular key.
193// Returns true if the key is in the collection.
194template <typename Collection, typename Key>
195bool ContainsKey(const Collection& collection, const Key& key) {
196 return collection.find(key) != collection.end();
197}
198
kalman@chromium.org028e6242012-12-06 06:40:27 +0900199namespace base {
200
201// Returns true if the container is sorted.
202template <typename Container>
203bool STLIsSorted(const Container& cont) {
rpaquay@chromium.orgceb74842014-01-30 02:13:27 +0900204 // Note: Use reverse iterator on container to ensure we only require
205 // value_type to implement operator<.
206 return std::adjacent_find(cont.rbegin(), cont.rend(),
207 std::less<typename Container::value_type>())
208 == cont.rend();
kalman@chromium.org028e6242012-12-06 06:40:27 +0900209}
210
211// Returns a new ResultType containing the difference of two sorted containers.
212template <typename ResultType, typename Arg1, typename Arg2>
213ResultType STLSetDifference(const Arg1& a1, const Arg2& a2) {
214 DCHECK(STLIsSorted(a1));
215 DCHECK(STLIsSorted(a2));
216 ResultType difference;
217 std::set_difference(a1.begin(), a1.end(),
218 a2.begin(), a2.end(),
219 std::inserter(difference, difference.end()));
220 return difference;
221}
222
rpaquay@chromium.orgceb74842014-01-30 02:13:27 +0900223// Returns a new ResultType containing the union of two sorted containers.
224template <typename ResultType, typename Arg1, typename Arg2>
225ResultType STLSetUnion(const Arg1& a1, const Arg2& a2) {
226 DCHECK(STLIsSorted(a1));
227 DCHECK(STLIsSorted(a2));
228 ResultType result;
229 std::set_union(a1.begin(), a1.end(),
230 a2.begin(), a2.end(),
231 std::inserter(result, result.end()));
232 return result;
233}
234
235// Returns a new ResultType containing the intersection of two sorted
236// containers.
237template <typename ResultType, typename Arg1, typename Arg2>
238ResultType STLSetIntersection(const Arg1& a1, const Arg2& a2) {
239 DCHECK(STLIsSorted(a1));
240 DCHECK(STLIsSorted(a2));
241 ResultType result;
242 std::set_intersection(a1.begin(), a1.end(),
243 a2.begin(), a2.end(),
244 std::inserter(result, result.end()));
245 return result;
246}
247
248// Returns true if the sorted container |a1| contains all elements of the sorted
249// container |a2|.
250template <typename Arg1, typename Arg2>
251bool STLIncludes(const Arg1& a1, const Arg2& a2) {
252 DCHECK(STLIsSorted(a1));
253 DCHECK(STLIsSorted(a2));
254 return std::includes(a1.begin(), a1.end(),
255 a2.begin(), a2.end());
256}
257
kalman@chromium.org028e6242012-12-06 06:40:27 +0900258} // namespace base
259
dilmah@chromium.orgdc4b9702011-07-20 07:13:24 +0900260#endif // BASE_STL_UTIL_H_