-
Notifications
You must be signed in to change notification settings - Fork 2
arithmeticOperatorsForType::multiplies
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 multiplies = multipliesValue <Type, Values...> :: value;
/*...*/
};Member constant of arithmeticOperatorsForType. Stores value of multipliesValue (see multipliesValue) 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 multiplies<> == 1u, "identity should be 1");
static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template multiplies<42u> == 42u, "42 should be 42");
static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template multiplies<6u, 7u> == 42u, "6 * 7 should be 42");
static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template multiplies<42u, 1u> == 42u, "42 * 1 should be 42");
static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template multiplies<42u, 101u> == (42u * 101u), "42 * 101 should be 4242");
static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template multiplies<7u, 6u, 3u> == (7u * 6u * 3u),
"7 * 6 * 3 should be 126");
static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template multiplies<6u, 1u, 1u, 1u, 1u, 1u, 1u, 7u> == 42u,
"anything times 1 remains seme so rest should be 42");
static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template multiplies<85u, 2u, 7u, 3u, 0u> == 0u,
"anything times 0 is 0 so rest should be 0");
return 0;
}