Bug in New Style Classes

D

David MacQuigg

I have what looks like a bug trying to generate new style classes with
a factory function.

class Animal(object): pass
class Mammal(Animal): pass

def newAnimal(bases=(Animal,), dict={}):
class C(object): pass
C.__bases__ = bases
dict['_count'] = 0
C.__dict__ = dict
return C

Canine = newAnimal((Mammal,))
TypeError: __bases__ assignment: 'Mammal' deallocator differs from
'object'

If I remove the 'object' from the class C(object) statement, then I
get a different, equally puzzling error message:

TypeError: __bases__ items must be classes

The function works only if I remove 'object' from all base classes.

-- Dave

************************************************************* *
* David MacQuigg, PhD * email: dmq at gain.com * *
* IC Design Engineer * phone: USA 520-721-4583 * * *
* Analog Design Methodologies * * *
* * 9320 East Mikelyn Lane * * *
* VRS Consulting, P.C. * Tucson, Arizona 85710 *
************************************************************* *
 
L

Leif K-Brooks

David said:
I have what looks like a bug trying to generate new style classes with
a factory function.

IIRC, you can't assign to __bases__ of a new-style class. But you can
use type() instead of your home-made factory function.
 
M

Michele Simionato

David MacQuigg said:
I have what looks like a bug trying to generate new style classes with
a factory function.

class Animal(object): pass
class Mammal(Animal): pass

def newAnimal(bases=(Animal,), dict={}):
class C(object): pass
C.__bases__ = bases
dict['_count'] = 0
C.__dict__ = dict
return C

Canine = newAnimal((Mammal,))
TypeError: __bases__ assignment: 'Mammal' deallocator differs from
'object'

If I remove the 'object' from the class C(object) statement, then I
get a different, equally puzzling error message:

TypeError: __bases__ items must be classes

The function works only if I remove 'object' from all base classes.

-- Dave

This is not a bug. The developers removed the possibility to change
the bases of a new-style class. Probably because it could not be done
reliably (I don't know). But I am happy my base classes cannot
change under my feet ;)

You can just create a new class with new bases if you wish.


Michele Simionato
 
M

Michael Hudson

David MacQuigg said:
I have what looks like a bug trying to generate new style classes with
a factory function.

class Animal(object): pass
class Mammal(Animal): pass

def newAnimal(bases=(Animal,), dict={}):
class C(object): pass
C.__bases__ = bases
dict['_count'] = 0
C.__dict__ = dict
return C

Canine = newAnimal((Mammal,))
TypeError: __bases__ assignment: 'Mammal' deallocator differs from
'object'

If I remove the 'object' from the class C(object) statement, then I
get a different, equally puzzling error message:

TypeError: __bases__ items must be classes

The function works only if I remove 'object' from all base classes.

-- Dave

This is not a bug. The developers removed the possibility to change
the bases of a new-style class.

Bad news for you: I put it back in for 2.3.

If you read the error message, you'll notice that it's phrased to
suggest that assignment to __bases__ is *sometimes* possible :)

David's assignment probably should work -- there's a bug on sf about
this -- but there are definitely situations where assignment to bases
*shouldn't* be allowed -- e.g. when the so-called 'solid base' changes
-- but noone's put in the thinking time to make this precise in code.
Being over-restrictive seems the better course.

However, newAnimal could be written like this:

def newAnimal(bases=(Animal,), ns=None):
if ns is None:
ns = {}
ns['_count'] = 0
return type('C', bases, ns)

which

a) doesn't use the name of a builtin as a variable
b) doesn't suffer the 'mutable default arguments' problem
c) is rather less insane
d) actually works :) (probably, haven't tested it)

Cheers,
mwh
 
M

Michele Simionato

Michael Hudson said:
Bad news for you: I put it back in for 2.3.

It is back!
If you read the error message, you'll notice that it's phrased to
suggest that assignment to __bases__ is *sometimes* possible :)

David's assignment probably should work -- there's a bug on sf about
this -- but there are definitely situations where assignment to bases
*shouldn't* be allowed -- e.g. when the so-called 'solid base' changes
-- but noone's put in the thinking time to make this precise in code.
Being over-restrictive seems the better course.

