#ifndef any_hh #define any_hh // any.hh // marvin - programme du robot 2006. {{{ // // Copyright (C) 2003-2006 Nicolas Schodet // // Robot APB Team/Efrei 2006. // Web: http://assos.efrei.fr/robot/ // Email: robot AT efrei DOT fr // // This program is free software; you can redistribute it and/or modify // it under the terms of the GNU General Public License as published by // the Free Software Foundation; either version 2 of the License, or // (at your option) any later version. // // This program is distributed in the hope that it will be useful, // but WITHOUT ANY WARRANTY; without even the implied warranty of // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the // GNU General Public License for more details. // // You should have received a copy of the GNU General Public License // along with this program; if not, write to the Free Software // Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. // // }}} #include #include #include /// This class can contain a data of almost any type. This very type must be /// CopyConstructible and OutputStreamable. The OutputStreamable restriction /// could be removed, but it is so convenient to output an any... class any { class AbstractHolder; AbstractHolder *holder_; public: /// Default constructor. any (void); /// Constructor. template any (const T &value); /// Copy constructor. any (const any &other); /// Destructor. ~any (void); /// Swap content between two any objects. any &swap (any &other); /// Copy another any object. any &operator= (const any &other); /// Copy another object into this any. template any &operator= (const T &value); /// Test if the any object is empty. bool empty (void) const; /// Return the std::type_info of the contained object. const std::type_info &type (void) const; private: template friend T *any_cast (any *rhs); friend std::ostream &operator<< (std::ostream &os, const any &rhs); /// Abstract holder class. class AbstractHolder { public: /// Destructor. virtual ~AbstractHolder (void); virtual const std::type_info &type (void) const = 0; virtual AbstractHolder *clone (void) const = 0; virtual std::ostream &print (std::ostream &os) const = 0; }; /// Holder class, templated. template class Holder : public AbstractHolder { public: T value_; public: Holder (const T &value); virtual const std::type_info &type (void) const; virtual AbstractHolder *clone (void) const; virtual std::ostream &print (std::ostream &os) const; }; }; /// Return a pointer to the contained object or 0 on faillure. template T * any_cast (any *rhs); /// Return a const pointer to the contained object or 0 on faillure. template const T * any_cast (const any *rhs); /// Return a const reference to the contained object or throw a bad_any_cast /// on faillure. template const T & any_cast (const any &rhs); /// Object throw if a any_cast returning a reference fail. class bad_any_cast : public std::bad_cast { std::string what_; public: /// Constructor. bad_any_cast (const std::type_info &to, const std::type_info &from); /// Destructor which should throw nothing. virtual ~bad_any_cast() throw() { } /// Get the error text. virtual const char *what() const throw() { return what_.c_str (); } }; /// Print the contained object. std::ostream & operator<< (std::ostream &os, const any &rhs); #include "any.tcc" #endif // any_hh