如何创建成员全为const的不可变结构体的std::array？

你的核心问题在于结构体S包含const成员，这会导致编译器自动删除它的默认构造函数和赋值运算符。因此直接定义std::array<S,16>并尝试赋值的方式根本走不通——既没法默认构造数组元素，也没法通过赋值修改它们。下面针对你的C++11环境和运行时生成数据的场景，给出可行方案：

方案一：使用placement new直接在数组内存中构造元素 #

这是最适配运行时动态生成数据的方案，核心思路是绕过默认构造和赋值逻辑，直接在std::array的内存区域中构造每个S对象：

#include <array>
#include <new>

struct S {
    const int i;
    const bool b;
};

struct OtherStruct {
    const std::array<S,16> sArray;
    // 若S包含需要手动销毁的资源（如动态内存），需添加析构函数
    // ~OtherStruct() {
    //     for (auto& elem : sArray) {
    //         elem.~S();
    //     }
    // }
};

OtherStruct f() {
    // 分配匹配std::array<S,16>大小与对齐要求的未初始化内存
    typename std::aligned_storage<sizeof(std::array<S,16>), alignof(std::array<S,16>)>::type storage;
    auto& arr = *reinterpret_cast<std::array<S,16>*>(&storage);

    // 遍历数组位置，用placement new构造每个S对象
    for (int i = 0; i < 16; ++i) {
        // 替换此处初始化逻辑为你的网络数据解析代码
        new (&arr[i]) S{i, i % 2 == 0};
    }

    // 将构造完成的数组存入OtherStruct返回
    return {arr};
}

注意：如果S是仅包含基础类型的平凡可析构结构体，无需额外处理析构；若S持有需要手动释放的资源，必须给OtherStruct添加析构函数，逐个调用S的析构函数。

方案二：编译期索引序列构造数组（仅适用于编译期可知数据） #

如果你的数据可通过编译期计算得到，可借助模板元编程生成索引序列，一次性构造整个std::array，代码更简洁：

#include <array>

// C++11手动实现索引序列生成器（模拟C++14的std::index_sequence）
template <std::size_t... Is>
struct index_sequence {};

template <std::size_t N, std::size_t... Is>
struct make_index_sequence : make_index_sequence<N-1, N-1, Is...> {};

template <std::size_t... Is>
struct make_index_sequence<0, Is...> : index_sequence<Is...> {};

struct S {
    const int i;
    const bool b;
};

struct OtherStruct {
    const std::array<S,16> sArray;
};

// 辅助函数：通过索引序列构造数组
template <std::size_t... Is>
std::array<S, 16> create_array(index_sequence<Is...>) {
    return {{ {static_cast<int>(Is), Is%2 == 0}... }};
}

OtherStruct f() {
    auto arr = create_array(make_index_sequence<16>{});
    return {arr};
}

此方案仅适用于数据可编译期确定的场景，你的网络数据解析属于运行时逻辑，优先选择方案一。

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