It seems you already found the solution, but I’ll expand a bit.
What you are calling for is called Reflection
, i.e. the ability for an object to describe itself.
Most languages can implement reflection thanks to metadata. In Python for example, the functions and attributes of an object are stored in a dictionary element.
C++ does not have any native reflection system unlike C# or Java, which prevents (for example) this kind of automatic printing / serialization or deserialization.
However, C++ has very powerful metaprogramming support which allows us (through the use of templates) to emulate reflection (at compile-time). This is usually done using Boost.Fusion, a library meant for crossing over from compile-time to run-time.
As the example demonstrated in your link, the BOOST_FUSION_ADAPT_STRUCT
macro allows you to take a standard struct
and give it the required interface to be treated as a Fusion.Sequence.
Another example would be to use Fusion.Vector
or Fusion.Map
to store the attributes of the class and then expose this Sequence to automatic print/serialization/deserialization methods.
There is a limitation to this system however: Metaprogramming does not mesh well with OO-programming.
struct Base { char a; }; // Adapt
struct Derived: Base { char b; }; // Adapt
void print(Base const& b) { boost::fusion::for_each<Base>(b, Print()); }
will only print the member of Base
(here a
). When using polymorphism, you need to use virtual
methods at one point or another 🙂