Как реализовать шаблон basic Variant (и посетителя в этом варианте) на C ++?
Вопрос
Я пробовал читать:
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"
но все еще не понимаю, как реализуются варианты.Кто-нибудь может вставить короткий пример того, как определить что-то вроде:
class Foo {
void process(Type1) { ... };
void process(Type2) { ... };
};
Variant<Type1, Type2> v;
v.somethingToSetupType1 ...;
somethingToTrigger process(Type1);
v.somethingToSetupType2 ...;
somethingToTrigger process(Type2);
Спасибо!
Решение
Если бы мне нужно было определить объект variant, я бы, вероятно, начал со следующего :
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 чтобы этот подход работал не только для двух разных типов.
В конце концов, вы могли бы написать что-то вроде этого :
Variant<Type1, Type2> v;
class MyVisitor
{
public:
operator()(Type1);
operator()(Type2);
};
MyVisitor visitor;
v = Type1();
visit(visitor, v);
v = Type2();
visit(visitor, v);
ПРИМЕЧАНИЕ :нет никаких шансов, что этот код скомпилируется, но это описывает идеи, которые я бы использовал.
Другие советы
Я подумай вы спрашиваете, как использование варианты, а не как реализовать их.Возможно, вы захотите взглянуть на расширьте документацию по вариантам;это будет гораздо полезнее, чем просмотр файла заголовка.
Тогда ваш пример может выглядеть примерно так:
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);