编译时利用另一数组初始化结构体数组的可行性问询

结论：可以通过元编程实现该特性，但需根据C++版本和输入数组的特性选择不同方案，同时存在特定限制场景

可行实现场景与代码示例 #

1. 编译期完全初始化（C++14及以上） #

当N是编译期常量，且values为编译期常量数组时，可以通过模板元编程直接在编译期生成Foo数组：

#include <utility>
#include <array>

struct Foo { int n; };

// 内部实现：利用索引序列展开初始化
template <typename Target, typename Source, std::size_t... Idx>
constexpr auto init_array_impl(const Source* src, std::index_sequence<Idx...>) {
    return std::array<Target, sizeof...(Idx)>{ Target{src[Idx]}... };
}

// 对外接口：自动推导索引序列
template <std::size_t N, typename Target, typename Source>
constexpr auto ArrayInitializer(const Source (&src)[N]) {
    return init_array_impl<Target>(src, std::make_index_sequence<N>{});
}

// 使用示例
constexpr int N = 3;
constexpr int values[N] = {1, 2, 4};

// 编译期生成Foo数组，可直接用于初始化C风格数组或使用std::array
constexpr Foo objects[N] = ArrayInitializer<N, Foo>(values);

int main() {}

2. 运行时自动初始化（C++11及以上） #

如果values是运行时数组（无constexpr修饰），但N仍为编译期常量，可以用元编程生成初始化代码，避免手动编写循环：

#include <utility>

struct Foo { int n; };

// 内部实现：展开索引完成赋值
template <std::size_t... Idx>
void init_array_impl(Foo* dest, const int* src, std::index_sequence<Idx...>) {
    // 用初始化列表展开赋值操作，避免未定义行为
    (void)std::initializer_list<int>{ (dest[Idx].n = src[Idx], 0)... };
}

// 对外接口
template <std::size_t N>
void ArrayInitializer(Foo (&dest)[N], const int (&src)[N]) {
    init_array_impl(dest, src, std::make_index_sequence<N>{});
}

// 使用示例
constexpr int N = 3;
int values[N] = {1, 2, 4};
Foo objects[N];

int main() {
    ArrayInitializer(objects, values); // 运行时自动完成赋值
}

不可行的场景及原因 #

如果N不是编译期常量（比如是运行时变量，如int N = rand(); int values[N];这种非标准变长数组），则无法通过模板元编程实现自动初始化。

原因：模板元编程依赖编译期确定的模板参数，而运行时变量的值在编译阶段无法获取，模板无法展开对应的索引序列，只能通过手动编写运行时循环完成初始化。

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