Subscripted generic classes should not have independent class variables

[ilevkivskyi]

Currently we have

class A(Generic[T]):
 x = None

A[int].x = 1
A[str].x = 'a'

print(A[int].x) # prints 1
print(A[int]().x) # prints None, since type is erased on instantiation

@JukkaL argues and I agree with him, that this looks wrong. Conceptually, there should be only one runtime class. I think we can implement this without loosing the current runtime generic information by tweaking descriptor __dict__ of GenericMeta, so that all assignments and look-ups on subscripted class objects like A[int] will be transferred to the original class object A.

@gvanrossum What do you think?

[ilevkivskyi]

It turns out that there is even a simpler way, just use __setattr__.

[gvanrossum]

Yes.

…

--Guido (mobile)

On Feb 22, 2017 06:10, "Ivan Levkivskyi" ***@***.***> wrote: It turns out that there is even a simpler way, just use __setattr__. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#392 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ACwrMvHC785VzkjebjOmA0h68D2kaMklks5rfF37gaJpZM4MIrvX> .

[orenbenkiki]

I just posted the following in the python mailing list, and got a response pointing to this issue, which seems relevant.

TL;DR: trying to implement the type erasure by making all the "specialized" classes share the same dictionary is sometimes the wrong thing to do; also, it is only partially implemented in 3.6.1, and this causes code like cls.foo = True; assert cls.foo to break (inside meta classes) - something which is even worse IMVHO than the example given by @ilevkivskyi above.

My mailing list post (edited now that I know somewhat more) was:

TL;DR: We need improved documentation of the way meta-classes behave for generic classes, and possibly reconsider the way __setattr__ and __getattribute__ behave for such classes.

I am using meta-programming pretty heavily in one of my projects.
It took me a while to figure out the dance between meta-classes and generic classes in Python 3.6.0.

I couldn't find good documentation for any of this (if anyone has a good link, please share...), but with a liberal use of print I managed to reverse engineer how this works. The behavior isn't intuitive but I can understand the motivation (basically, "type annotations shall not change the behavior of the program").

For the uninitiated:

• It turns out that there are two kinds of instances of generic classes: the unspecialized class (basically ignoring type parameters), and "specialized" classes (created when you write Foo[Bar], which know the type parameters, Bar in this case).

• This means the meta-class __new__ method is called sometimes to create the unspecialized class, and sometimes to create a specialized one - in the latter case, it is called with different arguments...

• No object is actually an instance of the specialized class; that is, the __class__ of an instance of Foo[Bar] is actually the unspecialized Foo (which means you can't get the type parameters by looking at an instance of a generic class).

So far, so good, sort of. I implemented my meta-classes to detect whether they are creating a "specialized" or "unspecialized" class and behave accordingly.

However, these meta-classes stopped working when switching to Python 3.6.1. The reason is that in Python 3.6.1, a __setattr__ implementation was added to GenericMeta, which redirects the setting of an attribute of a specialized class instance to set the attribute of the unspecialized class instance instead.

This causes code such as the following (inside the meta-class) to behave in a mighty confusing way:

 if is-not-specialized:
 cls._my_attribute = False
 else: # Is specialized:
 cls._my_attribute = True
 assert cls._my_attribute # Fails!

As you can imagine, this caused us some wailing and gnashing of teeth, until we figured out (1) that this was the problem and (2) why it was happening.

Looking into the source code in typing.py, I see that I am not the only one who had this problem. Specifically, the implementers of the abc module had the exact same problem. Their solution was simple: the GenericMeta.__setattr__ code explicitly tests whether the attribute name starts with _abc_, in which case it maintains the old behavior.

Obviously, I should not patch the standard library typing.py to preserve _my_attribute. My current workaround is to derive from GenericMeta, define my own __setattr__, which preserves the old behavior for _my_attribute, and use that instead of the standard GenericMeta everywhere.

My code now works in both 3.6.0 and 3.6.1. However, I think the following points are worth fixing and/or discussion:

• This is a breaking change, but it isn't listed in https://www.python.org/downloads/release/python-361/ - it should probably be listed there.

Edit: Ok, I understand the API is officially unstable. It would have been nice to see a line saying "changes in the unstable typing API".

• In general it would be good to have some documentation on the way that meta-classes and generic classes interact with each other, as part of the standard library documentation (apologies if it is there and I missed it... link?)

Edit: Ok, I understand this is under active discussion. This post is my $0.02.

• I'm not convinced the new behavior is a better default. I don't recall seeing a discussion about making this change, possibly I missed it (link?)

Edit: I understand the concept of "type erasure" when dealing with an instance - I'm not arguing against this type erasure. However, I think that as long as we do have both "specialized" and "unspecialized" instances of the same generic class, trying to pretend we don't has unforeseen undesirable consequences, especially when considering code inside meta-classes for generic classes. Perhaps we shouldn't try to pretend there is only one runtime class after all... Specifically:

• There is a legitimate need for the old behavior (normal per-instance attributes). For example, it is needed by the "abc" module (as well as my project). So, some mechanism should be recommended (in the documentation) for people who need the old behavior.

Edit: This is independent of the previous point. That is, even if we make the default behavior to be "as if" there is a single runtime class, there are legitimate reasons to want to have un-erased attributes, so some mechanism should be provided (and, eventually, documented).

• Separating between "really per instance" attributes and "forwarded to the unspecialized instance" attributes based on their prefix seems to violate "explicit is better than implicit". For example, it would have been explicit to say cls.__unspecialized__.attribute (other explicit mechanisms are possible).

Edit: Alternatively, cls.__specialized__.attribute, if the default goes the other way.

• Perhaps the whole notion of specialized vs. unspecialized class instances needs to be made more explicit in the GenericMeta API...

Edit: This again goes to the API being unstable. I assume it would be made more explicit when the API stabilizes.

• Finally and IMVHO most importantly, it is very confusing to override __setattr__ and not override __getattribute__ to match. This gives rise to code like cls._foo = True; assert cls._foo failing. This feels wrong.... And presumably fixing the implementation so that __getattribute__ forwards the same set of attributes to the "unspecialized" instance wouldn't break any code... Other than code that already broken due to the new functionality, that is.

Edit: This is the core issue, IMVHO - __setattr__ and __getattribute__ should be consistent, whatever the behavior is. Right now (in 3.6.1) they aren't.

[ilevkivskyi]

@orenbenkiki
I have read the whole post twice and still don't understand anything. Could you please just provide a self-consistent snippet of code that behaves wrong in your opinion? Also please provide a more detailed description of how it is wrong (simple # Fails! is not enough).

Specifically, the implementers of the abc module had the exact same problem. Their solution was simple: the GenericMeta.__setattr__ code explicitly tests whether the attribute name starts with _abc_, in which case it maintains the old behavior.

FWIW I put this code there, and I am not an "implementer of the abc module". This code is there just to not interfere with ABC infrastructure and other internal mechanisms (all generics are also ABCs).

[orenbenkiki]

"Not interfere with the ABC infrastructure and other internal mechanisms" is sort of my problem, except in this case it is "interfere with my project's infrastructure and other external mechanisms" :-) Special-casing ABC is understood as it is part of the standard library. The thing is, meta-classes in external libraries (such as mine) have the same requirements, and they don't have the advantage of being able to inject this workaround into GenericMeta.

