Quantcast
Channel: CodeSection,代码区,Python开发技术文章_教程 - CodeSec
Viewing all articles
Browse latest Browse all 9596

协程解决递归错误原理

$
0
0

递归是高度抽象化问题的一个好东西,我们能从很多算法书里面看到这个,

但是递归虽然对于人来说好理解,但是计算机执行起来会损失性能,一个差的递归可能会耗光计算机的资源

接下来我们来看一个非常经典的算法问题 Fibonacci数

f(n) = n (n < 2) f(n) = f(n-1) + f(n-2) (n >= 2)

我们可以很轻松的用递归解决掉它

def fibonacci(n): if n < 2: return n else: return fibonacci(n-1) + fibonacci(n-2)

当 n 比较小的时候很快就出结果了,但是当 n 大于100时候要很久才能出结果,如果 n 大于1000,直接报出超出迭代深度的错误(python默认迭代深度是1000)

现在我们来解决两个问题

为什么 n 大于100时候就很久才能算出结果 为什么 n 大于1000就报迭代深度的错误

首先我们要知道一个概念就是堆栈段,每个进程开始运行时都会初始化一个堆栈段,这在物理上就是一小块内存,初始化堆栈段的时候计算机要做一些看起来同程序毫无关系的事情,比如说将寄存器的值推入堆栈里面等等

当你在运行主程序的时候你调用一个子函数,系统又会在当前堆栈段新建一个堆栈段,你子程序运行完了后会删掉这个堆栈段回到主程序,但是递归有个问题,就是他调用子程序的时候不会立即返回又会再调用自己

没办法因为子程序还没返回,所以计算机又初始化一个堆栈段,一个 n 为10的 fibonacci 函数就会初始化掉 2 ** 10 = 1024 个堆栈段, n 越大值会指数型增长,虽然1000个初始化在当今计算机上发不了多少时间,但是当我们 n 大于20就要 百万次初始化了

这就是为什么 n 很大的时候要很久才能算出结果,在一些单片机上面,循环调用空函数就是延时的功能,原理也就是堆栈初始化耗时间,而且不但耗时间假如像递归这样调用上百万次初始化而不返回将会耗掉大量内存在堆栈段上。

对策

要解决这两个问题,一种方法是改算法,使用非递归算法,这个网上有很多,感兴趣的可以去搜一下,第二种是使用协程解决递归问题

如何使用协程来解决递归呢我们先改主程序,将 return 换成 yield

def _fibonacci(n): if n < 2: yield n else: yield ( (yield (_fibonacci(n-1)) + (yield (_fibonacci(n-2)))

接下啦我们运行一下函数

>>> _fibonacci(10) <generator object _fibonacci at 0x00000013A74779E8>

没有返回结果,返回一个生成器,那我们用 list 简单的试一下吧

>>> list(_) ...... ...... TypeError: unsupported operand type(s) for +: 'NoneType' and 'NoneType' 生成器小知识

这里补充几点生成器的知识,懂得可以跳过

生成器大家都用过,无论是 Python2 或 Python3 都不陌生,最简单的生成器是这种

>>> items = ( x for x in range(10))

我们一般搭配 for 来使用

>>> for i in items: ... print(i) ...

我们也可以用协程来实现这个生成器

def iter_func(n): for i in range(n): yield n

像上面一样使用 for 就能实现一样的功能,在这个例子里面 yield 好像变成了一个 return 的作用,在 for 语句中,随着每次请求都会 return 一个数过来

在这个里面 yield 好像就是这么个功能,但是 yield 的作用远远不止于此

我们现在来改一下这个函数

def iter_func(n): for i in range(n): r = yield i print('result', r)

我们用 list 来运行一下这个函数

>>> list(iter_fun(2)) 0 result None 1 result None

r 返回了一个 None ,我们尝试自己实现一下 for 循环,有两种方式

next(generator) generator.send(msg)

先尝试用 next

>>> it = iter_fun(2) >>> next(it) 0 >>> next(it) result None 1

我们介绍一下 next 函数, next 接受两个参数,第一个是生成器,第二个是返回的默认值, next 函数在这里相当于下面这个函数

def next(iterator, default=None): try: iterator.send(None) except StopIteration: if default: return default else: raise StopIteration()

为什么第二个执行了 print 函数而第一个没有执行?

生成器工作原理

这里我们介绍一下生成器的工作原理

当我们使用调用一个函数的时候,一般是碰到 return 或者执行全部函数就会返回父函数

但是 生成器 不同,假如他执行函数碰到 yield ,他就会直接返回一个生成器。

这个生成器我们可以把它看做是邮递员,我们必须写好目的地,他才会帮我们把信寄出去。

现在我们分析一下生成器的具体流程,我们先定义一个简单的生成器

def mygenerator(n): while True: r = yield n n -= 1 print('result', r)

然后我们调用这个生成器

>>> i = mygenerator(10) >>> i <generator object mygenerator at 0x7f420a339d00>

我们得到一个生成器,我们先尝试发送一个地址给“邮递员”

>>> i.send(0) ... TypeError: can't send non-None value to a just-started generator

我们得到一个错误,必须传递一个 None ,我们先不管,先送一个 None 值过去

>>> i.send(None) 10

我们得到一个 10 ,再送一个地址过去

>>> i.send(None) result None 9

我们现在来分析一下代码,第一次调用的时候直接返回了,第二次调用我们从 r = yield n 那行开始执行,并且运行到第二个 r = yield n 那里停止了

就可以解释上面为什么要第一次传递 None 过去,因为第一次调用它会直接返回 yield 后面的值给我们,第二次调用 我们可以根据第一次生成器递给我们的值,决定我们第二次想寄的“信”,因为第一次传递过去“信”并不能被处理,所以Python强制我们传递一个None值过去

我们回到上面的函数

def _fibonacci(n): if n < 2: yield n else: yield ( (yield (_fibonacci(n-1)) + (yield (_fibonacci(n-2)))

我们来分析一下流程,为了解决上面的问题我们先把函数简化,去掉递归

def f(n): yield (yield n) + (yield n - 1)

我们先创建一个生成器 i

>>> i = f(5) >>> i <generator object f at 0x7f4a421d8f10>

我们先启动i

>>> i.send(None) 5

我们再把得到 5 传给 i

>>> i.send(5) 4

我们得到 yield n -1 返回的4,我们再把4传给 i ,得到最终结果

>>> i.send(5) 9

假如我们把后面两个 send 的值换成其他值我们会得到不同的结果,这里我们可以看到我们,要实现上面函数必须要依靠一个 栈 ,保存我们返回的生成器,然后依次调用生成器返回结果,具体代码如下

def fibonacci(n): stack = [ _fibonacci(n)] last_result = None while stack: last = stack[-1] try: if isinstance(last, types.GeneratorType): stack.append(last.send(last_result)) last_result = None else: last_result = stack.pop() except StopIteration: stack.pop() return result

我们这里用 stack 作为我们的堆栈,用 last_result 保存上一个生成器返回的值

总结

我们使用协程解决掉了递归错误,但是这个方法并不可以给我们算法加速,虽然n为1000以上不会报递归错误,但是等待的时间还是很长很长。。。

虽然协程在这个方法里面并没有起到多大作业,协程在算法方面还是没有太多帮助,协程在计算机 I/O 还有网络请求方面有更好的效率,但是这次尝试让我们对协程如何使用有了一个清晰的了解

有兴趣的可以去了解一下协程在异步网络请求的应用


Viewing all articles
Browse latest Browse all 9596

Trending Articles