Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.java.programmer > #35534

Re: Why not String compare?

Show key headers only | View raw

On 01.09.2016 12:17, Andreas Leitgeb wrote:
> Robert Klemme <shortcutter@googlemail.com> wrote:
>> On 31.08.2016 11:45, Andreas Leitgeb wrote:
>>> Robert Klemme <shortcutter@googlemail.com> wrote:
>>>> The implementor must ensure sgn(x.compareTo(y)) == -sgn(y.compareTo(x))
>>>> for all x and y. (This implies that x.compareTo(y) must throw an
>>>> exception iff y.compareTo(x) throws an exception.)
>>> An equivalent "symmetry" could be expected from .equals, but isn't.
>> Not necessarily since the underlying concept is different
>
> That's not the point. If it *was* about symmetry (or anti- for compareTo)
> then both compareTo and equals would have to throw NPE for null argument,
> because obviously both throw NPE when called on a null reference.

Symmetry is not a value in itself, right?  The point is that for 
different concepts (equivalence vs. total order) the requirement for 
symmetry can also be different.  Both are too unrelated to require their 
implementations to behave identical with regard to exceptions and symmetry.

>> You can reasonably say "that nothing is not equivalent to myself"
>
> If symmetry really was the requirement, then it would need to
> include symmetry to null.equals(...).  It isn't, though.
>
> That .compareTo(null) throws NPE is *not* "for symmetry", but for
> a design decision, which defined compareTo to be NPE-symmetric.
> For equals a different decision was made. And both these decisions
> still make sense.

Absolutely.

> I think, we're in "violent agreement" here, anyway.

:-) Yes.  I think we've reached state of hair splitting.

Cheers

	robert

-- 
remember.guy do |as, often| as.you_can - without end
http://blog.rubybestpractices.com/

Back to comp.lang.java.programmer | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Why not String compare? Eric Douglas <e.d.programmer@gmail.com> - 2016-08-26 09:00 -0700
  Re: Why not String compare? Robert Klemme <shortcutter@googlemail.com> - 2016-08-26 18:49 +0200
    Re: Why not String compare? Eric Douglas <e.d.programmer@gmail.com> - 2016-08-26 10:09 -0700
      Re: Why not String compare? Robert Klemme <shortcutter@googlemail.com> - 2016-08-26 22:48 +0200
        Re: Why not String compare? Eric Douglas <e.d.programmer@gmail.com> - 2016-08-26 13:55 -0700
          Re: Why not String compare? Eric Sosman <esosman@comcast-dot-net.invalid> - 2016-08-26 17:29 -0400
          Re: Why not String compare? Lew <lewbloch@gmail.com> - 2016-08-30 22:20 -0700
          Re: Why not String compare? Robert Klemme <shortcutter@googlemail.com> - 2016-08-31 08:17 +0200
            Re: Why not String compare? Andreas Leitgeb <avl@logic.at> - 2016-08-31 09:45 +0000
              Re: Why not String compare? Robert Klemme <shortcutter@googlemail.com> - 2016-08-31 19:24 +0200
                Re: Why not String compare? Andreas Leitgeb <avl@logic.at> - 2016-09-01 10:17 +0000
                Re: Why not String compare? Robert Klemme <shortcutter@googlemail.com> - 2016-09-02 18:29 +0200
  Re: Why not String compare? Eric Sosman <esosman@comcast-dot-net.invalid> - 2016-08-26 13:24 -0400
    Re: Why not String compare? Eric Douglas <e.d.programmer@gmail.com> - 2016-08-26 10:48 -0700
      Re: Why not String compare? Eric Sosman <esosman@comcast-dot-net.invalid> - 2016-08-26 14:50 -0400
        Re: Why not String compare? Eric Douglas <e.d.programmer@gmail.com> - 2016-08-26 12:19 -0700
      Re: Why not String compare? Lothar Kimmeringer <news200709@kimmeringer.de> - 2016-09-01 20:42 +0200
        Re: Why not String compare? Eric Sosman <esosman@comcast-dot-net.invalid> - 2016-09-01 17:57 -0400
    Re: Why not String compare? Eric Douglas <e.d.programmer@gmail.com> - 2016-08-26 11:03 -0700
      Re: Why not String compare? Lothar Kimmeringer <news200709@kimmeringer.de> - 2016-09-02 21:54 +0200

csiph-web