【专业技术】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 条评论
登录 后参与评论

相关文章

来自专栏编程

Python精华之函数

各位小伙伴,大家周一快乐! 不知道刚刚过去的周末大家过的怎么样? 反正常老师是被糊里糊涂的过了个圣诞节 满大街的商场和超市都张灯结彩,话说,不是有规定不让过这种...

1985
来自专栏小樱的经验随笔

数据结构学习笔记【持续更新】

数据结构概述:   定义:     我们如何把现实中大量而复杂的问题以特定的数据类型和特定的存储结构保存到保存到主存储器(内存)中,     以及在此基础上为实...

2243
来自专栏Java面试通关手册

最最最常见的Java面试题总结——第二周

String类中使用字符数组:private final char value[]保存字符串,所以String对象是不可变的。StringBuilder与Str...

1082
来自专栏C/C++基础

C++嵌套类与局部类

定义嵌套类的初衷是建立仅供某个类的成员函数使用的类类型。目的在于隐藏类名,减少全局的标识符,从而限制用户能否使用该类建立对象。这样可以提高类的抽象能力,并且强调...

741
来自专栏北京马哥教育

Python中下划线的5种含义

来源:Python程序员 ID:pythonbuluo 本文介绍了Python中单下划线和双下划线("dunder")的各种含义和命名约定,名称修饰(name...

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

Java集合框架综述

最近打算复习复习JDK中的集合框架,并尝试分析其源码,这么做一方面是这些类非常实用,掌握其实现能更好的优化我们的程序;另一方面是学习借鉴JDK是如何实现了这么一...

903
来自专栏编程

让你比95%的人更懂Pythonic的内置模块:collections

Python的集合(collections)模块,为很多用其他方法很难实现的场景提供了解决方案。 本文我们将会学习该模块的抽象概念是如何产生的,日后处理不同问题...

1915
来自专栏北京马哥教育

grep、egrep正则表达式之初窥门径

何谓正则表达式 正则表达式,又称正规表示法、常规表示法 (Regular Expression,在代码中常简写为regex、regexp或RE),是一类字符所...

2098
来自专栏Modeng的专栏

Javascript数组系列一之栈与队列

所谓数组(英语:Array),是有序的元素序列。 若将有限个类型相同的变量的集合命名,那么这个名称为数组名。 组成数组的各个变量称为数组的分量,也称为数组的元素...

1255
来自专栏吴裕超

es6 Object的几个新方法

ES5 的 Object.preventExtensions 则可以阻止给对象添加新属性

973

扫码关注云+社区