Comportamiento de decltype

Question

Supongamos que tengo un objeto de algunas de las clases de contenedor stl obj. Puedo definir otro objeto del mismo tipo de esta manera:

decltype(obj) obj2; 

Pero no puedo declarar iterador para el contenedor de esta manera:

decltype(obj)::iterator it = obj.begin(); 

¿Por qué? ¿Estoy haciendo algo mal?

Answer 1

Su código está bien formado de acuerdo con el borrador final de C++ 0x (FDIS) . Este fue un cambio tardío que aún no ha sido implementado por el compilador de Visual Studio.

Mientras tanto, una solución es utilizar un typedef:

typedef decltype(obj) obj_type; 
obj_type::iterator it = obj.begin(); 

EDIT: El pelos y señales relevante es 5.1.1/8:

 
qualified-id: 
    [...] 
    nested-name-specifier templateoptunqualified-id 

nested-name-specifier: 
    [...] 
    decltype-specifier :: 

decltype-specifier: 
    decltype (expression) 

Y por amor de exhaustividad :

The original core issue

Proposal for wording

Answer 2

Es por la forma en que se analiza el lenguaje.

decltype(obj)::iterator it = obj.begin(); 

usted quiere que se convierta en

(decltype(obj)::iterator) it; 

Pero, en realidad, se convierte en

decltype(obj) (::iterator) it; 

tengo que admitir, que también se sorprendió al ver que este era el caso, como estoy seguro de que he hecho esto antes. Sin embargo, en este caso, es posible que utilices auto, o incluso decltype(obj.begin()), pero, además, se puede hace

typedef decltype(obj) objtype; 
objtype::iterator it; 

Answer 3

Sin embargo, otra solución hasta analizador VC++ 's se fija para reflejar el FDIS es utilizar el std::identity<> metafunción:

std::identity<decltype(obj)>::type::iterator it = obj.begin();