summaryrefslogtreecommitdiff
path: root/2005/i/robert/src/utils/any.hh
blob: eabee96f280c5a0af79e37c490f1607da372673d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
#ifndef any_hh
#define any_hh
// any.hh
// robert - programme du robot 2005. {{{
//
// Copyright (C) 2004 Nicolas Schodet
//
// 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.
//
// Contact :
//        Web: http://perso.efrei.fr/~schodet/
//      Email: <contact@ni.fr.eu.org>
// }}}

#include <typeinfo>
#include <exception>
#include <iostream>

/// This class can contain a data of any type.
class any
{
    class AbstractHolder;
    AbstractHolder *holder_;
  public:
    /// Default constructor.
    any (void);
    /// Constructor.
    template<typename T>
    explicit any (const T &value);
    /// Copy constructor.
    explicit 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<typename T>
    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<typename T>
    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<typename T>
    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;
      };
};

/// Object throw if a any_cast returning a reference fail.
class bad_any_cast : public std::bad_cast
{
  public:
    virtual const char * what() const throw()
      {
	return "bad_any_cast: illegal conversion";
      }
};

/// Return a pointer to the contained object or 0 on faillure.
template<typename T>
T *
any_cast (any *rhs);

/// Return a const pointer to the contained object or 0 on faillure.
template<typename T>
const T *
any_cast (const any *rhs);

/// Return a const reference to the contained object or throw a bad_any_cast
/// on faillure.
template<typename T>
const T &
any_cast (const any &rhs);

/// Print the contained object.
std::ostream &
operator<< (std::ostream &os, const any &rhs);

#include "any.tcc"

#endif // any_hh