C++ constexpr构造函数初始化全局对象出现垃圾值如何正确实现

问题根因 #

你遇到的问题本质是野指针，属于C++的未定义行为：

• 你调用构造函数时传入的{3,2,1}会被隐式转换为临时的const int[3]数组，CArray内部仅存储了这个临时数组的指针，没有持有实际数据。
• 构造函数执行完成后，临时数组的生命周期就结束了，对应内存会被系统回收。
• 局部变量场景下，临时数组的栈内存还没被其他数据覆盖，所以刚好能输出正确值，但这只是巧合，本质还是非法访问。
• 全局变量场景下，静态初始化阶段结束后临时数组的内存就被释放了，所以必然输出垃圾值。

解决方案 #

根据你需要的语义可以选两种实现方式：

方案1：保持非拥有的span-like语义 #

如果你的CArray就是要做std::span类似的非持有语义，仅作为数组的视图，那就必须保证底层数组的生命周期长于CArray对象本身。全局变量定义时需要先声明全局数组，再传入CArray构造：

// 全局数组生命周期和程序运行周期一致，不会被提前释放
const int gbl_raw_arr[] = {3,2,1};
const CArray gbl_arr(gbl_raw_arr);

这种方案开销最低，适合性能敏感的场景，只需要注意视图的生命周期不要超过底层数组即可。

方案2：修改CArray为持有数据的容器 #

如果你需要支持直接用初始化列表构造、不需要额外维护底层数组，就把CArray改成内部持有数据的实现：

#include <iostream>
#include <algorithm>
#include <vector>
#include <initializer_list>
using std::cout;
using std::endl;

class CArray {
 public:
  // 支持初始化列表构造
  CArray(std::initializer_list<int> list) : data_(list) {}
  // 兼容原来的数组引用构造方式
  template <size_t S>
  constexpr CArray(const int (&e)[S]) : data_(e, e + S) {}
  const int* begin() const { return data_.data(); }
  const int* end() const { return data_.data() + data_.size(); }
private:
  std::vector<int> data_;
};

// 现在直接传初始化列表构造全局变量也完全正常
const CArray gbl_arr{{3,2,1}};

int main() {
  CArray arr{{1,2,3}};
  cout << "Global size: " << std::distance(gbl_arr.begin(), gbl_arr.end()) << endl;
  for (auto i : gbl_arr) {
    cout << i << endl;
  }
  cout << "Local size: " << std::distance(arr.begin(), arr.end()) << endl;
  for (auto i : arr) {
    cout << i << endl;
  }
  return 0;
}

这种实现不需要额外维护底层数组，使用更安全，也完全符合你不需要手动计算数组大小的需求。

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