c++ - 为什么访问嵌套类型会影响 C++ 中的成员解析？

Question

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

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

而且我想求 vector 元素类型的大小...

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'

为什么第三个版本失败了？我不明白如何添加另一层范围解析会导致更广泛的范围解析失败。事实上，第二个例子似乎等同于失败的例子，但显然编译器不同意。

这是一个假设/语言问题。我并不是要解决 vector 大小的特定问题，而是要理解这种语言的怪异之处。

更新

这是下面答案中的另一个例子，它似乎加深了我的困惑......

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

在此上下文中，decltype(A::v)::value_type 与 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 只是因为它是一个编译时结构，接受类型和变量作为其参数，所以才造成混淆。