Merge 2018-11 LWG Motion 23

P1085R2 Should Span be Regular?

Fixes #2429

Author: zygoloid

source/containers.tex

@@ -9803,20 +9803,6 @@
   template<class ElementType, ptrdiff_t Extent = dynamic_extent>
     class span;
 
-  // \ref{span.comparison}, comparison operators
-  template<class T, ptrdiff_t X, class U, ptrdiff_t Y>
-    constexpr bool operator==(span<T, X> l, span<U, Y> r);
-  template<class T, ptrdiff_t X, class U, ptrdiff_t Y>
-    constexpr bool operator!=(span<T, X> l, span<U, Y> r);
-  template<class T, ptrdiff_t X, class U, ptrdiff_t Y>
-    constexpr bool operator<(span<T, X> l, span<U, Y> r);
-  template<class T, ptrdiff_t X, class U, ptrdiff_t Y>
-    constexpr bool operator>(span<T, X> l, span<U, Y> r);
-  template<class T, ptrdiff_t X, class U, ptrdiff_t Y>
-    constexpr bool operator<=(span<T, X> l, span<U, Y> r);
-  template<class T, ptrdiff_t X, class U, ptrdiff_t Y>
-    constexpr bool operator>=(span<T, X> l, span<U, Y> r);
-
   // \ref{span.objectrep}, views of object representation
   template<class ElementType, ptrdiff_t Extent>
     span<const byte,
@@ -10376,76 +10362,6 @@
 Equivalent to: \tcode{return const_reverse_iterator(cbegin());}
 \end{itemdescr}
 
-\rSec3[span.comparison]{Comparison operators}
-
-\indexlibrary{\idxcode{operator==}!\idxcode{span}}%
-\begin{itemdecl}
-template<class T, ptrdiff_t X, class U, ptrdiff_t Y>
-  constexpr bool operator==(span<T, X> l, span<U, Y> r);
-\end{itemdecl}
-\begin{itemdescr}
-\pnum
-\effects
-Equivalent to: \tcode{return equal(l.begin(), l.end(), r.begin(), r.end());}
-\end{itemdescr}
-
-\indexlibrary{\idxcode{operator"!=}!\idxcode{span}}%
-\begin{itemdecl}
-template<class T, ptrdiff_t X, class U, ptrdiff_t Y>
-  constexpr bool operator!=(span<T, X> l, span<U, Y> r);
-\end{itemdecl}
-\begin{itemdescr}
-\pnum
-\effects
-Equivalent to: \tcode{return !(l == r);}
-\end{itemdescr}
-
-\indexlibrary{\idxcode{operator<}!\idxcode{span}}%
-\begin{itemdecl}
-template<class T, ptrdiff_t X, class U, ptrdiff_t Y>
-  constexpr bool operator<(span<T, X> l, span<U, Y> r);
-\end{itemdecl}
-\begin{itemdescr}
-\pnum
-\effects
-Equivalent to:
-\begin{codeblock}
-return lexicographical_compare(l.begin(), l.end(), r.begin(), r.end());
-\end{codeblock}
-\end{itemdescr}
-
-\indexlibrary{\idxcode{operator>}!\idxcode{span}}%
-\begin{itemdecl}
-template<class T, ptrdiff_t X, class U, ptrdiff_t Y>
-  constexpr bool operator>(span<T, X> l, span<U, Y> r);
-\end{itemdecl}
-\begin{itemdescr}
-\pnum
-\effects
-Equivalent to: \tcode{return (r < l);}
-\end{itemdescr}
-
-\indexlibrary{\idxcode{operator<=}!\idxcode{span}}%
-\begin{itemdecl}
-template<class T, ptrdiff_t X, class U, ptrdiff_t Y>
-  constexpr bool operator<=(span<T, X> l, span<U, Y> r);
-\end{itemdecl}
-\begin{itemdescr}
-\pnum
-\effects
-Equivalent to: \tcode{return !(r < l);}
-\end{itemdescr}
-
-\indexlibrary{\idxcode{operator>=}!\idxcode{span}}%
-\begin{itemdecl}
-template<class T, ptrdiff_t X, class U, ptrdiff_t Y>
-  constexpr bool operator>=(span<T, X> l, span<U, Y> r);
-\end{itemdecl}
-\begin{itemdescr}
-\pnum
-\effects
-Equivalent to: \tcode{return !(l < r);}
-\end{itemdescr}
 
 \rSec3[span.objectrep]{Views of object representation}