Dlaczego rozwiązywanie problemu kończy się niepowodzeniem w przypadku wystąpienia decltype?

Question

Rozumiem, że decltype służy do sprawdzania typu obiektów/zmiennych i tak dalej.

Z przykładów obecnych na wikipedii, jak następuje:

int i; 
decltype(i) x3; // type is int 

Przypuszczałem mógłby zrobić coś takiego:

class A 
{ 
public: 
    int a, b; 
}; 

template<typename T> 
struct IsClass 
{ 
    enum { Yes = std::is_class<T>::value }; 
    enum { No = !Yes }; 
}; 

std::vector<A> v; 
auto it = v.begin(); 
IsClass<decltype(it)::value_type>::Yes 

Bo przecież ta linia jest legalne:

IsClass<std::vector<A>::iterator::value_type>::Yes 

Niestety nie byłoby skompilować, powołując się na następujące: error C2039: 'value_type' : is not a member of ' globalnej przestrzeni nazw „” `

pomysłów, dlaczego rozdzielczości zakres został wykonany w ten sposób zachowywać się w obecności decltype?

P.S: Jeśli to czyni żadnej różnicy używam MSVC2012 (bez CTP listopada)

Answer 1

To znany błąd w Visual C++ kompilatora. Nie zostało to jeszcze naprawione od wersji Visual C++ 2013 Preview. Można obejść ten problem używając std::common_type:

IsClass<std::common_type<decltype(it)>::type::value_type>::Yes 
     ^^^^^^^^^^^^^^^^^   ^^^^^^^ 

(std::common_type z pojedynczym rentowności szablon argument, że rodzaj argumentu, jest to standaryzowany C++ 11 odpowiednik identity szablonu, który od dawna stosowane w metaprogramowanie.)

Możesz znaleźć publiczny raport o błędach w witrynie Microsoft Connect: Cannot use decltype before scope operator. Jeśli ten problem jest dla ciebie ważny, rozważ uwzględnienie tego zgłoszenia błędu.