Come implementare una versione di base (e un visitatore della variante) template in C ++?
Domanda
ho provato:
http://www.boost.org/doc/libs/1_41_0/boost/variant.hpp
http://www.codeproject.com/KB/cpp/TTLTyplist.aspx
and chapter 3 of "Modern C++ Design"
, ma ancora non capisco come le varianti sono implementate. Chiunque può incollare un breve esempio di come definire qualcosa come:
class Foo {
void process(Type1) { ... };
void process(Type2) { ... };
};
Variant<Type1, Type2> v;
v.somethingToSetupType1 ...;
somethingToTrigger process(Type1);
v.somethingToSetupType2 ...;
somethingToTrigger process(Type2);
Grazie!
Soluzione
Se dovessi definire un oggetto variante, probabilmente sarei iniziare con il seguente:
template<typename Type1, typename Type2>
class VariantVisitor;
template<typename Type1, typename Type2>
class Variant
{
public:
friend class VariantVisitor<Type1, Type2>;
Variant();
Variant(Type1);
Variant(Type2);
// + appropriate operators =
~Variant(); // deal with memory management
private:
int type; // 0 for invalid data, 1 for Type1, 2 for Type2
void* data;
};
template<typename Visitor, typename Type1, typename Type2>
class VariantVisitor
{
private:
Visitor _customVisitor;
public:
void doVisit(Variant<Type1, Type2>& v)
{
if( v.type == 1 )
{
_customVisitor( *(Type1*)(v.data));
}
else if( v.type == 2 )
{
_customVisitor( *(Type2*)(v.data));
}
else
{
// deal with empty variant
}
}
};
template<typename Visitor, typename Type1, typename Type2>
void visit( Visitor visitor, Variant<Type1, Type2> v )
{
VariantVisitor<Visitor, Type1, Type2>(visitor).doVisit(v);
}
MPL vettori per rendere il lavoro approccio per più di due tipi diversi.
Alla fine, si potrebbe scrivere qualcosa di simile:
Variant<Type1, Type2> v;
class MyVisitor
{
public:
operator()(Type1);
operator()(Type2);
};
MyVisitor visitor;
v = Type1();
visit(visitor, v);
v = Type2();
visit(visitor, v);
NB: non v'è alcuna possibilità di questo codice viene compilato, ma questo descrive le idee userei
.Altri suggerimenti
I pensate ti stai chiedendo come usano per le varianti, non come implementare di loro. Si consiglia di guardare il rel="nofollow aumentare documentazione su varianti ; questo sarà molto più utile che guardare il file di intestazione.
Poi il tuo esempio potrebbe essere simile a questo:
class v_visitor : public boost::static_visitor
{
public:
void operator()(Type1 &t) const {...}
void operator()(Type2 &t) const {...}
};
v = Type1(...);
boost::apply_visitor(v_visitor(), v);