problema di compilazione di transform_iterator
-
20-08-2019 - |
Domanda
HI,
Non mi piace pubblicare problemi di compilazione, ma non riesco davvero a capirlo. Utilizzando questo codice:
#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());
}
};
Ottenere questo errore di compilazione:
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>
]
Qualcuno può spiegare perché questo non funziona? Sto usando Visual Studio 7.0 con boost 1.36.0
Grazie.
Soluzione
Dato che hai anche chiesto una spiegazione
transform_iterator
deve conoscere il tipo di ritorno della funzione chiamata per creare un'istanza. Questo è determinato tramite result_of
( trovato in <boost/utility/result_of.hpp>
Se si utilizza un oggetto funzione, è necessario definire un membro result_type
per specificare il tipo di risultato dell'oggetto. (poiché un oggetto non ha un 'tipo di ritorno' in quanto tale)
Se avessi usato una funzione regolare, <=> sarebbe stato in grado di capirlo da solo, ad esempio:
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 >);
}
};
Altri suggerimenti
Dovrai ereditare get_value
da unary_function<const V&, std::pair<K, V> const&>
per dire transform_iterator
qual è la firma di <=>.