2009/6/14 Kevin Regan:
> The change below seems to fix this. I believe that the type_info object
> returned is a singleton that outlives the object, but I'm not 100% sure of that. Can
> some C++ expert confirm this?
It's not a singleton - you can have any number of instances of the
type, with different values. Otherwise every use of the typeid
operator would return the same result!
But the lifetime of the type_info object will last until the end of
the program, so your change is safe in that respect.