Here is a minimal piece of code:

from typing import GenericMeta, Generic, TypeVar

T = TypeVar('T')

class M(GenericMeta):
 def __new__(*args, **kwargs):
 cls = GenericMeta.__new__(*args, **kwargs)
 print(id(cls), list(kwargs.keys()))
 cls.foo = len(kwargs)
 print(id(cls), cls.foo)
 assert(cls.foo == len(kwargs))
 return cls

class G(Generic[T], metaclass=M):
 pass

print(G.foo)
print(G[int].foo)

I only have Python 3.6.0 on my laptop here, so this works fine and prints:

60320576 []
60320576 0
0
60321048 ['tvars', 'args', 'origin', 'extra', 'orig_bases']
60321048 5
5

If you run the same program with Python 3.6.1, the assert will raise AssertionError(...) and abort the program.

That is, if you write cls.foo = 7 and the next line is print(cls.foo) it will not print 7.
I find this to be... let's go with "surprising" :-)

[ilevkivskyi]

This is not the problem with the concept of "relaying" attributes to the erased class, but a bug in the implementation: we don't have a custom __getattribute__ and just rely on the fact that C is in C[int].__mro__. But, we also copy __dict__ on subscription, which is a logical flaw. There are two possible ways to fix this:

• Don't copy the whole dictionary, but only a required minimum (a la _no_slots_copy that we have now). I don't like this TBH, since this might be fragile.
• Just add __getattribute__ that mirrors __setattr__. I did this and it works fine with your example (produces same output as in Python 3.6.0).

Both options will lead to some performance penalty, but I expect it to be pretty minor.

There is also an issue about documenting GenericMeta (assigned to me), but I think there might be some changes to improve speed as discussed in another issue here.

[orenbenkiki]

Thanks, fixing __getattribute__ was the core issue, as I said.

I take it that the recommended way to have attributes which are not shared, is to override __setattr__ and __getattribute__ (like was done for the ABC attributes), as opposed to, say, providing a standard __unshared__ dictionary attribute (or something like that)?

[orenbenkiki]

BTW, not arguing with the "relaying attributes" decision, but it is worth noting it isn't compatible with 3.6.0. Specifically, if the code sample said:

from typing import GenericMeta, Generic, TypeVar

T = TypeVar('T')

class M(GenericMeta):
 def __new__(*args, **kwargs):
 cls = GenericMeta.__new__(*args, **kwargs)
 print(id(cls), list(kwargs.keys()))
 cls.foo = len(kwargs)
 print(id(cls), cls.foo)
 assert(cls.foo == len(kwargs))
 return cls

class G(Generic[T], metaclass=M):
 pass

print(G.foo)
print(G[int].foo)
print(G.foo, '<- Added, different')

Then in 3.6.0 it would print:

60320576 []
60320576 0
0
60321048 ['tvars', 'args', 'origin', 'extra', 'orig_bases']
60321048 5
5
0 <- Added, different

While in the fixed 3.6.1 it will presumably print:

60320576 []
60320576 0
0
60321048 ['tvars', 'args', 'origin', 'extra', 'orig_bases']
60321048 5
5
5 <- Added, different

Again, I can see why you'd want to do that, just noting that it is incompatible with 3.6.0.

[gvanrossum]

Please stop bringing up the incompatibilities between versions. You are now aware that this package is in the stdlib provisionally and you just need to accept that, or wait until it's stabilized (in 3.7 the status will probably not be provisional). Other than that, your bug report is valuable.

[ilevkivskyi]

Note that this was essentially fixed by PEP 560. The only remaining part is to be more "selective" with dunder attributes. Namely we can still relay some dunders if they don't have any particular meaning in Python, so that C[int].__random_name__ will actually return C.__random_name__.