Question

I’m new to c++ but have set my mind on a specific task that needs me to enable adding a specific chunk of code to be execute whenever any list item is attempted to be changed or read.

The resulting list should behave and look as much as as possible to std::list except for this small exception that would enable me to execute a specific tasks whenever this list is about to be read/written to.

From what i have found out so far, all i could think of is deriving a class from list::iterator and overloading it’s operator* and operator= to implement these specific tasks.

Then i should derive a class from std::list and make it use my new iterator type by overloading begin() and end() methods. Or is there a better way of making it use a custom iterator?

That would handle the iterator access but I can see lists can even return pointers to it’s members. I guess there is nothing i can do about them and will have to remove this feature from my new list class.

I would appreciate your oppinion on this subject.

Answer 1

Deriving from std::list is almost certainly not the answer. The collections in stl are simply not meant to be derived from and doing so will cause you problems down the road.

The classic example of why is the destructor problem. The destructors in stl collections are not virtual. This will break any logic you place in your derived class destructor if an object is deleted via a reference to the std::list. For example

std::list* pList = new YourNewListClass();
delet pList; // runs std::list::~list()

You’d also need to override much more than the methods on the iterator. It would require changing every method which can possibly mutate the collection.

A more stable approach would be to implement your own std::list style class which follows the standard stl container behavior. You could then include use this list in the places you wanted events without running into the problems with deriving from std::list.