Приведение типов и проверка типа
Тема дорожной карты · Python Programming
В Python почти любое «приведение» — это просто вызов конструктора: int("42"), float("3.14"), str(obj), list(iter) — и при некорректном вводе он бросает ValueError/TypeError, а не возвращает мусор. Валидируй до преобразования (str.isdigit() наивен; лучше try/except). Тип проверяй через isinstance(x, (int, float)), а не type(x) == int (последнее ломает наследование). typing.cast — это лишь подсказка статическому чекеру и не выполняет преобразование в рантайме. Для валидации данных бери pydantic.
Как это работает
Python — язык с динамической и строгой типизацией: переменные — это имена, связанные с объектами, а не типизированные «коробки». У каждого значения есть тип (int, str, bool, None, пользовательские классы), проверяемый в рантайме; нельзя сложить строку с числом без явного приведения. Числа — целые произвольной точности + IEEE 754 float + native complex; строки — неизменяемые Unicode-последовательности. Приведение типов и проверка типа обеспечивают операции байткода, а не внешний type checker.
Когда применять
Прочное понимание Приведение типов и проверка типа обязательно до любого нетривиального Python: любой баг рано или поздно сводится к непонятому приведению типа, путанице str-vs-bytes или неожиданной мутации. Опирайтесь на type(), isinstance() и mypy для статической проверки, когда кодовая база переваливает ~1000 строк или у неё несколько авторов. Type hints (PEP 484) стоят дёшево и многократно окупаются в поддерживаемости.
Типичные ошибки
Типичные ошибки в Приведение типов и проверка типа: путаница == (равенство значений) и is (тождество); сравнение float через == вместо math.isclose(); предположение, что None, 0, "", [] ведут себя одинаково в if x: (все falsy, но иногда это маскирует баг); мутация значений по умолчанию (def f(x=[]) — список общий между вызовами). Читайте PEP 8 и Zen of Python (import this) сразу — идиомы существуют не зря.