auto 是如何推断指针类型的？答案

【问题标题】：How auto is deducing pointer type?auto 是如何推断指针类型的？
【发布时间】：2016-09-18 10:01:36
【问题描述】：

在下面的代码中，我无法理解auto 是如何知道右手边的东西是指针：

int x = 100;
int *ptr = & x;
auto test = ptr;
std::cout<<*test<<std::endl;

因为根据我的理解，指针包含的地址只不过是unsigned int，所以auto 如何推断它是指针而不是unsigned int？

【问题讨论】：

【解决方案1】：

您也可以问“最终，我的程序中的所有内容都是字节，那么为什么 auto 不能推断出所有内容都是 uint8_t[]？”

嗯，很简单。 ptr 的类型是 int*，所以 test 的类型也是 int*。生成的程序集看起来如何并不重要。可能是 CPU 以相同的方式处理 int* 和 unsigned int，但这与 C++ 无关，因为 C++ 是一种高级语言。

除此之外。 “指针是无符号整数”的基本陈述是不正确的。指针是一种允许读取和写入该变量中包含的内存地址的类型。 unsigned int 是... unsigned int。仅此而已，仅此而已。

【讨论】：

【解决方案2】：

标准说：

使用 auto 声明的变量的类型是从其初始化程序推导出来的。

因此，test 的类型是从ptr（即它的初始化程序）之一推导出来的，它是int *。

请注意，auto 遵循几乎相同的模板类型推导规则。
auto、auto&、const auto &、auto&&等之间的区别可以参考他们。

【讨论】：