Par https://docs.python.org/3/reference/lexical_analysis.html#integer-literals :
Les littéraux entiers sont décrits par les définitions lexicales suivantes:
integer ::= decimalinteger | octinteger | hexinteger | bininteger
decimalinteger ::= nonzerodigit digit* | "0"+
nonzerodigit ::= "1"..."9"
digit ::= "0"..."9"
octinteger ::= "0" ("o" | "O") octdigit+
hexinteger ::= "0" ("x" | "X") hexdigit+
bininteger ::= "0" ("b" | "B") bindigit+
octdigit ::= "0"..."7"
hexdigit ::= digit | "a"..."f" | "A"..."F"
bindigit ::= "0" | "1"
Il n'y a pas de limite pour la longueur des littéraux entiers en dehors de ce qui peut être stocké dans la mémoire disponible.
Notez que les zéros non significatifs dans un nombre décimal différent de zéro ne sont pas autorisés. Ceci est destiné à la clarification des littéraux octaux de style C, que Python utilisait avant la version 3.0.
Comme indiqué ici, les zéros non significatifs dans un nombre décimal différent de zéro ne sont pas autorisés. "0"+est légal en tant que cas très spécial, qui n'était pas présent dans Python 2 :
integer ::= decimalinteger | octinteger | hexinteger | bininteger
decimalinteger ::= nonzerodigit digit* | "0"
octinteger ::= "0" ("o" | "O") octdigit+ | "0" octdigit+
SVN commit r55866 a implémenté PEP 3127 dans le tokenizer, qui interdit les anciens 0<octal>numéros. Cependant, curieusement, il ajoute également cette note:
/* in any case, allow '0' as a literal */
avec un nonzeroindicateur spécial qui ne lance un que SyntaxErrorsi la séquence de chiffres suivante contient un chiffre différent de zéro.
C'est étrange car la PEP 3127 ne permet pas ce cas:
Ce PEP propose que la possibilité de spécifier un nombre octal en utilisant un zéro non significatif sera supprimée du langage en Python 3.0 (et le mode de prévisualisation Python 3.0 de 2.6), et qu'une SyntaxError sera levée chaque fois qu'un "0" non significatif est immédiatement suivi d'un autre chiffre .
(c'est moi qui souligne)
Donc, le fait que plusieurs zéros soient autorisés viole techniquement le PEP, et a été fondamentalement implémenté comme un cas particulier par Georg Brandl. Il a fait le changement de documentation correspondant pour noter que "0"+c'était un cas valable pour decimalinteger(auparavant, cela était couvert par octinteger).
Nous ne saurons probablement jamais exactement pourquoi Georg a choisi de rendre "0"+valide - cela peut rester à jamais un cas de coin étrange en Python.
MISE À JOUR [28 juillet 2015]: Cette question a conduit à un fil de discussion animé sur les idées python dans lequel Georg est intervenu :
Steven D'Aprano a écrit:
Pourquoi a-t-il été défini de cette façon? [...] Pourquoi écririons-nous 0000 pour obtenir zéro?
Je pourrais te le dire, mais ensuite je devrais te tuer.
Georg
Plus tard, le fil a engendré ce rapport de bogue visant à se débarrasser de ce cas particulier. Ici, Georg dit :
Je ne me souviens pas de la raison de ce changement délibéré (comme le montre le changement de la documentation).
Je ne parviens pas à trouver une bonne raison pour ce changement maintenant [...]
et ainsi nous l'avons: la raison précise de cette incohérence est perdue dans le temps.
Enfin, notez que le rapport de bogue a été rejeté: les zéros non significatifs continueront à être acceptés uniquement sur les entiers zéro pour le reste de Python 3.x.