// Vector - ID ordered vector of entries. Entries can be indexed by ID - 1.
//
- std::vector<const T *> Vector;
+ std::vector<T> Vector;
public:
/// insert - Append entry to the vector if it doesn't already exist. Returns
/// the entry's index + 1 to be used as a unique ID.
unsigned insert(const T &Entry) {
// Check if the entry is already in the map.
- typename std::map<T, unsigned>::iterator MI = Map.lower_bound(Entry);
+ unsigned &Val = Map[Entry];
// See if entry exists, if so return prior ID.
- if (MI != Map.end() && MI->first == Entry) return MI->second;
+ if (Val) return Val;
// Compute ID for entry.
- unsigned ID = Vector.size() + 1;
-
- // Insert in map.
- MI = Map.insert(MI, std::make_pair(Entry, ID));
+ Val = Vector.size() + 1;
// Insert in vector.
- Vector.push_back(&MI->first);
-
- return ID;
+ Vector.push_back(Entry);
+ return Val;
}
/// idFor - return the ID for an existing entry. Returns 0 if the entry is
/// operator[] - Returns a reference to the entry with the specified ID.
///
- const T &operator[](unsigned ID) const { return *Vector[ID - 1]; }
+ const T &operator[](unsigned ID) const {
+ assert(ID-1 < size() && "ID is 0 or out of range!");
+ return Vector[ID - 1];
+ }
/// size - Returns the number of entries in the vector.
///