静态函数中可以递归吗？

Question

是否可以用 C 语言编写递归静态函数？

Answer 1

是的，确实如此。当您将static应用于函数时，它与递归函数中的静态变量不同（如果在计算中使用它就会出现问题）。

当应用于函数（或函数外部的对象）时，static 只是控制该事物在编译单元外部是否可见（例如，对于链接器）。

当应用于函数内的对象时，静态意味着该变量在函数持续时间之外存在。在递归函数的上下文中，这还意味着所有递归级别只有一个变量副本，而不是每个递归级别一个， em> 这通常是所需要的。

所以这（你的问题似乎在问什么）是完全可以的：

static unsigned int fact (unsigned int n) {
    if (n == 1U) return 1;
    return n * fact (n-1);
}

另一方面，这不行可以，因为静态变量的单个副本将可能会被较低的递归层破坏。

static unsigned int fact (unsigned int n) {
    static unsigned int local_n;
    local_n = n;
    if (local_n == 1U) return 1;
    return fact (local_n - 1) * local_n;
}

更详细地说，考虑对 fact(3) 的调用：

• 在第一个递归层中，local_n 设置为 3，然后调用是根据fact(2)进行。
• 在第二层中，local_n 设置为 2，并调用 fact(1)。
• 在第三层，local_n 设置为 1，我们只返回 1，因为这是递归的基本情况。

这时事情似乎开始出错（尽管从技术上来说，一旦我们为 local_n 声明符输入 static 关键字，它们就开始出错）

• ：第二层，我们接收 1 并将其乘以 local_n。现在，如果该变量不是是静态的，它将具有（本地）值2。不幸的是，它是静态的，因此在上一步中设置为1。因此，我们返回 1 * 1 或者，...等等，让我在计算器上检查一下...，1 :-)
• 同上回到第一个层，我们收到 1 并将其乘以 local_n，当然，它仍然具有值 1。因此，我们再次乘以 1 * 1 并返回 1。

如果您想尝试一下，这里有一个完整的程序：

#include <stdio.h>

static unsigned int fact (unsigned int n) {
    static unsigned int local_n; // bad idea!
    local_n = n;
    if (local_n == 1U) return 1;
    return fact (local_n - 1) * local_n;
}

int main() {
    printf("%d\n", fact(3));
    return 0;
}

它会输出错误的 1 但是，如果您去掉 local_nstatic 关键字code> 声明符，它将返回正确的 6。

Answer 2

#include <stdio.h>

static void count_to_five(void)
{
   static int i = 0;

   while (i < 5) {
     i++;
     printf("%d\n", i);
     count_to_five();
   }

  puts("You are seeing this because I counted to five! (did not enter loop)\n");    
  return;
}

int main(void)
{
    count_to_five();
    return 0;
}

所以，是的。请注意，i 的静态存储意味着每次调用 count_to_ Five() 时它都会保留其值。但是，count_to_ Five() 不需要定义为static。

很难说出你在问什么。