Hi,

With the following code:

class Base(object): pass

class Foo(Base):
  def __init__(self):
    super(Foo,self).__init__()
    if False:
      del Foo


I expect that Foo() would give me a Foo instance. Instead, it raises the following exception:

Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "<stdin>", line 3, in __init__
    super(Foo,self).__init__()
UnboundLocalError: local variable 'Foo' referenced before assignment



I first suspected the "del Foo" statement is executed before the function is executed (while parsing or something), because the error tells Foo does not exists.

Howver, the problem is deeper than that: with the following modified code:

class Foo(Base):
  def __init__(self):
    assert 'Foo' in globals()
    assert Foo
    super(Foo,self).__init__()
    if False:
      del Foo

Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "<stdin>", line 4, in __init__
    super(Foo,self).__init__()
UnboundLocalError: local variable 'Foo' referenced before assignment



So: Foo IS in globals(), but cannot be accessed through Foo in the class because of the presence of 'del Foo' in the never reached part of the method.

Sorry, I miscopied the last Traceback. Please find the following:

Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "<stdin>", line 4, in __init__
    assert Foo
UnboundLocalError: local variable 'Foo' referenced before assignment

So while the behaviour is surprising, the language is behaving as designed:  the target of `del` is considered to be a local variable for the entire function definition.  (In much the same way, the targets of simple assignments are considered local, so if you'd assigned to "Foo" in the "if False:" block, you'd see the same error.)

The behaviour is documented here: https://docs.python.org/3.4/reference/executionmodel.html#naming-and-binding

Note particularly these bits:

"If a name is bound in a block, it is a local variable of that block, [...]"

"A target occurring in a del statement is also considered bound for this purpose [...]"

See also this FAQ: https://docs.python.org/3/faq/programming.html#id8

I wonder whether it's worth updating the FAQ to mention that `del` is considered to bind names in this way.

Hi,

Tanks for your clear answer. I find it surprising that "del" bounds the name locally, but with little more thinking, it is not...