Hành vi của decltype

Question

Nói rằng tôi có một đối tượng của một số lớp container STL obj. Tôi có thể xác định đối tượng khác cùng loại theo cách này:

decltype(obj) obj2; 

Nhưng tôi không thể tuyên bố iterator cho container theo cách này:

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

Tại sao? Tôi có làm điều gì sai?

Answer 1

Mã của bạn là tốt được hình thành theo quy định của dự thảo C++ 0x thức (FDI) . Đây là một sự thay đổi muộn mà chưa được thực hiện bởi trình biên dịch Visual Studio.

Trong khi đó, một cách giải quyết là sử dụng một typedef:

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

EDIT: Chương có liên quan và câu là 5.1.1/8:

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

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

decltype-specifier: 
    decltype (expression) 

Và vì lợi ích đầy đủ của :

The original core issue

Proposal for wording

Answer 2

Đó là vì cách mà ngôn ngữ được phân tách.

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

Bạn muốn nó trở thành

(decltype(obj)::iterator) it; 

Nhưng trong thực tế, nó trở nên

decltype(obj) (::iterator) it; 

Tôi phải thừa nhận, tôi cũng rất ngạc nhiên khi thấy rằng đây là trường hợp, như tôi chắc chắn rằng tôi đã làm điều này trước đây. Tuy nhiên, trong trường hợp này, bạn có thể chỉ cần sử dụng auto, hoặc thậm chí decltype(obj.begin()), nhưng ngoài ra, bạn có thể làm

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

Answer 3

Tuy nhiên, một workaround cho đến khi phân tích cú pháp VC++ 's là cố định để phản ánh các doanh nghiệp FDI là sử dụng std::identity<> metafunction:

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