Код @IvanKush обновлен. Спасибо.

ожно создать рекурсивный вариационный шаблон для распечатки содержимого пакета paramater? Я пытаюсь с этим, но он не может скомпилировать: template <typename First, typename ...Args> std::string type_name () { ...

 является частью небольшой служебной библиотеки. Я не прав для доступа к дополнительной информации об исключениях. Это очень удобно, когда функция выдает исключение, которое я должен поймать, но нет. Это определенно спасло много разочарований за эти годы, так как я сразу знаю тип исключения, которое требует освещения.

много причин, чтобы не использоватьtypeid, Кроме использования членовtype_info (поведение, определяемое реализацией), обычно (всегда?) возможно обеспечить аналогичную функциональность, используя другие функции языка C ++, например: перегрузка, ...

, Если объявлена ​​функция, возвращающая lvalue полиморфного типа, функция должна быть вызвана. Это означает, что в этом случае выражение операнда, конечно, вычисляется.

дуя недавний вопрос, я натолкнулся на следующий пункт в стандарте '03 [1]: Когда typeid применяется к выражению lvalue, тип которого является полиморфным типом класса (10.3), результат ссылается на объект type_info, представляющий тип самого ...

 все еще будет действовать в течение жизни приложения?)

сс не подлежит копированию. Это затрудняет хранение его в объекте для последующего использования. Что я должен делать?std::type_infoСм. Современный C ++ Дизайн. Андрей Александреску реализовал подобное и обсудил в книге!

 или что-то связанное с этим.

cout << typeid(int&).name();на мой взгляд, должно вернутьсяint& как тип, а не какint, но на GCC 4.5.1 и на бета-версии VS2010 SP1 возвращаетсяint, Почему это?

 объекты.