防伪码:忘情公子著



  python运行时产生的错误称作异常。

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

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

In [1]: f1 = open('/tmp/a.txt')
---------------------------------------------------------------------------
IOError                                   Traceback (most recent call last)
 in ()
----> 1 f1 = open('/tmp/a.txt')

IOError: [Errno 2] No such file or directory: '/tmp/a.txt'

  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:
捕捉所有(其他)异常类型
except name:
只捕捉特定的异常
except name, value:
捕捉所列的异常和其额外的数据(或实例)
except (name1,name2):
捕捉任何列出的异常
except (name1,name2), value:
捕捉任何列出的异常,并取得其额外数据
else:
如果没有引发异常就运行else语句
finally:
不论是否有异常此语句都会运行
try-except语句:
定义了进行异常监控的一段代码,并且提供了处理异常的机制

   语法如下:

try:
    try_suite
except Exception[, reason]:
    except_suite

    示例:

In [2]: try:
   ...:     f1 = open('/tmp/a.txt','r')
   ...: except IOError, e:
   ...:     print 'Cound not open file: ', e
   ...: 
Cound not open file:  [Errno 2] No such file or directory: '/tmp/a.txt'

  try-except-else语句:try语句可以带多个except子句,还可以有一个可选的else子句

    语法如下:

try:
    try_suite
except Exception1[, reason]:
    suite_exception1
except (Exception2,Exception3,...)[, reason]:    #一次捕获多个异常时要定义为元组
    suite
except:    #空except语句用于捕获一切异常
    suite
else:
    else_suite

   except分句个数没有限制,但else只能有一个。

    没有异常发生时,else分句才会执行。

    没有符合的except分句时,异常会向上传递到程序中的之前进入的try中或者到进程的顶层(解释器)。

  try-finally语句:无论异常是否发生,finally子句都会执行

    常用于定义必需进行的清理动作,如关闭文件或断开服务器连接等。

    finally中的所有代码执行完毕后会继续向上一层引发异常。

    语法如下:

try:
    try_suite
finally:
    finally_suite

    示例:

In [6]: try:
   ...:     f = open('/tmp/a.txt','r')
   ...:     f.write('hello world')
   ...: finally:
   ...:     f.close()
   ...: 
---------------------------------------------------------------------------
NameError                                 Traceback (most recent call last)
 in ()
      3     f.write('hello world')
      4 finally:
----> 5     f.close()
      6

NameError: name 'f' is not defined    #关闭文件后继续向上触发异常

 try-except-else-finally语句:

    语法如下:

try:
    try_suite
except Exception1:
    suite1_exception1
except (Exception2,Exception3):
    suite23_exception23
    ...
else:
    else_suite
finally:
    finally_suite

    可以替换为在try-finally语句中嵌套try-except语句的形式。


  自定义异常:

    raise语句可显式触发异常,语法如下:

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

    SomeException:可选,异常的名字,仅能使用字符串、类或实例

    args:可选,以元组的形式传递给异常的参数

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

    示例:

In [7]: def CrossProduct(seq1,seq2):
   ...:     if not seq1 or not seq2:
   ...:         raise ValueError, "Sequence argments must be non-empty"
   ...:     return [(x1,x2) for x1 in seq1 for x2 in seq2]
   ...:

In [8]: seq1 = [1,2,3]

In [9]: seq2 = ['a','b','c']

In [10]: CrossProduct(seq1,seq2)
Out[10]:
[(1, 'a'),
 (1, 'b'),
 (1, 'c'),
 (2, 'a'),
 (2, 'b'),
 (2, 'c'),
 (3, 'a'),
 (3, 'b'),
 (3, 'c')]

In [11]: list1 = []

In [12]: list2 = []

In [13]: CrossProduct(list1,list2)
---------------------------------------------------------------------------
ValueError                                Traceback (most recent call last)
 in ()
----> 1 CrossProduct(list1,list2)

 in CrossProduct(seq1, seq2)
      1 def CrossProduct(seq1,seq2):
      2     if not seq1 or not seq2:
----> 3         raise ValueError, "Sequence argments must be non-empty"
      4     return [(x1,x2) for x1 in seq1 for x2 in seq2]

ValueError: Sequence argments must be non-empty

    raise语句的用法:

