Как реализовать базовый шаблон Variant (и посетителя на Variant) в C ++? - PullRequest
Новая
       22

Как реализовать базовый шаблон Variant (и посетителя на Variant) в C ++?

2 голосов
/ 25 января 2010

Я попытался прочитать: 

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);

Спасибо!

Ответы [ 2 ]

2 голосов
/ 25 января 2010

Если бы мне нужно было определить вариант объекта, я бы начал со следующего: 

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);

NB: нет шансов, что этот код скомпилируется, но здесь описаны идеи, которые я бы использовал.

1 голос
/ 25 января 2010

Я думаю Вы спрашиваете, как использовать варианты, а не как реализовать их. Возможно, вы захотите взглянуть на документацию поддержки для вариантов ; это будет гораздо полезнее, чем просмотр файла заголовка.

Тогда ваш пример может выглядеть примерно так: 

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);
...