Description

А.Нумерная метафункция— этоМетафункция с меткой, которая обеспечивает встроенную инфраструктуру для легкой реализации операций смешанного типа.

Expression requirements

В следующей таблице и последующих спецификацияхopявляется токеном заполнителя для фактическогоЧисловая метафункция's name, andx,yиx₁,x₂, ...x_nявляются произвольными числовыми типами.

op_impl<
     op_tag<x>::type
   , op_tag<y>::type
   >::apply<x,y>::type

Expression semantics

typedef op_tag<x>::type tag;

typedef op_impl<
      op_tag<x>::type
    , op_tag<y>::type
    >::apply<x,y>::type r;

typedef op<x1,x2,... xn>::type r;

Example

struct complex_tag : int_<10> {};
template< typename Re, typename Im > struct complex
{
    typedef complex_tag tag;
    typedef complex type;
    typedef Re real;
    typedef Im imag;
};
template< typename C > struct real : C::real {};
template< typename C > struct imag : C::imag {};
namespace boost { namespace mpl {
template<>
struct plus_impl< complex_tag,complex_tag >
{
    template< typename N1, typename N2 > struct apply
        : complex<
              plus< typename N1::real, typename N2::real >
            , plus< typename N1::imag, typename N2::imag >
            >
    {
    };
};
}}
typedef complex< int_<5>, int_<-1> > c1;
typedef complex< int_<-5>, int_<1> > c2;
typedef plus<c1,c2> r1;
BOOST_MPL_ASSERT_RELATION( real<r1>::value, ==, 0 );
BOOST_MPL_ASSERT_RELATION( imag<r1>::value, ==, 0 );
typedef plus<c1,c1> r2;
BOOST_MPL_ASSERT_RELATION( real<r2>::value, ==, 10 );
BOOST_MPL_ASSERT_RELATION( imag<r2>::value, ==, -2 );
typedef plus<c2,c2> r3;
BOOST_MPL_ASSERT_RELATION( real<r3>::value, ==, -10 );
BOOST_MPL_ASSERT_RELATION( imag<r3>::value, ==, 2 );

Models

• плюс
• минус
• 4 раза
• разделение

See also

Tag Dispatched Metafunction,Metafunctions,numeric_cast