Некоторые уже упоминали, что очень полезно выявлять потенциальные ошибки с ошибочно написанными именами.
Я хотел бы добавить, что это
также показывает , какие методы являются новыми методами, специфичными для вашего класса, а какие наследуются от родительского класса (или интерфейса). Возможно, это звучит немного, но лично я нахожу это очень полезным.
Таким образом, вы всегда должны использовать @Override и настраивать IDE, чтобы помечать ошибку, если вы ее забудете.