Front Page / Metafunctions / Miscellaneous / inherit_linearly

inherit_linearly

Synopsis

template<
      typename Types
    , typename Node
    , typename Root = empty_base
    >
struct inherit_linearly
    : fold<Types,Root,Node>
{
};

Description

A convenience wrapper for fold to use in the context of sequence-driven class composition. Returns the result the successive application of binary Node to the result of the previous Node invocation (Root if it's the first call) and every type in the Forward Sequence Types in order.

Header

#include <boost/mpl/inherit_linearly.hpp>

Model of

Metafunction

Parameters

Parameter Requirement Description
Types Forward Sequence Types to inherit from.
Node Binary Lambda Expression A derivation metafunction.
Root A class type A type to be placed at the root of the class hierarchy.

Expression semantics

For any Forward Sequence types, binary Lambda Expression node, and arbitrary class type root:

typedef inherit_linearly<types,node,root>::type r;
Return type:

A class type.

Semantics:

Equivalent to

typedef fold<types,root,node>::type r;

Complexity

Linear. Exactly size<types>::value applications of node.

Example

template< typename T > struct tuple_field
{
    T field;
};

template< typename T >
inline
T& field(tuple_field<T>& t)
{
    return t.field;
}

typedef inherit_linearly<
      vector<int,char const*,bool>
    , inherit< _1, tuple_field<_2> >
    >::type tuple;


int main()
{
    tuple t;

    field<int>(t) = -1;
    field<char const*>(t) = "text";
    field<bool>(t) = false;

    std::cout
        << field<int>(t) << 'n'
        << field<char const*>(t) << 'n'
        << field<bool>(t) << 'n'
        ;
}

See also

Metafunctions, Algorithms, inherit, empty_base, fold, reverse_fold