C++中为何不能用vector.size()声明数组？C++20示例报错原因

一、为什么int array[vector.size()]无法通过标准C++编译？ #

C++标准明确要求，栈上静态数组的大小必须是编译期常量表达式。而vector.size()是程序运行时才能确定的值——vector的大小可以在运行过程中动态修改，所以这种写法不符合标准规范。

你之前能成功编译，是因为GCC、Clang这类编译器提供了**变长数组（VLA）**的扩展特性，这是对C99标准的兼容，但不属于标准C++的范畴。一旦编译器启用严格标准模式（比如GCC添加-pedantic -std=c++20参数），这种扩展写法就会触发报错。

二、C++20中正确实现vector转array的方式 #

你找到的示例代码依赖编译器的VLA扩展，所以在严格标准模式下报错。根据vector大小是否为编译期已知，有两种正确实现方式：

1. 当vector大小是编译期常量时 #

如果vector的大小在编译时就能确定，可以直接用std::array结合拷贝操作：

#include <iostream>
#include <algorithm>
#include <vector>
#include <array>

int main()
{
    constexpr std::size_t arr_size = 5;
    std::vector<float> input({1.0f, 2.0f, 3.0f, 4.0f, 5.0f});

    std::array<float, arr_size> arr;
    std::copy(input.begin(), input.end(), arr.begin());

    for (float i : arr) {
        std::cout << i << ' ';
    }

    return 0;
}

2. 当vector大小是运行时确定时 #

标准C++不允许在栈上创建动态大小的数组，此时可以用以下两种方案：

• 用智能指针管理动态数组：避免手动释放内存造成泄漏

  #include <iostream>
  #include <algorithm>
  #include <vector>
  #include <memory>
  
  int main()
  {
      std::vector<float> input({1.0f, 2.0f, 3.0f, 4.0f, 5.0f});
  
      std::unique_ptr<float[]> arr(new float[input.size()]);
      std::copy(input.begin(), input.end(), arr.get());
  
      for (std::size_t i = 0; i < input.size(); ++i) {
          std::cout << arr[i] << ' ';
      }
  
      return 0;
  }
  

• 直接使用vector：vector本身就是安全的动态数组实现，若无需原生数组，直接使用即可，无需额外转换。

内容的提问来源于stack exchange，提问作者Pepis