Come dichiarare il valore di un iteratore attraverso decltype

Question

In C++ 98, Uso tipicamente quanto segue per dichiarare una variabile nel tipo di valore di un iteratore:

typename std::iterator_traits<Iterator>::value_type value; 

In C++ 11 abbiamo decltype e avevo pensato che il modo più semplice per dedurre il tipo di valore è:

decltype(*iterator) value; 

Purtroppo per la maggior parte iteratori, il tipo di * iteratore è value_type & e non value_type. Qualche idea, senza le classi di modifica del tipo, come massaggiare quanto sopra nel produrre il value_type (e non alcun riferimento)?

---

Non credo che la domanda sia irragionevole dato che quanto segue è abbastanza robusto ma finisce per creare un'altra variabile.

auto x = *iterator; 
decltype(x) value; 

Si noti inoltre che voglio davvero il tipo dedotta e non solo un esempio esempio se volessi dichiarare un vettore std :: di questi valori.

Answer 1

Continua a utilizzare iterator_traits. decltype(*iterator) potrebbe anche essere una sorta di classe proxy strana per fare cose speciali nell'espressione *iter = something.

Esempio:

#include <iostream> 
#include <iterator> 
#include <typeinfo> 
#include <vector> 

template <typename T> 
void print_type() 
{ 
    std::cout << typeid(T).name() << std::endl; 
} 

template <typename Iterator> 
void test(Iterator iter) 
{ 
    typedef typename 
     std::iterator_traits<Iterator>::value_type iter_traits_value; 

    auto x = *iter; 
    typedef decltype(x) custom_value; 

    print_type<iter_traits_value>(); 
    print_type<custom_value>(); 
} 

int main() 
{ 
    std::vector<int> a; 
    std::vector<bool> b; 

    test(a.begin()); 
    test(b.begin()); 
} 

uscita su MSVC 2012:

int
int
bool
class std::_Vb_reference<struct std::_Wrap_alloc<class std::allocator<unsigned int>>>

Non sono la stessa cosa.

Answer 2

Per questo caso d'uso mi piace std :: decay. Typicall Sarei usando

std::vector<int> vec; 
using value_type = typename std::decay< decltype(*begin(vec)) >::type; 
static_assert(std::is_same< int, value_type >::value, "expected int");