This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

classification
Title: Exception alias cause destruction of existing variable
Type: behavior Stage: resolved
Components: Interpreter Core Versions: Python 3.4
process
Status: closed Resolution: wont fix
Dependencies: Superseder:
Assigned To: Nosy List: brett.cannon, ethan.furman, japokorn, zach.ware
Priority: normal Keywords:

Created on 2016-01-21 15:48 by japokorn, last changed 2022-04-11 14:58 by admin. This issue is now closed.

Files
File name Uploaded Description Edit
schrodinger.py japokorn, 2016-01-21 15:48
Messages (3)
msg258757 - (view) Author: Jan Pokorny (japokorn) Date: 2016-01-21 15:48
Encountered a weird behavior when working with variable with the same name as exception's alias.

Observed behavior:

- In case variable with the same name (e.g. 'e') already exists when any 'except Error as e' block is executed, the 'e' variable is removed after exception handling finishes (NameError: name 'e' is not defined)

- Happens only in Python 3
- Code reproducing the issue included

Expected behavior:

- Variable is kept in its pre-exception state

Proposed solution:

- Store colliding variable into temporary variable, restore it afterwards
msg258764 - (view) Author: Zachary Ware (zach.ware) * (Python committer) Date: 2016-01-21 17:42
I don't believe this is a bug.

1) try/except does not introduce a new scope
2) 'except E as N' is just name assignment
3) except clauses are documented to always delete the exception alias at the end of the except block[0].  The example in the docs could be clarified to show that

   except E as N:
       foo

is really more like

   except E:
       N = sys.exc_info()[1]
       try:
           foo
       finally:
           del N

Note that 'as' assignment with the 'with' statement also overrides a local variable of the same name.  The simplest way to avoid this issue is to use a different name for the exception alias.


[0] https://docs.python.org/3/reference/compound_stmts.html#the-try-statement
msg258765 - (view) Author: Brett Cannon (brett.cannon) * (Python committer) Date: 2016-01-21 17:50
So the exception is explicitly deleted when the `except` block is exited to prevent leaking memory from the traceback attached to the exception. Hence there's an implicit `del e` at the end of the `except` block which is what you're running up against.

But I'm closing this as 'wont fix' because making this edge case work would be real troublesome and destroy performance whenever you bound the caught exception. Basically you would have to do the equivalent of:

e = 42
try:
  1/0
except ZeroDivisionError as _hidden_e:
  _overridden = False
  try:
    _old_e = e
    _overridden = True
  except NameError:
    pass
  e = _hidden_e
  # `except` block ...
  del e, _hidden_e
  if _hidden_flag:
    e = _old_e

That's a lot of code to run on every `except` clause that just happens to shadow a previously existing variable name. Because we try and not make exceptions too expensive in order to make them usable for occasional control flow, I don't think we can afford to add all of this for this edge case.
History
Date User Action Args
2022-04-11 14:58:26adminsetgithub: 70362
2016-01-21 17:50:08brett.cannonsetstatus: open -> closed

nosy: + brett.cannon
messages: + msg258765

resolution: wont fix
stage: resolved
2016-01-21 17:42:00zach.waresetnosy: + zach.ware
messages: + msg258764
2016-01-21 15:55:02ethan.furmansetnosy: + ethan.furman
2016-01-21 15:48:20japokorncreate