Click here to Skip to main content
15,879,326 members
Articles / Programming Languages / C++
Article

STL containers map, set, and list with fast array access

Rate me:
Please Sign up or sign in to vote.
3.71/5 (4 votes)
5 Aug 2002CPOL 205.6K   1.4K   37   37
Source code for STL compliant container classes that add fast indexing capability to existing container types

Introduction

This source code contains five STL compliant container classes with the following names:

index_list<T>
index_set<T,Cmp>
index_multiset<T,Cmp>
index_map<Key,T,Cmp>
index_multimap<Key,T,Cmp>

Each of these implements the same interface as the STL class in the second part of its name. In addition, each one also implements the STL interface for the vector<T> class, providing fast array access via operator[] and at(). T is the type of the contained class. Key is the type of the lookup key for pair-associative containers. Cmp is the comparison predicate and must be a binary predicate with arguments of type T for set and type Key for map. If you do not provide a comparison predicate, it will default to std::less<Arg>.

The classes are all derived from an AVL tree that I borrowed form Adreas Jager (copyright included) and modified to allow for the indexed access. Each tree node contains an extra long integer that holds the number of child nodes below it. The algorithm to update these counts does not add to the complexity of any of the original tree algorithms. Since the interfaces are documented in the STL, I will simply provide the complexity analysis below. I believe I have covered the most-used functions of these containers, but some functions may not be included. Please contact me if you wish to add another STL function and I will be glad to update the source.

Complexity Analysis

index_list<T>

An index_list is a sequence which combines the interfaces of array, deque, and list.

Here are the complexity comparisons with other sequence containers:

array deque list index_list
Indexed access 1 1 (N) lgN
Insert/delete N N 1 1+
Front insertion(N) 1+ 1 1+
Back insertion 1+ 1+ 1 1+

It tends to work best for large sets (N >> 1).

It also has the extra function insert(const T&), usually used for sets, which chooses an insert position that keeps the tree balanced with a minimal number of rotation operations.

index_set<T,Cmp>
index_multiset<T,Cmp>
index_map<Key,T,Cmp>
index_multmap<Key,T,Cmp>

These classes implement the STL interfaces for set, multiset, map, and multimap respectively, along with the indexed access (operator[], at()). Here are the complexity comparisons with other associative containers:

arraylistsetindex_set/map etc.
Indexed access 1 (N) (N+) lgN
Insert/delete N 1 1+ 1+
Search lgNN lgN lgN

Enjoy!

History

21 July 2002 - updated downloads

6 Aug 2002 - updated downloads

License

This article, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)


Written By
United States United States
This member has not yet provided a Biography. Assume it's interesting and varied, and probably something to do with programming.

Comments and Discussions

 
AnswerRe: where is the source code ? Pin
Ray Virzi4-Apr-03 20:59
Ray Virzi4-Apr-03 20:59 
Generalsome small extensions Pin
4-Oct-02 3:51
suss4-Oct-02 3:51 
GeneralRe: some small extensions Pin
Ray Virzi4-Oct-02 20:06
Ray Virzi4-Oct-02 20:06 
Interesting extensions to the standard library. I must point out that the GetIndex() function does not work for the _endnode marker, so you must check for that condition. What is 'index' set to when the item is not found or cannot be inserted? Perhaps -1?

I think the conventional way to get the index is to take the iterator returned by both find() and insert() and subtract it from the beginning of the container, like so:

index_set<T> myset;
index_set<T>::iterator at;
unsigned index;

at = myset.insert(T()).first; (or at = myset.find(T());)
index = myset.begin() - at;

This should give you the 0-based index. If the function fails, at is set to myset.end() and index will be the total size of the container, so this condition must still be checked for.

But I have also noticed a bug in my code as well. The insert function won't work this way for set and map if the item cannot be inserted. This is because the end maker must point to _endnode. My last line of the insert function should read:

return std::make_pair(AVLTree_Iterator(*this, (pos ? pos : _endnode)), found);

I will upload a corrected version of the code when I get a chance.

Ray
GeneralRe: some small extensions Pin
George Anescu7-Oct-02 5:55
George Anescu7-Oct-02 5:55 
GeneralRe: some small extensions Pin
Ray Virzi7-Oct-02 16:35
Ray Virzi7-Oct-02 16:35 
Generalperformance issues Pin
M.6-Aug-02 1:25
M.6-Aug-02 1:25 
GeneralRe: performance issues Pin
MaxLock6-Aug-02 5:20
MaxLock6-Aug-02 5:20 
GeneralRe: performance issues Pin
Ray Virzi7-Aug-02 15:11
Ray Virzi7-Aug-02 15:11 
GeneralRe: performance issues Pin
MaxLock8-Aug-02 6:43
MaxLock8-Aug-02 6:43 
GeneralRe: performance issues Pin
Jörgen Sigvardsson8-Nov-04 12:29
Jörgen Sigvardsson8-Nov-04 12:29 
GeneralRe: performance issues Pin
Ray Virzi7-Aug-02 15:23
Ray Virzi7-Aug-02 15:23 
Generalindex_multimap->count() function return invalid result Pin
Member 893214-Aug-02 15:04
Member 893214-Aug-02 15:04 
GeneralAn example would be helpful Pin
Matt Philmon2-May-02 5:43
Matt Philmon2-May-02 5:43 
GeneralRe: An example would be helpful Pin
Ray Virzi2-May-02 21:10
Ray Virzi2-May-02 21:10 
GeneralRe: An example would be helpful Pin
C-J Berg6-Aug-02 2:55
C-J Berg6-Aug-02 2:55 
QuestionUpdates? Pin
Ernesto Perales Soto3-Dec-01 10:52
Ernesto Perales Soto3-Dec-01 10:52 
AnswerRe: Updates? Pin
Ray Virzi27-Feb-02 15:50
Ray Virzi27-Feb-02 15:50 
QuestionBoost.org? Pin
James Curran3-Dec-01 8:33
James Curran3-Dec-01 8:33 
AnswerRe: Boost.org? Pin
Ray Virzi27-Feb-02 15:52
Ray Virzi27-Feb-02 15:52 
GeneralMissing map operator = Pin
Ernesto Perales Soto8-Mar-01 11:47
Ernesto Perales Soto8-Mar-01 11:47 
GeneralRe: Missing map operator = Pin
Ray Virzi8-Mar-01 16:44
Ray Virzi8-Mar-01 16:44 

General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Praise Praise    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.