template<
      typename T1, typename T2
    >
struct inherit\ ``2``
{
    typedef |unspecified| type;
};

|...|

template<
      typename T1, typename T2,\ |...| typename T\ *n*
    >
struct inherit\ *n*
{
    typedef |unspecified| type;
};

template<
      typename T1
    , typename T2
    |...|
    , typename T\ *n* = |unspecified|
    >
struct inherit
{
    typedef |unspecified| type;
};

#include <boost/mpl/inherit.hpp>

typedef inherit2<t1,t2>::type r; 

.. parsed-literal::

    typedef empty_base r;


otherwise, if ``t1`` is identical to ``empty_base``, equivalent to

.. parsed-literal::

    typedef t2 r;


otherwise, if ``t2`` is identical to ``empty_base``, equivalent to

.. parsed-literal::

    typedef t1 r;


otherwise equivalent to

.. parsed-literal::

    struct r : t1, t2 {};

typedef inherit\ *n*\<t1,t2,\ |...|\ t\ *n*\ >::type r; 

.. parsed-literal::

    struct r
        : inherit\ ``2``\<
              inherit\ *n-1*\<t1,t2,\ |...|\ t\ *n-1*\>::type
            , t\ *n*
            >
    {
    };

typedef inherit<t1,t2,\ |...|\ t\ *n*\ >::type r; 

.. parsed-literal::

    typedef inherit\ *n*\<t1,t2,\ |...|\ t\ *n*\ >::type r; 

struct udt1 { int n; };
struct udt2 {};

typedef inherit<udt1,udt2>::type r1;
typedef inherit<empty_base,udt1>::type r2;
typedef inherit<empty_base,udt1,empty_base,empty_base>::type r3;
typedef inherit<udt1,empty_base,udt2>::type r4;
typedef inherit<empty_base,empty_base>::type r5;

BOOST_MPL_ASSERT(( is_base_and_derived< udt1, r1> ));
BOOST_MPL_ASSERT(( is_base_and_derived< udt2, r1> ));
BOOST_MPL_ASSERT(( is_same< r2, udt1> ));    
BOOST_MPL_ASSERT(( is_same< r3, udt1 > ));
BOOST_MPL_ASSERT(( is_base_and_derived< udt1, r4 > ));
BOOST_MPL_ASSERT(( is_base_and_derived< udt2, r4 > ));
BOOST_MPL_ASSERT(( is_same< r5, empty_base > ));