《Effective C++》读书笔记 条款03 尽可能使用const 使代码更加健壮
如果你对const足够了解,只需记住以下结论即可:
- 将某些东西声明为const可帮助编译器侦测出错误用法,const可被施加于任何作用于内的对象、函数参数、函数返回类型、成员函数本体。
- 编译器强制实施bitwise constness,但你编写程序时应该使用概念上的常量性(logical constness)
- 当const和non-const成员函数有实质等价的实现时,令non-const版本调用const版本可避免代码重复
关键字const允许你指定一个语义约束,即指定一个对象不被改动,编译器会强制实施这项约束。只要你确信某个对象不该被改变(赋值操作等),你就应该将他指定为const。
值得注意的是cosnt与指针的关系,需要记住的是如果const出现在星号左边,表示被指物是常量,出现在右边则指指针自身是常量,如果两边都有,则表示被指物和指针都是常量。
- char greeting[] = "hello";
- const char* p = greeting;//常量对象,非常量指针
- char* const p = greering;//常量指针,非常量对象
- const char* const p = greeting;//常量指针,常量对象
- char const* p = greeting;//仍然是常量对象,非常量指针(注意char和const的位置)
const成员函数
将const用于成员函数有两个理由
- 使class接口容易被理解,因为可以得知哪个函数可以改动对象类型,哪个不行
- 使操作const对象成为可能
const成员函数可以处理取得(并经修饰而成的cosnt对象),即const成员函数可以返回一个const对象。
另外需要注意的是,如果函数的返回类型是个内置类型,那么改动函数返回值就不合法,返回值是const时也是如此。
bitwise(physical) constness和logical constness
bitwise constness是C++对常量性的定义,其含义是对象内的任意一个bit都不允许更改。所以const成员函数不可以更改对象内任何非static成员变量
但是某些情况引发了异议:一个更改了指针所指物的成员函数虽然不能算是const,但如果只有指针隶属于对象,那么称此函数为bitwise const不会引发编译器异议
- class CTextBlock
- {
- public:
- char& operator[](std::size_t position) const//bitwise cosnt声明,此const表示该成员函数隐含的this指针为const
- {
- return pText[position];//该操作可能更改指针所指物,但并不会引发编译器异议
- }
- private:
- char* pText;
- };
针对这种情况引发了logical constness概念,即const成员函数可以在编译器侦测不出的情况下修改它所处理的对象内的某些bit
如果想在const成员函数内修改对象成员变量,则必须绕开bitwise constness,这种情况下可以使用mutable关键字,mutable释放掉非static成员变量的bitwise constness约束。即可以在const成员函数内改变对象成员变量。
- class CTextBlock
- {
- public:
- std::size_t length() const;
- private:
- char* pText;
- mutable std::size_t textLength;//使用了mutable关键字
- mutable bool lengthIsValid;
- };
- std::size_t length() const
- {
- if(!lengthIsValid)
- {
- textLength = std::strlen(pText);//可以在const成员函数内随意改变mutable修饰的成员变量
- lengthIsValid = true;
- }
- return textLength;
- }
在const和non-const成员函数中避免重复
如果一个函数的const和non-const版本所做的工作相同,则可以在non-const版本中使用const版本函数来避免代码重复
- class TextBlock
- {
- public:
- const char& operator[](std::size_t positon) const
- {
- return text[position];
- {
- char & operator[](std::size_t position)
- {
- return
- const_cast<char&>(
- static_cast<const TextBlock&>(*this)
- [position];
- );
- }
- };
const版本的函数可能有点难于理解,但他只进行了两次强制类型转换。一次类型转换是为了明确指出调用的是const operator[],因为必须使用static_cast将*this类型转型为const TextBlock&,第二次使用const_cast移除返回值的const属性,使其与函数声明一致。
反过来,在const函数中调用其non-const版本是不合法的,因为const函数承诺绝不改变其对象的逻辑状态。
ps: 命名的强制类型转换的知识
- static_cast:
- 任何具有明确定义的类型转换,只要不包含底层const(即指所指对象是常量的const),都可以使用static_cast。
- 特别地,当我们把指针存放在void*中,并且使用static_cast将其强制转换回原来类型时,应该确保指针的值保持不变,也就是说,强制转换的结果将与
- 原始地址值相等。因此,必须确保转换后所得的类型就是指针所指的类型,否则,类型一旦不符,将产生未定义的后果。
- const_cast:
- 只能改变运算对象的底层const。需要注意的是,如果对象本身是个常量,使用const_cast会产生未定义的后果,除非你知道自己在做什么,否则不要乱用。
- 使用const_cast做除了改变表达式常量属性以外的转换都将引发编译器错误
- dynamic_cast:
- dynamic_cast用于将基类指针或引用安全地转换成派生类的指针或引用,使用形式如下
- dynamic_cast<type*>(e)
- dynamic_cast<type&>(e)
- dynamic_cast<type&&>(e)
- 其中type必须是一个类类型,并且通常情况下含有虚函数。第一种形式中,e必须是有效的指针,第二种形式中e必须是左值,第三种类型中e不能是左值。
- 上面所有形式中,e必须满足三个条件中的任意一个。e的类型是目标type的共有派生类、e的类型是目标type的共有基类或者e的类型就是目标type的类型。
- reinterpret_cast:
- 为运算对象的位模式提供较低层次上的重新编译,例如
- int *pi;
- char *pc = reinterpert_cast<char*>(pi);//把int解释为char指针
《Effective C++》读书笔记 条款03 尽可能使用const 使代码更加健壮的更多相关文章
- 《Effective C++》读书笔记 条款02 尽量以const,enum,inline替换#define
Effective C++在此条款中总结出两个结论 1.对于单纯常量,最好以const对象或enum替换#define 2.对于形似函数的宏,最好改用inline函数替换#define 接下来我们进行 ...
- effective C++ 读书笔记 条款08
条款08 别让异常逃离析构函数: 假设在析构函数其中发生了异常,程序可能会过早结束或者导致不明白行为(异常从析构函数传播出去) 看代码: #include <iostream> usin ...
- effective C++ 读书笔记 条款11
条款11: 在operator= 中处理"自我赋值" 在实现operator=时考虑自我赋值是必要的就像 x=y .我们不知道变量x与y代表的值是否为同一个值(把x和y说成是一个指 ...
- Effective C++ -----条款03:尽可能使用const
如果关键字const出现在星号左边,表示被指物是常量:如果出现在星号右边,表示指针自身是常量:如果出现在星号两边,表示被指物和指针两者都是常量. char greeting[] = " he ...
- effective C++ 读书笔记 条款14 以对象管理资源
如果我们使用一个投资行为的程序库: #include "stdafx.h" #include <iostream> #include <memory> us ...
- 条款03 尽可能使用const
一.概述 使用const约束对象:可以获得编译器的帮助(指出相关出错的地方) const与成员函数:const重载.转型.避免代码重复 二.细节 1. 为什么有些函数要返回const对象(看上去没必要 ...
- Effective STL 读书笔记
Effective STL 读书笔记 标签(空格分隔): 未分类 慎重选择容器类型 标准STL序列容器: vector.string.deque和list(双向列表). 标准STL管理容器: set. ...
- Effective STL读书笔记
Effective STL 读书笔记 本篇文字用于总结在阅读<Effective STL>时的笔记心得,只记录书上描写的,但自己尚未熟练掌握的知识点,不记录通用.常识类的知识点. STL按 ...
- 《Effective C++ 》学习笔记——条款03
***************************************转载请注明出处:http://blog.csdn.net/lttree************************** ...
随机推荐
- HDU 1009 FatMouse' Trade(简单贪心 物品可分割的背包问题)
传送门: http://acm.hdu.edu.cn/showproblem.php?pid=1009 FatMouse' Trade Time Limit: 2000/1000 MS (Java/O ...
- WinCE下SQLCE数据库开发(VS,VB.net,VC++)
WinCE下SQLCE数据库开发(VS,VB.net,VC++) WinCE下SQLCE数据库开发 微软的SQL Server数据库由于其功能强大.方便使用,因此在很多行业都被广泛应用.基于智能设 ...
- iOS视频倒放
iOS视频倒放 视频的倒放就是视频从后往前播放,这个只适应于视频图像,对声音来说倒放只是噪音,没什么意义,所以倒放的时候声音都是去除的. 倒放实现 一般对H264编码的视频进行解码,都是从头至尾进行的 ...
- python 输入一个整数,判断其是否既是3的倍数,又是5的倍数
v = int(input('请输入一个整数:')) if v % 3 == 0 and v % 5 ==0: print(v,'即是3的倍数又是5的倍数') else: print('不是3或5的倍 ...
- chromium之compiler_specific
直接上代码,将一些编译警告定义成宏 #if defined(COMPILER_MSVC) // Macros for suppressing and disabling warnings on MSV ...
- 在SQL Server中批量修改有规律列的定义
)=N'要修改的表名'; --修改所有以sl结尾的列名的小数位数为4位 select syscolumns.name into #t1 from syscolumns,systypes where s ...
- linux 安全防护
一.禁止ROOT用户远程登录 linux中root用户是超级管理员,可以针对root用户暴力破解密码,这样很不安全,工作中我们一般禁止root用户直接远程登陆,开设一个或多个普通用户,只允许登陆普通用 ...
- html5 video获取当前时间和视频总时间长度
html: <video id="video-active" class="video-active" width="640" hei ...
- PHP实现长网址与短网址
原文地址:http://www.qqdeveloper.com/detail/29/1.html 什么是长链接.短链接 顾名思义,长链接就是一个很长的链接:短链接就是一个很短的链接.长链接可以生成短链 ...
- git创建使用1https://blog.csdn.net/Hanani_Jia/article/details/77950594
这篇文章是我自己写的关于GitHub的内容,从我刚听到这个直到设置成功每一步都有详细的步骤来解释,其中有一些截图或者代码来自于网上. 首先,我先对GitHub来一个简单的介绍,GitHub有一个很强大 ...