如何通过模板获取传入结构体的成员类型并生成对应数组结构体？

核心问题说明 #

你遇到的问题本质是C++没有原生的编译期反射机制——编译器不会自动帮你提取结构体的成员类型、名字等元信息，所以模板无法直接“扫描”结构体的成员来生成对应的array。不过我们可以用手动特化模板的方式来实现需求，逻辑简单，适合模板基础使用者。

最直接的实现方法：模板特化 #

我们可以直接为每个目标结构体（A、B）特化模板T，在特化版本里手动定义对应类型的std::array成员，名字和原结构体保持一致。

完整代码示例 #

#include <array>
#include <string>

// 原结构体定义
struct A{
  int k;
  char l;
  std::string s;
};

struct B{
  long h;
  float r;
};

// 模板T的基础声明
template <typename Struct, size_t N>
struct T;

// 为结构体A特化T
template <size_t N>
struct T<A, N> {
    std::array<int, N> k;
    std::array<char, N> l;
    std::array<std::string, N> s;
};

// 为结构体B特化T
template <size_t N>
struct T<B, N> {
    std::array<long, N> h;
    std::array<float, N> r;
};

// 测试使用
int main() {
    T<A, 5> a_container;
    a_container.k[0] = 42;
    a_container.l[1] = 'x';
    a_container.s[2] = "test";

    T<B, 3> b_container;
    b_container.h[0] = 12345L;
    b_container.r[1] = 3.14f;
    return 0;
}

代码解释 #

1. 先声明模板T的基础形式：第一个参数是结构体类型，第二个是数组大小。
2. 针对每个结构体（A、B）编写模板特化版本：在特化的结构体里，把原结构体的每个成员替换成std::array<原成员类型, N>，名字完全复用原成员名。
3. 使用时，T<A,5>就会包含k、l、s三个array成员，完全符合你的需求。

简化重复代码：用宏辅助 #

如果需要处理的结构体很多，手动写特化会重复劳动，可以用宏来自动生成特化代码：

#include <array>
#include <string>

struct A{
  int k;
  char l;
  std::string s;
};

struct B{
  long h;
  float r;
};

template <typename Struct, size_t N>
struct T;

// 定义宏，自动生成T的特化
#define DEFINE_T_FOR_STRUCT(StructName, ...) \
template <size_t N> \
struct T<StructName, N> { \
    __VA_ARGS__ \
};

// 为A生成特化
DEFINE_T_FOR_STRUCT(A, \
    std::array<int, N> k; \
    std::array<char, N> l; \
    std::array<std::string, N> s; \
)

// 为B生成特化
DEFINE_T_FOR_STRUCT(B, \
    std::array<long, N> h; \
    std::array<float, N> r; \
)

宏的作用只是帮你自动展开重复的模板特化代码，本质和手动写特化完全一样，只是减少了手写量。

关于“自动提取成员”的补充 #

目前C标准（直到C23）还没有原生的编译期反射功能，无法让模板自动获取结构体的成员列表、类型和名字。一些编译器有非标准的扩展（比如GCC的__reflect__），但这些功能不具备跨平台性，不推荐在生产代码中使用。

未来C的反射标准（比如C26的std::reflect）完善后，可能可以实现自动提取成员，但现阶段最可靠、最易懂的方法还是手动特化模板。

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