C99 变长数组维基百科示例

Question

我在维基百科上看到了这个 C99 可变长度数组的示例：

float read_and_process(int n)
{
    float vals[n];

    for (int i = 0; i < n; i++)
        vals[i] = read_val();
    return process(vals, n);
}

这是不正确的吗？我的印象是，可变长度数组仍然只是指针，这意味着上面的代码将过期的指针 vals 传递给 process(...) 函数。

Answer 1

指针尚未过期。它是指向有效内存的指针，直到函数 read_and_process 结束。这意味着当调用进程时它仍然是定义的。

这是无效使用的示例：

float read_and_process(int n)
{
    float vals[n];

    for (int i = 0; i < n; i++)
        vals[i] = read_val();
    return vals;
}

Answer 2

不要忘记，包含所有 read_and_process() 自动变量（包括 float vals[n]）的堆栈帧在以下情况下仍然有效并位于内存中： >process() 被执行。