Угу, то есть если у нас есть функция F, принимающая

Question

Угу, то есть если у нас есть функция F, принимающая

объект X с полем a типа str, и есть наследник X, Y который сужает тип поля a до Enum(str, Enum), то я правильно понимаю, что теперь нельзя передавать в F объект Y ?

#backend #programming #python #russian

0

22.02.2022

8 ответов

3 просмотра

Max Ermakov Автор вопроса

Потому что с помощью Enum нельзя сузить str до набора значений типа str ?

0

22.02.2022

Max Ermakov Автор вопроса

у нас будет поведение различаться при F(X(a="a")) и F(Y(a="a")). Вообще есть впечатление, что тут правильно будет сделать свой сабкласс от str, и кидать ошибку, если его пытаются инициализировать со значением отличным от возможных вариантов.

0

22.02.2022

Tishka17

Max Ermakov
у нас будет поведение различаться при F(X(a="a")) ...

mypy для этого есть

0

22.02.2022

Max Ermakov Автор вопроса

Tishka17
mypy для этого есть

ой, вот этого я вообще не учёл, что оно без него и не проверится никак, и тут реально нужно явно создавать EnumType и уже его передавать.

0

22.02.2022

Max Ermakov Автор вопроса

Tishka17
а тут у тебя ошибка при создании Y, не в F дело

хотя нет, почему? Если я в конструкторе вместо ванильного присвооения строки сделать создание хоть Enum, хоть MyNarrowedStr, то должно создаться. Или это будет ошибка при наследовании?

0

22.02.2022

Tishka17

Max Ermakov
хотя нет, почему? Если я в конструкторе вместо ван...

Если это поле только на чтение, вероятно нет проблем. Если предполагается что его могут менять - будет нарушение

0

22.02.2022

Max Ermakov Автор вопроса

Tishka17
Если это поле только на чтение, вероятно нет пробл...

тогда добавим геттер сеттер ?

0

22.02.2022