arithmeticOperatorsForType::Divides2(struct)

crap :: arithmeticOperatorsForType :: Divides2

Defined in "crap/functional.d/arithmeticoperatorsfortype.h".
Defined in "crap/functional".

---

template <class Type>
struct arithmeticOperatorsForType
{
 /*...*/
 template <Type Value1, Type Value2>
 using Divides2 = dividesValue<Type, Value1, Value2>;
 /*...*/
};

---

Creates dividesValue (see dividesValue) acting on type Type. Allows for dividesValue to act as binary value operator.

Template parameters

• Value1 - value to be divided by Value2.
• Value2 - value divide Value1.

---

Layout

Member constants

• value - holds result of division of Value1 by Value2.

Member types

• value_type - type of field value. May not be Type but should be castable to this type.

Member functions

• constexpr operator value_type () const noexcept - casts whole object to its value_type returning value.

Usage example

#include <crap/functional.d/arithmeticoperatorsfortype.h>

int main()
{
 static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template Divides2<42u, 42u>{} == 1u, "42 / 42 should be 1");
 static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template Divides2<42u, 6u>{} == 7u, "42 / 6 should be 7");
 static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template Divides2<42u, 101u>{} == (42u / 101u), "42 / 101 should be 0");
 return 0;
}

See also

• dividesValue
• arithmeticOperatorsForType