这种相互"递归"叫做什么？

Question

我的问题是与代码有一定的风格,非常类似于递归,但不是很那.引用维基百科时,递归是"定义函数的方法,其中定义的函数在其自己的定义中应用".类似地,相互递归应用另一个函数,该函数直接或间接地应用我们定义的函数.

问题是我正在考虑和处理的代码不使用相同的功能!它在另一个函数中使用相同的代码(作为方法或闭包).

这里的问题是,虽然我的代码是相同的,但功能却不是.看一下以下基本的相互递归示例:

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设计模式和大多数用途(甚至是闭包),实例通常不会即时创建.它基本上是一样的.

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在每个对象的基础上定义了一个简单的包装器,它本身每次调用相同的函数 - 但这不一定是我们需要知道的东西,它不是对于类和对象的其他实现,它们必须是真的.但是,严格来说,它是相互递归的,以及...更多的东西,而这是我想知道的其他东西.)

Answer 1

正如您所指出的，这仍然是相互递归。我不认为你问的“更多的东西”有名字；如果是的话我从来没有听说过。