1

我目前正在研究可变长度数组和自动存储。

我有以下代码为myArray函数内部的可变长度数组分配内存vla，并从函数返回指向可变长度数组的指针。 

#include <stdio.h>

int * vla(int n){
    int myArray[n];

    myArray[0] = 10;
    myArray[1] = 11;

    int * pointerToInt = myArray;
    return pointerToInt;
}

int main(void){

    int * pointerToInt = vla(10);

    printf("%d, %d", pointerToInt[0], pointerToInt[1]); // prints 10, 11

    return 0;
}

我以为变长数组属于自动存储类（即当我们进入包含变长数组的函数时会为变长数组分配内存，函数退出后会自动释放内存）

那么按照这个逻辑，分配给myArray变长数组的内存在我们从vla方法返回后就被释放了，但是为什么我仍然可以正确访问变长数组的第一个和第二个元素呢？

是否定义了这种行为？还是只是碰巧起作用的未定义行为？

4

2 回答 2

1

您仍然可以正确访问可变长度数组的第一个和第二个元素，因为您将 myArray 的基地址分配给 pointerToInt。自动变量只在块内有生命，但在这个程序中，我们使用指针来访问内存中的数据，只要该部分堆栈没有分配给任何其他程序，我们就可以访问该部分堆栈。如果堆栈的该部分分配给其他进程，我们将在尝试访问未经授权的内存时出现分段错误

于 2018-06-07T09:55:40.790 回答
1

myArray是在堆栈内存上创建的堆栈/自动变量。记住记忆永远存在。它只是由基于分配和释放的不同指针拥有。您仍然可以访问相同值的原因是同一块内存没有分配给另一个指针并且没有被覆盖。

来评价它。创建另一个从堆栈分配相同数量但放置不同值的函数。或者在同一个函数中添加参数并使用不同的值调用它两次。然后，您将看到不同之处。

#include <stdio.h>

int * vla(int n, int a, int b){
    int myArray[n];

    myArray[0] = a;
    myArray[1] = b;

    int * pointerToInt = myArray;
    return pointerToInt;
}

int main(void){

    int * pointerToInt = vla(10, 10, 11);
    vla(10, 20, 21); // over write stack

    printf("%d, %d", pointerToInt[0], pointerToInt[1]); // prints 20, 21

    return 0;
}

顺便说一句，从中返回堆栈内存vla不是一个好主意。动态内存是使用malloc函数族从堆中分配的。

于 2018-06-07T09:31:42.947 回答