为什么这个memoized函数返回错误的答案！

Question

我已经memoized在C因子的功能如下：

int fact(int n) 
{ 
int temp; 
int lookup_table[n]; 
if(lookup_table[n]) 
    return lookup_table[n]; 
else{ 
    if(n == 0 || n == 1) 
     return 1; 
    else 
     temp = n * fact(n-1); 
     lookup_table[n] = temp; 
     return temp; 
    } 
} 

但后来wehn我输入n = 5，它。OUPUTS
-1！ = 134514064
有人可以解释发生了什么？

Answer 1

int lookup_table[n]应该标记为静态（实际上它不能，你需要一个常量，但它不必太大，因为阶乘增长非常快），但它不是真的为什么你得到一个错误的答案。相反，lookup_table被初始化为不确定垃圾，而不是0。

但是，当你将它设置为静态时，它们没有理由将它初始化为零;这将自动完成。

哦，正如其他人指出的那样，您有一个越界误差，因为您需要交换int lookup_table[n]以使用常数而不是n。

Answer 2

您的lookup_table数组在本地声明;每次调用都有所不同;没有任何东西正在被记忆。

Answer 3

int lookup_table[n];这个int lookup_table[n];声明了一个名为lookup_table的n个数组的数组。由于该数组的有效索引为0..n-1，因此lookup_table [n]不在数组中，并且会导致未定义的行为。我想，你想写：int somevariable = lookup_table[n];并使用此变量进行比较，或根本删除此行。

在任何情况下，请确保在访问该阵列时检查边界。

Answer 4

好吧，马上如果（lookup_table [n]）要超出lookup_table []长度的一个元素。在C中，数组具有基于0的索引。

然后存在一个问题，即您在查找表中将自动（堆栈）变量声明为应该填充它的递归函数。它需要在全局/模块范围内的函数外声明。

Answer 5

更换

int lookup_table[n]; 

与

static int lookup_table[13]; 

这将使同一阵列中的递归函数调用访问，给你足够的空间来存储所有的阶乘值的int范围可以支持。

这将是一个好主意，检查输入值是12或更少，以便您不会遇到未定义的行为。