作为const vector引用参数传入的临时vector是否在堆上分配？

临时std::vector的内存分配结论 #

上述调用过程中构造的临时std::vector<int>在绝大多数场景下都会触发堆内存分配。
std::vector的核心设计是动态可变长序列，元素默认存储在堆内存上。当传入{5, 7, 9}、{1, 2, 4, 3}这类初始化列表作为实参时，编译器会构造两个临时std::vector<int>对象：

• 第一个临时vector申请堆内存存储3个int类型元素，将列表中的5、7、9拷贝到堆空间
• 第二个临时vector申请堆内存存储4个int类型元素，将列表中的1、2、4、3拷贝到堆空间
  等函数执行完成返回后，两个临时vector会被自动销毁，对应的堆内存随即被释放。

注意：少数标准库实现可能为vector加入小缓冲区优化（SBO），将极少量元素存在vector对象自身的栈空间内避免堆分配，但这属于实现定义的非标准行为，主流GCC、Clang、MSVC的默认STL实现都未给vector加入SBO，不能依赖该特性规避开销。

无堆分配的优化方案 #

这类场景下我们仅需要遍历序列求和，完全不需要vector的动态扩容、所有权管理能力，可以通过以下方案彻底避免不必要的堆分配：

• 方案1：使用std::span作为参数类型（C++20及以上推荐）
  std::span是轻量的连续序列视图，本身只包含指针和长度两个字段，拷贝成本极低，可以直接绑定到std::vector、std::array、原生数组、初始化列表等所有连续内存序列，不会触发任何内存分配。改造后的代码如下：

  #include <span>
  #include <algorithm>
  
  int f(std::span<const int> v1, std::span<const int> v2)
  {
      int sum_1 = 0;
      for (int a: v1)
          sum_1 += a;
      int sum_2 = 0;
      for (int a: v2)
          sum_2 += a;
      return std::max(sum_1, sum_2);
  }
  

  改造后调用f({5, 7, 9}, {1, 2, 4, 3})时不会构造任何vector对象，span直接指向初始化列表的底层存储，全程无堆分配，同时完全兼容原有传vector的调用场景。
• 方案2：新增std::initializer_list重载（兼容C11及以上版本）
  如果无法使用C20，可以额外增加接受std::initializer_list<int>的重载版本。std::initializer_list的底层存储由编译器直接在栈/静态区分配，不会触发堆分配。可以将核心求和逻辑抽为公共辅助函数避免代码重复：

  #include <initializer_list>
  #include <algorithm>
  #include <vector>
  
  namespace detail {
  template <typename Range>
  int range_sum(const Range& r) {
      int sum = 0;
      for (int a : r) sum += a;
      return sum;
  }
  }
  
  // 保留原有vector版本兼容旧调用
  int f(const std::vector<int>& v1, const std::vector<int>& v2)
  {
      return std::max(detail::range_sum(v1), detail::range_sum(v2));
  }
  
  // 新增重载处理初始化列表传参场景
  int f(std::initializer_list<int> v1, std::initializer_list<int> v2)
  {
      return std::max(detail::range_sum(v1), detail::range_sum(v2));
  }
  

• 方案3：泛型范围参数（C++11及以上通用方案）
  也可以直接编写模板版本的函数，接受任意可迭代的序列类型，编译器会根据实参类型自动实例化对应版本，传初始化列表时会直接匹配到initializer_list实例，不会构造vector产生堆分配：

  #include <algorithm>
  
  template <typename Range1, typename Range2>
  int f(const Range1& v1, const Range2& v2)
  {
      int sum_1 = 0;
      for (int a: v1) sum_1 += a;
      int sum_2 = 0;
      for (int a: v2) sum_2 += a;
      return std::max(sum_1, sum_2);
  }
  

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