[ub] Justification for < not being a total order on pointers?
Gabriel Dos Reis
gdr at axiomatics.org
Thu Oct 17 17:22:54 CEST 2013
Christopher Jefferson <chris at bubblescope.net> writes:
| On 16 October 2013 00:14, Gabriel Dos Reis <gdr at microsoft.com> wrote:
| > Nevin --
| > Are you asking that operator< be a total order on std::deque<T>::iterator?
| >
|
| On a practical note, I believe this would arise naturally, if
| operator< was a total order on pointers.
Only if you believe that the standard mandates a specific representation
of std::deque<T>::iterator that forces all pointers, or that the
repreentations in the source code you have access to must be the one
every implementation must use. The standards requirements are axiomatic
and there are several models in the wild that satisfy them; and we do
have a proof of existence that the same implementation can ship two
different models.
-- Gaby
More information about the ub
mailing list