problème de compilation transform_iterator

Question

HI,

Je n'aime pas publier des problèmes de compilation, mais je n'arrive vraiment pas à comprendre cela. En utilisant ce code:

#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()); 
    } 
}; 

Obtenir cette erreur de compilation:

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> 
     ] 

Quelqu'un peut-il expliquer pourquoi cela ne fonctionne pas? J'utilise Visual Studio 7.0 avec boost 1.36.0

Merci.

Answer 1

Puisque vous aussi demandé une explication

Les transform_iterator a besoin de connaître le type de retour de la fonction appelée pour s'instancier. Ceci est déterminé par result_of (dans <boost/utility/result_of.hpp>

Si vous utilisez un objet de fonction, vous devez définir un élément result_type pour spécifier le type de résultat de l'objet. (Car un objet ne dispose pas d'un « type de retour » comme tels)

Si vous avez utilisé une fonction régulière, result_of serait en mesure de comprendre ses propres ailes, par exemple: la fonction

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

Answer 2

Vous devrez hériter get_value de unary_function<const V&, std::pair<K, V> const&> pour dire transform_iterator ce que la signature de get_value est.