C++ 顶层 const

C++ 顶层 const

大家好,又见面了,我是全栈君,祝每个程序员都可以多学几门语言。

我的主力博客:半亩方塘

本文的主要參考来源来自于:C++ Primer 中文版(第 5 版) 第 57 面至第 58 面

1. 顶层 const 与底层 const 概念

我们知道,指针本身是一个对象,由于,指针实际相应着内存单元的一段存储空间,然而,指针所指向的也是一个数据对象,因此,指针是一个常量与指针所指向的是一个常量是两个全然不同的概念, 顶层 const 表示的是 指针本身是一个常量, 底层 const 表示的是 指针所指的对象是一个常量,更普通情况下, 顶层 const 能够表示随意对象是一个常量,这对于算术类型、类、指针等不论什么数据类型都是成立的, 底层 const 则与指针和引用等复合类型的基本类型部分有关 ,比較特殊的是,指针既能够是顶层 const 也能够是底层 const ,这一点与其它类型差别明显。

2. 顶层 const 与底层 const 在运行拷贝操作时的不同

对于顶层 const 与底层 const ,在运行对象拷贝时有着明显的不同:

(1)顶层 const 不受什么影响

int i = 0;const int ci = 42;   // 不能改变 ci 的值,这是一个顶层 consti = ci;   // 正确:ci 是一个顶层 const,对此操作无影响const int *p2 = &ci;  // 同意改变 p2 的值,这是一个底层 constconst int *const p3 = p2;  // 靠右的 const 是顶层 const ,靠左的是底层 constp2 = p3;   // 正确:p2 和 p3 指向的对象的类型同样,p3 顶层 const 的部分不影响

(2)底层 const 的限制不能忽略, 
要求拷出和拷入的对象有同样的底层 const 资格或者能转换为同样的数据类型,一般很量可以向常量转换,反之则不行

int *p = p3;  // 错误:p3 包含底层 const 定义,而 p 没有
p2 = p3;   // 正确:p2 和 p3 都是底层 const
p2 = &i;   // 正确:int* 能转换成 const int*
int &r = ci;  // 错误:普通的 int& 不能绑定到 int 常量上
const int &r2 = i;  // 正确:const int& 能够绑定到一个普通 int 上

来分析一下以上的代码:

int *p = p3;
p3 既是一个顶层 const 又是一个底层 const,在运行对象拷贝时,顶层 const 部分没有不论什么影响,全然不用考虑,可是 p3 又是一个底层 const ,它要求拷入的对象有同样的底层 const 资格,而 p 没有,所以是错的;

p2 = p3;
p3 要求拷入的对象拥有同样的底层 const 资格,p2 也是一个底层 const,故正确;

p2 = &i;
对 i 取地址将得到 int*, p2 是 const int*,前者是很量,后者是常量,赋值语句等号右側的类型向左側转换,很量可以向常量转换,故正确;

int &r = ci;
由左側部分我们知道,须要得到的是一个绑定到 ci 上的引用,而绑定到 ci 上的引用的类型是 const int&,等号左側的类型是 int&,赋值语句等号右側的类型向左側转换,可是常量不能向很量转换,所以是错误的;

const int &r2 = i;
由左側部分我们知道,须要得到的是一个绑定到 i 上的引用,而绑定到 i 上的引用的类型是 int&,等号左側的类型是 const int&,赋值语句等号右側的类型向左側转换,一般很量能够向很量转换,所以是正确的。

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/118668.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)


相关推荐

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号