Почему нет @override decorator в Python, чтобы обеспечить читаемость кода?

Вы смешиваете декодеры Python с аннотациями Java. Несмотря на аналогичный синтаксис, это совершенно разные вещи. Аннотирование Java – это инструкция для компилятора. Но декоратор Python – это исполняемый код, который делает что-то конкретное: он переносит функцию в другую функцию, которая может изменить то, что она делает. Это касается абстрактного метода так же, как и любой другой декоратор; он что-то делает , а именно говорит ABC, что есть метод, который требует переопределения.

Проблема с попыткой добавить @override заключается в том, что при определении времени метода декоратор не может сказать, действительно ли метод переопределяет другой метод. Он не имеет доступа к родительским классам (или к текущему классу, который еще не существует!).

Если вы хотите добавить @override , декоратор @override не сможет выполнить проверку переопределения. У вас есть два варианта. Либо нет проверки переопределения, и в этом случае @override не лучше комментария, или конструктор type должен специально знать о @override и проверять его на время создания класса. Удобная функция, такая как @override действительно не должна усложнять основные части реализации системы типов. Кроме того, если вы случайно положили @override на не-метод, ошибка будет не обнаружена, пока вы не попытаетесь вызвать украшенную функцию и получить странный TypeError.