Я прочитал несколько примеров в Википедии, но я ищу примеры из реальной жизни: как используется интроспекция, почему (помогает ли писать чистый код) и сам код.
Например, есть ли способ создать «универсальную» функцию для сериализации любого объекта? Я имею в виду: только одна функция в родительском элементе, и все потомки могут иметь возможность «сохранять» + «восстанавливать» себя в / из файла.
Он не используется (так как его не существует), нет примеров кода (поскольку он не существует), и нет причин пытаться его использовать (поскольку он не существует).
Ближайшее из возможных - это RTTI / dynamic_cast. Но это не совсем самоанализ.
В C ++ есть RTTI, и вы также можете использовать для этого условные выражения и dynamic_cast<>(), но в C ++ мы обычно стремимся делать все возможное во время компиляции. Если вы чувствуете потребность в самоанализе, скорее всего, есть лучшие способы достичь того, к чему вы стремитесь, с помощью статического подхода.
Не совсем. Ближайшее, что у вас будет, - это RTTI. Но посмотрите на метаобъекты Qt, чтобы узнать, как они это сделали (также используя свои _ 1_ генератор).
Предлагаю вам изучить boost :: any
http://www.boost.org/doc/libs/1_47_0/doc/html/any.html
boost::any является прекрасным примером того, как самоанализ (как описано в связанной статье в Википедии) используется. В частности, вы можете проверить шаблон any_cast.
- person David Rodríguez - dribeas; 15.11.2011
dynamic_cast и / или typeid могут быть использованы для написания чистого кода. В этом ответе содержится ссылка на один из таких примеров: boost::any использует RTTI для написания безопасного кода в any_cast. Как это не ответ?
- person David Rodríguez - dribeas; 15.11.2011
Для C ++ существует RTTI, если вам нужно "пойти туда"
Более подробный пример здесь, в Википедии
Обширное обсуждение этой темы уже для справки
Из связанной статьи видно, что вы имеете в виду typeid и dynamic_cast<>. Вы должны четко указать это в вопросе, так как вскоре вы увидите, что многие люди будут прыгать прямо, не просматривая ссылки.
Теперь, как и когда они используются? Самый простой ответ заключается в том, что обычно это не следует использовать. В большинстве случаев хорошо спроектированная программа не нуждается в проверке типов во время выполнения, и если вы обнаружите, что делаете это, то велика вероятность, что ваш проект в беде.
Конечно, есть исключения из всего, и в частности пример, который дал @Sga, действительно хороший. В boost::any библиотека выполняет стирание типа, чтобы иметь возможность удерживать любой объект внутри типа, а затем использует RTTI вручную в any_cast при извлечении значения, чтобы убедиться, что тип фактического объекта является правильным. Это тоже не является обычным явлением, большинство программ не используют стирание типа, и когда они это делают, им очень редко требуется анализировать тип во время выполнения.
Как уже говорили другие, самоанализ не является особенностью C ++, и самое близкое, что вы можете сделать, это typeid () и dynamic_cast ‹>, но вы действительно не хотите приближаться к этому;)
Тщательная разработка системы владения, передачи и содержания ссылок, использование дизайна на основе политик может использоваться, чтобы избавиться от этой потребности в самоанализе: в строго ООП-мире объекты не обязаны (должны быть) знать свой собственный тип (помимо обеспечения поведения virtual, если так определено).
