| 1 | /* | 
| 2 |  * Copyright (C) 2005, 2006, 2007, 2008 Apple Inc. All rights reserved. | 
| 3 |  * | 
| 4 |  * This library is free software; you can redistribute it and/or | 
| 5 |  * modify it under the terms of the GNU Library General Public | 
| 6 |  * License as published by the Free Software Foundation; either | 
| 7 |  * version 2 of the License, or (at your option) any later version. | 
| 8 |  * | 
| 9 |  * This library is distributed in the hope that it will be useful, | 
| 10 |  * but WITHOUT ANY WARRANTY; without even the implied warranty of | 
| 11 |  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU | 
| 12 |  * Library General Public License for more details. | 
| 13 |  * | 
| 14 |  * You should have received a copy of the GNU Library General Public License | 
| 15 |  * along with this library; see the file COPYING.LIB.  If not, write to | 
| 16 |  * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, | 
| 17 |  * Boston, MA 02110-1301, USA. | 
| 18 |  * | 
| 19 |  */ | 
| 20 |  | 
| 21 | namespace WTF { | 
| 22 |  | 
| 23 |     // This specialization is a direct copy of HashMap, with overloaded functions | 
| 24 |     // to allow for lookup by pointer instead of RefPtr, avoiding ref-count churn. | 
| 25 |      | 
| 26 |     // FIXME: Find a better way that doesn't require an entire copy of the HashMap template. | 
| 27 |      | 
| 28 |     template<typename RawKeyType, typename ValueType, typename ValueTraits, typename HashFunctions> | 
| 29 |     struct RefPtrHashMapRawKeyTranslator { | 
| 30 |         typedef typename ValueType::first_type KeyType; | 
| 31 |         typedef typename ValueType::second_type MappedType; | 
| 32 |         typedef typename ValueTraits::FirstTraits KeyTraits; | 
| 33 |         typedef typename ValueTraits::SecondTraits MappedTraits; | 
| 34 |  | 
| 35 |         static unsigned hash(RawKeyType key) { return HashFunctions::hash(key); } | 
| 36 |         static bool equal(const KeyType& a, RawKeyType b) { return HashFunctions::equal(a, b); } | 
| 37 |         static void translate(ValueType& location, RawKeyType key, const MappedType& mapped) | 
| 38 |         { | 
| 39 |             location.first = key; | 
| 40 |             location.second = mapped; | 
| 41 |         } | 
| 42 |     }; | 
| 43 |  | 
| 44 |     template<typename T, typename MappedArg, typename HashArg, typename KeyTraitsArg, typename MappedTraitsArg> | 
| 45 |     class RefPtrHashMap : public FastAllocBase { | 
| 46 |     private: | 
| 47 |         typedef KeyTraitsArg KeyTraits; | 
| 48 |         typedef MappedTraitsArg MappedTraits; | 
| 49 |         typedef PairHashTraits<KeyTraits, MappedTraits> ValueTraits; | 
| 50 |  | 
| 51 |     public: | 
| 52 |         typedef typename KeyTraits::TraitType KeyType; | 
| 53 |         typedef T* RawKeyType; | 
| 54 |         typedef typename MappedTraits::TraitType MappedType; | 
| 55 |         typedef typename ValueTraits::TraitType ValueType; | 
| 56 |  | 
| 57 |     private: | 
| 58 |         typedef HashArg HashFunctions; | 
| 59 |  | 
| 60 |         typedef HashTable<KeyType, ValueType, PairFirstExtractor<ValueType>, | 
| 61 |             HashFunctions, ValueTraits, KeyTraits> HashTableType; | 
| 62 |  | 
| 63 |         typedef RefPtrHashMapRawKeyTranslator<RawKeyType, ValueType, ValueTraits, HashFunctions> | 
| 64 |             RawKeyTranslator; | 
| 65 |  | 
| 66 |     public: | 
| 67 |         typedef HashTableIteratorAdapter<HashTableType, ValueType> iterator; | 
| 68 |         typedef HashTableConstIteratorAdapter<HashTableType, ValueType> const_iterator; | 
| 69 |  | 
| 70 |         void swap(RefPtrHashMap&); | 
| 71 |  | 
| 72 |         int size() const; | 
| 73 |         int capacity() const; | 
| 74 |         bool isEmpty() const; | 
| 75 |  | 
| 76 |         // iterators iterate over pairs of keys and values | 
| 77 |         iterator begin(); | 
| 78 |         iterator end(); | 
| 79 |         const_iterator begin() const; | 
| 80 |         const_iterator end() const; | 
| 81 |  | 
| 82 |         iterator find(const KeyType&); | 
| 83 |         iterator find(RawKeyType); | 
| 84 |         const_iterator find(const KeyType&) const; | 
| 85 |         const_iterator find(RawKeyType) const; | 
| 86 |         bool contains(const KeyType&) const; | 
| 87 |         bool contains(RawKeyType) const; | 
| 88 |         MappedType get(const KeyType&) const; | 
| 89 |         MappedType get(RawKeyType) const; | 
| 90 |         MappedType inlineGet(RawKeyType) const; | 
| 91 |  | 
| 92 |         // replaces value but not key if key is already present | 
| 93 |         // return value is a pair of the iterator to the key location,  | 
| 94 |         // and a boolean that's true if a new value was actually added | 
| 95 |         pair<iterator, bool> set(const KeyType&, const MappedType&);  | 
| 96 |         pair<iterator, bool> set(RawKeyType, const MappedType&);  | 
| 97 |  | 
| 98 |         // does nothing if key is already present | 
| 99 |         // return value is a pair of the iterator to the key location,  | 
| 100 |         // and a boolean that's true if a new value was actually added | 
| 101 |         pair<iterator, bool> add(const KeyType&, const MappedType&);  | 
| 102 |         pair<iterator, bool> add(RawKeyType, const MappedType&);  | 
| 103 |  | 
| 104 |         void remove(const KeyType&); | 
| 105 |         void remove(RawKeyType); | 
| 106 |         void remove(iterator); | 
| 107 |         void clear(); | 
| 108 |  | 
| 109 |         MappedType take(const KeyType&); // efficient combination of get with remove | 
| 110 |         MappedType take(RawKeyType); // efficient combination of get with remove | 
| 111 |  | 
| 112 |     private: | 
| 113 |         pair<iterator, bool> inlineAdd(const KeyType&, const MappedType&); | 
| 114 |         pair<iterator, bool> inlineAdd(RawKeyType, const MappedType&); | 
| 115 |  | 
| 116 |         HashTableType m_impl; | 
| 117 |     }; | 
| 118 |     template<typename T, typename MappedArg, typename HashArg, typename KeyTraitsArg, typename MappedTraitsArg> | 
| 119 |     class HashMap<RefPtr<T>, MappedArg, HashArg, KeyTraitsArg, MappedTraitsArg> : | 
| 120 |         public RefPtrHashMap<T, MappedArg, HashArg, KeyTraitsArg, MappedTraitsArg> | 
| 121 |     { | 
| 122 |     }; | 
| 123 |      | 
| 124 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 125 |     inline void RefPtrHashMap<T, U, V, W, X>::swap(RefPtrHashMap& other) | 
| 126 |     { | 
| 127 |         m_impl.swap(other.m_impl);  | 
| 128 |     } | 
| 129 |  | 
| 130 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 131 |     inline int RefPtrHashMap<T, U, V, W, X>::size() const | 
| 132 |     { | 
| 133 |         return m_impl.size();  | 
| 134 |     } | 
| 135 |  | 
| 136 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 137 |     inline int RefPtrHashMap<T, U, V, W, X>::capacity() const | 
| 138 |     {  | 
| 139 |         return m_impl.capacity();  | 
| 140 |     } | 
| 141 |  | 
| 142 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 143 |     inline bool RefPtrHashMap<T, U, V, W, X>::isEmpty() const | 
| 144 |     { | 
| 145 |         return m_impl.isEmpty(); | 
| 146 |     } | 
| 147 |  | 
| 148 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 149 |     inline typename RefPtrHashMap<T, U, V, W, X>::iterator RefPtrHashMap<T, U, V, W, X>::begin() | 
| 150 |     { | 
| 151 |         return m_impl.begin(); | 
| 152 |     } | 
| 153 |  | 
| 154 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 155 |     inline typename RefPtrHashMap<T, U, V, W, X>::iterator RefPtrHashMap<T, U, V, W, X>::end() | 
| 156 |     { | 
| 157 |         return m_impl.end(); | 
| 158 |     } | 
| 159 |  | 
| 160 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 161 |     inline typename RefPtrHashMap<T, U, V, W, X>::const_iterator RefPtrHashMap<T, U, V, W, X>::begin() const | 
| 162 |     { | 
| 163 |         return m_impl.begin(); | 
| 164 |     } | 
| 165 |  | 
| 166 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 167 |     inline typename RefPtrHashMap<T, U, V, W, X>::const_iterator RefPtrHashMap<T, U, V, W, X>::end() const | 
| 168 |     { | 
| 169 |         return m_impl.end(); | 
| 170 |     } | 
| 171 |  | 
| 172 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 173 |     inline typename RefPtrHashMap<T, U, V, W, X>::iterator RefPtrHashMap<T, U, V, W, X>::find(const KeyType& key) | 
| 174 |     { | 
| 175 |         return m_impl.find(key); | 
| 176 |     } | 
| 177 |  | 
| 178 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 179 |     inline typename RefPtrHashMap<T, U, V, W, X>::iterator RefPtrHashMap<T, U, V, W, X>::find(RawKeyType key) | 
| 180 |     { | 
| 181 |         return m_impl.template find<RawKeyType, RawKeyTranslator>(key); | 
| 182 |     } | 
| 183 |  | 
| 184 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 185 |     inline typename RefPtrHashMap<T, U, V, W, X>::const_iterator RefPtrHashMap<T, U, V, W, X>::find(const KeyType& key) const | 
| 186 |     { | 
| 187 |         return m_impl.find(key); | 
| 188 |     } | 
| 189 |  | 
| 190 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 191 |     inline typename RefPtrHashMap<T, U, V, W, X>::const_iterator RefPtrHashMap<T, U, V, W, X>::find(RawKeyType key) const | 
| 192 |     { | 
| 193 |         return m_impl.template find<RawKeyType, RawKeyTranslator>(key); | 
| 194 |     } | 
| 195 |  | 
| 196 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 197 |     inline bool RefPtrHashMap<T, U, V, W, X>::contains(const KeyType& key) const | 
| 198 |     { | 
| 199 |         return m_impl.contains(key); | 
| 200 |     } | 
| 201 |  | 
| 202 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 203 |     inline bool RefPtrHashMap<T, U, V, W, X>::contains(RawKeyType key) const | 
| 204 |     { | 
| 205 |         return m_impl.template contains<RawKeyType, RawKeyTranslator>(key); | 
| 206 |     } | 
| 207 |  | 
| 208 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 209 |     inline pair<typename RefPtrHashMap<T, U, V, W, X>::iterator, bool> | 
| 210 |     RefPtrHashMap<T, U, V, W, X>::inlineAdd(const KeyType& key, const MappedType& mapped)  | 
| 211 |     { | 
| 212 |         typedef HashMapTranslator<ValueType, ValueTraits, HashFunctions> TranslatorType; | 
| 213 |         pair<typename HashTableType::iterator, bool> p = m_impl.template add<KeyType, MappedType, TranslatorType>(key, mapped); | 
| 214 | //        typename RefPtrHashMap<T, U, V, W, X>::iterator temp = p.first; | 
| 215 |         return std::pair<typename RefPtrHashMap<T, U, V, W, X>::iterator, bool>( | 
| 216 |             typename RefPtrHashMap<T, U, V, W, X>::iterator(p.first), p.second); | 
| 217 |  | 
| 218 | //        return m_impl.template add<KeyType, MappedType, TranslatorType>(key, mapped); | 
| 219 |     } | 
| 220 |  | 
| 221 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 222 |     inline pair<typename RefPtrHashMap<T, U, V, W, X>::iterator, bool> | 
| 223 |     RefPtrHashMap<T, U, V, W, X>::inlineAdd(RawKeyType key, const MappedType& mapped)  | 
| 224 |     { | 
| 225 |         pair<typename HashTableType::iterator, bool> p = m_impl.template add<RawKeyType, MappedType, RawKeyTranslator>(key, mapped); | 
| 226 |         return std::pair<typename RefPtrHashMap<T, U, V, W, X>::iterator, bool>( | 
| 227 |             typename RefPtrHashMap<T, U, V, W, X>::iterator(p.first), p.second); | 
| 228 |  | 
| 229 |  //       return m_impl.template add<RawKeyType, MappedType, RawKeyTranslator>(key, mapped); | 
| 230 |     } | 
| 231 |  | 
| 232 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 233 |     pair<typename RefPtrHashMap<T, U, V, W, X>::iterator, bool> | 
| 234 |     RefPtrHashMap<T, U, V, W, X>::set(const KeyType& key, const MappedType& mapped)  | 
| 235 |     { | 
| 236 |         pair<iterator, bool> result = inlineAdd(key, mapped); | 
| 237 |         if (!result.second) { | 
| 238 |             // add call above didn't change anything, so set the mapped value | 
| 239 |             result.first->second = mapped; | 
| 240 |         } | 
| 241 |         return result; | 
| 242 |     } | 
| 243 |  | 
| 244 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 245 |     pair<typename RefPtrHashMap<T, U, V, W, X>::iterator, bool> | 
| 246 |     RefPtrHashMap<T, U, V, W, X>::set(RawKeyType key, const MappedType& mapped)  | 
| 247 |     { | 
| 248 |         pair<iterator, bool> result = inlineAdd(key, mapped); | 
| 249 |         if (!result.second) { | 
| 250 |             // add call above didn't change anything, so set the mapped value | 
| 251 |             result.first->second = mapped; | 
| 252 |         } | 
| 253 |         return result; | 
| 254 |     } | 
| 255 |  | 
| 256 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 257 |     pair<typename RefPtrHashMap<T, U, V, W, X>::iterator, bool> | 
| 258 |     RefPtrHashMap<T, U, V, W, X>::add(const KeyType& key, const MappedType& mapped) | 
| 259 |     { | 
| 260 |         return inlineAdd(key, mapped); | 
| 261 |     } | 
| 262 |  | 
| 263 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 264 |     pair<typename RefPtrHashMap<T, U, V, W, X>::iterator, bool> | 
| 265 |     RefPtrHashMap<T, U, V, W, X>::add(RawKeyType key, const MappedType& mapped) | 
| 266 |     { | 
| 267 |         return inlineAdd(key, mapped); | 
| 268 |     } | 
| 269 |  | 
| 270 |     template<typename T, typename U, typename V, typename W, typename MappedTraits> | 
| 271 |     typename RefPtrHashMap<T, U, V, W, MappedTraits>::MappedType | 
| 272 |     RefPtrHashMap<T, U, V, W, MappedTraits>::get(const KeyType& key) const | 
| 273 |     { | 
| 274 |         ValueType* entry = const_cast<HashTableType&>(m_impl).lookup(key); | 
| 275 |         if (!entry) | 
| 276 |             return MappedTraits::emptyValue(); | 
| 277 |         return entry->second; | 
| 278 |     } | 
| 279 |  | 
| 280 |     template<typename T, typename U, typename V, typename W, typename MappedTraits> | 
| 281 |     typename RefPtrHashMap<T, U, V, W, MappedTraits>::MappedType | 
| 282 |     inline RefPtrHashMap<T, U, V, W, MappedTraits>::inlineGet(RawKeyType key) const | 
| 283 |     { | 
| 284 |         ValueType* entry = const_cast<HashTableType&>(m_impl).template lookup<RawKeyType, RawKeyTranslator>(key); | 
| 285 |         if (!entry) | 
| 286 |             return MappedTraits::emptyValue(); | 
| 287 |         return entry->second; | 
| 288 |     } | 
| 289 |  | 
| 290 |     template<typename T, typename U, typename V, typename W, typename MappedTraits> | 
| 291 |     typename RefPtrHashMap<T, U, V, W, MappedTraits>::MappedType | 
| 292 |     RefPtrHashMap<T, U, V, W, MappedTraits>::get(RawKeyType key) const | 
| 293 |     { | 
| 294 |         return inlineGet(key); | 
| 295 |     } | 
| 296 |  | 
| 297 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 298 |     inline void RefPtrHashMap<T, U, V, W, X>::(iterator it) | 
| 299 |     { | 
| 300 |         if (it.m_impl == m_impl.end()) | 
| 301 |             return; | 
| 302 |         m_impl.checkTableConsistency(); | 
| 303 |         m_impl.removeWithoutEntryConsistencyCheck(it.m_impl); | 
| 304 |     } | 
| 305 |  | 
| 306 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 307 |     inline void RefPtrHashMap<T, U, V, W, X>::remove(const KeyType& key) | 
| 308 |     { | 
| 309 |         remove(find(key)); | 
| 310 |     } | 
| 311 |  | 
| 312 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 313 |     inline void RefPtrHashMap<T, U, V, W, X>::remove(RawKeyType key) | 
| 314 |     { | 
| 315 |         remove(find(key)); | 
| 316 |     } | 
| 317 |  | 
| 318 |     template<typename T, typename U, typename V, typename W, typename X> | 
| 319 |     inline void RefPtrHashMap<T, U, V, W, X>::clear() | 
| 320 |     { | 
| 321 |         m_impl.clear(); | 
| 322 |     } | 
| 323 |  | 
| 324 |     template<typename T, typename U, typename V, typename W, typename MappedTraits> | 
| 325 |     typename RefPtrHashMap<T, U, V, W, MappedTraits>::MappedType | 
| 326 |     RefPtrHashMap<T, U, V, W, MappedTraits>::take(const KeyType& key) | 
| 327 |     { | 
| 328 |         // This can probably be made more efficient to avoid ref/deref churn. | 
| 329 |         iterator it = find(key); | 
| 330 |         if (it == end()) | 
| 331 |             return MappedTraits::emptyValue(); | 
| 332 |         typename RefPtrHashMap<T, U, V, W, MappedTraits>::MappedType result = it->second; | 
| 333 |         remove(it); | 
| 334 |         return result; | 
| 335 |     } | 
| 336 |  | 
| 337 |     template<typename T, typename U, typename V, typename W, typename MappedTraits> | 
| 338 |     typename RefPtrHashMap<T, U, V, W, MappedTraits>::MappedType | 
| 339 |     RefPtrHashMap<T, U, V, W, MappedTraits>::take(RawKeyType key) | 
| 340 |     { | 
| 341 |         // This can probably be made more efficient to avoid ref/deref churn. | 
| 342 |         iterator it = find(key); | 
| 343 |         if (it == end()) | 
| 344 |             return MappedTraits::emptyValue(); | 
| 345 |         typename RefPtrHashMap<T, U, V, W, MappedTraits>::MappedType result = it->second; | 
| 346 |         remove(it); | 
| 347 |         return result; | 
| 348 |     } | 
| 349 |  | 
| 350 | } // namespace WTF | 
| 351 |  |