Рассмотрим следующий код, который моделирует целые числа по модулю n:
Код: Выделить всё
def IntegersModN(n):
class InternalClass:
def __init__(self, x):
self.x = x % n
def __add__(self, other):
return self.__class__(self.x + other.x)
def __str__(self):
return str(self.x)
return InternalClass
IntegersMod5 = IntegersModN(5)
print(IntegersMod5(4) + IntegersMod5(2)) # output: 1
Все работает нормально. Но предположим, что я хочу добавить аннотации типов, чтобы статически гарантировать, что я никогда не сделаю что-то вроде:
Код: Выделить всё
IntegersMod4 = IntegersModN(4)
IntegersMod5 = IntegersModN(5)
print(IntegersMod4(1) + IntegersMod5(2)) # desired mypy error
Я знаю, что, вероятно, невозможно статически проверить равенство модов, но я надеялся, что, по крайней мере, существует способ различать каждый класс, созданный IntegersModN. Другими словами, я хотел бы, чтобы каждый вызов IntegersModN создавал новый InternalClass, который позволяет добавлять только два элемента самого себя. В частности, следующий код также должен выдать ошибку mypy:
Код: Выделить всё
IntegersMod5_1 = IntegersModN(5)
IntegersMod5_2 = IntegersModN(5)
print(IntegersMod5_1(1) + IntegersMod5_2(2)) # desired mypy error
Возможно ли это? (Я пытался просто добавить аннотации Self к аргументам в __add__(self, Other), но это, похоже, ничего не дало. Использование Python 3.13.) Кроме того, если это невозможно в Python, какие еще языки программирования есть? это возможно?
Подробнее здесь:
https://stackoverflow.com/questions/792 ... rn-a-class
Мобильная версия