如何实现create_array函数创建含const成员的struct的std::array？

我定义了如下结构体S，其中double类型成员p被声明为const，仅允许在构造时初始化，后续无法修改：

struct S
{
    S(const double pp) : p(pp){}

    const double p;
};

我需要创建一个包含1000个S对象的std::array，但数量过多无法逐个显式构造。已知STL的array通常要求元素有默认构造函数，请问能否定义create_array()函数，让我可以像下面这样使用，同时保留p的const属性？

const double p = from_config("p");
std::array<S, 1000> arr = create_array(p);

完全可以实现，核心思路是利用编译期索引展开来批量构造std::array的元素，绕过默认构造函数的要求（因为std::array底层是原生数组，只要能在创建时直接初始化所有元素，就不需要默认构造）。

方法一：C++14及以上版本（简洁实现） #

通过std::make_index_sequence生成编译期索引序列，逐个构造S对象并初始化array：

#include <array>
#include <utility>

struct S
{
    S(const double pp) : p(pp){}
    const double p;
};

namespace detail {
    template<typename T, std::size_t... Is>
    std::array<T, sizeof...(Is)> create_array_impl(double val, std::index_sequence<Is...>) {
        // 展开索引序列，每个位置用val构造T对象
        return {{(static_cast<void>(Is), T(val))...}};
    }
}

template<typename T, std::size_t N>
std::array<T, N> create_array(double val) {
    return detail::create_array_impl<T>(val, std::make_index_sequence<N>{});
}

// 使用示例
int main() {
    const double p = 3.14; // 模拟from_config的返回值
    std::array<S, 1000> arr = create_array<S, 1000>(p);
}

说明：

• std::make_index_sequence<N>会生成一个从0到N-1的编译期索引序列
• (static_cast<void>(Is), T(val))...是逗号表达式展开，Is仅作为占位符，每个元素都通过val构造S对象
• 整个初始化过程在编译期完成，不需要S提供默认构造函数，同时p的const属性完全保留

方法二：兼容C++11版本 #

如果环境不支持C++14，可手动实现index_sequence后复用上述逻辑：

#include <array>

struct S
{
    S(const double pp) : p(pp){}
    const double p;
};

// 手动实现C++14的index_sequence，兼容C++11
namespace detail {
    template<std::size_t... Is>
    struct index_sequence {};

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

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

    template<std::size_t N>
    using make_index_sequence = typename make_index_sequence_impl<N>::type;

    template<typename T, std::size_t... Is>
    std::array<T, sizeof...(Is)> create_array_impl(double val, index_sequence<Is...>) {
        return {{(static_cast<void>(Is), T(val))...}};
    }
}

template<typename T, std::size_t N>
std::array<T, N> create_array(double val) {
    return detail::create_array_impl<T>(val, detail::make_index_sequence<N>{});
}

// 使用示例
int main() {
    const double p = 3.14;
    std::array<S, 1000> arr = create_array<S, 1000>(p);
}

核心原理 #

两种方法都是通过编译期模板展开，直接生成std::array所有元素的构造代码，避免了运行时的循环初始化。每个S对象都通过带参构造函数初始化，p的值在构造时就被确定，后续无法修改，完全符合需求。

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