проблема компиляции transform_iterator - PullRequest
Новая
       30

проблема компиляции transform_iterator

5 голосов
/ 29 января 2009

HI

Мне не нравится публиковать проблемы с компиляцией, но я действительно не могу понять это. Используя этот код: 

#include <map>
#include <boost/iterator/transform_iterator.hpp>

using namespace std;

template <typename K, typename V>
struct get_value
{
    const V& operator ()(std::pair<K, V> const& p) { return p.second; }
};

class test
{
    typedef map<int, float> TMap;
    TMap mymap;

public:
    typedef get_value<TMap::key_type, TMap::value_type> F;
    typedef boost::transform_iterator<F, TMap::iterator> transform_iterator;

    transform_iterator begin()
    {
        return make_transform_iterator(mymap.begin(), F());
    }
};

Получение этой ошибки компиляции: 

transform_iterator.hpp(43) : error C2039: 'result_type' : is not a member of 'get_value<K,V>'
        with
        [
            K=int,
            V=std::pair<const int,float>
        ]

Может кто-нибудь объяснить, почему это не работает? Я использую Visual Studio 7.0 с бустом 1.36.0

Спасибо.

Ответы [ 2 ]

7 голосов
/ 29 января 2009

Так как вы также попросили объяснения

transform_iterator должен знать тип возвращаемого значения вызываемой функции, чтобы создать его экземпляр. Это определяется через result_of (находится в <boost/utility/result_of.hpp>

Если вы используете функциональный объект, вам нужно определить член result_type, чтобы указать тип результата объекта. (поскольку у объекта нет «возвращаемого типа» как такового)

Если бы вы использовали обычную функцию, result_of смог бы разобраться в этом самостоятельно, например ::

template <typename K, typename V>
const V & get_value(std::pair<K, V> const & p)  { return p.second; }

class test
{
  typedef map<int, float> TMap;
  TMap mymap;

public:
  typedef boost::function< const TMap::mapped_type & (const  TMap::value_type &)  > F;
  typedef boost::transform_iterator<F, TMap::iterator> transform_iterator;

  transform_iterator begin()
  {
    return boost::make_transform_iterator(mymap.begin(), &get_value< int, float >);
  }
};
6 голосов
/ 29 января 2009

Вам придется наследовать get_value от unary_function<const V&, std::pair<K, V> const&>, чтобы сообщить transform_iterator, что такое подпись get_value.

...