なぜdecltypeの存在下でスコープ解決が失敗するのですか？

Question

decltypeはオブジェクト/変数のタイプなどを照会するために使用されることは私の理解です。次のようなウィキペディアに存在する例から、

：

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

は、私はこのような何かを行うことができ仮定：

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 

すべてこの行は合法である後ので：

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

これは、次の理由でコンパイルされませんでした。error C2039: 'value_type' : is not a member of 'グローバル名前空間 '' `

なぜ、スコープ解決がdecltypeの存在下でこのように動作するのかについてのアイデアはありますか？

P.S：それは（11月のCTPなし）MSVC2012を使用して私はすべての違いを作る場合

Answer 1

これは、Visual C++コンパイラでの既知のバグです。 Visual C++ 2013プレビューの時点でまだ修正されていません。あなたはstd::common_typeを使用してこの問題を回避することができます

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

（単一テンプレート引数利回り引数の型とstd::common_type;それは長いメタプログラミングで使用されてきたidentityテンプレートの標準化されたC++ 11と同等です。）

公開されているバグレポートは、Microsoft ConnectのCannot use decltype before scope operatorにあります。この問題があなたにとって重要な場合は、そのバグレポートをアップグレートすることを検討してください。