我的问题是与一个非常类似于递归的代码风格,但不是相当那。递归是,引用Wikipedia,“一种定义函数的方法,其中被定义的函数在其自己的定义中应用”。类似地,相互递归应用另一个直接或间接应用我们定义的函数的函数。这种相互“递归”叫什么?
问题是我正在考虑和处理的代码不使用相同的功能!它在另一个函数(作为方法或闭包)中使用相同的代码。
这里的问题是,虽然我的代码是相同的,但功能不是。看看一个下列基本相互递归例如:
def is_even(x):
if x == 0:
return True
else:
return is_odd(x - 1)
def is_odd(x):
if x == 0:
return False
else:
return is_even(x - 1)
这有点直观,很清楚相互递归。不过,如果我包每个功能最多为创建的每个调用一次内部函数,它就会不太清楚:
def make_is_even():
def is_even(x):
if x == 0:
return True
else:
return make_is_odd()(x - 1)
return is_even
def make_is_odd():
def is_odd(x):
if x == 0:
return False
else:
return make_is_even()(x - 1)
return is_odd
def is_even2(x):
return make_is_even()(x)
def is_odd2(x):
return make_is_odd()(x)
像隐记忆化等忽视的优化,这将产生的函数调用链是不严格递归,创建并调用各种新的函数,而无需再次调用同一个函数。尽管如此,所有这些功能都遵循一个通用模板,并且只是一遍又一遍地创建的功能(可能带有不同的自由变量)。
而且,我们可以想出一个直接等价的(毕竟,类实际上只是这是非常重要的,因为[在此处插入名称]这种样式用于例如Composite Pattern。区别在于,对于复合设计模式以及大多数用途(甚至是封盖),实例通常不会即时创建,它本质上仍然是相同的。
class EvenChecker(object):
def check(self, x):
if x == 0:
return True
else:
return OddChecker().check(x - 1)
class OddChecker(object):
def check(self, x):
if x == 0:
return False
else:
return EvenChecker().check(x - 1)
def is_even3(x):
return EvenChecker().check(x)
def is_odd3(x):
return OddChecker().check(x)
这时间链是对象创建和方法调用,但原理是相同的。 (我实际上会注意到它略有不同,因为Python在每个对象的基础上定义了一个简单的包装,每个对象本身都会调用相同的函数 - 但这不一定是我们需要知道的东西,吨需要对类和对象的其他实现真实的。但是,是的,严格来说,它是相互递归,以及...更多的东西,而那就是我想另一件事知道的。)
最后一个例子只能是相互递归,因为Python中的每个方法调用都是针对一个调用函数的包装器(实例方法) - 该函数是您在类中定义的函数,并且只有一个。因此,调用链可能如下所示:'[is_odd3(3)] - > [instance-method [OddChecker.check](3)] - > [OddChecker.check(self,3)] - > ... - > [OddChecker.check(self,1)] - > ... - > True'。这是相互递归的 - 它一直在调用自己。但是,对于关闭一个,或者对于相同的OO示例,但是在E中,相同的功能再也不会被调用。 – 2010-04-19 14:13:00