Zachowanie decltype

Question

Powiedzmy, że mam obiekt niektórych klas kontenera STL obj. Mogę określić inny obiekt tego samego typu w ten sposób:

decltype(obj) obj2; 

Ale nie mogę zadeklarować iterator do pojemnika w ten sposób:

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

Dlaczego? czy robię coś źle?

Answer 1

Kod jest dobrze uformowane zgodnie z ostatecznym projektem C++ 0x (FDIS) . To była późna zmiana, której jeszcze nie zaimplementował kompilator Visual Studio.

W międzyczasie obejście jest użycie typedef:

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

EDIT: Odpowiedni rozdział i werset 5.1.1/8:

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

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

decltype-specifier: 
    decltype (expression) 

i dla zapewnienia kompletności za :

The original core issue

Proposal for wording

Answer 2

Dzieje się tak ze względu na sposób analizowania języka.

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

chcesz go stać

(decltype(obj)::iterator) it; 

Ale w rzeczywistości, staje

decltype(obj) (::iterator) it; 

Muszę przyznać, byłem też zaskoczony, aby zobaczyć, że to był przypadek, ponieważ jestem pewien, że już to zrobiłem. Jednak w tym przypadku, można po prostu użyć auto lub nawet decltype(obj.begin()), ale dodatkowo, ty może zrobić

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

Answer 3

Kolejny obejście aż parsera VC++ 's jest ustalony w celu odzwierciedlenia FDIS jest użycie std::identity<> metafunkcji:

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