可变大小数组的范围

Question

这总是能按预期运行吗？

char *x;
if (...) {
    int len = dynamic_function();
    char x2[len];

    sprintf(x2, "hello %s", ...);

    x = x2;
}

printf("%s\n", x);
// prints hello

编译器（在我的情况下为GCC）如何在C和C ++中的每一个中实现大小可变的数组？

Answer 1

否x2在if语句的作用域内是局部的，您可以使用指针在它之外访问它。 这导致不确定的行为。

顺便说一下，VLA在C11中已成为可选属性，并且从未成为C ++的一部分。 因此最好避免这种情况。

Answer 2

范围在这里说明：

跳出或超出阵列名称范围会取消分配存储空间。 不允许跳入范围； 您会收到一条错误消息。

在您的情况下，数组超出范围。

Answer 3

否，原因有两个：

C ++：该代码不是有效的C ++。 C ++中的数组必须具有编译时常量大小。

C：否，因为数组仅生存到声明它的块的末尾，因此取消引用x是未定义的行为。

从C11，6.2.4 / 2：

如果在其生存期之外引用对象，则行为是不确定的。

6.2.4 / 7表示可变长度数组从声明开始一直到其封闭范围的结尾：

对于确实具有可变长度数组类型的对象，其生存期从对象的声明开始，直到程序执行离开声明的范围为止。