Uhm, I can see that in certain cases it may work, both what if a class
has "object" as base and we change it to "type" ? What if we change
the base class from new style to old style? What if we change one of
the base classes with another one which is instance of a different
metaclass? How do you solve the conflicts? What about ExtensionClasses and
replacing normal bases with C-coded ones? I see a recipe for disasters here,
so that's why I thought the developer removed the option of changing the bases.
That would be understable. What I do not understand is why I cannot
change the __name__ of a function, what could possible go wrong with that??


Michele
 
D

David MacQuigg

[email protected] (Michele Simionato) said:
David MacQuigg said:
I have what looks like a bug trying to generate new style classes with
a factory function.

class Animal(object): pass
class Mammal(Animal): pass

def newAnimal(bases=(Animal,), dict={}):
class C(object): pass
C.__bases__ = bases
dict['_count'] = 0
C.__dict__ = dict
return C

Canine = newAnimal((Mammal,))
TypeError: __bases__ assignment: 'Mammal' deallocator differs from
'object'

If I remove the 'object' from the class C(object) statement, then I
get a different, equally puzzling error message:

TypeError: __bases__ items must be classes

The function works only if I remove 'object' from all base classes.

-- Dave

This is not a bug. The developers removed the possibility to change
the bases of a new-style class.

Bad news for you: I put it back in for 2.3.

If you read the error message, you'll notice that it's phrased to
suggest that assignment to __bases__ is *sometimes* possible :)

David's assignment probably should work -- there's a bug on sf about
this -- but there are definitely situations where assignment to bases
*shouldn't* be allowed -- e.g. when the so-called 'solid base' changes
-- but noone's put in the thinking time to make this precise in code.
Being over-restrictive seems the better course.

This may be just a documentation problem then. The error message is
definitely misleading.
However, newAnimal could be written like this:

def newAnimal(bases=(Animal,), ns=None):
if ns is None:
ns = {}
ns['_count'] = 0
return type('C', bases, ns)

which

a) doesn't use the name of a builtin as a variable
b) doesn't suffer the 'mutable default arguments' problem
c) is rather less insane
d) actually works :) (probably, haven't tested it)

It works great. The only thing I would change is the return line,
making that

globals()[name] = type('C', bases, ns)

so we don't have to type the name twice when creating a new class.
I've also added an __init__ function. Using the factory is now very
easy:
1

The main limitation I see in using a factory function like this,
instead of a metaclass, is that I can't customize the new animal as
easily, because I don't have an indented block like in a class
definition. I've got to call the newAnimal function, then add a bunch
of attributes one at a time, with fully-qualified names.

Dog.temperature = 102
Dog.pulse = 82
Dog.respiration = 36

If I'm adding methods, it gets even messier, because I've got to
define functions at the module level, then assign them to attributes
of Dog, then maybe delete all the excess names from the module
namespace.

I have one last question. In reviewing all the ways to solve the
problem of creating specialized classes, I see there is a function
new.classobj(name, bases, dict) which appears to do the same thing as
type(name, bases, dict). What is the purpose of classobj()? The name
is a little more self-explanatory than 'type', but using it requires a
module import.

- Dave
 
M

Michael Hudson

It is back!


Uhm, I can see that in certain cases it may work, both what if a
class has "object" as base and we change it to "type" ? What if we
change the base class from new style to old style? What if we change
one of the base classes with another one which is instance of a
different metaclass? How do you solve the conflicts? What about
ExtensionClasses and replacing normal bases with C-coded ones?

You get an exception. Obviously. Did you actually read what I said?
I see a recipe for disasters here, so that's why I thought the
developer removed the option of changing the bases. That would be
understable. What I do not understand is why I cannot change the
__name__ of a function, what could possible go wrong with that??

Beats me too! Maybe it's because you haven't written a patch yet :)

Cheers,
mwh
 
M

Michael Hudson

David MacQuigg said:
[email protected] (Michele Simionato) said:
I have what looks like a bug trying to generate new style classes with
a factory function.

class Animal(object): pass
class Mammal(Animal): pass

def newAnimal(bases=(Animal,), dict={}):
class C(object): pass
C.__bases__ = bases
dict['_count'] = 0
C.__dict__ = dict
return C

Canine = newAnimal((Mammal,))
TypeError: __bases__ assignment: 'Mammal' deallocator differs from
'object'