raise语法
描述
raise exclass
触发一个异常,从exclass生成一个实例(不含任何异常参数)
raise exclass()
同上,但现在不是类:通过函数调用操作符(function calloperator:"()")作用于类名生成一个新的exclass实例,同样也没有异常参数
raise exclass, args
同上,但同时提供的异常参数args,可以是一个参数也可以是一个元组
raise exclass(args)
同上
raise exlcass, args, tb
同上,但提供一个跟踪记录(traceback)对象tb供使用
raise exclass, instance

通过实例触发异常(通常是exclass的实例):如果实例是exclass的子类实例,那么这个新异常的类型会是子类的类型(而不是exclass);

如果实例即不是exclass的实例也不是exclass子类的实例,那么会复制此实例为异常参数去生成一个新的exclass实例

raise instance
通常实例触发异常:异常类型是实例的类型:等价于raise instance.__class__, instance(同上)
raise string
(过时的)触发字符串异常
raise string, args
同上,但触发伴随着args
raise string, args, tb
同上,但提供了一个跟踪记录(traceback)对象tb供使用
raise
(1.5新增)重新触发前一个异常,如果之前没有异常,触发TypeError

 对于python而言,异常是作为类存在的,而类实例化以后就是一个对象。

    这个对象本身并不是对所有异常都一样,它是在解释器捕获到异常以后根据异常本身所属的类别

    去临时生成的一 个异常对象,然后将这个异常所发生的信息给输出到标准输出中并中止程序运行

  异常对象:

    python异常是内置的经典类Exception的子类的实例:

      为了向后兼容,python还允许使用字符串或任何经典类实例

      python2.5之后,Exception是从BaseException继承的新式类

    python自身引发的所有异常都是Exception的子类的实例。

    大多的标准异常都是由StandardError派生的,其有3个抽象的子类:

      ArithmeticError:

        由于算术错误而引发的异常基类

        OverflowError,ZeroDivisionError,FloatingPointError

      LookupError:

        容器在接收到一个无效键或索引时引发的异常的基类

        IndexError,KeyError

      EnvironmentError:

        由于外部原因而导致的异常的基类

        IOError,OSError,WindowsError

  python中的标准异常类:

    AssertionError:断言语句失败

    AttributeError:属性引用或赋值失效

    FloatingPointError:浮点型运算失败

    IOError:I/O操作失败

    ImportError:import语句不能找到要导入的模块,或者不能找到该模块特别请求的名称

    IndentationError:解析器遇到了一个由于错误的缩进而引发的语法错误

    IndexError:用来索引序列的整数超出了范围

    KeyError:用来索引映射的键不在映射中

    KeyboardInterrupt:用户按了中断键(Ctrl+c,Ctrl+Break或Delete键)

    MemoryError:运算耗尽内存

    NameError:引用了一个不存在的变量名

    NotImplementedError:由抽象基类引发的异常,用于指示一个具体的子类必须覆盖一个方法

    OSError:由模块os中的函数引发的异常,用来指示平台相关的错误

    OverflowError:整数运算的结果太大导致溢出

    SyntaxError:语法错误

    SystemError:python本身或某些扩展模块中的内部错误

    TypeError:对某对象执行了不支持的操作

    UnboundLocalError:引用未绑定值的本地变量

    UnicodeError:在Unicode的字符串之间进行转换时发生的错误

    ValueError:应用于某个对象的操作或函数,这个对象具有正确的类型,但却有不适当的值

    WindowsError:模块os中的函数引发的异常,用来指示与windows相关的错误

    ZeroDivisionError:除数为0

  python中自定义异常类:

    自定义异常和多重继承:

      较有效的方法是从自定义异常类和标准异常进行多重继承,例如:

class CustomAttributeError(CustomException, AttributeError):
    pass

    标准库中使用的其它异常:

      python标准库中的许多模块都定义了自己的异常类,如socket中的socket.error就等同于自定义的异常类

  assert语句:

    assert语句用于在程序中引入调试代码。语法如下:

assert condition[, expression]

    如果condition条件满足,则assert不做任何操作;

    如果condition条件不满足,则assert使用expression作为参数实例化AssertionError并引发结果实例

    注意:

      如果运行python时使用了”-O“优化选项,则assert将是一个空操作:编译器不为assert语句生成代码

      如果运行python时不使用”-O“选项,则__debug__内置变量为True,否则其值为False

    assert语句相当于以下代码:

if __debug__:
    if not condition:
    raise AssertionError,