home *** CD-ROM | disk | FTP | other *** search
- /////////////////////////////////////////////////////////////////////////////
- // class CMap - a mapping from 'KEY's to 'VALUE's, passed in as
- // ARG_KEY and/or ARG_VALUE parameters.
- //
- // This is a part of the Microsoft Foundation Classes C++ library.
- // Copyright (C) 1992 Microsoft Corporation
- // All rights reserved.
- //
- // This source code is only intended as a supplement to the
- // Microsoft Foundation Classes Reference and Microsoft
- // QuickHelp documentation provided with the library.
- // See these sources for detailed information regarding the
- // Microsoft Foundation Classes product.
- /////////////////////////////////////////////////////////////////////////////
-
- //$DECLARE_TEMPLATE
-
- /////////////////////////////////////////////////////////////////////////////
-
- template<class KEY, class ARG_KEY, class VALUE, class ARG_VALUE, int IS_SERIAL, int HAS_CREATE>
- class CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE> : public CObject
- {
- #if IS_SERIAL
- DECLARE_SERIAL(CMap)
- #else
- DECLARE_DYNAMIC(CMap)
- #endif //!IS_SERIAL
- protected:
- // Association
- struct CAssoc
- {
- CAssoc* pNext;
- UINT nHashValue; // needed for efficient iteration
- KEY key;
- VALUE value;
- };
- public:
-
- // Construction
- CMap(int nBlockSize=10);
-
- // Attributes
- // number of elements
- int GetCount() const
- { return m_nCount; }
- BOOL IsEmpty() const
- { return m_nCount == 0; }
- // Lookup
- BOOL Lookup(ARG_KEY key, VALUE& rValue) const;
-
- // Operations
- // Lookup and add if not there
- VALUE& operator[](ARG_KEY key);
-
- // add a new (key, value) pair
- void SetAt(ARG_KEY key, ARG_VALUE newValue)
- { (*this)[key] = newValue; }
-
- // removing existing (key, ?) pair
- BOOL RemoveKey(ARG_KEY key);
- void RemoveAll();
-
- // iterating all (key, value) pairs
- POSITION GetStartPosition() const
- { return (m_nCount == 0) ? NULL : BEFORE_START_POSITION; }
- void GetNextAssoc(POSITION& rNextPosition, KEY& rKey, VALUE& rValue) const;
-
- // advanced features for derived classes
- UINT GetHashTableSize() const
- { return m_nHashTableSize; }
- void InitHashTable(UINT hashSize);
-
- // Overridables: special non-virtual (see map implementation for details)
- // Routine used to user-provided hash keys
- UINT HashKey(ARG_KEY key) const;
-
- // Implementation
- protected:
- CAssoc** m_pHashTable;
- UINT m_nHashTableSize;
- int m_nCount;
- CAssoc* m_pFreeList;
- struct CPlex* m_pBlocks;
- int m_nBlockSize;
-
- CAssoc* NewAssoc();
- void FreeAssoc(CAssoc*);
- CAssoc* GetAssocAt(ARG_KEY, UINT&) const;
-
- public:
- ~CMap();
- #if IS_SERIAL
- void Serialize(CArchive&);
- #endif //IS_SERIAL
- #ifdef _DEBUG
- void Dump(CDumpContext&) const;
- void AssertValid() const;
- #endif
- };
-
- //$IMPLEMENT_TEMPLATE
- /////////////////////////////////////////////////////////////////////////////
- //
- // Implementation of Map from KEY to VALUE
- //
- /////////////////////////////////////////////////////////////////////////////
-
- #include "afxcoll.h"
- #pragma hdrstop
-
- #include "plex.h"
-
- #ifdef AFX_COLL_SEG
- #pragma code_seg(AFX_COLL_SEG)
- #endif
-
- #if IS_SERIAL
- IMPLEMENT_SERIAL(CMap, CObject, 0);
- #else
- IMPLEMENT_DYNAMIC(CMap, CObject);
- #endif //!IS_SERIAL
-
- #ifdef _DEBUG
- #undef THIS_FILE
- static char BASED_CODE THIS_FILE[] = __FILE__;
- #endif
-
- #if HAS_CREATE
- #include "elements.h" // used for special creation
- #endif
-
- #define new DEBUG_NEW
-
- /////////////////////////////////////////////////////////////////////////////
-
- template<class KEY, class ARG_KEY, class VALUE, class ARG_VALUE, int IS_SERIAL, int HAS_CREATE>
- CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE>::CMap(int nBlockSize)
- {
- ASSERT(nBlockSize > 0);
-
- m_pHashTable = NULL;
- m_nHashTableSize = 17; // default size
- m_nCount = 0;
- m_pFreeList = NULL;
- m_pBlocks = NULL;
- m_nBlockSize = nBlockSize;
- }
-
- template<class KEY, class ARG_KEY, class VALUE, class ARG_VALUE, int IS_SERIAL, int HAS_CREATE>
- inline UINT CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE>::HashKey(ARG_KEY key) const
- {
- // default identity hash - works for most primitive values
- return _AFX_FP_OFF(key) >> 4;
- }
-
-
- template<class KEY, class ARG_KEY, class VALUE, class ARG_VALUE, int IS_SERIAL, int HAS_CREATE>
- void CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE>::InitHashTable(UINT nHashSize)
- //
- // Used to force allocation of a hash table or to override the default
- // hash table size of (which is fairly small)
- {
- ASSERT_VALID(this);
- ASSERT(m_nCount == 0);
- ASSERT(nHashSize > 0);
-
- // if had a hash table - get rid of it
- if (m_pHashTable != NULL)
- delete m_pHashTable;
- m_pHashTable = NULL;
-
- m_pHashTable = new CAssoc* [nHashSize];
- memset(m_pHashTable, 0, sizeof(CAssoc*) * nHashSize);
- m_nHashTableSize = nHashSize;
- }
-
- template<class KEY, class ARG_KEY, class VALUE, class ARG_VALUE, int IS_SERIAL, int HAS_CREATE>
- void CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE>::RemoveAll()
- {
- ASSERT_VALID(this);
-
- if (m_pHashTable != NULL)
- {
- #if HAS_CREATE
- // destroy elements (values only)
- for (UINT nHash = 0; nHash < m_nHashTableSize; nHash++)
- {
- register CAssoc* pAssoc;
- for (pAssoc = m_pHashTable[nHash]; pAssoc != NULL;
- pAssoc = pAssoc->pNext)
- {
- DestructElement(&pAssoc->value);
- }
- }
- #endif
-
- // free hash table
- delete m_pHashTable;
- m_pHashTable = NULL;
- }
-
- m_nCount = 0;
- m_pFreeList = NULL;
- m_pBlocks->FreeDataChain();
- m_pBlocks = NULL;
- }
-
- template<class KEY, class ARG_KEY, class VALUE, class ARG_VALUE, int IS_SERIAL, int HAS_CREATE>
- CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE>::~CMap()
- {
- RemoveAll();
- ASSERT(m_nCount == 0);
- }
-
- /////////////////////////////////////////////////////////////////////////////
- // Assoc helpers
- // same as CList implementation except we store CAssoc's not CNode's
- // and CAssoc's are singly linked all the time
-
- template<class KEY, class ARG_KEY, class VALUE, class ARG_VALUE, int IS_SERIAL, int HAS_CREATE>
- CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE>::CAssoc* CMap::NewAssoc()
- {
- if (m_pFreeList == NULL)
- {
- // add another block
- CPlex* newBlock = CPlex::Create(m_pBlocks, m_nBlockSize, sizeof(CMap::CAssoc));
- // chain them into free list
- register CMap::CAssoc* pAssoc = (CMap::CAssoc*) newBlock->data();
- // free in reverse order to make it easier to debug
- pAssoc += m_nBlockSize - 1;
- for (int i = m_nBlockSize-1; i >= 0; i--, pAssoc--)
- {
- pAssoc->pNext = m_pFreeList;
- m_pFreeList = pAssoc;
- }
- }
- ASSERT(m_pFreeList != NULL); // we must have something
-
- CMap::CAssoc* pAssoc = m_pFreeList;
- m_pFreeList = m_pFreeList->pNext;
- m_nCount++;
- ASSERT(m_nCount > 0); // make sure we don't overflow
- memset(&pAssoc->key, 0, sizeof(KEY));
- #if HAS_CREATE
- ConstructElement(&pAssoc->key); // special construct values
- #else
- memset(&pAssoc->value, 0, sizeof(VALUE));
- #endif
- return pAssoc;
- }
-
- template<class KEY, class ARG_KEY, class VALUE, class ARG_VALUE, int IS_SERIAL, int HAS_CREATE>
- void CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE>::FreeAssoc(CMap::CAssoc* pAssoc)
- {
- #if HAS_CREATE
- DestructElement(&pAssoc->value);
- #endif
- pAssoc->pNext = m_pFreeList;
- m_pFreeList = pAssoc;
- m_nCount--;
- ASSERT(m_nCount >= 0); // make sure we don't underflow
- }
-
- template<class KEY, class ARG_KEY, class VALUE, class ARG_VALUE, int IS_SERIAL, int HAS_CREATE>
- CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE>::CAssoc*
- CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE>::GetAssocAt(ARG_KEY key, UINT& nHash) const
- // find association (or return NULL)
- {
- nHash = HashKey(key) % m_nHashTableSize;
-
- if (m_pHashTable == NULL)
- return NULL;
-
- // see if it exists
- register CAssoc* pAssoc;
- for (pAssoc = m_pHashTable[nHash]; pAssoc != NULL; pAssoc = pAssoc->pNext)
- {
- if (pAssoc->key == key)
- return pAssoc;
- }
- return NULL;
- }
-
- /////////////////////////////////////////////////////////////////////////////
-
- template<class KEY, class ARG_KEY, class VALUE, class ARG_VALUE, int IS_SERIAL, int HAS_CREATE>
- BOOL CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE>::Lookup(ARG_KEY key, VALUE& rValue) const
- {
- ASSERT_VALID(this);
-
- UINT nHash;
- register CAssoc* pAssoc = GetAssocAt(key, nHash);
- if (pAssoc == NULL)
- return FALSE; // not in map
-
- rValue = pAssoc->value;
- return TRUE;
- }
-
- template<class KEY, class ARG_KEY, class VALUE, class ARG_VALUE, int IS_SERIAL, int HAS_CREATE>
- VALUE& CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE>::operator[](ARG_KEY key)
- {
- ASSERT_VALID(this);
-
- UINT nHash;
- register CAssoc* pAssoc;
- if ((pAssoc = GetAssocAt(key, nHash)) == NULL)
- {
- if (m_pHashTable == NULL)
- InitHashTable(m_nHashTableSize);
-
- // it doesn't exist, add a new Association
- pAssoc = NewAssoc();
- pAssoc->nHashValue = nHash;
- pAssoc->key = key;
- // 'pAssoc->value' is a constructed object, nothing more
-
- // put into hash table
- pAssoc->pNext = m_pHashTable[nHash];
- m_pHashTable[nHash] = pAssoc;
- }
- return pAssoc->value; // return new reference
- }
-
-
- template<class KEY, class ARG_KEY, class VALUE, class ARG_VALUE, int IS_SERIAL, int HAS_CREATE>
- BOOL CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE>::RemoveKey(ARG_KEY key)
- // remove key - return TRUE if removed
- {
- ASSERT_VALID(this);
-
- if (m_pHashTable == NULL)
- return FALSE; // nothing in the table
-
- register CAssoc** ppAssocPrev;
- ppAssocPrev = &m_pHashTable[HashKey(key) % m_nHashTableSize];
-
- CAssoc* pAssoc;
- for (pAssoc = *ppAssocPrev; pAssoc != NULL; pAssoc = pAssoc->pNext)
- {
- if (pAssoc->key == key)
- {
- // remove it
- *ppAssocPrev = pAssoc->pNext; // remove from list
- FreeAssoc(pAssoc);
- return TRUE;
- }
- ppAssocPrev = &pAssoc->pNext;
- }
- return FALSE; // not found
- }
-
-
- /////////////////////////////////////////////////////////////////////////////
- // Iterating
-
- template<class KEY, class ARG_KEY, class VALUE, class ARG_VALUE, int IS_SERIAL, int HAS_CREATE>
- void CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE>::GetNextAssoc(POSITION& rNextPosition,
- KEY& rKey, VALUE& rValue) const
- {
- ASSERT_VALID(this);
- ASSERT(m_pHashTable != NULL); // never call on empty map
-
- register CAssoc* pAssocRet = (CAssoc*)rNextPosition;
- ASSERT(pAssocRet != NULL);
-
- if (pAssocRet == (CAssoc*) BEFORE_START_POSITION)
- {
- // find the first association
- for (UINT nBucket = 0; nBucket < m_nHashTableSize; nBucket++)
- if ((pAssocRet = m_pHashTable[nBucket]) != NULL)
- break;
- ASSERT(pAssocRet != NULL); // must find something
- }
-
- // find next association
- CAssoc* pAssocNext;
- if ((pAssocNext = pAssocRet->pNext) == NULL)
- {
- // go to next bucket
- for (UINT nBucket = pAssocRet->nHashValue + 1;
- nBucket < m_nHashTableSize; nBucket++)
- if ((pAssocNext = m_pHashTable[nBucket]) != NULL)
- break;
- }
-
- rNextPosition = (POSITION) pAssocNext;
-
- // fill in return data
- rKey = pAssocRet->key;
- rValue = pAssocRet->value;
- }
-
- /////////////////////////////////////////////////////////////////////////////
- // Serialization
-
- #if IS_SERIAL
- template<class KEY, class ARG_KEY, class VALUE, class ARG_VALUE, int IS_SERIAL, int HAS_CREATE>
- void CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE>::Serialize(CArchive& ar)
- {
- ASSERT_VALID(this);
-
- CObject::Serialize(ar);
-
- if (ar.IsStoring())
- {
- ar << (WORD) m_nCount;
- if (m_nCount == 0)
- return; // nothing more to do
-
- ASSERT(m_pHashTable != NULL);
- for (UINT nHash = 0; nHash < m_nHashTableSize; nHash++)
- {
- CAssoc* pAssoc;
- for (pAssoc = m_pHashTable[nHash]; pAssoc != NULL;
- pAssoc = pAssoc->pNext)
- {
- ar << pAssoc->key;
- ar << pAssoc->value;
- }
- }
- }
- else
- {
- WORD wNewCount;
- ar >> wNewCount;
- while (wNewCount--)
- {
- KEY newKey;
- VALUE newValue;
- ar >> newKey;
- ar >> newValue;
- SetAt(newKey, newValue);
- }
- }
- }
- #endif //IS_SERIAL
-
- /////////////////////////////////////////////////////////////////////////////
- // Diagnostics
-
- #ifdef _DEBUG
-
- template<class KEY, class ARG_KEY, class VALUE, class ARG_VALUE, int IS_SERIAL, int HAS_CREATE>
- void CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE>::Dump(CDumpContext& dc) const
- {
- ASSERT_VALID(this);
-
- #define MAKESTRING(x) #x
- dc << "a " MAKESTRING(CMap) " with " << m_nCount << " elements";
- #undef MAKESTRING
- if (dc.GetDepth() > 0)
- {
- // Dump in format "[key] -> value"
- POSITION pos = GetStartPosition();
- KEY key;
- VALUE val;
-
- dc << "\n";
- while (pos != NULL)
- {
- GetNextAssoc(pos, key, val);
- dc << "\n\t[" << key << "] = " << val;
- }
- }
- }
-
- template<class KEY, class ARG_KEY, class VALUE, class ARG_VALUE, int IS_SERIAL, int HAS_CREATE>
- void CMap<KEY, ARG_KEY, VALUE, ARG_VALUE, IS_SERIAL, HAS_CREATE>::AssertValid() const
- {
- CObject::AssertValid();
-
- ASSERT(m_nHashTableSize > 0);
- ASSERT(m_nCount == 0 || m_pHashTable != NULL);
- // non-empty map should have hash table
- }
- #endif //_DEBUG
-
- /////////////////////////////////////////////////////////////////////////////
-