comparatorsForType::Grater(struct)

crap :: comparatorsForType :: Greater

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

---

template <class Type>
struct comparatorsForType
{
 /*...*/
 template <Type Value1, Type Value2>
 using Greater = greaterValue<Type, Value1, Value2>;
 /*...*/
};

---

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

Template parameters

• Value1 - value to be compared greater against Value2.
• Value2 - value with which Value1 is compared.

---

Layout

Member constants

• value - true if Value1 compares greater to Value2. False if not.

Member types

• value_type - type of field value. May not be bool 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/comparatorsfortype.h>

int main()
{
 using test1 = typename crap :: comparatorsForType <unsigned int> :: template Greater<42u, 101u>;
 using test2 = typename crap :: comparatorsForType <unsigned int> :: template Greater<101u, 42u>;
 using test3 = typename crap :: comparatorsForType <unsigned int> :: template Greater<42u, 42u>;

 static_assert(!(test1 :: value), "test1: 42 should not be greater than 101.");
 static_assert(test2 :: value, "test2: 101 should be greater than 42.");
 static_assert(!(test3 :: value), "test3: 42 should not be greater than 42.");
 return 0;
}

See also

• greaterValue
• comparatorsForType