Обработка ошибок проверки типов Python с помощью объявлений возвращаемых типов
Я столкнулся с проблемой в моем коде Python при использовании средства проверки типов Pyright, особенно когда я пытаюсь удалить Any из объявления типа возвращаемого значения.
Сначала посмотрите/прочитайте этот вопрос: Обработка ошибок проверки типов Python с помощью объявлений возвращаемого типа (значения полей по умолчанию = Нет)
Сообщение об ошибке:
Function with declared return type "int" must return value on all code paths. "None" is incompatible with "int".
А что насчет этого дела? Я по-прежнему получаю ту же ошибку, что и выше (вопрос из-за переполнения стека), хотя мои классы не содержат никаких значений None.
from dataclasses import dataclass
from typing import Any, Union, List
class Exp:
pass
@dataclass
class Const(Exp):
value: int
@dataclass
class Negate(Exp):
value: Exp
@dataclass
class Add(Exp):
value1: Exp
value2: Exp
@dataclass
class Multiply(Exp):
value1: Exp
value2: Exp
def eval_exp_old(e: Exp) -> int | Any:
match e:
case Const(i):
return i
case Negate(e2):
return -eval_exp_old(e2)
case Add(e1, e2):
return eval_exp_old(e1) + eval_exp_old(e2)
case Multiply(e1, e2):
return eval_exp_old(e1) * eval_exp_old(e2)
test_exp: Exp = Multiply(Negate(Add(Const(2), Const(2))), Const(7))
# -28
old_test = eval_exp_old(test_exp)
Ошибка:
def eval_exp_old(e: Exp) -> int { ... }
Я ценю любой совет.
Кстати, проверьте эту статью, которая также опубликована в принятом ответе. https://discuss.python.org/t/draft-pep-sealed-decorator-for-static-typing/49206
@chepner, есть ли способ сделать эти классы неоткрытыми? Я рассматривал все это как «нередактируемый файл», нужно ли мне сделать его частным или что-то вроде эквивалента Python?
Нет; ваш оператор match просто должен содержать все подклассы, с которыми вы не хотите или не знаете, как обращаться.
@chepner да, имеет смысл. Я также пытался вложить подклассы в основной класс, но проблема все та же.
Ответы 1
Что, если кто-то унаследует от Exp и передаст его eval_exp_old()?
class NewExp(Exp): pass
eval_exp_old(NewExp()) # Pass type checking, yet silently returns None
Добавьте случай по умолчанию в дерево сопоставлений и выдайте в нем ошибку. Таким образом, вы получите ошибку во время выполнения (желательно в тестах), сообщающую вам, что вы забыли обработать некоторые случаи:
match e:
case Const(i):
return i
# ...
case _:
raise ValueError(f'Value {e} of type {type(e).__name__} is not expected')
Вообще говоря, то, что вам нужно, называется «запечатанными классами»:
@sealed # This means all subclasses are known ahead of time
class Exp:
pass
Это когда-либо существовало только в недавнем проекте PEP и в этой соответствующей теме на официальном форуме Python.
Я собирался спросить вас, как кто-то вообще может вызвать этот класс, если я делаю эти классы частными, но это выглядит как в Python, если я говорю, что класс _Exp - это просто соглашение об именах, оно не делает его частным, файловым или частным. что бы ни. Это причина, по которой выдает эту ошибку?
@Адриан Что, если этот «кто-то» ты? В конце концов, именно для предотвращения наших собственных ошибок мы используем инструменты качества кода, такие как средства проверки типов. Вам нужно что-то вроде запечатанных классов Котлина, но у этого еще нет эквивалента Python.
Понятно. Я думал, что единственная причина, по которой это работает в Kotlin и Swift, заключается в том, что оба являются статически типизированными языками, но похоже, что это нечто большее: Swift имеет строгую систему типов с исчерпывающим сопоставлением шаблонов для перечислений, поэтому компилятор знает, что именно. отсутствует, а что нет.
Чем это отличается от вашего последнего вопроса? Ваше
matchзаявление еще не является исчерпывающим. Ваша иерархия классов открыта: то, что вы не определили здесь никаких других подклассовExp, не означает, что вы не можете этого сделать до вызоваeval_exp_old.