Class template binding

boost::type_erasure::binding

Synopsis

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

template<typename Concept> 
class binding {
public:
  // construct/copy/destruct
  ();
  template<typename Map> ();
  template<typename Map> (static_binding< );
  template<typename Concept2, typename Map> 
    (, );
  template<typename Concept2, typename Map> 
    (, static_binding< );
  template<typename Placeholders, typename Map> 
    (, 
            static_binding< );

  // friend functions
   (, );
   (, );
};

Description

Stores the binding of a Concept to a set of actual types. Concept is interpreted in the same way as with any.

`binding` public construct/copy/destruct

```
();
```
Requires:

relaxed must be in Concept.

Throws:
Nothing.
```
template<typename Map> ();
```
Requires:

Map must be an MPL map with an entry for each placeholder referred to by Concept.

Throws:
Nothing.
```
template<typename Map> (static_binding< );
```
Requires:

Map must be an MPL map with an entry for each placeholder referred to by Concept.

Throws:
Nothing.
```
template<typename Concept2, typename Map> 
  ( other, );
```
Converts from another set of bindings.

Requires:

Map must be an MPL map with an entry for each placeholder referred to by Concept. The mapped type should be the corresponding placeholder in Concept2.

Throws:
std::bad_alloc
```
template<typename Concept2, typename Map> 
  ( other, static_binding< );
```
Converts from another set of bindings.

Requires:

Map must be an MPL map with an entry for each placeholder referred to by Concept. The mapped type should be the corresponding placeholder in Concept2.

Throws:
std::bad_alloc
```
template<typename Placeholders, typename Map> 
  ( other, 
          static_binding< );
```
Converts from another set of bindings.

Requires:

Map must be an MPL map with an entry for each placeholder referred to by Concept. The mapped type should be the corresponding placeholder in Concept2.

Throws:
std::bad_alloc

`binding` friend functions

```
 ( lhs,  rhs);
```
Returns:

true iff the sets of types that the placeholders bind to are the same for both arguments.

Throws:
Nothing.
```
 ( lhs,  rhs);
```
Returns:

true iff the arguments do not map to identical sets of types.

Throws:
Nothing.

Requires:	`Map` must be an MPL map with an entry for each placeholder referred to by `Concept`.
Throws:	Nothing.

Requires:	Map must be an MPL map with an entry for each placeholder referred to by `Concept`. The mapped type should be the corresponding placeholder in Concept2.
Throws:	std::bad_alloc

Returns:	true iff the sets of types that the placeholders bind to are the same for both arguments.
Throws:	Nothing.

Returns:	true iff the arguments do not map to identical sets of types.
Throws:	Nothing.

Class template binding

Synopsis

Description

binding public construct/copy/destruct

binding friend functions

`binding` public construct/copy/destruct

`binding` friend functions