If I remove the 'object' from the class C(object) statement, then I
get a different, equally puzzling error message:

TypeError: __bases__ items must be classes

The function works only if I remove 'object' from all base classes.

-- Dave

This is not a bug. The developers removed the possibility to change
the bases of a new-style class.

Bad news for you: I put it back in for 2.3.

If you read the error message, you'll notice that it's phrased to
suggest that assignment to __bases__ is *sometimes* possible :)

David's assignment probably should work -- there's a bug on sf about
this -- but there are definitely situations where assignment to bases
*shouldn't* be allowed -- e.g. when the so-called 'solid base' changes
-- but noone's put in the thinking time to make this precise in code.
Being over-restrictive seems the better course.

This may be just a documentation problem then. The error message is
definitely misleading.

Well, possibly. It's generally assumed that you know what you're
doing if you want to muck with things on this level.

Clarifying patches welcome :)
However, newAnimal could be written like this:

def newAnimal(bases=(Animal,), ns=None):
if ns is None:
ns = {}
ns['_count'] = 0
return type('C', bases, ns)

which

a) doesn't use the name of a builtin as a variable
b) doesn't suffer the 'mutable default arguments' problem
c) is rather less insane
d) actually works :) (probably, haven't tested it)

It works great. The only thing I would change is the return line,
making that

globals()[name] = type('C', bases, ns)
Ugh!

so we don't have to type the name twice when creating a new class.
I've also added an __init__ function. Using the factory is now very
easy:
1

The main limitation I see in using a factory function like this,
instead of a metaclass,
^^^^^^^^^^^^^^^^^^^^^^
What a what? I _really_ don't think you mean metaclass here.
is that I can't customize the new animal as easily, because I don't
have an indented block like in a class definition. I've got to call
the newAnimal function, then add a bunch of attributes one at a
time, with fully-qualified names.

Dog.temperature = 102
Dog.pulse = 82
Dog.respiration = 36

Well, there are ways around that, too, eg:

def newAnimal(bases=(Animal,), **kw):
kw['_count'] = 0
return type('C', bases, kw)

Dog = newAnimal('Dog', (Mammal,), temperature=102, respiration=36)
If I'm adding methods, it gets even messier, because I've got to
define functions at the module level, then assign them to attributes
of Dog, then maybe delete all the excess names from the module
namespace.

Well, not necessarily. Use the third parameter to the call to type().
I have one last question. In reviewing all the ways to solve the
problem of creating specialized classes, I see there is a function
new.classobj(name, bases, dict) which appears to do the same thing as
type(name, bases, dict).

new.classobj() is a holdover from the days of old-style classes,
though I see it creates new-style classes if passed new-style bases...
What is the purpose of classobj()? The name is a little more
self-explanatory than 'type', but using it requires a module import.

Historical cruft, more-or-less.

Cheers,
mwh
 
M

Michele Simionato

David MacQuigg said:
[email protected] (Michele Simionato) said:
I have what looks like a bug trying to generate new style classes with
a factory function.

class Animal(object): pass
class Mammal(Animal): pass

def newAnimal(bases=(Animal,), dict={}):
class C(object): pass
C.__bases__ = bases
dict['_count'] = 0
C.__dict__ = dict
return C

Canine = newAnimal((Mammal,))
TypeError: __bases__ assignment: 'Mammal' deallocator differs from
'object'

If I remove the 'object' from the class C(object) statement, then I
get a different, equally puzzling error message:

TypeError: __bases__ items must be classes

The function works only if I remove 'object' from all base classes.

-- Dave

This is not a bug. The developers removed the possibility to change
the bases of a new-style class.

Bad news for you: I put it back in for 2.3.

If you read the error message, you'll notice that it's phrased to
suggest that assignment to __bases__ is *sometimes* possible :)

David's assignment probably should work -- there's a bug on sf about
this -- but there are definitely situations where assignment to bases
*shouldn't* be allowed -- e.g. when the so-called 'solid base' changes
-- but noone's put in the thinking time to make this precise in code.
Being over-restrictive seems the better course.

This may be just a documentation problem then. The error message is
definitely misleading.
However, newAnimal could be written like this:

def newAnimal(bases=(Animal,), ns=None):
if ns is None:
ns = {}
ns['_count'] = 0
return type('C', bases, ns)

