"非常量引用的初始值必须为左值"

非常量引用的初始值必须为左值

int &a = 1;//1是右值，a是非常量引用,错误
     a = 2; //把1这个右值的值改为2,错误

int i = 1;   
int &a = (int*)0x12345678; //错误，0x12345678不是左值
int &a = i;//OK,i是左值，非常量引用的初始值为左值
a = (int*)0x12345678; //OK，赋值时可以为左值。

同样的，

int   b(1);
int *p = b; //OK，将指针p指向b;
int* &a = &b;//错误，非常量引用的初始值 不是左值
    a = &b; //OK,赋值时，可以为左值
int* &c = p;//OK，非常量引用的初始值 是左值

因为 &b是一个固定的地址，是不可修改的，是右值，而a不是 常指针的引用，是变指针的引用（可以改变指针指向），a是“非常量的引用”;
p是一个可以改变指向的指针，是左值。

const 在前面 是修饰指针指向的内容，const在后面是修饰指针本身：

int *p = b; 
const int*& d = p;//错误，无法用"int*"类型的值初始化"const int*&"类型的引用（非常量限定）
//改为：
const int*q = &b;
const int*& d = q;//OK
*d = 2;//错误，不可修改指针指向的内容时

const在*号前面是指指针指向的内容是const的，d还是非常量指针的引用；

–欢迎补充和指正！–