Dwaprzepełnienie stosu odpowiedzi zasugeruj podejście wykorzystujące fusion adapt_struct do iteracji po polach struktury. Podejście wygląda ładnie. Jak jednak przejść do pola, które samo jest strukturą?

Podążając za poprzednimi odpowiedziami, wymyślę poniższy kod. Problem dotyczy klauzuli „#if 0”, której kod się nie kompiluje. Jako rozwiązanie alternatywne stworzyłem funkcję „decode ()”, aby usunąć nieważny wskaźnik do argumentu docelowego. To działa, ale traci informacje o typie w czasie kompilacji. Czy jest lepsze rozwiązanie?

struct Foo_s { int i; };
BOOST_FUSION_ADAPT_STRUCT( Foo_s,  (int, i) )

struct Bar_s { int v; Foo_s w; };
BOOST_FUSION_ADAPT_STRUCT( Bar_s, (int, v)  (Foo_s, w) )

struct AppendToTextBox {
    template <typename T> void operator()(T& t) const {
        int status = 0;
        const char *realname = abi::__cxa_demangle(typeid(t).name(), 0, 0, &status);
        printf("  typename: %s  value: %s  realname: %s\n", typeid(t).name(),
               boost::lexical_cast<std::string>(t).c_str(), realname);
        std::string rn(realname);
        if ( rn.rfind("_s") == rn.size()-2 ) {
#if 0 /* this can not compile */
            for_each(t, AppendToTextBox());
#else
            decode(&t, rn);
#endif
        }
    }
};

void decode(void *f, std::string & intype ) {
    if ( intype.find("Foo_s") == 0 ) 
        for_each( *(Foo_s *)f, AppendToTextBox());
};

int main(int argc, char *argv[]) {
  Bar_s f = { 2, { 3 } };
  for_each(f, AppendToTextBox());
  return 0;
}

Widziałem nawikipedia zamiast przekazywać ciąg typu „intype” można użyć typeid i dynamic_cast. Ale to będzie tylko niewielka poprawa. Szukam rozwiązania bardziej charakterystycznego dla C ++ lub do projektowania języka.