From: dgregor_at_[hidden]
Date: 2008-08-23 16:35:43
Author: dgregor
Date: 2008-08-23 16:35:43 EDT (Sat, 23 Aug 2008)
New Revision: 48324
URL: http://svn.boost.org/trac/boost/changeset/48324
Log:
Deal with NAD issue 532
Text files modified:
sandbox/committee/concepts/stdlib/clib-concepts.tex | 14 ++++++++++++++
1 files changed, 14 insertions(+), 0 deletions(-)
Modified: sandbox/committee/concepts/stdlib/clib-concepts.tex
==============================================================================
--- sandbox/committee/concepts/stdlib/clib-concepts.tex (original)
+++ sandbox/committee/concepts/stdlib/clib-concepts.tex 2008-08-23 16:35:43 EDT (Sat, 23 Aug 2008)
@@ -135,6 +135,12 @@
\item Added the \tcode{IdentityOf} concept, which acts like a simple
identity metafunction. It is used by \tcode{std::forward}.
+
+\item In~\ref{concept.operator}, require that the concept maps in
+ namespace \tcode{std} for pointer types for \tcode{HasLess},
+ \tcode{HasGreater}, \tcode{HasLessEqual}, and
+ \tcode{HasGreaterEqual} ensure a total order. This is how concepts
+ resolve issue 532 (already closed as NAD NAD).
\end{itemize}
\end{titlepage}
@@ -881,6 +887,14 @@
\mbox{\tcode{operator>=}}.}
\end{itemdescr}
+\pnum
+\addedConcepts{For the concepts \mbox{\tcode{HasLess}},
+ \mbox{\tcode{HasGreater}}, \mbox{\tcode{HasLessEqual}}, and
+ \mbox{\tcode{HasGreaterEqual}}, the concept maps in namespace
+ \mbox{\tcode{std}} for any pointer type yield a total order, even if
+ the built-in operators \mbox{\tcode{<}}, \mbox{\tcode{>}},
+ \mbox{\tcode{<=}}, \mbox{\tcode{>=}} do not.}
+
\begin{itemdecl}
auto concept HasEqualTo<typename T, typename U> {
bool operator==(const T& a, const U& b);