Suggestion: Having an @override decorator

[shreydesai]

Is there any interest in providing an @override decorator for base classes that re-implement (override) the functions of abstract classes? It could be potentially helpful in distinguishing between the functions that are inherited vs. functions that are unique to a class.

from abc import ABCMeta, abstractmethod

class A(metaclass=ABCMeta):
    @abstractmethod
    def f(self) -> None: pass

class B(A):
    @override
    def f(self) -> None:
        print('Overridden function')

    def g(self) -> None:
       print('Non-overridden function')

There seem to be rough implementations of such a decorator here - http://stackoverflow.com/questions/1167617/in-python-how-do-i-indicate-im-overriding-a-method.

[refi64]

I think this would be more of a Python library/language rather than something particular to mypy.

[gvanrossum]

Yeah. Please use bugs.python.org or python-dev.

[gvanrossum]

No, python-ideas

[timokau]

For future reference: There is a continuation, unfortunately without conclusion, at https://mail.python.org/pipermail/python-ideas/2016-July/041095.html .

[mkorpela]

Hi,
I would really like this to be also part of mypy typechecking. The implementation that I have https://github.com/mkorpela/overrides is a module load time check but moving this to even earlier pre-execution phase would in my opinion be great!