Neden decltype varlığında kapsam çözünürlüğü başarısız olur?

Question

Benim düşüncem, bir nesnenin/değişkenin türünü sorgulamak için dekolemin kullanıldığı anlamındadır. aşağıdaki gibi wikipedia mevcut örneklerden itibaren

:

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

Ben böyle bir şey yapabileceğini kabul:

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 

tüm bu çizgi yasaldır sonra Çünkü:

Ne yazık ki, aşağıdakileri gerekçe göstermez: error C2039: 'value_type' : is not a member of ' global namespace ''

Kapsam çözme, declype varlığında bu şekilde davranmak için neden yapıldığı ile ilgili herhangi bir fikir?

P.S.: Bu

Answer 1

( Kasım CTP olmadan ) Ben MSVC2012 kullanıyorum fark edecekse Bu, Visual C++ derleyici içinde bilinen bir hatadır. Henüz Visual C++ 2013 Önizleme olarak düzeltilmemiş. Sen std::common_type kullanarak bu soruna geçici bir çözüm olabilir:

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

(std::common_type tek şablon argümanı verimi ile bu argüman türü; uzun metaprogramlama kullanılmıştır identity şablonun standardize C++ 11 eşdeğerdir.)

Genel hata raporunu Microsoft Connect'te bulabilirsiniz: Cannot use decltype before scope operator. Bu sorun sizin için önemliyse, lütfen hata raporunu gözden geçirmeyi düşünün.