本篇博客主要通过三个问题来理清C/C++中的读写权限问题:

const变量可以赋值给非const引用吗?

const变量的地址可以赋值给非const指针吗?

const普通变量可以给非const普通变量赋值吗?

在此之前,我们得先明白读写权限的一个基本原理:读写权限只能缩小,不能放大。

现在我们先来看第一段代码:

int main()
{
    const int a = 0;
    const int a2 = 0;
    const int& r = a;
    int& r2 = a2;//报错

    return 0;
}

在上述代码中,第五行代码没有任何问题,因为变量a是const的,只能读不能写,赋值给引用变量r,我们依然只能通过引用r来读a,而不能通过引用r修改a,因此a的读写权限没有发生任何变化,所以第五行代码没有任何问题。

第六行代码中,a2也是const的,只能读不能写,将a2赋值给非const引用变量r2,非const引用变量r2是既可以读可以写的,那就可以通过r2修改a2,那么a2的读写权限就变大了,这是不被允许的,因此会报错。

通过这个例子,我们可以解决第一个问题:const变量可以赋值给const引用,但是const变量不能赋值给非const引用,因为这会造成const变量读写权限的放大,是不被允许的。

接着后面,我们来看第二段代码:

int main()
{
    const int a = 0;
    const int a2 = 0;
    const int* r = &a;
    int* r2 = &a2;//报错
    
    return 0;
}

在上面的代码中,第五行代码没有任何问题,变量a是const的,将它的地址赋值给const指针,我们依然只能通过指针r来读a,而不能通过指针r修改a,因此a的读写权限没有发生任何变化,所以第五行代码没有任何问题。

第六行代码中,a2也是const的,只能读不能写,将a2赋值给非const指针变量r2,非const指针变量r2是既可以读可以写的,那就可以通过r2修改a2,那么a2的读写权限就变大了,这是不被允许的,因此会报错。

通过这个例子,我们可以解决第二个问题:const变量的地址可以赋值给const指针,但是const变量的地址不能赋值给非const指针,因为这会造成const变量读写权限的放大,是不被允许的。

最后,我们来看第三段代码:

int main()
{
    const int a = 0;
    int b = a;

    return 0;
}

上述代码完全没有任何问题,尽管是const变量赋值给非const变量,但是赋值后,变量b是变量b,变量a是变量a,只是把a的值赋值给了b而已,除此之外,a和b没有任何关系,变量a的读写权限并没有任何变化,因此该段代码没有任何问题。

通过这个例子我们可以解决第三个问题:普通变量的赋值不会引起读写权限的改变。const普通变量可以赋值给const普通变量,const普通变量也可以赋值给非const普通变量。