能否保留std::initializer_list::begin()返回的地址？无动态内存初始化方案

你遇到的核心问题是std::initializer_list的底层数组是临时对象，初始化完成后就会销毁，保存其指针必然导致悬空。要在不复制数据、不使用动态分配的前提下实现简洁的内联初始化，关键是让底层数组拥有静态存储期，以下是两种可行方案：

方案1：模板类绑定静态数组（C++17+） #

利用类模板参数推导（CTAD），让每个ReadableIds实例绑定一个专属的静态数组，完全保留内联语法且无数据复制：

#include <cstddef>

template <size_t N>
class ReadableIds {
public:
    // 直接接收静态数组的引用，保存其地址
    constexpr ReadableIds(const int (&arr)[N]) : data(arr) {}

    // 提供基础访问接口
    const int* begin() const { return data; }
    const int* end() const { return data + N; }
    size_t size() const { return N; }

private:
    const int* data; // 仅保存指针，无任何数据复制
};

// 直接用初始化列表创建静态实例，编译器自动推导数组长度N
static ReadableIds user_ids = {1001, 1002, 1003};
static ReadableIds admin_ids = {2001, 2002};

原理：编译器处理静态对象的初始化列表时，会自动生成一个静态存储期的临时数组，该数组的生命周期和程序一致，不会出现悬空指针问题。静态内存消耗和你之前先定义数组再初始化的方式完全相同，没有额外开销。

方案2：constexpr构造结合std::array（C++20+） #

如果需要更强的编译期安全保证，可以用std::array配合constexpr构造，同样无数据复制：

#include <array>
#include <cstddef>

class ReadableIds {
public:
    template <size_t N>
    constexpr ReadableIds(std::array<int, N> arr) 
        : data(arr.data()), size_(N) {}

    const int* begin() const { return data; }
    const int* end() const { return data + size_; }
    size_t size() const { return size_; }

private:
    const int* data;
    size_t size_;
};

// 用std::array的初始化列表语法创建实例，编译期完成初始化
static constexpr ReadableIds guest_ids = std::array{3001, 3002, 3003, 3004};
static constexpr ReadableIds mod_ids = std::array{4001};

这里std::array的底层数组同样是静态存储期，构造函数仅保存指针，没有任何数据复制操作，还能借助constexpr实现编译期初始化，进一步提升性能。

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