which

a) doesn't use the name of a builtin as a variable
b) doesn't suffer the 'mutable default arguments' problem
c) is rather less insane
d) actually works :) (probably, haven't tested it)

It works great. The only thing I would change is the return line,
making that

globals()[name] = type('C', bases, ns)

so we don't have to type the name twice when creating a new class.
I've also added an __init__ function. Using the factory is now very
easy:
1

The main limitation I see in using a factory function like this,
instead of a metaclass, is that I can't customize the new animal as
easily, because I don't have an indented block like in a class
definition. I've got to call the newAnimal function, then add a bunch
of attributes one at a time, with fully-qualified names.

Dog.temperature = 102
Dog.pulse = 82
Dog.respiration = 36

If I'm adding methods, it gets even messier, because I've got to
define functions at the module level, then assign them to attributes
of Dog, then maybe delete all the excess names from the module
namespace.

I have one last question. In reviewing all the ways to solve the
problem of creating specialized classes, I see there is a function
new.classobj(name, bases, dict) which appears to do the same thing as
type(name, bases, dict). What is the purpose of classobj()? The name
is a little more self-explanatory than 'type', but using it requires a
module import.

- Dave

I heard somebody saying that the module 'new' will be deprecated
at some moment. new.classobj returns old-style classes:
<type 'classobj'>

whereas type returns new style ones. You can create oldstyle classes
even without recurring to new.classobj.


Michele Simionato
 
M

Michele Simionato

Michael Hudson said:
You get an exception. Obviously. Did you actually read what I said?

Actually that paragraph was not aimed to you. It was just to
clarify to the OP why there could be issues when changing __bases__.
What could be addressed to you is the question "why make your life
so difficult and force yourself to think to all possible things that
can go wrong when you could just make __bases__ read-only and be done
with it?" ;)
Beats me too! Maybe it's because you haven't written a patch yet :)

Cheers,
mwh

Touche' ;)
 
A

Alexander Schmolck

Michael Hudson said:
Beats me too! Maybe it's because you haven't written a patch yet :)

I seem to recall that it was possible but Guido removed it at some point
because he felt it was not needed (I've occasionally found this restriction to
be a minor annoyance).

'as
 
D

David MacQuigg

David MacQuigg said:
(e-mail address removed) (Michele Simionato) writes:

I have what looks like a bug trying to generate new style classes with
a factory function.

class Animal(object): pass
class Mammal(Animal): pass

def newAnimal(bases=(Animal,), dict={}):
class C(object): pass
C.__bases__ = bases
dict['_count'] = 0
C.__dict__ = dict
return C

Canine = newAnimal((Mammal,))
TypeError: __bases__ assignment: 'Mammal' deallocator differs from
'object'

If I remove the 'object' from the class C(object) statement, then I
get a different, equally puzzling error message:

TypeError: __bases__ items must be classes

The function works only if I remove 'object' from all base classes.

-- Dave

This is not a bug. The developers removed the possibility to change
the bases of a new-style class.

Bad news for you: I put it back in for 2.3.

If you read the error message, you'll notice that it's phrased to
suggest that assignment to __bases__ is *sometimes* possible :)

David's assignment probably should work -- there's a bug on sf about
this -- but there are definitely situations where assignment to bases
*shouldn't* be allowed -- e.g. when the so-called 'solid base' changes
-- but noone's put in the thinking time to make this precise in code.
Being over-restrictive seems the better course.

This may be just a documentation problem then. The error message is
definitely misleading.

Well, possibly. It's generally assumed that you know what you're
doing if you want to muck with things on this level.

I have no desire to muck with things. The main challenge I face in
teaching Python to non-CIS engineering students, is separating the
useful, simple stuff from the unecessary complexities. Originally, I
had just a simple hierarchy of Animal classes, with each __init__
calling its parent, and a variable _count in each class to keep track
of the total number of instances. This was criticised on another
thread for being not "robust" and a terrible example to show students.

The alternatives offered included factory functions, metaclasses, weak
references, and other complexities, all of which I felt would distract
from the basic presentation, but did have some value in solving
particular problems. So I included them in the Advanced Topics
section. The example above is attempt to generate a class that
automatically includes some attributes like _count, and thus make the
creation of new animal classes more "robust".

