проблемы с правильностью констант при использовании boost :: fusion :: map - PullRequest
Новая
       30

проблемы с правильностью констант при использовании boost :: fusion :: map

1 голос
/ 23 января 2012

Я пишу некоторые классы, которые используют boost :: fusion :: map. Ниже вы найдете упрощенный код: 

template <typename ObjDef>
struct Object
{
typedef 
typename 
boost::fusion::result_of::as_map<valid_list_of_fusion_pairs>::type map_type;

map_type map;

Object()
: map()
{}

Object(Object const & other)
: map(other.map)
{}

Object & operator=(Object const & other)
{
  map = other.map;
  return *this;
}

// non-const version
template <typename FieldId>
typename 
boost::fusion::result_of::at_key<map_type, FieldId>::type  get()
{
return boost::fusion::at_key<FieldId>(map);
}

// const version
template <typename FieldId>
typename 
boost::fusion::result_of::at_key<map_type const, FieldId>::type get() const
{
return boost::fusion::at_key<FieldId>(map);
}

};

и другой класс: 

template <typename Obj, typename FieldId>
class Field
{
private:
  Obj &obj_m;

public:

// type returned by \c operator()
typedef
typename 
boost::fusion::result_of::at_key<typename Obj::map_type, FieldId>::type return_type;

// type returned by \c operator() const
typedef
typename 
boost::fusion::result_of::at_key<typename Obj::map_type const, FieldId>::type return_type_const;

Field(Obj &obj)
: obj_m(obj)
{ }

virtual ~Field()
{ }

return_type operator()()
{
  return obj_m.template get<FieldId>();
}

return_type_const operator()() const
{
  /*
  * PROBLEM!
  */
  Obj const & obj_const = obj_m;
  return obj_const.template get<FieldId>();
}
};

Ищите «ПРОБЛЕМА!» в комментариях в приведенном выше коде. В этом методе компилятор игнорирует константный квалификатор метода и вызывает неконстантную версию obj_m.get (), позволяющую сделать что-то вроде: 

obj_m.template get<FieldId>() = 10;

что не правильно, так как этот метод является const! Затем, чтобы заставить компилятор вызывать const-версию, объявляется const-ссылка на obj_m. Теперь предложение 

obj_const.template get<FieldId>() = 0;

выдает ошибку компиляции. Пока что это не проблема для текущего метода, но он не удобен для правильности констант и окончательно нежелателен

есть идеи, почему это происходит? спасибо!

...