如何在C++中枚举类/结构的所有成员变量

问题描述：

我正在为C++结构体进行某种简单的反射，我想要递归遍历所有成员变量。下面的代码几乎做我想要的，但我的编译器complians：“递归类型或函数依赖关系上下文太复杂”来自aggregate_arity<MemberType>::size()这是基于Orients aggregate_arity implementation。如何在C++中枚举类/结构的所有成员变量

用法示例情况：

struct B 
{ 
    SPVStruct; 
    var_t<float2_t, true> f4; 
}; 

struct A 
{ 
    SPVStruct; 
    var_t<float2_t, true> f2; 
    var_t<float3_t, true> f3; 
    float d; 

    B b; 
}; 

A a{}; 
InitializeStruct<A, true>(a);

实现：

struct TSPVStructTag {}; 

#ifndef SPVStruct 
#define SPVStruct typedef TSPVStructTag SPVStructTag; 
#endif 

    template< class, class = std::void_t<> > 
    struct has_spv_tag : std::false_type { }; 

    template< class T > 
    struct has_spv_tag<T, std::void_t<typename T::SPVStructTag>> : std::true_type { }; 

    template <class T> 
    void InitVar(T& _Member) {} 

    template <class T, bool Assemble> 
    void InitVar(var_t<T, Assemble>& _Member) 
    { 
     // actual stuff happening here 
    } 

    template <size_t N, class T, bool Assemble> 
    void InitStruct(T& _Struct) 
    { 
     if constexpr(N > 0u) 
     { 
      auto& member = get<N-1>(_Struct); 
      using MemberType = typename std::decay_t<decltype(member)>; 
      if constexpr(has_spv_tag<MemberType>::value) 
      { 
       constexpr size_t n = aggregate_arity<MemberType>::size(); // this is the complex recursion that blows up 
       InitStruct<n, MemberType, Assemble>(member);     
      } 
      else 
      { 
       InitVar(member); 
       InitStruct<N - 1, T, Assemble>(_Struct); 
      } 
     } 
    } 

    template <class T, bool Assemble> 
    void InitializeStruct(T& _Struct) 
    { 
     constexpr size_t N = aggregate_arity<T>::size(); 
     InitStruct<N, T, Assemble>(_Struct); 
    }

Example

我使用has_spv_tag来标记应反映结构。我不能等待C++ 20与实际的反射支持:(

感谢您的帮助

编辑：我得到了它的编译和改变迭代顺序现在不同的问题出现了： constexpr size_t M = aggregate_arity :: size（）返回0，即使是相同的类型，它返回正确的值。我通过比较来自typeid的散列来证实类型实际上是相同的（第一个结构类型B）。对于完全相同的类型，返回两个不同的值？

template <class T, bool Assemble> 
    constexpr bool is_var_t(var_t<T, Assemble>& _Member) { return true; } 

    template <class T> 
    constexpr bool is_var_t(T& _Member) { return false; } 

    template <class T> 
    void InitVar(T& _Member) { std::cout << typeid(T).name() << std::endl; } 

    template <class T, bool Assemble> 
    void InitVar(var_t<T, Assemble>& _Member) 
    { 
     // actual stuff happening here 
     std::cout << typeid(T).name() << std::endl; 
    } 

    template <size_t n, size_t N, class T> 
    void InitStruct(T& _Struct) 
    { 
     std::cout << "n " << n << " N " << N << std::endl; 
     if constexpr(n < N) 
     { 
      decltype(auto) member = get<n>(_Struct); 
      using MemberType = std::remove_cv_t<decltype(member)>; 
      std::cout << typeid(MemberType).hash_code() << std::endl; 

      if (is_var_t(member)) 
      { 
       InitVar(member); 
       InitStruct<n + 1, N, T>(_Struct); 
      } 
      else 
      { 
       constexpr size_t M = aggregate_arity<MemberType>::size(); 
       InitStruct<0, M, MemberType>(member); 
      } 
     } 
    }

编辑2：示例新版本：http://coliru.stacked-crooked.com/a/b25a84454d53d8de

“*我不能等待C++ 20支持实际反射*”您意识到反射提议还没有真正被批准，对吧？它可能不会成为C++ 20。 –

@NicolBolas坏消息。 – Orient

@Orient我得到了编译的代码，但现在aggregate_arity为同一类型返回不同的值，这怎么可能？尼古拉波拉斯，哦，这不是很糟糕:( – Fabian

答

Antony Polukhin指出了问题：MemberType仍然具有get（_Struct）的引用。该代码

MemberType = std::remove_reference_t<std::remove_cv_t<decltype(member)>>;

template <size_t n, size_t N, class T> 
void InitStruct(T& _Struct) 
{ 
    if constexpr(n < N) 
    { 
     decltype(auto) member = get<n>(_Struct); 
     using MemberType = std::remove_reference_t<std::remove_cv_t<decltype(member)>>; 

     if constexpr(has_spv_tag<MemberType>::value) 
     { 
      InitStruct<0, aggregate_arity<MemberType>::size(), MemberType>(member); 
     } 
     else 
     { 
      InitVar(member); 
     } 
     InitStruct<n + 1, N, T>(_Struct); 
    } 
}

工作我现在用has_spv_tag<MemberType>::value确定哪些成员是我想列举一个结构。还有一个错误，订单为InitStruct<n + 1, N, T>(_Struct);

如何在C++中枚举类/结构的所有成员变量

相关推荐