Concept UnsignedIntegerConceptAn integral type without a sign.
An integral type without a sign.
Extends | IntegerConcept |
---|---|
All Extended | AssignableConcept, ComparableConcept, CopyConstructibleConcept, DefaultConstructibleConcept, DestructibleConcept, EqualityComparableConcept, IntegerConcept, LessThanComparableConcept |
Defined in | <seqan/basic.h> |
Signature |
UnsignedIntegerConcept<T>
|
Detailed Description
Expects an instance of type T to represent non-negative integral values and to provide the same operations as unsigned int. Every type T that fulfills the IntegerConcept fulfills either the SignedIntegerConcept or the UnsignedIntegerConcept.
Examples
//SEQAN_CONCEPT_ASSERT((UnsignedIntegerConcept<int>)); // fails to compile
SEQAN_CONCEPT_ASSERT((UnsignedIntegerConcept<unsigned short>));
std::cout << Is<UnsignedIntegerConcept<char> >::VALUE << std::endl; // 0
std::cout << Is<UnsignedIntegerConcept<int> >::VALUE << std::endl; // 0
std::cout << Is<UnsignedIntegerConcept<unsigned short> >::VALUE << std::endl; // 1
std::cout << Is<UnsignedIntegerConcept<double> >::VALUE << std::endl; // 0
Valid Expressions
T a;
unsigned int b;
a = 1u;
b = a;
std::cout << static_cast<T>(0) < static_cast<T>(-1) << std::endl; // 1