char类型的实参与const char类型的形参不兼容_C++干货系列——顶层const和底层const...
顶层 const 和底层 const
学C++的小伙伴是不是被const机制搞得晕头转向,永远都记不住哪个是指针不能变哪个是指针指向的对象不能变?纯靠记忆肯定不行,理解透彻才能一劳永逸。本文详细介绍了C++的顶层和底层const机制,帮你深入了解以上问题的核心和相关问题的拓展,小白也能看懂!一起来看看吧。
从 const 指针开始说起。const int* pInt;
和 int *const pInt = &someInt;
,前者是 *pInt 不能改变,而后者是 pInt 不能改变。因此指针本身是不是常量和指针所指向的对象是不是常量就是两个互相独立的问题。用顶层表示指针本身是个常量,底层表示指针所指向的对象是个常量。
更一般的,顶层 const 可以表示任意的对象是常量,这一点对任何数据类型都适用;底层 const 则与指针和引用等复合类型有关,比较特殊的是,指针类型既可以是顶层 const 也可以是底层 const 或者二者兼备。
拷贝与顶层和底层 const
int i = 0;
int *const p1 = &i; // 不能改变 p1 的值,这是一个顶层
const int ci = 42; // 不能改变 ci 的值,这是一个顶层
const int *p2 = &ci; // 允许改变 p2 的值,这是一个底层
const int *const p3 = p2; // 靠右的 const 是顶层 const,靠左的是底层 const
const int &r = ci; // 所有的引用本身都是顶层 const,因为引用一旦初始化就不能再改为其他对象的引用,这里用于声明引用的 const 都是底层 const
当执行对象的拷贝操作时,常量是顶层const还是底层const的区别明显。其中,顶层 const 不受什么影响。
i = ci; // 正确:拷贝 ci 的值给 i,ci 是一个顶层 const,对此操作无影响。
p2 = p3; // 正确:p2 和 p3 指向的对象相同,p3 顶层 const 的部分不影响。
与此相对的,底层 const 的限制却不能被忽视。当执行对象的拷贝操作时,拷入和拷出的对象必须具有相同的底层 const 资格,或者两个对象的数据类型必须能够转换,一般来说,非常量可以转化为常量,反之不行。
int *p = p3; // 错误:p3 包含底层 const 的定义,而p没有。假设成功,p 就可以改变 p3 指向的对象的值。
p2 = p3; // 正确:p2 和 p3 都是底层 const
p2 = &i; // 正确:int* 能够转化为 const int*,这也是形参是底层const的函数形参传递外部非 const 指针的基础。
int &r = ci; // 错误:普通 int& 不能绑定到 int 常量中。
const int &r2 = i; // 正确:const int& 可以绑定到一个普通 int 上。
函数重载与顶层和底层 const 形参
顶层 const 不影响传入函数的对象,一个拥有顶层 const 的形参无法和另一个没有顶层 const 的形参区分开:
Record lookup(Phone);
Record lookup(const Phone); //重复声明了Record lookup(Phone)
Record lookup(Phone*);
Record lookup(Phone* const); //该const是顶层,重复声明了Record lookup(Phone* const)
另一方面,如果形参是某种类型的指针或引用,则通过区分其是否指向的是常量对象还是非常量对象可以实现函数重载。此时的const是底层的。
Record lookup(Phone&);
Record lookup(const Phone&); //正确,底层const实现了函数的重载
Record lookup(Phone*);
Record lookup(const Phone*); //正确,底层const实现了函数的重载
函数重载与强制类型转换
以下节选自《Effective C++》,假设要重载一个函数,而重载函数的区别仅在于函数形参一个是底层const一个是非底层的,那么最佳的做法是采用代码的复用,减少这两个重载函数实现过程的相同代码段,可以通过const_cast来实现这一做法,在非const函数中调用const。
class Textbook
{public:...const char& operator[](std::size_t position) const {...return text[position];}char& operator[](std::size_t position){//这里首先将op[]的返回值的const去除,因为const char&不能自动转换为char&,除此之外,由于调用以上const函数的必须是const对象,因此将调用此函数的对象(即*this)强制转化为一个(底层)const对象,再调用const op[]。returnconst_cast<char&>(static_cast<const TextBlock&>(*this)[position]);}
};
相关问题:
为什么不能在一个常量对象中调用非常成员函数?
因为在默认情况下,this的类型是指向类的非常量版本的常量指针(意思是this的值不能改变,永远指向那个对象,即“常量指针”,但是被this指向的对象本身是可以改变的,因为是非常量版本,这里this相当于是顶层const),而this尽管是隐式的,它仍然需要遵循初始化规则,普通成员函数的隐式参数之一是一个底层非const指针,在默认情况下我们无法把一个底层const的this指针转化为非const的this指针,因此我们不能在常量对象上调用普通的成员函数。因此在上例中,形参列表后的const就意味着默认this指针应该是一个底层const, 类型是 const ClassName&。而非常对象却可以调用常成员函数,因为底层非const可以默认转化为底层const。
一些拙见,如有错误,还望读者指正。
这篇文章收录在我的专栏中哦:
C++干货系列zhuanlan.zhihu.com
点个关注,及时获得最新干货。
char类型的实参与const char类型的形参不兼容_C++干货系列——顶层const和底层const...相关推荐
- “const char *“ 类型的实参与 “char *“ 类型的形参不兼容错误的解决方法
"const char *" 类型的实参与 "char *" 类型的形参不兼容错误的解决方法 参考文章: (1)"const char *" ...
- 关于VS2022 C++报错 const char* 类型的实参与char *类型的形参不兼容解决办法
关于VS2022 C++报错 const char* 类型的实参与char *类型的形参不兼容解决办法 问题来源 错误原因 解决方案 问题来源 在学习写C++代码时候,去练习课本上课后习题时候的问题, ...
- IntelliSense: const char * 类型的实参与 LPCWSTR 类型的形参不兼容
1. 在Windows程序设计中遇到错误: (1)IntelliSense: "const char *" 类型的实参与 "LPCWSTR" 类型的形参不兼 ...
- const char*类型的实参与LPCTSTR类型的形参不兼容 MFC
"const char *" 类型的实参与 "LPCTSTR" 类型的形参不兼容 http://blog.sina.com.cn/s/blog_6ccd0a11 ...
- “const char *“ 类型的实参与 “LPCWSTR“ 类型的形参不兼容,VScode
不同于VS系列,VScode我找到没有快速的解决办法,只能一点一点来 问题: wnd.lpszClassName = "WindowClass"; 不能将 "const ...
- “const wchar_t *“ 类型的实参与 “LPCSTR“ 类型的形参不兼容的原因和解决方法
(133条消息) "const wchar_t *" 类型的实参与 "LPCSTR" 类型的形参不兼容的原因和解决方法_cmiao-me的博客-CSDN博客
- VSCode C/C++提示“LPCSTR 类型的实参与LPCWSTR类型的形参不兼容“
VSCode C/C++提示"LPCSTR 类型的实参与LPCWSTR类型的形参不兼容" 问题产生原因 VSCode中的C/C++插件会对当前代码进行错误检测,并以波浪线或其它形式 ...
- const char * 类型的实参与 char * 类型的形参不兼容_4 种 C++ 强制类型转换,你都清楚吗?...
我们先来回忆以下,C 语言的强制类型转换形式: (type) expr; 这种旧式强制类型转换从表现形式上来说不够清晰明了,容易看漏,一旦转换过程出现问题,追踪起来也就更加困难. 为了解决以上问题,C ...
- 在vs中char类型的实参与LPCWSTR类型的形参类型不兼容怎么解决?
今天在做 COS脚本解释器的时候,遇到了这个问题 先了解一下 LPCTCHAR 这个东东 LPCTSTR用来表示你的字符是否使用UNICODE, 如果你的程序定义了UNICODE或者其他相关的宏,那么 ...
最新文章
- 重走丝绸之路:海尔如何探索全球生活智慧?
- c语言小饭店等位就餐程序,C语言程序设计 C语言程序设计 3.C语言程序设计教案全部.doc...
- Centos下安装mysql(二进制版)
- JSON-B非对称属性绑定
- coherence安装_Oracle Coherence:分布式数据管理
- kubernetes对象之deployment
- FCPX插件Day of the Dead Titles - 恐怖风格文本动画模板
- 学Python Web开发框架到什么程度可以找到开发的工作?
- 北京54坐标和经纬度坐标转换算法(C++)
- 求矩阵四叉树的四进制和十进制Morton码
- python超简易入门笔记版(其二)
- 传输层协议和应用层协议及它们之间的关系(端口)
- 【算法专题】高精度之压位
- 数组排序 向大佬低头 时间算法
- linux部署qq机器人记录
- 【火影之卡卡西动漫主题】
- 在双GPU(核显+NVIDIA)计算机中正确安装Ubuntu 18.04下的NVIDIA驱动程序(解决循环登录等问题)
- postgres查询序列_PostgreSQL之序列(Sequence)
- ffmypeg 视频处理类库使用方法
- 震撼,java面试题整合(良心制作)11万多字拿去。持续更新【可以收藏】
热门文章
- Python 正则表达式-问号的四种用法
- Python中有用的字符串方法
- java反射构造函数_【译】3. Java反射——构造函数
- linux怎么下载yum包,Linux下yum下载依赖包
- JavaScript学习笔记(5)
- 如何正确清理C盘中DriverStore文件夹中文件?
- Intel RealSense 数码相机和摄像机的ISO是什么意思?
- Python 计算机视觉(十七)—— 基于KNN的图像分类
- Android3个页面跳转代码,从零开始Android组件化改造(三) - 页面跳转与路由组件...
- springboot中使用RedisTemplate操作redis遇到的问题