divides

Synopsis

template<
      typename T1
    , typename T2
    , typename T3 = unspecified
    ...
    , typename Tn = unspecified
    >
struct divides
{
    typedef unspecified type;
};

Header

#include <boost/mpl/divides.hpp>
#include <boost/mpl/arithmetic.hpp>

Parameters

Parameter	Requirement	Description
`T1`, `T2`,... `Tn`	Integral Constant	Аргументы операции.

[Примечание: Требования, перечисленные в настоящей спецификации, являются требованиями, налагаемыми по умолчанию. См. концепцию Номерная метафункция для деталей о том, как обеспечить реализацию для определенного пользователем нумерного типа, который не удовлетворяет требованиям Integral Constant. — end note]

Expression semantics

Для любого Integral Constants c₁,c₂,...c_n:

typedef divides<c1,...cn>::type r;

Return type:

Integral Constant.

Precondition:

c2::value != 0, ... cn::value != 0.

Semantics:

Equivalent to

typedef integral_c<
      typeof(c1::value / c2::value)
    , ( c1::value / c2::value )
    > c;
typedef divides<c,c3,...cn>::type r;

typedef divides<c1,...cn> r;

Return type:

Integral Constant.

Precondition:

c2::value != 0, ... cn::value != 0.

Semantics:

Equivalent to

struct r : divides<c1,...cn>::type {};

Complexity

Амортированное постоянное время.

Example

typedef divides< int_<-10>, int_<3>, long_<1> >::type r;
BOOST_MPL_ASSERT_RELATION( r::value, ==, -3 );
BOOST_MPL_ASSERT(( is_same< r::value_type, long > ));

The MPL Reference Manual: divides

Boost , ,

Boost C++ Libraries