auto xr2 = xr;总是非常量非引用，是的。
但是，当您添加&时，它不再破坏稳定性，并且始终是一个（左值）引用。

auto的规则相当简单，因为它们反映了函数模板参数推导的规则：
如果 * 占位符类型说明符 * 的形式为 * type-constraint * opt auto，则替换T的推导类型T'将使用模板参数推导规则来确定。
[...]

• [示例2：*

const auto &i = expr;

i的类型是以下发明的函数模板的调用f(expr)中参数u的推导类型：

template <class U> void f(const U& u);

• --end example]*

• http://eel.is/c++draft/dcl.type.auto.deduct#3

* 衰减 *-auto删除cv限定符时

auto关键字并不总是允许删除cv限定符（const，volatile）;仅当将变量声明为非引用时。例如：

const volatile int& x = ...;
// y is of type int, with no cv-qualifiers
auto y = x;

这是因为cv限定符在传递给非引用函数参数时被丢弃（这称为 * decay *）。auto变量遵循函数模板参数推导的规则，所以这里也会发生同样的事情。

为什么你的示例不编译

在您的示例中，所有auto的使用仍然涉及&，因此不会发生衰减，并且保留了cv限定符。您的代码无法编译，因为发生了以下情况：

int x = 99;
const int& xr = x;
// auto deduces to const int
// xr2 is declared as const int&, just like xr
auto& xr2 = xr ;
// error: assigning 88 to const variable
xr2 = 88;