定义一个长度等于 vector::size() 的数组

Question

我很惊讶下面的代码编译并显示正确的结果。

#include <iostream>
#include <vector>

int main()
{
    std::vector<int> v;
    v.push_back(1);
    v.push_back(2);
    v.push_back(3);

    char arr[v.size()];  /* why does this line compile? */

    std::cout << sizeof(arr) / sizeof(arr[0]) << std::endl;  /* display 3 */

    return 0;
}

我认为在 C/C++ 中定义数组时必须使用恒定长度。 vector::size() 是在运行时确定的，为什么会这样呢？

Answer 1

首先，C/C++ 是两种不同的语言。

C99 定义了 VLA（可变长度数组），但在后续标准中已改为可选。

C++ 没有定义 VLA。

因此，这可以编译，因为您使用的编译器可能具有 GCC 的扩展名。那么严格来说，您的代码不符合 C++ 标准。