阿克曼表生成

Question

我正在努力了解有关 Ackermann 函数、递归时间和一般函数学的更多信息，但是，我的代码无法编译。我感觉这与 acktgen() 中的数组有关，但我不是 100% 确定。

#include <stdlib.h>
#include <iostream>
using namespace std;

int ack(int m, int n){
    if(m==0) return n+1;
    else if (n==0) return ack(m,1);
    else return ack(m-1,ack(m,n-1));
}

int acktgen(const int s, const int t){
    int acktable[s+1][t+1];
    for (int i = 1 ; i= t+1; ++i){ //column labels
        acktable[0][i]= i-1 ;
    }
    for (int i = 1 ; i= s+1; ++i){  //row labels
        acktable[i][0]= i-1 ;
    } 
    for (int i = 1; i<=s+1; ++i){
        for (int j = 1; j<=t+1; ++j){
            acktable[i][j]= ack(i-1,j-1);
        }
    }
    return(acktable);
}

int main(){
    for(int i=0;i<5;i++) {
        for(int j=0;j<5;j++) {
            cout<<acktgen(4,4)[i][j]<< "\t";
        }
    }
}

我知道这不是最有效的阿克曼算法，但我只是将其用作示例。

编译器错误：

prog.cpp: In function 'int acktgen(int, int)':
prog.cpp:26:17: error: invalid conversion from 'int (*)[(t + 1)]' to 'int' [-fpermissive]
  return(acktable);
                 ^
prog.cpp:14:6: warning: address of local variable 'acktable' returned [-Wreturn-local-addr]
  int acktable[s+1][t+1];
      ^
prog.cpp: In function 'int main()':
prog.cpp:32:24: error: invalid types 'int[int]' for array subscript
    cout<<acktgen(4,4)[i][j]<< "\t";
                        ^

Answer 1

让我们来看看每个错误和警告：

> prog.cpp: In function 'int acktgen(int, int)': prog.cpp:26:17: error:
> invalid conversion from 'int (*)[(t + 1)]' to 'int' [-fpermissive]  
> return(acktable);

您声明了您的 acktgen 函数以返回一个 int，但您却返回了一个地址。我不知道你的意图是什么，但如果是从数组中返回单个值，那么你返回那个值，即

return acktgen[0][4];

或类似的东西。

---

> prog.cpp:14:6: warning: address of local variable 'acktable' returned
> [-Wreturn-local-addr]   int acktable[s+1][t+1];

您正在返回一个局部变量的地址。这样做是 C++ 中未定义的行为，所以不要这样做。当函数返回时，所有局部变量都消失了。因此，试图返回（和使用）不存在的东西的地址是行不通的（或者它可能会起作用，但只是偶然）。

---

> prog.cpp: In function 'int main()': prog.cpp:32:24: error: invalid
> types 'int[int]' for array subscript
>     cout<<acktgen(4,4)[i][j]<< "\t";

这是不正确的，因为 acktgen 返回一个 int，而不是一个数组或类似数组的对象。

基本上，您需要向我们提供更多关于您希望在 acktgen 函数中返回的信息。它真的应该是一个数组吗？它应该只是一个值吗？

---

您的代码中的一些内容：

1) 用非常量表达式声明数组在 ANSI 中是不合法的 C++：

int acktable[s+1][t+1];

那行代码不是合法的 C++。要模拟一个数组，可以使用std::vector<std::vector<int>>：

std::vector<std::vector<int>> acktable(s+1, std::vector<int>(t+1));

2) 你的循环条件写错了：

   for (int i = 1 ; i = t+1; ++i){ //column labels

看看中间条件——这就是你想要的，只有在 i == t+1 时循环才会继续？之后你在循环中犯了同样的错误。

其次，您的循环越界访问数组。 C++ 中的数组是从 0 开始的，但如果你仔细观察你的循环，你就会发现它越界了：

    for (int i = 1; i<=s+1; ++i){
        for (int j = 1; j<=t+1; ++j){
            acktable[i][j]= ack(i-1,j-1);
        }
    }

最后一次迭代会发生什么？您访问acktable[s+1][t+1]，这是超出范围的。该数组的最高索引是 s 和 t，因为我们从 0 开始计数。