Python int() строки, которая является числом с плавающей запятой

Question

По всей вероятности, это глупый вопрос, но мне было интересно, почему python не может сделать целое число из строки, которая на самом деле является числом с плавающей точкой.

>>> int(1.0) 
1 
>>> int(float('1.0')) 
1 

Но

>>> int('1.0') 
Traceback (most recent call last): 
    File "<pyshell#17>", line 1, in <module> 
    int('1.0') 
ValueError: invalid literal for int() with base 10: '1.0' 

Может кто-нибудь пояснить, почему это не может сделать за один шаг?

Answer 1

Прямо из Документов о int:

Если й не является число или если основание задано, то х должно быть строка или объект Unicode, что представляет собой целое число в буквальном поразрядной базе.

А вот как определяется целое число буквального в натальной базе:

longinteger ::= integer ("l" | "L") 
integer  ::= decimalinteger | octinteger | hexinteger | bininteger 
decimalinteger ::= nonzerodigit digit* | "0" 
octinteger  ::= "0" ("o" | "O") octdigit+ | "0" octdigit+ 
hexinteger  ::= "0" ("x" | "X") hexdigit+ 
bininteger  ::= "0" ("b" | "B") bindigit+ 
nonzerodigit ::= "1"..."9" 
octdigit  ::= "0"..."7" 
bindigit  ::= "0" | "1" 
hexdigit  ::= digit | "a"..."f" | "A"..."F" 

Как вы можете видеть . нет в лексическом определении.

больше int и integer literals

Также стоит отметить, что то, что вы хотите, естественно, достижимой на языках static typing, в то время как Python использует dynamic typing

Answer 2

Может кто-нибудь объяснить, почему это невозможно сделать за один шаг?

Цитирую Дзен Python: Explicit is better than implicit.

Мне было интересно, почему питон не может сделать целое число из строки, которая на самом деле является числом с плавающей точкой.

В соответствии с философией Python, если строка содержит число с плавающей точкой, которое затем вы хотите превратить в int, это ваша ответственность за то, чтобы произносить заклинания. Язык не будет пытаться и угадать ваши намерения.