【专业技术】C++里面重要的几个关键字的用法

编者按:

这几个关键字非常重要,程序中经常见到他们的身影,但是确切意思有时候还需要多搜索下才能知道。笔者这里把它搬出来,也是希望大家引起重视,努力掌握它。

C++关键字:mutable、volatile、explicit以及__based

mutable关键字

关键字mutable是C++中一个不常用的关键字,他只能用于类的非静态和非常量数据成员我们知道一个对象的状态由该对象的非静态数据成员决定,所以随着数据成员的改变,对像的状态也会随之发生变化!

如果一个类的成员函数被声明为const类型,表示该函数不会改变对象的状态,也就是该函数不会修改类的非静态数据成员.但是有些时候需要在该类函数中对类的数据成员进行赋值.这个时候就需要用到mutable关键字了

例如:

1class Demo
2  {
3  public:
4         Demo(){}
5         ~Demo(){}
6  public:
7         bool getFlag() const
8         {
9                m_nAccess++;
10              return m_bFlag;
11        }
12 private:
13      int  m_nAccess;
14      bool m_bFlag;
15 };
16
17 int main()
18 {
19      return 0;
20 }
21

编译上面的代码会出现 error C2166: l-value specifies const object的错误说明在const类型的函数中改变了类的非静态数据成员.这个时候需要使用mutable来修饰一下要在const成员函数中改变的非静态数据成员

m_nAccess,代码如下:

1  class Demo
2  {
3  public:
4         Demo(){}
5         ~Demo(){}
6  public:
7         bool getFlag() const
8         {
9                m_nAccess++;
10              return m_bFlag;
11       }
12 private:
13        mutable int  m_nAccess;
14        bool m_bFlag;
15 };
16
17 int main()
18 {
19       return 0;
20 }
21

这样再重新编译的时候就不会出现错误了!

volatile关键字

volatile是c/c++中一个鲜为人知的关键字,该关键字告诉编译器不要持有变量的临时拷贝,它可以适用于基础类型

如:int,char,long......也适用于C的结构和C++的类。当对结构或者类对象使用volatile修饰的时候,结构或者类的所有成员都会被视为volatile.使用volatile并不会否定对CRITICAL_SECTION,Mutex,Event等同步对象的需要

例如:

1int i; 2i = i + 3;

无论如何,总是会有一小段时间,i会被放在一个寄存器中,因为算术运算只能在寄存器中进行。一般来说,volatitle关键字适用于行与行之间,而不是放在行内。

我们先来实现一个简单的函数,来观察一下由编译器产生出来的汇编代码中的不足之处,并观察volatile关键字如何修正这个不足之处。在这个函数体内存在一个busy loop(所谓busy loop也叫做busy waits,是一种高度浪费CPU时间的循环方法)

1void getKey(char* pch) 2 { 3 while (*pch == 0); 4 }

当你在VC开发环境中将最优化选项都关闭之后,编译这个程序,将获得以下结果(汇编代码)

1while (*pch == 0)
2$L27
3 ;Load the address stored in pch
4 mov eax, DWORD PTR _pch$[ebp]
5 ; Load the character into the EAX register
6 movsx eax, BYTE PTR [eax]
7 ; Compare the value to zero
8 test eax, eax
9 ; If not zero, exit loop
10 jne $L28
11 ;
12 jmp $L27
13$L28
14;}

这段没有优化的代码不断的载入适当的地址,载入地址中的内容,测试结果。效率相当的低,但是结果非常准确现在我们再来看看将编译器的所有最优化选项开关都打开以后,重新编译程序,生成的汇编代码,和上面的代码

比较一下有什么不同

1  ;{ 
2  ; Load the address stored in pch
3  mov eax, DWORD PTR _pch$[esp-4]
4  ; Load the character into the AL register
5  movsx al, BYTE PTR [eax]
6  ; while (*pch == 0)
7  ; Compare the value in the AL register to zero
8  test al, al
9  ; If still zero, try again
10 je SHORT $L84
11 ;
12 ;}

从代码的长度就可以看出来,比没有优化的情况要短的多。需要注意的是编译器把MOV指令放到了循环之外。这在单线程中是一个非常好的优化,但是,在多线程应用程序中,如果另一个线程改变了变量的值,则循环永远不会结束。被测试的值永远被放在寄存器中,所以该段代码在多线程的情况下,存在一个巨大的BUG。解决方法是重新

写一次getKey函数,并把参数pch声明为volatile,代码如下:

1void getKey(volatile char* pch)
2   {
3         while (*pch == 0) ;
4   }

这次的修改对于非最优化的版本没有任何影响,下面请看最优化后的结果:

1  ;{
2  ; Load the address stored in pch
3  mov eax, DWORD PTR _pch$[esp-4]
4  ;  while (*pch == 0)
5  $L84:
6  ; Directly compare the value to zero
7  cmp BYTE PTR [eax], 0
8  ; If still zero, try again
9  je SHORT $L84
10 ;
11 ;}

这次的修改结果比较完美,地址不会改变,所以地址声明被移动到循环之外。地址内容是volatile,所以每次循环之中它不断的被重新检查。把一个const volatile变量作为参数传递给函数是合法的。如此的声明意味着函数不能改变变量的值,但是变量的值却可以被另一个线程在任何时间改变掉。

