divides
template<
typename T1
, typaname T2
, typaname T3 = integral_c<int,1>
, ...
, typaname Tn = integral_c<int,1>
>
struct divides
{
typedef unspecified type;
};
Returns the quotient of its arguments [1].
#include "boost/mpl/arithmetic/divides.hpp"
| Parameter | Requirement | Description |
|---|---|---|
T1, T2, .., Tn | A model of Integral Constant |
| Expression | Expression type | Precondition | Semantics | Postcondition |
|---|---|---|---|---|
typedef divides<t1,t2,..,tn>::type quot; | A model of Integral Constant | t2::value != 0, t3::value != 0, .., tn::value != 0 | Equivalent to typedef integral_c<typeof(t1::value / t2::value .. / tn::value), t1::value / t2::value .. / tn::value > quot; |
Amortized constant time.
typedef divides< integral_c<short,-10>, integral_c<long,3> >::type quot; BOOST_STATIC_ASSERT(quot::value == -3)); BOOST_MPL_ASSERT_IS_SAME(quot::value_type, long);
[1] The divides metafunction can be (and is expected to be) specialized by user to work on user-defined types that do not satisfy the Integral Constant requirements. The requirements listed here are the ones imposed by the default implementation.
Metafunctions, multiplies, modulus, plus, minus, negate