int foo = 11;
const int &a = 10;
int *p = &foo;
auto x = foo;
auto y = a;
auto &yy = a;
auto pp = p;
auto *ppp = p;
cout << y << endl;
cout << yy << endl;
cout << pp << endl;
cout << ppp << endl;
输出：
10
10
0x61fefc
0x61fefc
这段程序的前面我都理解，到了pp这里我就有点疑惑了，C++ Primer 上说auto会推断出基本数据类型，那么按理说*这种指针声明也应该去掉了，所以auto *ppp = p;才是正确的吧？但是auto pp = p;与这一句输出了指针的值相同的结果，这是为什么呢？在网上找了一下，发现没有什么太好的解释，求教。
 |
1
codehz Nov 29, 2018
|
|
2
codehz Nov 29, 2018
基本上就是和 decay 表现一致，可以看这个
|
 |
3
codechaser OP @codehz 看了一下，意思是说会隐式转换吗？我刚接触 C++，这个文档看的云里雾里的。😂
|
 |
4
after1990s Nov 29, 2018
auto 的类型推导和模板是基本一致的。
对于刚入门的来说，这个话题有点过难了。 |
|
5
codehz Nov 29, 2018
auto 的类型 deduce 规则和 decay 的结果是一致的，其实就是一种类型的退化，把 cv 限定符 /引用 /不规范的函数类型干掉了。。(标准是 10.1.7.4.1 Placeholder type deduction [dcl.type.auto.deduct] 写的比较混乱，我个人总结就是把 auto 当作 std::decay_t<decltype(rhs)>这样去理解。。。
|
 |
6
Yvette Nov 29, 2018 via iPhone  1
首先明确 auto 的 * 是声明符的一部分，不是 base type 的一部分。
这样理解吧，因为 p 的 type 是 int *，base type 为 int，所以 auto deduce 出来 pp 为 int * 是合理的。而 ppp 声明中 * 是作用于 auto，用来明确 p 必须为 pointer，否则报错；如果不加 * （如 pp 这种情况）则如果 p 不是 pointer 也不会报错。 |
|
7
Yvette Nov 29, 2018 via iPhone
总的来说就是 auto 后面 * 的作用是为了确保赋值符右边为 pointer 而不是为了声明新的变量为 pointer，虽然效果一样。而 auto 本身的作用是用赋值符右边的 type （不是 base type ） deduce 出新变量的 type。把声明 pp 和 ppp 中的 p 换成一个 int （比如 foo ）跑一遍看看报错可能容易理解一些。
|
|
8
codechaser OP @Yvette `base type 为 int，所以 auto deduce 出来 pp 为 int * 是合理的。`既然是 int 的，那么 pp 为 int *为什么就合理了呢？
|
|
9
Yvette Nov 29, 2018 via iPhone 1
|
|
10
Yvette Nov 29, 2018 via iPhone
@codechaser 简单来说就是两点：
1. auto 的结果为忽略了 top-level const 的 type 2. auto 的 type modifier 是为了确保右边返回的 type，而不是为了隐式转换 |
|
11
codechaser OP @Yvette 谢谢！
|
 |
12
Akiyu Nov 29, 2018
上面那位 dalao 说得我都晕了
本着 less is more 的原则, 你这么简单记一下: auto 会去除顶层 const 和引用属性 @btw: 如果你拿不准的话 decltype 可以推断出完整的属性 (如果我没弄错的话) |
 |
13
turi Nov 29, 2018
Effective Modern C++ 里面讲解的很清楚，基本上就是 4 楼的意思
|
|
14
codechaser OP @Akiyu auto 是会去除顶层 const 和引用属性，可是我不解的是 pp 和 ppp 都被推断成了 int *类型。
|
|
15
codehz Nov 30, 2018
原来你问这个啊，这样的话你可以把 auto 理解为类型占位符，和方程里的未知数一个意思，事实上文档里就是这么写的。。。
|
 |
16
aijam Nov 30, 2018
感觉 lz 对指针写在等号左边和右边的语义不同不太熟悉。
对于等号右边的指针 p 来说，p 的类型是 int*, *p 的类型是一个 int。 当你写 auto pp = p，auto 推断出 pp 和 p 一样都是 int*，此时 pp == p == 0x61fefc 当你写 auto pp = *p, auto 推断出 pp 和*p 一样都是 int，此时 pp == *p == 11 逻辑很自然啊。 |
|
17
aijam Nov 30, 2018
同理，auto *ppp 声明了 ppp 是一个指针，但我们不知道这个指针指向的类型是什么，需要 auto 来推导 ppp 是什么类型的指针。那么当你写 auto *ppp = p，说明 ppp 和 p 一样都是 int*。
|
|
18
codechaser OP @aijam 这样的啊？谢谢啊！
|
Select Language