boost::any изнутри

boost::any позволяет хранить переменные различных типов без явного указания типа, например так:
<br />double dl = 1.2;<br />std::string str = "aa";<br /><br />boost::any a = dl;<br />boost::any b = str;<br />boost::any c = 232;<br /><br />std::vector<boost::any> v;<br />// v.push_back("dddd"); так поступать нельзя<br />v.push_back(std::string("dddd"));<br />v.push_back(45.23);<br />v.push_back(4);<br /><br />for(unsigned i=0;i < v.size();i++)<br /> std::cout << v[i].type().name() << std::endl;<br />
В том, что boost::any позволяет создавать вектор "зоопарка-элементов" нет ничего удивительного. Реализация этого класса предельна проста - он просто напросто хранит указатель на класс-холдер конкретного типа. Самое примечательное, что есть в boost::any - это шаблонный конструктор и шаблонный оператор присваивания:
<br />class any<br />{<br />public:<br /> //...<br /> template<typename ValueType><br /> any(const ValueType& value)<br /> : content(new holder<ValueType>(value))<br /> // holder<ValueType> - реализация хранителя для конкретного типа<br /> {}<br /> //...<br /> template<typename ValueType><br /> any& operator=(const ValueType& rhs)<br /> {<br /> any(rhs).swap(*this);<br /> return *this;<br /> }<br /> //...<br /> private:<br /> // интерфейсный классс для хранителя<br /> placeholder * content;<br />};<br />
Сразу же надо уточнить, что шаблонный конструктор и шаблонный оператор присваивания не могут быть конструктором копирования и оператором присваивания (их нужно определять отдельно). Эти шаблонные методы позволяют производить присваивание и инициализацию объекта класса boost::any без явного указания типа. Такой подход очень удобен и применяется в stl-контейнерах и различных smart-pointer'ах. Есть даже такая идеома - Coercion by Member Template.

Тип содержимого указывается только при получения значения из контейнера типа. Для этого boost предоставляет шаблонную функцию boost::any_cast, которая сранивает желаемый и реальный типы на основании std::type_info, и в зависимости от результата либо получает конкретное значение у холдера, используя static_cast, либо бросает исключение.

Вот так вот просто и красиво решается задача хранения значений различного типа в одном контейнере.

ЗЫ: забыл как пишется изнутри, вместе или раздельно... :)