Class template any<, >

boost::type_erasure::any<Concept, T &>

Synopsis

// In header: <boost/type_erasure/any.hpp>

template<typename Concept, typename T> 
class any<, > {
public:
  // construct/copy/destruct
  template<typename U> ();
  template<typename U, typename Map> (, static_binding< );
  ();
  ();
  template<typename Concept2, typename Tag2> 
    ();
  template<typename Concept2, typename Tag2> ();
  template<typename Concept2, typename Tag2, typename Map> 
    (, static_binding< );
  template<typename Concept2, typename Tag2, typename Map> 
    (, static_binding< );
  template<typename Concept2, typename Tag2> 
    (, binding< );
  template<typename Concept2, typename Tag2> 
    (, binding< );
  template<typename U>  ();
  ~();
};

Description

`any` public construct/copy/destruct

template<typename U> ( arg);

Constructs an any from a reference.

Parameters:

arg

The object to bind the reference to.

Requires:

U is a model of Concept.

Requires:

Concept must not refer to any non-deduced placeholder besides T.

Throws:

Nothing.

template<typename U, typename Map> 
  ( arg, static_binding<  binding);

Constructs an any from a reference.

Parameters:

`arg`	The object to bind the reference to.
`binding`	Specifies the actual types that all the placeholders should bind to.

Requires:

U is a model of Concept.

Requires:

Map is an MPL map with an entry for every non-deduced placeholder referred to by Concept.

Throws:

Nothing.

```
( other);
```
Constructs an any from another reference.

Parameters:

other

The reference to copy.

Throws:
Nothing.
```
( other);
```
Constructs an any from another any.

Parameters:

other

The object to bind the reference to.

Throws:
Nothing.

template<typename Concept2, typename Tag2> 
  ( other);

Constructs an any from another reference.

Parameters:

other

The reference to copy.

Requires:

Concept must not refer to any non-deduced placeholder besides T.

Requires:

After substituting T for Tag2, the requirements of Concept2 must be a superset of the requirements of Concept.

Throws:

std::bad_alloc

template<typename Concept2, typename Tag2> ( other);

Constructs an any from another any.

Parameters:

other

The object to bind the reference to.

Requires:

Concept must not refer to any non-deduced placeholder besides T.

Requires:

After substituting T for Tag2, the requirements of Concept2 must be a superset of the requirements of Concept.

Throws:

std::bad_alloc

template<typename Concept2, typename Tag2, typename Map> 
  ( other, 
      static_binding<  binding);

Constructs an any from another reference.

Parameters:

`binding`	Specifies the mapping between the two concepts.
`other`	The reference to copy.

Requires:

Map must be an MPL map with keys for all the non-deduced placeholders used by Concept and values for the corresponding placeholders in Concept2.

Requires:

After substituting placeholders according to Map, the requirements of Concept2 must be a superset of the requirements of Concept.

Throws:

std::bad_alloc

template<typename Concept2, typename Tag2, typename Map> 
  ( other, static_binding<  binding);

Constructs an any from another any.

Parameters:

`binding`	Specifies the mapping between the two concepts.
`other`	The object to bind the reference to.

Requires:

Map must be an MPL map with keys for all the non-deduced placeholders used by Concept and values for the corresponding placeholders in Concept2.

Requires:

After substituting placeholders according to Map, the requirements of Concept2 must be a superset of the requirements of Concept.

Throws:

std::bad_alloc

template<typename Concept2, typename Tag2> 
  ( other, 
      binding<  binding);

Constructs an any from another reference.

Parameters:

`binding`	Specifies the bindings of placeholders to actual types.
`other`	The reference to copy.

Requires:

The type stored in other must match the type expected by binding.

Postconditions:

binding_of(*this) == binding

Throws:

Nothing.

template<typename Concept2, typename Tag2> 
  ( other, binding<  binding);

Constructs an any from another any.

Parameters:

`binding`	Specifies the bindings of placeholders to actual types.
`other`	The object to bind the reference to.

Requires:

The type stored in other must match the type expected by binding.

Postconditions:

binding_of(*this) == binding

Throws:

Nothing.

template<typename U>  ( other);

Assigns to an any.

If an appropriate overload of assignable is not available and relaxed is in Concept, falls back on constructing from other.

Throws:

Whatever the assignment operator of the contained type throws. When falling back on construction, can only throw std::bad_alloc if U is an any that uses a different Concept. In this case assignment provides the strong exception guarantee. When calling the assignment operator of the contained type, the exception guarantee is whatever the contained type provides.

```
~();
```
Requires:

Concept includes destructible<T>.