[ub] Justification for < not being a total order on pointers?

Nevin Liber nevin at eviloverlord.com
Thu Oct 17 07:27:36 CEST 2013


On 16 October 2013 17:13, Jeffrey Yasskin <jyasskin at google.com> wrote:

> On Wed, Oct 16, 2013 at 3:03 PM, Nevin Liber <nevin at eviloverlord.com>
> wrote:
> > Hmmm... I think you are right... although I thought the intention was it
> > works for less<void>.
>
> IIRC, Stephan intentionally left the weasel-words out of
> std::less<void>, and we've discussed that choice before and generally
> found it reasonable.


I'm not sure how to interpret that.

1.  The current weasel words are good enough, even though it specifically
says that it only applies to specializations of pointer types, which void
clearly isn't.

2.  std::less<void> isn't intended as a drop-in replacement for
std::less<T*>.

3.  Pointers, while historically not totally ordered, are practically so
for all systems in existence today, with the exception of the ivory tower
minds of the committee, so the point is moot.

Also, do you remember when we had this discussion?  I've only found notes
for LWG Portland, but I thought we had talked about it since then.
-- 
 Nevin ":-)" Liber  <mailto:nevin at eviloverlord.com>  (847) 691-1404
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.open-std.org/pipermail/ub/attachments/20131017/c792ee8a/attachment.html 


More information about the ub mailing list