Mirror reflection library 0.5.13
|
Tag for single-value multi type discriminated union containers. More...
#include <mirror/cntnr_kind_tags.hpp>
Tag for single-value multi type discriminated union containers.
An example of this kind of container is the Boost.Variant type
For variant container classes X
, and integral constants I
, N
the following is true:
I >= 0; N >= 0; I < N; mp::empty<all_member_variables<reflected_type<X> > >::value; mp::size<all_containers<reflected_type<X> > >::value == N; single_value<mp::at_c<all_containers<reflected_type<X> > >, I>::value;