归，对递归深度很大或者是无穷的情形尾调用优化是必须的，如使用互递归的多任务。注意一般的尾调用优化比作为特例情况的尾递归调用优化更难实现，因此有效实现互尾递归未被很多语言考虑。对Pascal语言要求先声明后使用，互递归要求前向声明。如同直接递归函数，包装函数（wrapper function）对互递归函数是有用的作为包装函数的作用域内的（如果支持的话）。这对跨多个函数共享状态而不直接传递参数特别有用。 
基本例子.一个例子用于确定奇偶数。 C语言：bool is_even(u