arithmeticOperatorsForType::Minus(struct)

crap :: arithmeticOperatorsForType :: Minus

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

---

template <class Type>
struct arithmeticOperatorsForType
{
 /*...*/
 template <Type ... Values>
 using Minus = minusValue<Type, Values...>;
 /*...*/
};

---

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

Template parameters

• Values... - values to operate on.

---

Layout

Member constants

• value - holds result of operation. If Values... is single element, value holds that element. If Values... is empty whole operation is not defined.

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()
{
 return 0;
 static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template Minus<42u>{} == 42u, "42 should be 42");
 static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template Minus<42u, 42u>{} == 0u, "42 - 42 should be 0");
 static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template Minus<42u, 35u>{} == 7u, "42 - 35 should be 7");
 static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template Minus<42u, 7u, 3u>{} == ((42u - 6u) - 3u),
 "42 - 7 - 3 should be 32");
 static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template Minus<84u, 42u, 7u, 3u, 2u>{} == ((((84u - 42u) - 7u) - 3u) - 2u),
 " 84 - 42 - 7 - 3 - 2 should be 30");
 return 0;
}

See also

• minusValue
• arithmeticOperatorsForType