[Python-3000] super(), class decorators, and PEP 3115 (original) (raw)

Phillip J. Eby pje at telecommunity.com
Tue May 1 01:50:09 CEST 2007

At 03:54 PM 4/30/2007 -0700, Guido van Rossum wrote:

On 4/30/07, Phillip J. Eby <pje at telecommunity.com> wrote:

At 12:17 PM 4/30/2007 -0700, Guido van Rossum wrote: >Assuming class decorators are added, can't you do all of this using a >custom metaclass?

The only thing I need for the GF PEP is a way for a method decorator to get a callback after the class is created, so that overloading will work correctly in cases where overloaded methods are defined in a subclass. I still don't understand why you can't tell the users "for this to work, you must use my special magic super-duper metaclass defined here". Surely a sufficiently advanced metaclass can pull of this kind of magic in its init method? If not a metaclass, then a super-duper decorator. Or what am I missing?

Metaclasses don't mix well. If the user already has a metaclass, they'll have to create a custom subclass, since Python doesn't do auto-combination of metaclasses (per the "Putting Metaclasses to Work" book). This makes things messy, especially if the user doesn't know they're using a metaclass already (e.g., they got one by inheritance).

For the specific use case I'm concerned about, it's like "super()" in that a function defined inside a class body needs to know what class it's in. (Actually, it's the decorator that needs to know, and it ideally needs to know as soon as the class is defined, rather than waiting until a call occurs later.)

As with "super()", this really has nothing to do with the class. It would make about as much sense as having a metaclass or class decorator called SuperUser; i.e., it would work, but it's just overhead for the user.

So, if there ends up being a general way to access that "containing class" from a function decorator, or at least to get a callback once the class is defined, that's all I need for this use case that can't reasonably be handled by a normal metaclass.

Note, too, that the such a hook would also allow you to make classes into ABCs through the presence of an @abstractmethod, without also having to inherit from Abstract or set an explicit metaclass. (Unless of course you prefer to have the abstractness called out up-front... but then that explicitness goes out the window as soon as you e.g. sublcass Sequence from Iterable.)

But I don't understand how a metaclass hack can use a class decorator.

The metaclass hack is used in Python 2.x to dynamically add class decorators while the class suite is being executed, that will be called after the class is created. A function decorator (think of your @abstractmethod, for example) would monkeypatch the metaclass so it gets a crack at class after it's created, without the user having to explicitly set up the metaclass (or merge any inherited metaclasses).

More information about the Python-3000 mailing list