Python的运行时错误称作异常

• 语法错误：软件结构上有错误而导致不能被解释器解释或不能被编译器编译

• 逻辑错误：由于不完整或不合法的输入所致，也可能是逻辑无法生成、计算或者输出结果需要的过程无法执行等

python异常是一个对象，表示错误或意外情况；

Python检测到一个错误时，将触发一个异常

• python可以通过异常传到机制传递一个异常对象，发出一个异常情况出现的信号

• 程序员也可以在代码中手动触发异常

Python异常也可以理解为：程序出现了错误而在正常控制流之外采取的行为

• 第一阶段：触发器触发异常，此时当前程序流将被打断

• 第二阶段：异常处理，如忽略非致命错误，减轻错误带来的影响等

异常的功用

• 错误处理：

* Python的默认处理：停止程序，打印错误消息
* 使用try语句处理异常并从异常中回复

• 事件通知：用于发出有效状态信号
• 特殊情况处理：无法调整代码区处理的场景
• 终止行为：try/finally语句可确保执行必需的结束处理机制
• 非常规控制流程：异常是一种高级跳转（goto）机制

检测和处理异常

• 异常通过try语句来检测：任何在try语句块里的代码都会被监测

• try语句的两种形式：
  • try-except：检测和处理异常
    • 可以有多个except；
    • 支持使用else子句处理没有探测异常的执行的代码
  • try-finally：进检查异常并作一些必要的清理工作
    • 仅能有一个finally
• try的复合形式：
  • try - except - finally

try - except 语句

解释器尝试执行 try 块里的所有代码, 如果代码块完成后没有异常发生, 执行流就会忽略 except 语句继续执行. 而当 except 语句所指定的异常发生后, 我们保存了错误的原因, 控制流立即跳转到对应的处理器( try 子句的剩余语句将被忽略),

#伪码
try:
    try_suite          #监控这里的异常
except Exception[, reason]:
    except_suite       #异常处理代码

try:
    f1 = open('test.txt', 'r')
except IOError, e:
    print 'Could not open file: ', e

>>> Could not open file:  [Errno 2] No such file or directory: 'test.txt'

try - except - else语句

• except可以有多个，但是else只能有一个

• 没有异常发生时，else分句才会执行

• 没有符合的except分句时，异常会向上传递到程序中的之前进入的try中或者到进程的顶层

  伪码

  try:
  try_suite
  except Exception1[, reason]
  suite_exception1

  一次捕获多个异常时要定义为元组

  except (Exception2, Exception3,.....)[, reason]:
  suite...
  ....

  空except语句可以捕获一切异常

  except:
  suite_
  else:
  else_suite

try-finally

• 无论异常是否发生，finally子句都会执行

• finally中所有代码执行完毕后继续向上一层引发异常
  （常用于定义必需进行的清理动作，如关闭文件或断开服务器连接等）

  伪码

  try:
  try_suite
  finally:
  finally_suite

try语句总结

try-except-else-finally语句

try: 
    try_suite  
except Exception1: 
    suite_for_Exception1 
except (Exception2, Exception3, Exception4): 
    suite_for_Exceptions_2_3_and_4 
except Exception5, Argument5: 
    suite_for_Exception5_plus_argument 
except (Exception6, Exception7), Argument67: 
    suite_for_Exceptions6_and_7_plus_argument 
except: 
    suite_for_all_other_exceptions 
else: 
    no_exceptions_detected_suite 
finally: 
    always_execute_suite 

自定义异常

• raise语句可显示触发异常。

• raise[SomeException[, args [, traceback]]]

  • SomeException：可选，异常的名字，仅能用字符串、类或实例；

  • args：可选，以元组的形式传递给异常的参数；

  • traceback：可选，异常触发时新生成的一个用于异常-正常化的跟踪记录，多用于重新引发异常时；

    def cross(seq1, seq2):
    if not seq1 or not seq2:
    raise ValueError, 'Sequence must be non-empty.'
    return [(x1, x2) for x1 in seq1 for x2 in seq2]

Assert 断言

• 断言可以简简单单的想象为 raise-if 语句(更准确的说是raise-if-not 语句)。

• 断言测试一个表达式，如果表达式为真不采取任何措施，如果表达式为假，触发AssertionError(断言错误)的异常。assert 的语法如下:

  • assert expression[, arguments]

    assert 1 == 0, 'something wrong'

    AssertionError: something wrong