[boost] Re: Is there any way to get typeid() to return the derivedclass name?