The "mucking" is a result of trying to solve a simple problem using
what we already know (__bases__, __dict__, etc.), and avoiding the
introduction of metaclasses. The resulting error messages are
confusing, and in many cases incorrect.
TypeError: __bases__ assignment: 'Animal' deallocator differs from
'object'TypeError: Cannot create a consistent method resolution
order (MRO) for bases object, AnimalTypeError: __bases__ assignment: 'Animal' deallocator differs from
'object'TypeError: can only assign tuple to C.__bases__, not type
Clarifying patches welcome :)

I can't even begin to figure out the complexities of what leads to
these strange messagea, but I can provide some test cases like the
above. My general recommedation would be, if you are unsure that the
error message will be understood, provide a more general message and a
unique error number. Something like:

TypeError: Illegal __bases__ assignment: Err#32175

Then the user can either try something different, or search the docs
and comp.lang.python for something very specific. He won't waste time
when the message says "items must be classes" and they already are
classes.
However, newAnimal could be written like this:

def newAnimal(bases=(Animal,), ns=None):
if ns is None:
ns = {}
ns['_count'] = 0
return type('C', bases, ns)

which

a) doesn't use the name of a builtin as a variable
b) doesn't suffer the 'mutable default arguments' problem
c) is rather less insane
d) actually works :) (probably, haven't tested it)

It works great. The only thing I would change is the return line,
making that

globals()[name] = type(name, bases, nsdict)

Ugh!

Is there a better way to avoid spelling out the classname twice. I
worry about subtle errors that could result from simple typos like

BoaConstrictor = newAnimal('BoaConstritcor', bases, nsdict)
^^^^^^^^^^^^^^^^^^^^^^
What a what? I _really_ don't think you mean metaclass here.

Yes, I do mean metaclasses, and this is one of the few applications I
have found that make sense for non-experts. I've been back-and-forth
a couple of times on the question whether to include metaclasses in my
OOP chapter. Most experts say no. Alex Martelli seems to think this
is an over-reaction. His example in Nutshell is the best I've seen,
however, I just modified it to move his metaclass methods, __init__
and __repr__ to the parent class, MetaBunch, and it runs just fine
using normal inheritance rather than metaclassing. It also seems to
be more efficient in memory usage, although I can't verify that. I'm
just assuming that you get one copy of a method when you use
inheritance, and multiple copies when you put the method in a
metaclass.
is that I can't customize the new animal as easily, because I don't
have an indented block like in a class definition. I've got to call
the newAnimal function, then add a bunch of attributes one at a
time, with fully-qualified names.

Dog.temperature = 102
Dog.pulse = 82
Dog.respiration = 36

Well, there are ways around that, too, eg:

def newAnimal(bases=(Animal,), **kw):
kw['_count'] = 0
return type('C', bases, kw)

Dog = newAnimal('Dog', (Mammal,), temperature=102, respiration=36)
If I'm adding methods, it gets even messier, because I've got to
define functions at the module level, then assign them to attributes
of Dog, then maybe delete all the excess names from the module
namespace.

Well, not necessarily. Use the third parameter to the call to type().

I don't see how this avoids the need to define a temporary function at
the module level:

def bmr(t,p,r):
... some complex function of temperature, pulse, and respiration

BoaConstrictor =
newAnimal('BoaConstrictor',(Reptile,),temperature=102, pulse=82,
repsiration=36, bmr=bmr)
del bmr

Compare this mess to:

class BoaConstrictor(Reptile):
temperature = 102
pulse = 82
respiration = 36
def bmr(t,p,r):
...

Reptile inherits from Animal, which has a metaclass providing all the
common class variables, like _count. All the data and methods unique
to BoaConstrictor are in a normal class definition, not cluttering the
module namespace.
new.classobj() is a holdover from the days of old-style classes,
though I see it creates new-style classes if passed new-style bases...


Historical cruft, more-or-less.

Then we need a note saying this in section 3.27 of the Library
Reference. Otherwise new code will continue to use these functions
instead of type().

-- Dave
 

Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments. After that, you can post your question and our members will help you out.

Ask a Question

Members online

Forum statistics

Threads
473,769
Messages
2,569,578
Members
45,052
Latest member
LucyCarper

Latest Threads

Top