From: Ben Bacarisse <ben.usenet@bsb.me.uk>
Subject: Re: Top 10 Worst C# Features
Date: Wed, 14 Oct 2015 20:54:13 +0100
Date: 2015-10-14T20:54:13+01:00 [thread overview]
Message-ID: <877fmp9qfu.fsf@bsb.me.uk> (raw)
In-Reply-To: alpine.DEB.2.20.1510141943040.8228@debian
Stefan.Lucks@uni-weimar.de writes:
> On Wed, 14 Oct 2015, Paul Rubin wrote:
>
>> Ben Bacarisse <ben.usenet@bsb.me.uk> writes:
>>> Do you mean that there are reasons to permit !(a == b) and a != b to
>>> have different values in some cases?
>>
>> I think he meant they should both return the same value, but it is ok if
>> they don't use the same algorithm. Of course it may be possible for the
>> compiler to optimize the first into the second. The idea is just that
>> if (a != b) { ... } can be much faster than if (a == b) { ... } .
>
> As I seem to understand, Ben questioned that either the test on
> equality or on non-equality could be much faster than the other one.
Yes, exactly. If !(a == b) and a != b don't have to be the same for
this imagined type then of course one can be faster than the other, but
if the usual laws are to hold, implementing one can't be anything but
trivially easier then the other.
<snip>
--
Ben.
next prev parent reply other threads:[~2015-10-14 19:54 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-09-02 10:59 Top 10 Worst C# Features Stefan.Lucks
2015-09-02 17:37 ` Álex R. Mosteo
2015-09-02 19:39 ` Randy Brukardt
2015-09-03 8:14 ` Georg Bauhaus
2015-09-03 9:26 ` Dmitry A. Kazakov
2015-09-03 11:39 ` G.B.
2015-09-03 12:00 ` G.B.
2015-09-03 13:59 ` Dmitry A. Kazakov
2015-09-03 19:12 ` Randy Brukardt
2015-09-04 7:33 ` Georg Bauhaus
2015-09-04 21:34 ` Randy Brukardt
2015-09-05 6:31 ` Dmitry A. Kazakov
2015-09-05 6:44 ` Georg Bauhaus
2015-09-05 7:07 ` Dmitry A. Kazakov
2015-09-05 6:45 ` Niklas Holsti
2015-09-05 7:21 ` Dmitry A. Kazakov
2015-09-05 12:07 ` Peter Chapin
2015-09-06 10:45 ` Georg Bauhaus
2015-10-13 19:57 ` Eryndlia Mavourneen
2015-09-05 7:16 ` Shark8
2015-09-03 13:47 ` Dmitry A. Kazakov
2015-09-03 8:51 ` gautier_niouzes
2015-10-01 14:03 ` Paul Colin de Gloucester
2015-10-14 8:00 ` Maciej Sobczak
2015-10-14 14:26 ` Ben Bacarisse
2015-10-14 16:50 ` Paul Rubin
2015-10-14 18:17 ` Stefan.Lucks
2015-10-14 19:54 ` Ben Bacarisse [this message]
2015-10-15 12:24 ` Maciej Sobczak
2015-10-15 13:59 ` Ben Bacarisse
2015-11-06 14:50 ` Nicholas Collin Paul de Gloucester
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox