Làm thế nào để khai báo giá trị của một iterator qua decltype

Question

Trong C++ 98, tôi thường sử dụng sau đây để khai báo một biến trong kiểu giá trị của một iterator:

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

Trong C++ chúng ta có 11 decltype và tôi đã nghĩ cách dễ nhất để suy ra kiểu giá trị là:

decltype(*iterator) value; 

Thật không may cho hầu hết các vòng lặp, các loại * iterator là value_type & và không VALUE_TYPE. Bất kỳ ý tưởng, mà không có các lớp sửa đổi loại, làm thế nào để xoa bóp ở trên vào năng suất value_type (và không phải bất kỳ tài liệu tham khảo)?

---

Tôi không nghĩ rằng câu hỏi này là không hợp lý vì sau đây là khá mạnh nhưng cuối cùng lại tạo ra một biến khác.

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

Cũng lưu ý rằng tôi thực sự muốn suy luận kiểu và không chỉ là một ví dụ ví dụ nếu tôi muốn khai báo một std :: vector của các giá trị này.

Answer 1

Tiếp tục sử dụng iterator_traits. decltype(*iterator) thậm chí có thể là một số loại lớp proxy lạ để làm những việc đặc biệt trong biểu thức *iter = something.

Ví dụ:

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

Output trên MSVC 2012:

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

Chúng không giống nhau.

Answer 2

Đối với trường hợp sử dụng này, tôi thích std :: phân rã. Tôi muốn sử dụng

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