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

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)

忽略诸如隐式记忆等优化，这会产生一系列不严格递归的函数调用，创建和调用各种新函数而无需调用相同的函数两次。尽管如此，所有这些函数都遵循一个通用模板，并且只是一遍又一遍创建的同一个函数（可能使用不同的自由变量）。

再说一次，我们可以使用类提出一个直接等效的（毕竟，类实际上只是闭包，对吧；）实现。这一点尤其重要，因为这种风格 [在此插入姓名] 用于例如 复合图案. 。不同之处在于，对于复合设计模式和大多数用途（甚至闭包），实例通常不是动态创建的。本质上还是一样的。

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

互递归只是一个特例 间接递归.

Answer 3

显然，它被称为 相互递归 :)

这篇文章甚至给出了和你一样的例子， odd? 和 even? 功能。