arithmeticOperatorsForType::divides
Igor Zarzycki edited this page Feb 18, 2022
·
1 revision
Defined in "crap/functional.d/arithmeticoperatorsfortype.h".
Defined in "crap/functional".
template <class Type>
struct arithmeticOperatorsForType
{
/*...*/
template <Type ... Values>
constexpr const static auto divides = dividesValue <Type, Values...> :: value;
/*...*/
};
Member constant of arithmeticOperatorsForType
. Stores value of dividesValue
(see dividesValue) acting on type Type
. Requires C++14 or higher language version.
-
Values...
- values to operate on.
#include <crap/functional.d/arithmeticoperatorsfortype.h>
int main()
{
static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template divides<42u> == 42u, "42 should be 42");
static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template divides<42u, 42u> == 1u, "42 / 42 should be 1");
static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template divides<42u, 6u> == 7u, "42 / 6 should be 7");
static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template divides<42u, 101u> == (42u / 101u), "42 / 101 should be 0");
static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template divides<42u, 6u, 3u> == ((42u / 6u) / 3u),
"42 / 6 / 3 should be 2");
static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template divides<85u, 2u, 7u, 3u, 2u> == ((((85u / 2u) / 7u) / 3u) / 2u),
" 85 / 2 is 42 so rest should be 1");
return 0;
}