提问人：Thor 提问时间：6/7/2018 更新时间：6/7/2018 访问量：98
在应释放其内存后访问可变长度数组
accessing variable length array after its memory should have been deallocated
问：
我目前正在研究可变长度阵列和自动存储。
我有以下代码，用于为函数内部的可变长度数组分配内存，并从函数返回指向可变长度数组的指针。myArrayvla
#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;
}
我以为变长数组属于自动存储类（即当我们进入包含变长数组的函数时会分配可变长度数组的内存，函数退出后会自动释放内存）
所以按照这个逻辑，分配给可变长度数组的内存在我们从方法返回后是解除分配的，但是为什么我还能正确访问可变长度数组的第一个和第二个元素呢？myArrayvla
是否定义了此行为？还是碰巧起作用的未定义行为？
答：
1赞
Mohammad Azim
6/7/2018
#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;
}
顺便说一句，从中返回堆栈内存不是一个好主意。动态内存是使用函数系列从堆中分配的。vlamalloc
1赞
Cyril P Joy
6/7/2018
#2
您仍然可以正确访问可变长度数组的第一个和第二个元素，因为您正在将 myArray 的基址分配给 pointerToInt。自动变量仅在块内部有生命，但是在这个程序中，我们使用指针来访问内存中的数据，只要堆栈的那部分没有分配给任何其他程序，我们就可以访问堆栈的那部分。如果堆栈的那部分分配给其他进程，我们将在尝试访问未经授权的内存时出现分段错误
评论
myArray