如何获得矢量::value_type？

Question

我想得到向量中包含的类型的sizeof。以下是我尝试的内容：

#include <iostream>
#include <vector>

int main()
{
    std::vector<uint> vecs;
    std::cout << sizeof(vecs.value_type) << std::endl;
    return 0;
}

据我的理解，这应该是正确的。然而，当使用GCC 4.8.1编译时，我得到的是：

test-sizeof.cpp: In function ‘int main()’:
test-sizeof.cpp:7:27: error: invalid use of ‘std::vector<unsigned int>::value_type’
  std::cout << sizeof(vecs.value_type) << std::endl;
                           ^

我做错了什么？如何获取包含的类型的大小？

Answer 1

我更喜欢更简洁的：

sizeof(vecs[0])

乍一看这似乎不安全，因为当vecs是零长度向量时会发生什么？

对于这个示例，其中sizeof（）运算符的参数是在值类型上调用的，sizeof（）运算符是在编译时执行的，因此vecs[0]永远不会导致分段故障或崩溃。

p、 只有当参数是可变长度数组（来自C或GNU C扩展名）时，才会在运行时计算s.sizeof（）

Answer 2

成员访问运算符 只能用于访问类的数据成员和成员函数，而不能用于访问其他嵌套名称，例如类型名称。您需要作用域解析运算符来访问它们，并且只能应用于类名（或别名），而不是类类型的对象：

std::vector<uint>::value_type

在C 11或更高版本中，如果您有一个对象并且无法方便地访问该类型，则decltype可以为您提供一个类型名称：

decltype(vecs)::value_type

Answer 3

3.4.3限定名称查找[basic.lookup.qual]

1类或命名空间成员或枚举器的名称可以在应用于表示其类、命名空间或枚举的嵌套名称规范的：：scope解析运算符（5.1）之后引用。如果嵌套名称规范中的：：scope解析运算符前面没有decltype规范，则在查找：：之前的名称时，只考虑专门化为类型的命名空间、类型和模板。如果找到的名称未指定命名空间或类、枚举或依赖类型，则程序的格式不正确。

在这种情况下，您正在从类模板专门化std：：vector访问类型成员

std::vector<uint>::value_type

如果您实际上在模板代码中并且想要例如。访问相同的嵌套类型，您需要在其前面加上关键字typename，如下所示：

typename std::vector<T>::value_type

在C 11中，您可以使用sizeof（Dectype（vecs）::value_type）或sizeof（Dectype（vecs.back ()))，如果您不知道类型的确切名称，但知道如何通过back（）等成员函数访问它们，后者会很方便。

注意：正如@Casey在评论中指出的那样，decltype需要剥离引用才能获得类型本身，但出于sizeof目的这无关紧要。