Is it possible to do reflection for nested struct?

[f-zl]

我想对一个包含嵌套的结构体做反射。比如

struct S1 {
  int i;
  float f;
};
struct S2 {
  char c;
  S1 s;
  double d;
};

希望能根据上面的类型定义输出类似这样的信息：

index 0 name c type char
index 1 name s type S1
        index 0 name i type int
        index 1 name f type float
index 2 name d type double

以下是我尝试的代码

#include "ylt/reflection/member_value.hpp"
#include <format>
#include <iostream>
struct S1 {
  int i;
  float f;
};
struct S2 {
  char c;
  S1 s;
  double d;
};
int main() {
  using namespace ylt::reflection;
  S2 s2{'c', {-1, 1.0f}, 2.0};

  for_each(s2, [](auto &field, auto name, auto index) {
    std::cout << std::format("index {} name {} type {} is_class {}\n", index,
                             name, typeid(decltype(field)).name(),
                             std::is_class_v<decltype(field)>);

    if (std::is_class_v<decltype(field)>) {
#if 0
      for_each(field, [](auto &field2, auto name, auto index) {
        std::cout << std::format("\tindex {} name {} type {} is_class {}\n",
                                 index, name, typeid(decltype(field2)).name(),
                                 std::is_class_v<decltype(field2)>);
      });
#endif
    }
  });
  static_assert(std::is_class_v<decltype(s2.s)>);
}

碰到的问题是

1. 在for_each内部，std::is_class_v<decltype(field)>一直为false，即使在field取s2.s这个结构体变量时也如此
2. 启用#if 0内部的代码后编译失败

请问是否可能对嵌套结构体做反射？谢谢！

[qicosmos]

是你的代码写得不对。
请参考：

  ylt::reflection::for_each(s2, [](auto &field, auto name, auto index) {
    if constexpr(std::is_class_v<std::decay_t<decltype(field)>>) {
      ylt::reflection::for_each(field, [](auto &field2, auto name, auto index) {
        std::cout << name << "\n";
      });
    }
  });

[f-zl]

感谢回复！这样修改以后，is_class_v能对结构体类型返回true了。不过内部的for_each仍然不能编译。gcc的报错特别长，msvc报错tuple index out of bounds。

[qicosmos]

linux上是没问题的。
是不是msvc版本比较低，需要vs2022.

[f-zl]

发现是遗漏了if后的constexpr