boostorg/concept_check
1
0
Fork 1
mirror of https://github.com/boostorg/concept_check.git synced 2025-07-31 13:07:33 +02:00
Code Issues Packages Projects Releases Wiki Activity

Misc cleanups, missing extensions of integral types to (un)signed char

Browse Source 
and, where apropriate, the long long types.


[SVN r33877]
This commit is contained in:
Dave Abrahams
2006-04-30 20:54:13 +00:00
parent 3bce136d94
commit 80cbd76189
1 changed files with 23 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

40
include/boost/concept_check.hpp
View File

@@ -87,12 +87,14 @@ namespace boost
T x; T x;
}; };
template <> struct IntegerConcept<short> { ~IntegerConcept() {} }; template <> struct IntegerConcept<signed char> {};
template <> struct IntegerConcept<unsigned short> { ~IntegerConcept() {} }; template <> struct IntegerConcept<unsigned char> {};
template <> struct IntegerConcept<int> { ~IntegerConcept() {} }; template <> struct IntegerConcept<short> {};
template <> struct IntegerConcept<unsigned int> { ~IntegerConcept() {} }; template <> struct IntegerConcept<unsigned short> {};
template <> struct IntegerConcept<long> { ~IntegerConcept() {} }; template <> struct IntegerConcept<int> {};
template <> struct IntegerConcept<unsigned long> { ~IntegerConcept() {} }; template <> struct IntegerConcept<unsigned int> {};
template <> struct IntegerConcept<long> {};
template <> struct IntegerConcept<unsigned long> {};
// etc. // etc.
template <class T> template <class T>
@@ -103,11 +105,12 @@ namespace boost
private: private:
T x; T x;
}; };
template <> struct SignedIntegerConcept<short> { ~SignedIntegerConcept() {} }; template <> struct SignedIntegerConcept<signed char> { };
template <> struct SignedIntegerConcept<int> { ~SignedIntegerConcept() {} }; template <> struct SignedIntegerConcept<short> {};
template <> struct SignedIntegerConcept<long> { ~SignedIntegerConcept() {} }; template <> struct SignedIntegerConcept<int> {};
template <> struct SignedIntegerConcept<long> {};
# if defined(BOOST_HAS_LONG_LONG) # if defined(BOOST_HAS_LONG_LONG)
template <> struct SignedIntegerConcept< ::boost::long_long_type> { ~SignedIntegerConcept() {} }; template <> struct SignedIntegerConcept< ::boost::long_long_type> {};
// etc. // etc.
#endif #endif
@@ -120,12 +123,15 @@ namespace boost
T x; T x;
}; };
template <> struct UnsignedIntegerConcept<unsigned short> template <> struct UnsignedIntegerConcept<unsigned char> {};
{ ~UnsignedIntegerConcept() {} }; template <> struct UnsignedIntegerConcept<unsigned short> {};
template <> struct UnsignedIntegerConcept<unsigned int> template <> struct UnsignedIntegerConcept<unsigned int> {};
{ ~UnsignedIntegerConcept() {} }; template <> struct UnsignedIntegerConcept<unsigned long> {};
template <> struct UnsignedIntegerConcept<unsigned long> # if defined(BOOST_HAS_LONG_LONG)
{ ~UnsignedIntegerConcept() {} }; template <> struct UnsignedIntegerConcept< ::boost::ulong_long_type> {};
// etc.
#endif
// etc. // etc.
//=========================================================================== //===========================================================================
@@ -428,7 +434,7 @@ namespace boost
{ {
typedef typename Func::argument_type argument_type; typedef typename Func::argument_type argument_type;
typedef typename Func::result_type result_type; typedef typename Func::result_type result_type;
~AdaptableUnaryFunctionConcept() ~AdaptableUnaryFunctionConcept()
{ {
BOOST_CONCEPT_ASSERT((ConvertibleConcept<result_type, Return>)); BOOST_CONCEPT_ASSERT((ConvertibleConcept<result_type, Return>));