feedc0de/boost_concept_check
1
0
Fork 0
forked from boostorg/concept_check
Code Pull Requests Activity

added Boolean_concept to concept checks to tighten up LessThanComparable

Browse Source 
(thanks to Brian McNamara and Yassin Smaragdakis for catching this!)


[SVN r7902]
This commit is contained in:
Jeremy Siek
2000-10-03 22:15:02 +00:00
parent cb61d68442
commit d9cb7a1e91
1 changed files with 24 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

29
include/boost/pending/concept_checks.hpp
View File

@@ -30,6 +30,7 @@
#include <iterator>
#include <utility>
#include <boost/config.hpp>
#include <boost/pending/limits.hpp>
#if defined(__GNUC__) || defined(__KCC) || defined(__ghs)
#define BOOST_FPTR &
@@ -190,13 +191,27 @@ template <class T> void ignore_unused_variable_warning(const T&) { }
T b;
};
template <class TT>
struct Boolean_concept {
void constraints() {
b = x;
b = x || x;
b = x && x;
}
TT x;
bool b;
};
template <class TT>
struct EqualityComparable_concept
{
void constraints() {
r = a == b; // require equality operator
r = a != b; // require inequality operator
require_boolean_return(a == b);
require_boolean_return(a != b);
}
// Can't move the following outside, because it changes when
// the error message appears.
template <class B> void require_boolean_return(B) { REQUIRE(B, Boolean); }
TT a, b;
bool r;
};
@@ -205,11 +220,15 @@ template <class T> void ignore_unused_variable_warning(const T&) { }
struct LessThanComparable_concept
{
void constraints() {
// require comparison operators
r = a < b || a > b || a <= b || a >= b;
require_boolean_return(a < b);
require_boolean_return(a > b);
require_boolean_return(a <= b);
require_boolean_return(a >= b);
}
// Can't move the following outside, because it changes when
// the error message appears.
template <class B> void require_boolean_return(B) { REQUIRE(B, Boolean); }
TT a, b;
bool r;
};
//===========================================================================