auto忽略const的讨论

我们知道，auto根据初始值的类型对声明变量进行赋值。当一个auto语句中对多个变量进行定义时，初始值的类型必须保持统一。然而，auto对于const的处理往往没有这么简单。
例如：

//例1
int i = 0;
const int ci = 0;
auto a = i, b = ci;

这段代码是可以正常运行的。其中a，b的类型均是int。这是因为auto会忽略掉顶层const，所以i和ci对于auto来说都等同于int类型。
第二个例子：

//例2
int i = 0;
const int ci = 0;
auto *a = &i, *b = &ci;

这段代码报错，错误信息为：
对于此实体"auto"类型是"const int"，但之前默示为"int"。
因为这种情况下auto不会忽略底层const。所以&i和&ci的类型并不相同。
所以说，我们臆测：auto会忽略顶层const而保留底层const，然而，这种推断正确吗？我们来看一个有趣的例子：

//例3
const int ci = 0;
auto a = ci, &b = ci;

这里报错了，错误信息为：
对于此实体“auto”类型为“const int”，但之前默示为“int”。
这是好理解的。因为引用有底层const属性，对a而言ci的顶层const属性被忽略，但是ci对b而言具有的底层const属性是保留的，所以两个auto类型分别是int和const int。
我们在第二行之前加一个const。

//例4
const int ci = 0;
const auto a = ci, &b = ci;

错误信息消失了，编译能正常通过。为什么呢？
对于例4，为了探讨auto类型，我们小修一改：

//例5
double d=0.0;
const int ci = 0;
const auto a = d, &b = ci;

报错信息为
对于此实体“auto”类型为“int”，但之前默示为“double”。
可见，在例4和例5中，b的auto类型是int。
这是为什么呢？原因是，由于b是常量引用，所以绑定方式是临时量绑定，这是初始值是否是顶层const是无所谓的，因此编译器处理时将b的底层const属性也给忽略了。导致b的auto类型是int而非const int。