Message206378
| Author |
ethan.furman |
| Recipients |
Arfrever, eric.smith, ethan.furman, gvanrossum, mark.dickinson, pitrou, rhettinger, serhiy.storchaka, skrah, vstinner |
| Date |
2013年12月16日.22:11:07 |
| SpamBayes Score |
-1.0 |
| Marked as misclassified |
Yes |
| Message-id |
<1387231868.3.0.713551062632.issue19995@psf.upfronthosting.co.za> |
| In-reply-to |
| Content |
Antoine, if I understand you correctly, you are saying that any type that defines __index__ is an integer, and should therefore also define __int__, in which case Python can just use __int__ and not worry about __index__?
Here's the problem with that:
--> '%x' % 3.14
'3'
While I am beginning to agree that an integer type needs to implement both __int__ and __index__, it still remains true that Python needs to call __index__ if what it needs is already a real, true int, and not just something that can be truncated or otherwise converted into an int -- such as float. |
|