explicit关键字

我们在编写应用程序的时候explicit关键字基本上是很少使用,它的作用是"禁止单参数构造函数"被用于自动型别转换,其中比较典型的例子就是容器类型,在这种类型的构造函数中你可以将初始长度作为参数传递给构造函数.

例如:

你可以声明这样一个构造函数

1class Array
2  {
3  public:
4         explicit Array(int size);
5   
6  };

在这里explicit关键字起着至关重要的作用,如果没有这个关键字的话,这个构造函数有能力将int转换成Array.一旦这种情况发生,你可以给Array支派一个整数值而不会引起任何的问题,比如:

1Array arr;
2
3arr = 40;

此时,C++的自动型别转换会把40转换成拥有40个元素的Array,并且指派给arr变量,这个结果根本就不是我们想要的结果.如果我们将构造函数声明为explicit,上面的赋值操作就会导致编译器报错,使我们可以及时发现错误.需要注意的是:explicit同样也能阻止"以赋值语法进行带有转型操作的初始化";

1Array arr(40);//正确
2Array arr = 40;//错误

看一下以下两种操作:

1X x;
2Y y(x);//显式类型转换

另一种

1X x;
2Y y = x;//隐式类型转换

这两种操作存在一个小小的差别,第一种方式式通过显式类型转换,根据型别x产生了型别Y的新对象;第二种方式通过隐式转换产生了一个型别Y的新对象.explicit关键字的应用主要就是上面所说的构造函数定义种,参考该关键字的应用可以看看STL源代码,其中大量使用了该关键字

__based关键字 该关键字主要用来解决一些和共享内存有关的问题,它允许指针被定义为从某一点开始算的32位偏移值,而不是内存种的绝对位置

举个例子:

1 typedef struct tagDEMOSTRUCT {
2 int a;
3 char sz[10];
4 } DEMOSTRUCT, * PDEMOSTRUCT;
5
6HANDLE hFileMapping = CreateFileMapping();
7LPVOID lpShare = (LPDWORD)MapViewOfFile();
8
9DEMOSTRUCT __based(lpShare)* lpDemo;

上面的例子声明了一个指针lpDemo,内部储存的是从lpShare开始的偏移值,也就是lpHead是以lpShare为基准的偏移值.

上面的例子种的DEMOSTRUCT只是随便定义的一个结构,用来代表任意的结构.

虽然__based指针使用起来非常容易,但是,你必须在效率上付出一定的代价.每当你用__based指针处理数据,CPU都必须为它加上基地址,才能指向真正的位置.

转自:http://www.cppblog.com/leetaolion/archive/2008/04/09/46586.html

原文发布于微信公众号 - 程序员互动联盟(coder_online)

原文发表时间:2015-09-16

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏数据结构与算法

BZOJ4939: [Ynoi2016]掉进兔子洞(莫队 bitset)

那么第$i$个询问的答案为$r1 - l1 + r2 - l2 + r3 - l3 + 3 - min(cnt1[x], cnt2[x], cnt3[x])$

381
来自专栏陈树义

藏在正则表达式里的陷阱

前几天线上一个项目监控信息突然报告异常,上到机器上后查看相关资源的使用情况,发现 CPU 利用率将近 100%。通过 Java 自带的线程 Dump 工具,我们...

66821
来自专栏偏前端工程师的驿站

(cljs/run-at (JSVM. :all) "细说函数")

921
来自专栏苦逼的码农

从0打卡leetcode之day8--反转整数

假设我们的环境只能存储 32 位有符号整数,其数值范围是 [−231, 231 − 1]。根据这个假设,如果反转后的整数溢出,则返回 0。

1034
来自专栏Golang语言社区

实效go编程--1

实效Go编程 版本:2013年12月22日 引言 示例 格式化 注释 命名 包名 获取器 接口名 驼峰记法 分号 控制结构 If 重新声明与再次赋值 For S...

3389
来自专栏微信公众号:Java团长

Java多态性理解

多态存在的三个必要条件 一、要有继承; 二、要有重写; 三、父类引用指向子类对象。

733
来自专栏从零开始学 Web 前端

从零开始学 Web 之 JavaScript 高级(一)原型,贪吃蛇案例

由来:构造函数的问题。如果一个构造函数中有一个匿名方法,那么每实例化一个对象,然后在对象调用这个方法的时候,由于每个对象的方法都是各自的,所以每次调用这个方法的...

563
来自专栏编程

Python基础—让你规范Python语言的使用

群内不定时分享干货,包括最新的python企业案例学习资料和零基础入门教程,欢迎初学和进阶中的小伙伴入群学习交流 ? Lint 定义: pylint是一个在Py...

1908
来自专栏程序员与猫

[译]C#和.NET中的字符串

原文地址:Jon Skeet:Strings in C# and .NET System.String 类型(在C#语言中对应的别名是string)是.NET最...

19410
来自专栏小小挖掘机

关于Python语言规范你需要知道的一些小tips

之前写代码感觉一直缺乏一定的规范,所以整理了一些Python的语言规范方面的东东,这个来自google发布的开源项目风格指南-Python语言规范。 1、对你的...

2726

扫描关注云+社区