为什么访问嵌套类型会影响C++中的成员分辨率？

Question

假设我有一个简单的结构......

struct A { 
    std::vector<uint32_t> v; 
}; 

而且我想要找的矢量元素类型的大小...

sizeof(A::v);      // legal 
sizeof(decltype(A().v)::value_type); // legal 
sizeof(A::v::value_type)    // illegal 

错误信息......

example.cpp:18:44: error: no member named 'v' in 'A'

为什么第三个版本失败？我不明白如何添加另一层作用域分辨率会导致更宽泛的作用域分辨率失败。事实上，第二个例子看起来与失败的例子相同，但显然编译器不同意。

这是一个假设/语言问题。我并非试图解决矢量大小的特定问题，而是更明白这种语言的这种古怪。

更新

这里是从下面这似乎进一步我的困惑回答另一个例子......

sizeof(decltype(A::v)::value_type); // legal 

如何是在这种背景下A::v::value_typedecltype(A::v)::value_type不同？

Answer 1

我不认为你可以使用::令牌变量获得类型名。忽略sizeof并忽略A :: v。以下不工作：

A a; // A is some type with a public typedef for value_type in its declaration 
A::value_type b; // ok 
a::value_type c; // error 

GCC 4.7.1给了我这个错误：

x.cpp:9:1: error: 'a' does not name a type 

的sizeof使得这只是混乱，因为它是接受这两种类型和变量作为一个编译时间结构参数。

Answer 2

纠正我，如果我错了，但最后一个失败，因为你正在访问最后一个实例，而在第二个，你从decltype（）获得类名称。如果换在decltype第三个它的工作原理

sizeof(decltype(A::v)::value_type);