checking for identity before comparing built-in objects - python-ideas

The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Message from discussion checking for identity before comparing built-in objects
Received-SPF: pass (google.com: domain of python-ideas-bounces+python-ideas-garchive-35620=googlegroups....@python.org designates 2001:888:2000:d::a6 as permitted sender) client-ip=2001:888:2000:d::a6;
MIME-Version: 1.0
In-Reply-To: <50732385.2090...@btinternet.com>
References: <CAOVPiMhnBezrw3gusD1QmW8MawV1HDCQHiTbd2Z0_T1TLDa...@mail.gmail.com>
	<506D94EE.30...@pearwood.info>
	<CAP7h-xZBg-MbWtmWFSQ4HmSPjCO_+Av_f-ip6hrH8WBSPJv...@mail.gmail.com>
	<CAPTjJmrRENuYXMOjPzobY1Hjkr+Vmqq04Z4_JOr6=DCdP4-...@mail.gmail.com>
	<CAP7h-xb4WvNuDGayqe60GRGmV4Nk-nzcN1d=HLahHw-hkG7...@mail.gmail.com>
	<CAP7+vJ+G-0WXZRTgr5Y=T+OdaMWmGzgk1--UH8=zoBGLsia...@mail.gmail.com>
	<CAP7h-xaV3RaA2EW4+vWuU=L=2JjhnKBGqhHPhgnmf4VbgGm...@mail.gmail.com>
	<CAP7+vJLt_WNzS75S25kMgPjFMiKz5DFCj5V69ZeyiWsYs5A...@mail.gmail.com>
	<50723BE5.3060...@nedbatchelder.com> <507243D2.8000...@btinternet.com>
	<CAP7+vJ+s+1o05t1WmgBxUEdLLdZX-vXMvZw8bMsDAzSv34i...@mail.gmail.com>
	<507308A6.60...@btinternet.com>
	<CAP7+vJ+EMnC6T+2yDkawjWiY6EKzz846wy+oO=_t8Qax76C...@mail.gmail.com>
	<CAP7+vJKS-eJsGgxDxSagCst9Jsr_SLvYZg+wKgerup1h1WT...@mail.gmail.com>
	<50732385.2090...@btinternet.com>
From: Guido van Rossum <gu...@python.org>
Date: Mon, 8 Oct 2012 12:46:43 -0700
Message-ID: <CAP7+vJ+RUNMjgBah7mvRc5xHqSMa4QrM6SyFgSHZq3qytsP...@mail.gmail.com>
To: Rob Cliffe <rob.cli...@btinternet.com>
Cc: Python-Ideas <python-id...@python.org>
Subject: Re: [Python-ideas] checking for identity before comparing built-in
	objects
Precedence: list
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Errors-To: python-ideas-bounces+python-ideas-garchive-35620=googlegroups....@python.org
Sender: "Python-ideas"
	<python-ideas-bounces+python-ideas-garchive-35620=googlegroups....@python.org>

On Mon, Oct 8, 2012 at 12:03 PM, Rob Cliffe <rob.cli...@btinternet.com> wrote:
>
> On 08/10/2012 19:39, Guido van Rossum wrote:
>>
>> Does this mean that the following behaviour of lists is a bug?
>>>>>>>
>>>>>>> x=float('NAN')
>>>>>>> [x]==[x], [x]<=[x], [x]>=[x]
>>>>
>>>> (True, True, True)
>>>
>>> No. That's a special case in the comparisons for sequences.
>>
>> [Now that I'm back at a real keyboard I can elaborate...]
>>
>> This applies to all container comparisons: without the rule that if
>> two contained items reference the same object they are to be
>> considered equal without calling their __eq__, containers couldn't
>> take the shortcut that a container is always equal to itself (i.e. c1
>> is c2 => c1 == c2). Without this shortcut, container comparisons would
>> be much more expensive: any time a large container was compared to
>> itself, it would be forced to recursively compare all the contained
>> items. You might say that it has to do this anyway when comparing to a
>> container that is not itself, but if the anser is "unequal" the
>> comparison can stop as soon as two unequal items are found, whereas if
>> the answer is "equal" you end up comparing all items. For two
>> different containers there is no possible shortcut, but comparing a
>> container to itself is quite common and really does deserve the
>> shortcut. We discussed this in the past and always came to the same
>> conclusion: despite the rules for NaN, the shortcut for containers is
>> required. A similar shortcut exists for 'x in [x]' BTW.
>>
> Thank you for elaborating, I was going to ask what the justification for the
> special case was.
> You have explained why
>
>>>> x=float('NAN'); A=[x]; A==A
> True
>
> but not as far as I can see why
>
>>>> x=float('NAN'); A=[x]; B=[x]; A==B, [x]=[x]
> (True, True)
>
> where neither of the results is comparing a container to itself.

It's so that when the container is iterating over pairs of elements it
can check for item identity (a simple pointer comparison) first, which
makes a pretty big difference in speed.

-- 
--Guido van Rossum (python.org/~guido)
_______________________________________________
Python-ideas mailing list
Python-id...@python.org
http://mail.python.org/mailman/listinfo/python-ideas
Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
Account Options
