为什么让非常量引用指向一个常量对象没有报错？

还有int &r4 = r2 * 2;//非常量引用的初始值必须是左值 这里我明白是为了不让通过非常量修改常量的值
可是这里这里    r1 = r2;//非常量引用绑定到常量上 ， 然后我通过r1修改了常量r2的值。

#include <iostream>
#include <stdio.h>

using namespace std ;

int main(  )
{

    int a1 ; const int a2=1 ;
    a1 = a2 ;//常量赋值给非常量

    //a2 = a1;//常量不可以修改

    int &r1 = a1;
    const int &r2 = a1;//常量引用可以绑定到非常量上

    r1 = r2;//非常量引用绑定到常量上
    r1 = 88;
    cout << r2;
//    int &r4 = r2 * 2;//非常量引用的初始值必须是左值
    return 0;
}

那这样赋值的话不是也改变了常量的值。。

我大概明白了，开始我将常量引用r2绑定到非常量引用r1上，
因此r2是r1的别名 r1改变了r2就会改变。
如果一开始将r2初始化绑定到一个整数，就不会这样了。
常量的引用的意思应该是只认初始化事绑定的对象，只能赋值给其它变量而不能再次被绑定
下面的输出是5 99

    int i = 4;
    const int &r = i ;
    i = 5;
    int a = 3;
    int &r1 = a;
    r1 = r;
    r1 = 99;
    cout << r <<" "<<r1<< endl;