Question

我的问题是某种类型的代码非常类似于递归，但不是相当。引用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。不同之处在于，使用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

正如您所指出的，这仍然是相互递归。我不认为你问的“更多东西”有一个名字;如果确实如此，我从未听过它。

Answer 2

相互递归只是indirect recursion的一个特例。

Answer 3

显然，它被称为Mutual Recursion：）

该文章甚至提供了与odd?和even?函数相同的示例。

这种相互“递归”叫做什么？

3 个答案: