Нужно ли проверять типы в Python?

Question

[Матвей Nosurname]

Сейчас пишу свой pet-project и возник вопрос нужно ли проверять типы переменных, которые приходят в функцию?
Вот пример работы с полем класса, вокруг которого построено приложение

@property
def mnf_year(self) -> int:
    return self.mnf_year

@mnf_year.setter
def mnf_year(self, year: int):
    if year is None:
        raise AttributeError("Manufacture year can't be None")

    if not isinstance(year, int):
        raise AttributeError("Manufacture year should be integer value")

    if year > datetime.now().year or year <= 1900:
        raise AttributeError("Manufacture year should be in range[1900, now]")

    self.mnf_year = year

Просто помню, как Марк Лутц говорил, что не следует накладывать ограничения на типы, тк функция может работать с несколькими типами данных. Подскажите как лучше делать?

Answer 1

[LXSTVAYNE]

Конечно, нужно, ведь мы ожидаем конкретные типы задавая параметры для функции. Можно проверять соответствие типам вручную, но есть альтернативный, более удобный и красивый, подход -- использование библиотеки pydantic, которая специализируется на валидации, а именно декоратор validate_arguments. Валидация помогает на ранних и даже на поздних этапах дебажить ошибки в логике вашего кода. Это очень помогает, даже если на проекте один человек.

Comments

[Матвей Nosurname]

Спасибо большое за ответ, вы мне очень помогли

Answer 2

[Сергей Горностаев]

Для Python является идиоматичной обработка исключений вместо проверок допустимости действий.

Comments

[Roman K]

Беда EAFP'а лишь в том, что это goto на стероидах, а пул выбрасываемых исключений нельзя типизировать. Несколько лет назад отказался от исключений в своём коде, хоть это и не-python-way. Потому что НУ НЕВОЗМОЖНА. Даже в go реализовано лучше (собственно, этим способом и пользуюсь: def f(...) -> tuple[T, E]). А в rust реализовано лучше всех.

Answer 3

[Griboks]

нужно ли проверять типы переменных, которые приходят в функцию?

def mnf_year(self, year: int):

Ну так вы уже их указали в сигнатуре. Ваше дело сделано. Вы сказали пользователям кода, что они обязаны передать вам int. Если они передадут вам что-то другое, то это уже их проблемы, что программа сломается. Проаннотировав тип, вы сняли с себя ответственность.