一、异常基础
try/except:捕捉由代码中的异常并恢复,匹配except里面的错误,并自行except中定义的代码,后继续执行程序(发生异常后,由except捕捉到异常后,不会中断程序,继续执行try语句后面的程序)
try/finally: 无论异常是否发生,都执行清理行为 (发生异常时程序会中断程序,只不过会执行finally后的代码)
raise: 手动在代码中接触发异常。
assert: 有条件地在程序代码中触发异常。
with/as 在Python2.6和后续版本中实现环境管理器。
用户定义的异常要写成类的实例,而不是字符串、。
finally可以和except和else分句出现在相同的try语句内、
1、异常的角色
错误处理
事件通知
特殊情况处理:有时发生很罕见的情况,很难调整代码去处理。通常会在异常处理器中处理这些罕见的情况,从而省去编写应对特殊情况的代码
终止行为
非常规控制流程
>>> x=‘diege
>>> def fetcher(obj,index):
... return obj[index]
...
>>> fetcher(x,4)
‘e‘
>>> fetcher(x,5)
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File "<stdin>", line 2, in fetcher
IndexError: string index out of range
>>> try:
... fetcher(x,5) #尝试抓取第5个字符
... except IndexError: #如果发生异常【指出引发的异常名称】
... print fetcher(x,-1) #那就抓取最后一个字符
...
e
>>> def catcher():
... try:
... fetcher(x,5)
... except IndexError:
... print fetcher(x,-1)
... print "continuing"
...
>>> catcher()
e
continuing
可以看到从异常中恢复并继续执行。
try/finally: 无论异常是否发生,都执行清理行为(发生异常时程序也会终端,只不过会执行finally后的代码)
>>> try:
... fetcher(x,4)
... finally:
... print ‘after fetch‘
...
‘e‘
after fetch
没有发生异常的情况,也执行finally语句中的代码
发生异常的情况下
>>> try:
... fetcher(x,5)
... finally:
... print ‘after fetch‘
...
after fetch
Traceback (most recent call last):
File "<stdin>", line 2, in <module>
File "<stdin>", line 2, in fetcher
IndexError: string index out of range
发生异常的情况下,也执行了finally语句中的代码
实际应用镇南关,try/except的组合可用于捕捉异常并从中恢复,而try/finally的组合则很方便,可以确保无论try代码块内的
代码是否发生异常,终止行为一定会运行。如,try/except来捕捉第三方库导入的代码所引发的错误,然后以try/finally来确保
关闭文件,或者终止服务器连接等调用。
可以在同一个try语句内混合except和finally分句:finally一定回执行,无论是否有异常引发,而且不也不关异常是否被except分句捕捉到
2、try/except/else语句
try的完整形式:try/多个except/else语句
else是可选的
try首行底下的代码块代表此语句的主要动作:试着执行的程序代码。except分句定义try代码块内引发的异常处理器,而else分句(如果有)则是提供没有发生异常时候要执行的处理器。
*如果try代码块语句执行时发生了异常,Python就跳回try,执行第一个符合引发的异常的except分句下面的语句。当except代码执行后(除非 except代码块引发另一异常),控制全就会到整个try语句后继续执行。
*如果异常发生在try代码块内,没有符合的except分句,异常就会向上传递到程序的之前进入try中,或者到这个进程的顶层(使用Python终止这个程序并打印默认的错误消息)
*如果try首行底下执行的语句没有发生异常,Python就会执行else行下的语句(如果有的话),控制权会在整个try语句下继续。
也就是说except分句会捕捉try代码块执行时所有发生的任何异常,而else分句只在try代码执行没有发生异常时才执行,finally分句无法释放发生异常都执行。
3、try语句分句形式
分句形式 说明
except: 捕捉所有(其他)异常类型
except name: 只捕捉特定的异常
except name,value: 捕捉所有的异常和其额外的数据(或实例)
except (name1,name2) 捕捉任何列出的异常
except (name1,name2),value: 捕捉任何列出的异常,并取得其额外数据
else: 如果没有引发异常,就运行
finally: 总是会运行此代码块,无论是否发生异常
except:用在想不到异常情况,在except:前面可以定义可以想到的异常:except name1: except name2:
3、try/else分句
try:
customer=getargv[1]
except IndexError:
print "please give argv as customer!"
else:
scene=PizzaShop()
scene.order(customer)
print ‘...‘
如把else:语句的内容放到try:中,也能执行。模拟出else分句。不过这可能造成不正确的异常分类。如果“没有异常发生”这个行为触发了
IndexError,就会视为try代码块的失败,因此错误地触发try底下的异常处理器。改为明确的else分句,让逻辑封明确。保证except处理器
只会因为包装在try中代码真正的失败而执行,而不是为else中的情况行为失败而执行。
4、try/finally分句
python先运行try: 下的代码块:
如果try代码块运行时没有异常发生,Python会跳至finally代码块。然后整个try语句后继续执行下去。
如果try代码块运行时有发生异常,Python依然会回来运行finally代码块,但是接着会把异常向上传递到较高的try语句或顶层的默认处理器。程序不会在try语句继续执行。
try:
Uppercase(open(‘/etc/rc.conf‘),output).process()
finally:
open(‘/etc/rc.conf‘).close
5、统一try/except/finally分句
try:
main-action:
except Exception1:
hander1
except Exception2:
hander2
...
else:
else-block
finally:
finally-block
这语句中main-action代码会先执行。如果该程序代码(main-action)引发异常,那么except代码块都会逐一测试,寻找与抛出的异
常相符的语句。如果引发异常的是Exception1则会执行hander1代码块,如果引发异常的是Exception2,则会执行hander2代码
块。以此类推。如果没有
引发异常,将会执行else-block代码块。
无论前面发生什么,当main-action代码块完成时。finally-block都会执行。
6、通过嵌套合并except和finally
try:
try:
main-action:
except Exception1:
hander1
except Exception2:
hander2
...
else:
else-block
finally:
finally-block
和5的效果一样
7、raise语句
要故意触发异常,可以使用raise语句。raise语句组成是: raise关键字,后面跟着要引发的异常名称(选用),以及一个可选的额外的数据项,后可随着异常传递
raise <name>
raise <name>,<data>
raise
注意:<name>需要预先定义好,不然会由未定义错误。
第二种形式随着异常传递额外的数据项,在raise语句中,数据是列在异常名称的后面的;在try语句中,取得该数据是通过引入一个进行接收
它的变量实现的。例如,如果try引入一个exceptname,X:语句,则变量X就会被赋值为raise内所列出的额外的数据项,如果没有定义默认接受到
的就是特殊对象None。一旦被程序中任意的except分句捕捉,异常就死了(也就是说,不会传递给另一个try),除非又被另一个raise语句或
错误所引发。现在用户定义的异常应该是类实例对象。
8、assert语句
assert可以有条件地在程序代码中触发异常,可以认为是有条件的raise.
牢记:assert几乎都是用来收集用户定义的约束条件,而不是捕捉内在的程序设计错误。因为Python会自动收集程序的设计错误,通常咩有必要写assert去捕捉超出索引值,类型不匹配以及除数为0之类的事。
引发的异常为:AssertionError。如果没有被try捕捉到,就会终止程序。
该语句形式:
assert <test>,<data>
实例
>>> def f(x):
... assert x>0,‘x must be great zerot‘
... return x**2
...
>>> f(2)
4
>>> f(-1)
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File "<stdin>", line 2, in f
AssertionError: x must be great zerot
二、with/as环境管理
python2.6引入新的异常相关的语句:with及其可选的as分句。这个语句的设计是为了和环境管理器对象(支持新的方法协议)一起工作。
简而言之, with/as语句的设计作为常见try/finally用法模式的替代方案。就像try/finally语句, with/as语句也用于定义必须执行的
终止或“清理"行为,无论步骤中是否发生异常。和try/finally不同的是,with语句支持更丰富的基于对象的协议,可以代码块定义支持进入
和离开动作。
with语句基本格式:
with expression [as variable]:
with block
在这里expression要返回一个对象,从而支持环境管理协议。如果选用as分句存在时,此对象也可返回一个值,赋值给变量名variable.
注意:variable并非赋值为expression的结果,expression的结果是支持环境协议的对象,而variable则是赋值为其他的东西(??)
然后,expression返回的对象可在with-block开始前,先自行启动程序,并且在该代码块完成后,执行终止程序代码,无论代码块是否引发异常
有些内置的Python对象已得到强化,支持环境管理协议,因此可以用于with语句。例如,文件对象有环境管理器,可在with代码块后自动关闭
文件,无法是否引发异常。
>>> with open(‘/etc/rc.conf‘) as myfile:
... for line in myfile:
... line=line.upper()
... print line
在这里,对open的调用,会返回一个简单文件对象,赋值给变量名myfile。我们可以用一般的文件工具使用myfile:就此而言,文件迭代器会在
for循环内逐行读取。
然后,此对象也支持with语句所使用的环境协议。在这个with语句执行后。环境管理机制保证由myfile所引用的文件对象自动关闭。即时处理
该文件时,for循环引发了异常。
环境管理器是有写高级的机制。还不是Python的正式组成部分。就较为简单的用途来说,try/finally语句可对终止活动提供足够的支持。
三、异常对象
基于类的异常可以创建各种异常类,有附加状态信息,而且支持继承。尽量都适用类异常。类异常有如下特点;
* 提供类型分类,对今后的修改有更好的支持:以后增加新异常时,通常不需要在try语句中进行修改。
* 同了存储在try处理器中所使用的环境信息的合理地点:这样的话,可以拥有状态信息,以及可调用的方法,并且可通过实例进行读取。
* 允许异常参与继承层次,从而可获得共同的行为。例如,继承的显示方法可提供通用的错误消息外观。
所有内置异常都类组织成继承树。
Python2.5版本 字符串异常会产生‘deprecation‘(不建议使用)’警告。python3.0将不再支持字符串异常。
1、基于字符串的异常
>>> myexc="My exception string"
>>> try:
... raise myexc
... except myexc:
... print "caught"
...
Traceback (most recent call last):
File "<stdin>", line 2, in <module>
TypeError: exceptions must be old-style classes or derived from BaseException, not str
Python 2.7版本已经不在支持了
2、基于类的异常
>>> class General:pass
>>> class Spec1(General):pass
>>> class Spec2(General):pass
>>> def raiseer0():
... X=General()
... raise X
>>> def raiseer1():
... X=Spec1()
... raise X
>>> def raiseer2():
... X=Spec2()
... raise X
>>> for func in (raiseer0,raiseer1,raiseer2):
... try:
... func()
... except General:#使用异常的超类General,这样子类也捕捉到,可以在未来增加函数异常(在子类里),而不影响程序。
... import sys
... print ‘caught:‘,sys.exc_info()[0]
...
caught:__main__.General
caught:__main__.Spec1
caught:__main__.Spec2
在try语句中,捕捉其超类就会捕捉这个类,以及类树中超类下的所有子类:超类会变成异常分类的名称,而子类会变成该分类中特定的
异常类型。
Python2.5以后版本将每个异常都写成类(必须),从异常树顶层继承Exception(非必须)。
sys.exc_info() 一种抓取最近发生异常的常用方式。
对基于类的异常而言,其结果中第一个元素就是引发异常类,而第二个是实际引发的实例。
注意:目前Python的说明文件指出,用户定义的异常最好继承自Exception内置的异常(但不是必须要求)。
class General(Exception):pass
就大型多层次的异常而言,在一个except分句使用类捕捉分类,会比列出一个分类中每个成员更简单。新增子类扩展异常层次,。也不会破坏
先有的代码。
如果不用类,在excpet中就会是excpet (General,Spec1,Spec2): 这样捕捉字符串类。
基本原则是:在异常处理器中,通常来说具体要优于一般。
3、内置Exception类
Python把内置异常组织成层次,来支持各种捕捉模式
Exception: 异常的顶层根超类
StandardError: 所有内置错误异常的超类
ArithmeticError: 所有数值错误的超类
OverflowError: 识别特定的数值错误的子类
可以在Python库手册或exceptionsn模块的帮助文本中查阅。
>>> import exceptions
>>> help(exceptions)
BaseException
Exception
StandardError
ArithmeticError
FloatingPointError
OverflowError
ZeroDivisionError
AssertionError
4、定义异常文本
对基于类的异常而言,其结果中第一个元素就是引发异常类,而第二个是实际引发的实例。
>>> raise MyBad():
>>> raise MyBad()
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
__main__.MyBad: <__main__.MyBad instance at 0x2850d26c>
这样的显示不友好。改进显示,可以在类中定义__repr__或__str__显示字符串重载方法,从而返回异常达到想要默认处理器显示字符串。
>>> class MyBad():
... def __repr__(self):
... return "Sorry--my mistake!"
...
>>> raise MyBad()
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
__main__.MyBad: Sorry--my mistake
这样把显示类的实例改为了我们定义的文本。
注意:如果继承自内置异常类,错误测试会有细微的改变,构造方法参数会自动存储并显示在消息中。【同样也可以把继承的重载】
>>> class MyBad(Exception):pass
... >>> raise MyBad()
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
__main__.MyBad
>>> raise MyBad(‘the‘,‘bright‘,‘side‘,‘of‘)
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
__main__.MyBad: (‘the‘, ‘bright‘, ‘side‘, ‘of‘)
5、发送额外数据和实例行为
把环境信息附加在基于类的异常的办法是:在引发的实例对象中填写实例的属性,通常是在类的构造器方法中。在异常处理器中,是列出
要赋值为引发的实例的变量,然后通过这个变量名来读取附加的转改信息,并且调用任何基础的类方法。【很强大的功能】
>>> class FormatError:
... def __init__(self,line,file):
... self.line=line
... self.file=file
>>> def parser():
... raise FormatError(42,file=‘diege.txt‘) #手动定义异常,基于类的异常,类构造函数传递两个数据。
...
>>> try:
... parser()
... except FormatError,X: #定义接受异常(类的实例-异常引发时产生的实例)传递过来数据的变量。
... print ‘Error at‘,X.file,X.line #显示实例传递过来的数据
...
Error at diege.txt 42
字符串的格式为【已过时】
raise formatError,{‘file‘:‘diege.txt‘,‘line‘:43}
except FormatError,X:
print ‘Error at‘,X[‘file‘],X[‘line‘]
6、raise的一般形式
raise string #基于字符串的异常,已过时
raise string,data #基于字符串的异常,已过时
raise instance #最常用的模式,直接接一个实例:raise FormatError(42,file=‘diege.txt‘)
raise class,instance
raise
为了和内置异常为字符串的的旧版兼容,也可以
raise class #same as :raise class()
raise class,arg # same as :raise class(arg)
raise clase(arg1,arg2,...) #same as:raise class(arg1,arg2...)
这些都相当于raise class(arg),等效于raise instance形式
>>> def parse():
... raise FormatError,(42,‘diege.txt‘)
四、异常的设计
1、嵌套异常处理器
把内部的try写成函数来嵌套
>>> def action2():
... print 1+[]
>>> def action1():
... try:
... action2()
... except TypeError:
... print "inner try"
>>> try:
... action1()
... except TypeError:
... print "outer try"
...
inner try
使用语法嵌套
>>> try:
... try:
... action2()
... except TypeError:
... print "inner try"
... except TypeError:
... print "outer try"
...
inner try
嵌套的finally语句会因一个异常全部启动。
>>> try:
... try:
... raise IndexError
... finally:
... print "diege"
... finally:
... print "DIEGE"
...
diege
DIEGE
Traceback (most recent call last):
File "<stdin>", line 3, in <module>
IndexError
2、异常的习惯用户
1)异常不总是错误
在Python中,所有的错误都是异常。但并非所有的异常都是错误。
>>> while 1:
... try:
... line=raw_input()
... except EOFError:
... break
... else:
... print "print ...process nex line here.."
raw_input()在文件末尾引发内置的EOFError
2)函数信号条件和raise
用户定义的异常也可以引发非错误的情况。
用于任何无法返回警示值以表明成功或失败的函数。
class Failure(Exception):pass
def searcher():
if ...success...;
return ...founditem...
else:
raise Failure()
try:
item=searcher()
except Failure:
...report...
else:
...use item here...
Python核心是动态类型和多态,通常更倾向于是用异常来发出这类情况的信号,而不是警示性的返回值。
3)在try外进行调试
空的except分句会捕捉任何程序执行时所引发的而未被捕捉到的异常。要取得发生的实际异常,可以从内置的
sys模块取出sys.exc_info函数的调用结果。这会返回一个元组,而元组之前两个元素会自动包含当前异常的名称,
以及相关的额外数据(如果有)。就基于类的异常而言,这两个元素分别对应的是异常的类以及引发类的实例。
4)运行进程中的测试
5)关于sys.exc_info
sys.exc_info结果是获得最近引发的异常更好的方式。如果没有处理器正在处理,就返回包含了三个None值的元组。
否则,将会返回(type,value和traceback)
*type是正在处理的异常的异常类型(一个基于类的异常的类对象)
*value是异常参数(它的关联值或raise的第二个参数,如果异常类型为类对象,就一定是类实例)
*traceback是一个traceback对象,代表异常最初发生时所调用的堆栈。
2、与异常有关的技巧
大致来说,Python的异常在使用上都很简单。异常背后真正的技巧在于确定except分句要具体或多通用,以及try语句中要包括多少代码。
1)应该包装什么?
try语句中要包括多少代码。
简要原则
*经常会失败的运算一般都应该包装在try语句内。例如:和系统状态衔接的运算(文件开启,套接字调用等等)就是try的主要候选者。
*尽管这样,上一条规则有写特例:在简单的脚本中,你会希望这类运算失败时终止程序,而不是被捕捉或被忽略。如果是一个重大的错误,
更应如此。Python的错误会产生有用的错误信息,而且这通常就是所期望的最好的结果。
*应该try/finally中实现终止动作,从而保证它们的执行。这个语句形式可执行代码,无论异常是否发生。
*偶尔,把对大型函数的调用包装在单个try语句内,而不是让函数本身零散着放入若干try的语句中。这样会更方便。这样的话,函数中的异常
就会往上传递到调用周围的try,而你也可以减少函数中的代码量。
2)捕捉太多:避免空except语句
如果使用空except语句,可能拦截到异常嵌套结构中较高层的try处理器所期待的事件这类代码可能会捕捉无关的系统异常。如内存错误,一
程序错误,迭代停止以及系统推出等等,都会在Python中引发异常。这里异常通常是不应该拦截的。
3)捕捉太少:使用基于类的分类
3、核心语言总结
1)Python工具集
一般而言,Python提供了一个有层次的工具集。
内置工具:
像字符串,列表和字典这些内置类型,会让编写程序更为迅速。
Python扩展:
就更重要的任务来说,可以编写自己的函数,模块以及类来扩展Python
已编译的扩展:
Python的工具箱类型。
分类 例子
对象类型 列表,字典,文件和字符串
函数 len,range,apply,open
异常 IdexError,KeyError
模块 os,TKinter,pickle,re
属性 __dict__,__name__,__class__
外部工具 NumPY,SWIG,Jython,IronPython
2)大型项目的开放工具
PyDoc
PyChecker 检查
PyUnit 测试
doctest 测试
IDE 图形界面
配置工具 profile是标准块模块,为python实现源代码配置工具。
调试器:源代码调试器模块,称为pdb, 类似C的命令行调试器gdb
>>> import pdb
>>> pdb.run("main()") #下面就可以在交互模式下执行代码调试命令
> <string>(1)<module>()
(Pdb) action1
<function action1 at 0x28495bc4>
(Pdb) action1()
inner try
发布选择:Python程序常见打包工具。py2exe,PyInstaller以及freeze都可以打包字节码以及Python虚拟机
优化选项:Psyco系统提供了实时的编译器,可以把Python字节码翻译成二进制码。
对大型醒目的提示