能否设计get_struct_list_t类型特性获取结构体的内部结构体类型列表？

请考虑以下代码：

#include <tuple>
#include <type_traits>

struct foo
{
    struct a {};
    struct b {};
    struct c {};
};

// 此处使用假想的类型特性'get_struct_list_t'
using T = get_struct_list_t<foo>;

static_assert (std::is_same_v <T, std::tuple<foo::a, foo::b, foo::c>>);

int main () {}

问题： 是否可以设计一个名为get_struct_list_t的类型特性，使其返回给定结构体的内部结构体类型列表？

我认为在C++中这无法实现，因为这需要用到反射特性，特此提问以确认该观点是否正确。

你的观点是正确的，在标准C++（包括C++20及更早版本）中，确实无法实现get_struct_list_t这样的类型特性。

核心原因是标准C++不支持编译期反射能力，编译器不会将类/结构体内部定义的嵌套类型信息暴露给编译期元编程工具链，没有任何标准语法或库工具能让你在编译时自动枚举一个类的所有嵌套结构体类型。

如果要达到类似效果，只能通过手动标注的方式实现，比如在目标结构体中显式定义包含所有内部结构体的元组类型：

struct foo
{
    struct a {};
    struct b {};
    struct c {};
    
    // 手动维护内部类型列表
    using struct_list = std::tuple<a, b, c>;
};

// 基于手动标注实现类型特性
template<typename T>
using get_struct_list_t = typename T::struct_list;

这种方式依赖开发者手动同步内部类型和元组列表，并非自动提取。即便C23引入了初步的反射特性，也依然无法直接枚举类的嵌套类型成员，完全的编译期反射支持还需要等待后续标准的扩展，或者依赖特定编译器的非标准扩展，但这已经脱离了标准C的范畴。

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