关于C语言中函数调用是否会终止调用者作用域内variable length array生命周期的技术问询

嘿，这个问题抓得很准啊，很多刚接触变长数组（VLA）的开发者都会有类似的疑惑，我来给你拆解清楚～

首先咱们先把你提到的C17标准（N2176文档）里的那段原文摆出来：

For such an object that does have a variable length array type, its lifetime extends from the declaration of the object until execution of the program leaves the scope of the declaration.

这里的关键是要理解**“leaves the scope”到底指什么**——它不是指临时离开当前作用域去执行其他代码，而是指永久、彻底地退出这个作用域。函数调用只是让程序的执行流暂时切换到被调用函数的栈帧，调用者的作用域并没有被销毁：调用者的局部变量（包括你声明的VLA arr）依然保存在栈上，只是暂时不执行调用者的代码而已。当函数调用完成返回后，执行流回到调用者的作用域，VLA的生命周期会继续，直到你真正触发了“离开作用域”的操作。

再看你给出的代码例子：

int main() {
    int n; // n > 0
    scanf("%d", &n);
    int arr[n];
    init_arr(arr, n); // 这个调用不会终止arr的生命周期
    printf("%d\n", arr[0]); // 这个访问完全合法，不是未定义行为
    return 0;
}

当你调用init_arr时，arr的地址被传递给函数，此时arr的内存空间依然有效（因为main函数的作用域还在）。init_arr执行完毕返回后，回到main函数，arr还是在原来的栈位置上，所以你访问arr[0]是完全没问题的——只要init_arr正确初始化了这个元素，就能得到预期的值。

那哪些情况才会真正终止VLA的生命周期呢？举几个常见的场景：

• 执行到包含VLA声明的块的闭花括号}：比如你在if块里声明了VLA，当if语句执行完，这个块的作用域结束，VLA的生命周期就终止了
• 从包含VLA的函数return：比如main函数里的return语句执行后，main的所有局部变量（包括arr）的生命周期都会结束
• 用goto语句跳到包含VLA声明的作用域之外的标签：比如在一个代码块里声明了VLA，然后goto到块外面的标签位置，此时VLA的生命周期会立即终止

总结一下：函数调用完全不会影响调用者局部变量的生命周期，这是C语言栈帧工作的基本逻辑——调用者的栈帧会被完整保留，只是栈指针临时移动到被调用函数的栈帧，返回后又恢复回来，所以调用者的所有变量（包括VLA）都能正常访问。

内容来源于stack exchange