Python中with语句的理解

Num01–>with语句的来源

在Python2.5中with关键字被加入。它是用来替代try…except…finally…的模式。

Num02–>with语句的作用

with语句使用于对资源进行访问的场合。确保使用过程中不管是否发生异常，都会执行必要的“清理”操作，并释放资源。比如文件使用后自动关闭，线程中锁的自动获取和释放。

Num03–>with语句的语法格式

with EXPR [ as  VAR ]:
    BLOCK

简单说明：
1，EXPR可以是任意表达式。

2，as  VAR是可选的。

3，BLOCK是with语句的语句体 

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9

加以说明：

1，计算EXPR，并获取一个上下文管理器。

2，上下文管理器的exit()方法被保存起来用于之后的调用。

3，调用上下文管理器的enter()方法

4，如果with表达式包含as VAR，那么EXPR的返回值被赋值给VAR。

5，执行BLOCK中的表达式

6，调永上下文管理器的exit()方法。如果BLOCK的执行过程中发生了一个异常导致程序退出，那么异常中的type、value、和traceback(也就是sys.exc_info()的返回值)将作为参数传递给exit（）方法，然后异常抛出在控制台。否则将传递三个None值。

以上过程，用代码表示如下：

mgr = (EXPR)
exit = type(mgr).__exit__  # 这里没有执行
value = type(mgr).__enter__(mgr)
exc = True

try:
    try:
        VAR = value  # 如果有 as VAR
        BLOCK
    except:
        exc = False
        if not exit(mgr, *sys.exc_info()):
            raise
finally:
    if exc:
        exit(mgr, None, None, None)

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• 12
• 13
• 14
• 15
• 16

注意：

1，如果上下文管理器中没有enter()或者exit()中的任意一个方法，那么解释器会抛出一个AttributeError.

2，在BLOCK中发生异常后，如果exit()方法返回一个可以被看成是True的值，那么这个异常就不会被抛出，后面的代码会继续执行。

Num04–>没有异常案例

class my_name:
    def __enter__(self):
        print("调用__enter__()方法")
        return "xiaoke"

    def __exit__(self, type, value, trace):
        print("调用__exit__()方法")


def get_name():
    return my_name()


with get_name() as name:
    print("my  name  is :", name)

# 结果如下：
# 调用__enter__()方法
# my  name  is : xiaoke
# 调用__exit__()方法

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• 12
• 13
• 14
• 15
• 16
• 17
• 18
• 19
• 20
• 21

Num05–>有异常案例

class number:
    # with语句执行的时候调用
    def __enter__(self):
        print("调用_enter_()方法")
        return self

    # with语句执行完毕，结束的时候调用
    def __exit__(self, type, value, trace):
        print("type:", type)
        print("value:", value)
        print("trace:", trace)

    # 当有异常的时候，那么就不会有返回值
    def do_number(self):
        num = 10 / 0
        return num + 100


with number()as result:
    res = result.do_number()
    print(res)
    # 结果如下：
    # 调用_enter_()方法
    # type: <class 'ZeroDivisionError'>
    # value: division by zero
    # trace: <traceback object at 0x00000224182AE388>
    # Traceback (most recent call last):
    #   File "E:/pycharmProject/Test49.py", line 56, in <module>
    #     res = result.do_number()
    #   File "E:/pycharmProject/Test49.py", line 51, in do_number
    #     num = 10 / 0
    # ZeroDivisionError: division by zero

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• 12
• 13
• 14
• 15
• 16
• 17
• 18
• 19
• 20
• 21
• 22
• 23
• 24
• 25
• 26
• 27
• 28
• 29
• 30
• 31
• 32
• 33

Num06–>在Python3.5中加入，协程中使用with，要加入async关键字

官网代码：
import asyncio

async def coro(name, lock):
    print('coro {}: waiting for lock'.format(name))
    async with lock:
        print('coro {}: holding the lock'.format(name))
        await asyncio.sleep(1)
        print('coro {}: releasing the lock'.format(name))

loop = asyncio.get_event_loop()
lock = asyncio.Lock()
coros = asyncio.gather(coro(1, lock), coro(2, lock))
try:
    loop.run_until_complete(coros)
finally:
    loop.close()

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• 12
• 13
• 14
• 15
• 16
• 17

输出代码：

coro 1: waiting for lock
coro 1: holding the lock
coro 2: waiting for lock
coro 1: releasing the lock
coro 2: holding the lock
coro 2: releasing the lock