कैसे decltype

Question

के माध्यम से एक इटरेटर के मूल्य की घोषणा करने के लिए सी ++ 98, मैं आम तौर पर एक इटरेटर का मान प्रकार में एक चर घोषित करने के लिए निम्नलिखित का उपयोग करें:

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

सी ++ 11 में हम decltype है और मैं मान प्रकार निकालना सबसे आसान तरीका सोचा था है:

decltype(*iterator) value; 

दुर्भाग्य से सबसे iterators के लिए

, * के इटरेटर प्रकार VALUE_TYPE & और VALUE_TYPE नहीं है। प्रकार के संशोधन वर्गों के बिना, किसी भी विचार, उपरोक्त मालिश करने के लिए value_type (और कोई संदर्भ नहीं) में मालिश करने के लिए कैसे?

---

मुझे नहीं लगता कि प्रश्न अनुचित है क्योंकि निम्नलिखित काफी मजबूत है लेकिन एक और चर बनाने के लिए समाप्त होता है।

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

भी ध्यान रखें कि मैं वास्तव में deduced प्रकार चाहते हैं और न सिर्फ एक उदाहरण उदा अगर मैं इन मूल्यों के std :: वेक्टर घोषित करना चाहता था।

Answer 1

iterator_traits का उपयोग जारी रखें। decltype(*iterator)*iter = something अभिव्यक्ति में विशेष चीजें करने के लिए कुछ प्रकार की अजीब प्रॉक्सी कक्षा भी हो सकती है।

उदाहरण: MSVC 2012 को

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

आउटपुट:

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

वे समान नहीं हैं।

Answer 2

इस उपयोग के लिए मुझे std :: decay पसंद है। Typicall मैं

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