license.bot | bf09a50 | 2008-08-24 00:55:55 | [diff] [blame] | 1 | // Copyright (c) 2006-2008 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. |
initial.commit | d7cae12 | 2008-07-26 21:49:38 | [diff] [blame] | 4 | |
| 5 | #ifndef BASE_STACK_CONTAINER_H__ |
| 6 | #define BASE_STACK_CONTAINER_H__ |
| 7 | |
| 8 | #include <string> |
| 9 | #include <vector> |
| 10 | |
| 11 | #include "base/basictypes.h" |
| 12 | |
| 13 | // This allocator can be used with STL containers to provide a stack buffer |
| 14 | // from which to allocate memory and overflows onto the heap. This stack buffer |
| 15 | // would be allocated on the stack and allows us to avoid heap operations in |
| 16 | // some situations. |
| 17 | // |
| 18 | // STL likes to make copies of allocators, so the allocator itself can't hold |
| 19 | // the data. Instead, we make the creator responsible for creating a |
| 20 | // StackAllocator::Source which contains the data. Copying the allocator |
| 21 | // merely copies the pointer to this shared source, so all allocators created |
| 22 | // based on our allocator will share the same stack buffer. |
| 23 | // |
| 24 | // This stack buffer implementation is very simple. The first allocation that |
| 25 | // fits in the stack buffer will use the stack buffer. Any subsequent |
| 26 | // allocations will not use the stack buffer, even if there is unused room. |
| 27 | // This makes it appropriate for array-like containers, but the caller should |
| 28 | // be sure to reserve() in the container up to the stack buffer size. Otherwise |
| 29 | // the container will allocate a small array which will "use up" the stack |
| 30 | // buffer. |
| 31 | template<typename T, size_t stack_capacity> |
| 32 | class StackAllocator : public std::allocator<T> { |
| 33 | public: |
[email protected] | cac3187 | 2008-08-06 13:26:05 | [diff] [blame] | 34 | typedef typename std::allocator<T>::pointer pointer; |
| 35 | typedef typename std::allocator<T>::size_type size_type; |
| 36 | |
initial.commit | d7cae12 | 2008-07-26 21:49:38 | [diff] [blame] | 37 | // Backing store for the allocator. The container owner is responsible for |
| 38 | // maintaining this for as long as any containers using this allocator are |
| 39 | // live. |
| 40 | struct Source { |
| 41 | Source() : used_stack_buffer_(false) { |
| 42 | } |
| 43 | |
| 44 | // Casts the buffer in its right type. |
| 45 | T* stack_buffer() { return reinterpret_cast<T*>(stack_buffer_); } |
| 46 | const T* stack_buffer() const { |
| 47 | return reinterpret_cast<const T*>(stack_buffer_); |
| 48 | } |
| 49 | |
| 50 | // |
| 51 | // IMPORTANT: Take care to ensure that stack_buffer_ is aligned |
| 52 | // since it is used to mimic an array of T. |
| 53 | // Be careful while declaring any unaligned types (like bool) |
| 54 | // before stack_buffer_. |
| 55 | // |
| 56 | |
| 57 | // The buffer itself. It is not of type T because we don't want the |
| 58 | // constructors and destructors to be automatically called. Define a POD |
| 59 | // buffer of the right size instead. |
| 60 | char stack_buffer_[sizeof(T[stack_capacity])]; |
| 61 | |
| 62 | // Set when the stack buffer is used for an allocation. We do not track |
| 63 | // how much of the buffer is used, only that somebody is using it. |
| 64 | bool used_stack_buffer_; |
| 65 | }; |
| 66 | |
| 67 | // Used by containers when they want to refer to an allocator of type U. |
| 68 | template<typename U> |
| 69 | struct rebind { |
| 70 | typedef StackAllocator<U, stack_capacity> other; |
| 71 | }; |
| 72 | |
[email protected] | 1456372 | 2008-09-14 01:41:04 | [diff] [blame] | 73 | // For the straight up copy c-tor, we can share storage. |
| 74 | StackAllocator(const StackAllocator<T, stack_capacity>& rhs) |
| 75 | : source_(rhs.source_) { |
initial.commit | d7cae12 | 2008-07-26 21:49:38 | [diff] [blame] | 76 | } |
[email protected] | 1456372 | 2008-09-14 01:41:04 | [diff] [blame] | 77 | |
| 78 | // ISO C++ requires the following constructor to be defined, |
| 79 | // and std::vector in VC++2008SP1 Release fails with an error |
| 80 | // in the class _Container_base_aux_alloc_real (from <xutility>) |
| 81 | // if the constructor does not exist. |
| 82 | // For this constructor, we cannot share storage; there's |
| 83 | // no guarantee that the Source buffer of Ts is large enough |
| 84 | // for Us. |
| 85 | // TODO: If we were fancy pants, perhaps we could share storage |
| 86 | // iff sizeof(T) == sizeof(U). |
| 87 | template<typename U, size_t other_capacity> |
| 88 | StackAllocator(const StackAllocator<U, other_capacity>& other) |
| 89 | : source_(NULL) { |
| 90 | } |
| 91 | |
| 92 | explicit StackAllocator(Source* source) : source_(source) { |
initial.commit | d7cae12 | 2008-07-26 21:49:38 | [diff] [blame] | 93 | } |
| 94 | |
| 95 | // Actually do the allocation. Use the stack buffer if nobody has used it yet |
| 96 | // and the size requested fits. Otherwise, fall through to the standard |
| 97 | // allocator. |
| 98 | pointer allocate(size_type n, void* hint = 0) { |
[email protected] | 1456372 | 2008-09-14 01:41:04 | [diff] [blame] | 99 | if (source_ != NULL && !source_->used_stack_buffer_ |
| 100 | && n <= stack_capacity) { |
initial.commit | d7cae12 | 2008-07-26 21:49:38 | [diff] [blame] | 101 | source_->used_stack_buffer_ = true; |
| 102 | return source_->stack_buffer(); |
| 103 | } else { |
| 104 | return std::allocator<T>::allocate(n, hint); |
| 105 | } |
| 106 | } |
| 107 | |
| 108 | // Free: when trying to free the stack buffer, just mark it as free. For |
| 109 | // non-stack-buffer pointers, just fall though to the standard allocator. |
| 110 | void deallocate(pointer p, size_type n) { |
[email protected] | 1456372 | 2008-09-14 01:41:04 | [diff] [blame] | 111 | if (source_ != NULL && p == source_->stack_buffer()) |
initial.commit | d7cae12 | 2008-07-26 21:49:38 | [diff] [blame] | 112 | source_->used_stack_buffer_ = false; |
| 113 | else |
| 114 | std::allocator<T>::deallocate(p, n); |
| 115 | } |
| 116 | |
| 117 | private: |
| 118 | Source* source_; |
| 119 | }; |
| 120 | |
| 121 | // A wrapper around STL containers that maintains a stack-sized buffer that the |
| 122 | // initial capacity of the vector is based on. Growing the container beyond the |
| 123 | // stack capacity will transparently overflow onto the heap. The container must |
| 124 | // support reserve(). |
| 125 | // |
| 126 | // WATCH OUT: the ContainerType MUST use the proper StackAllocator for this |
| 127 | // type. This object is really intended to be used only internally. You'll want |
| 128 | // to use the wrappers below for different types. |
[email protected] | cac3187 | 2008-08-06 13:26:05 | [diff] [blame] | 129 | template<typename TContainerType, int stack_capacity> |
initial.commit | d7cae12 | 2008-07-26 21:49:38 | [diff] [blame] | 130 | class StackContainer { |
| 131 | public: |
[email protected] | cac3187 | 2008-08-06 13:26:05 | [diff] [blame] | 132 | typedef TContainerType ContainerType; |
initial.commit | d7cae12 | 2008-07-26 21:49:38 | [diff] [blame] | 133 | typedef typename ContainerType::value_type ContainedType; |
| 134 | typedef StackAllocator<ContainedType, stack_capacity> Allocator; |
| 135 | |
| 136 | // Allocator must be constructed before the container! |
| 137 | StackContainer() : allocator_(&stack_data_), container_(allocator_) { |
| 138 | // Make the container use the stack allocation by reserving our buffer size |
| 139 | // before doing anything else. |
| 140 | container_.reserve(stack_capacity); |
| 141 | } |
| 142 | |
| 143 | // Getters for the actual container. |
| 144 | // |
| 145 | // Danger: any copies of this made using the copy constructor must have |
| 146 | // shorter lifetimes than the source. The copy will share the same allocator |
| 147 | // and therefore the same stack buffer as the original. Use std::copy to |
| 148 | // copy into a "real" container for longer-lived objects. |
| 149 | ContainerType& container() { return container_; } |
| 150 | const ContainerType& container() const { return container_; } |
| 151 | |
| 152 | // Support operator-> to get to the container. This allows nicer syntax like: |
| 153 | // StackContainer<...> foo; |
| 154 | // std::sort(foo->begin(), foo->end()); |
| 155 | ContainerType* operator->() { return &container_; } |
| 156 | const ContainerType* operator->() const { return &container_; } |
| 157 | |
| 158 | #ifdef UNIT_TEST |
| 159 | // Retrieves the stack source so that that unit tests can verify that the |
| 160 | // buffer is being used properly. |
[email protected] | cac3187 | 2008-08-06 13:26:05 | [diff] [blame] | 161 | const typename Allocator::Source& stack_data() const { |
initial.commit | d7cae12 | 2008-07-26 21:49:38 | [diff] [blame] | 162 | return stack_data_; |
| 163 | } |
| 164 | #endif |
| 165 | |
| 166 | protected: |
| 167 | typename Allocator::Source stack_data_; |
| 168 | Allocator allocator_; |
| 169 | ContainerType container_; |
| 170 | |
| 171 | DISALLOW_EVIL_CONSTRUCTORS(StackContainer); |
| 172 | }; |
| 173 | |
| 174 | // StackString |
| 175 | template<size_t stack_capacity> |
| 176 | class StackString : public StackContainer< |
| 177 | std::basic_string<char, |
| 178 | std::char_traits<char>, |
| 179 | StackAllocator<char, stack_capacity> >, |
| 180 | stack_capacity> { |
| 181 | public: |
| 182 | StackString() : StackContainer< |
| 183 | std::basic_string<char, |
| 184 | std::char_traits<char>, |
| 185 | StackAllocator<char, stack_capacity> >, |
| 186 | stack_capacity>() { |
| 187 | } |
| 188 | |
| 189 | private: |
| 190 | DISALLOW_EVIL_CONSTRUCTORS(StackString); |
| 191 | }; |
| 192 | |
| 193 | // StackWString |
| 194 | template<size_t stack_capacity> |
| 195 | class StackWString : public StackContainer< |
| 196 | std::basic_string<wchar_t, |
| 197 | std::char_traits<wchar_t>, |
| 198 | StackAllocator<wchar_t, stack_capacity> >, |
| 199 | stack_capacity> { |
| 200 | public: |
| 201 | StackWString() : StackContainer< |
| 202 | std::basic_string<wchar_t, |
| 203 | std::char_traits<wchar_t>, |
| 204 | StackAllocator<wchar_t, stack_capacity> >, |
| 205 | stack_capacity>() { |
| 206 | } |
| 207 | |
| 208 | private: |
| 209 | DISALLOW_EVIL_CONSTRUCTORS(StackWString); |
| 210 | }; |
| 211 | |
| 212 | // StackVector |
| 213 | // |
| 214 | // Example: |
| 215 | // StackVector<int, 16> foo; |
| 216 | // foo->push_back(22); // we have overloaded operator-> |
| 217 | // foo[0] = 10; // as well as operator[] |
| 218 | template<typename T, size_t stack_capacity> |
| 219 | class StackVector : public StackContainer< |
| 220 | std::vector<T, StackAllocator<T, stack_capacity> >, |
| 221 | stack_capacity> { |
| 222 | public: |
| 223 | StackVector() : StackContainer< |
| 224 | std::vector<T, StackAllocator<T, stack_capacity> >, |
| 225 | stack_capacity>() { |
| 226 | } |
| 227 | |
| 228 | // We need to put this in STL containers sometimes, which requires a copy |
| 229 | // constructor. We can't call the regular copy constructor because that will |
| 230 | // take the stack buffer from the original. Here, we create an empty object |
| 231 | // and make a stack buffer of its own. |
| 232 | StackVector(const StackVector<T, stack_capacity>& other) |
| 233 | : StackContainer< |
| 234 | std::vector<T, StackAllocator<T, stack_capacity> >, |
| 235 | stack_capacity>() { |
[email protected] | cac3187 | 2008-08-06 13:26:05 | [diff] [blame] | 236 | this->container().assign(other->begin(), other->end()); |
initial.commit | d7cae12 | 2008-07-26 21:49:38 | [diff] [blame] | 237 | } |
| 238 | |
| 239 | StackVector<T, stack_capacity>& operator=( |
| 240 | const StackVector<T, stack_capacity>& other) { |
[email protected] | cac3187 | 2008-08-06 13:26:05 | [diff] [blame] | 241 | this->container().assign(other->begin(), other->end()); |
initial.commit | d7cae12 | 2008-07-26 21:49:38 | [diff] [blame] | 242 | return *this; |
| 243 | } |
| 244 | |
| 245 | // Vectors are commonly indexed, which isn't very convenient even with |
| 246 | // operator-> (using "->at()" does exception stuff we don't want). |
[email protected] | cac3187 | 2008-08-06 13:26:05 | [diff] [blame] | 247 | T& operator[](size_t i) { return this->container().operator[](i); } |
| 248 | const T& operator[](size_t i) const { |
| 249 | return this->container().operator[](i); |
| 250 | } |
initial.commit | d7cae12 | 2008-07-26 21:49:38 | [diff] [blame] | 251 | }; |
| 252 | |
| 253 | #endif // BASE_STACK_CONTAINER_H__ |
license.bot | bf09a50 | 2008-08-24 00:55:55 | [diff] [blame] | 254 | |