聊聊C++的mutable和volatile

C++中修饰数据可变的关键字有三个:constvolatilemutableconst比较好理解,表示其修饰的内容不可改变(至少编译期不可改变),而volatilemutable恰好相反,指示数据总是可变的。mutablevolatile均可以和const搭配使用,但两者在使用上有比较大差别。

mutable

mutable只能作用在类成员上,指示其数据总是可变的。不能和const 同时修饰一个成员,但能配合使用:const修饰的方法中,mutable修饰的成员数据可以发生改变,除此之外不应该对类/对象带来副作用。

考虑一个mutable的使用场景:呼叫系统中存有司机(Driver)的信息,为了保护司机的隐私,司机对外展现的联系号码每隔五分钟从空闲号码池更新一次。根据需求,Driver类的实现如下伪代码:

class Driver {
private:
 ...
 // real phone number
 string phone;
 // display phone number
 mutable string displayPhone;

public:
 string getDisplayPhone() const {
  if (needUpdate()) {
   lock.lock();
   if (needUpdate()) {
    updateDisplayPhone(); // displayPhone在这里被改变
   }
   lock.unlock();
  }
  return displayPhone;
 }
};

在上述代码中,const方法中不允许对常规成员进行变动,但mutable成员不受此限制。对Driver类来说,其固有属性(姓名、年龄、真实手机号等)未发生改变,符合const修饰。mutable让一些随时可变的展示属性能发生改变,达到了灵活编程的目的。

volatile

volatile用于修饰成员或变量,指示其修饰对象可能随时变化,编译器不要对所修饰变量进行优化(缓存),每次取值应该直接读取内存。由于volatile的变化来自运行期,其可以与const一起使用。两者一起使用可能让人费解,如果考虑场景就容易许多:CPU和GPU通过映射公用内存中的同一块,GPU可能随时往共享内存中写数据。对CPU上的程序来说,const修饰变量一直是右值,所以编译通过。但其变量内存中的值在运行期间可能随时在改变,volatile修饰是正确做法。

在多线程环境下,volatile可用作内存同步手段。例如多线程爆破密码:

volatile bool found = false;

void run(string target) {
 while (!found) {
  // 计算字典口令的哈希
  if (target == hash) {
   found = true;
   break;
  }
 }
}

volatile的修饰下,每次循环都会检查内存中的值,达到同步的效果。

需要注意的是,volatile的值可能随时会变,期间会导致非预期的结果。例如下面的例子求平方和:

double square(volatile double a, volatile double b) {
 return (a + b) * (a + b);
}

a和b都是随时可变的,所以上述代码中的第一个a + b可能和第二个不同,导致出现非预期的结果。这种情况下,正确做法是将值赋予常规变量,然后再相乘:

double square(volatile double a, volatile double b) {
 double c = a + b;
 return c * c;
}

总结

  1. mutable只能用与类变量,不能与const同时使用;在const修饰的方法中,mutable变量数值可以发生改变;
  2. volatile只是运行期变量的值随时可能改变,这种改变即可能来自其他线程,也可能来自外部系统。

以上就是聊聊C++的mutable和volatile的详细内容,更多关于C++ mutable和volatile的资料请关注我们其它相关文章!

(0)

相关推荐

  • C++中mutable与volatile的深入理解

    前言 C++中修饰数据可变的关键字有三个:const.volatile和mutable.const比较好理解,表示其修饰的内容不可改变(至少编译期不可改变),而volatile和mutable恰好相反,指示数据总是可变的.mutable和volatile均可以和const搭配使用,但两者在使用上有比较大差别. 下面话不多说了,来一起看看详细的介绍吧 mutable mutable只能作用在类成员上,指示其数据总是可变的.不能和const 同时修饰一个成员,但能配合使用:const修饰的方法中,m

  • 浅谈C++中的mutable和volatile关键字

    1.mutable 在C++中,mutable是为了突破const的限制而设置的.被mutable修饰的变量,将永远处于可变的状态,即使在一个const函数中,甚至结构体变量或者类对象为const,其mutable成员也可以被修改.mutable在类中只能够修饰非静态数据成员. #include <iostream> using namespace std; class test { mutable int a; int b; public: test(int _a,int _b) :a(_a

  • C++中volatile和mutable关键字用法详解

    C/C++中的volatile关键字和const对应,用来修饰变量,用于告诉编译器该变量值是不稳定的,可能被更改.使用volatile注意事项: (1). 编译器会对带有volatile关键字的变量禁用优化(A volatile specifier is a hint to a compiler that an object may change its value in ways not specified by the language so that aggressive optimiza

  • C++中const、volatile、mutable使用方法小结

    相信const大家对他并不陌生,可能大家在日常的编写代码当中就会时常用到const,但是剩下的两个关键字不知道我们有 没有使用过volatile和mutable两个关键字其实不算特别常用,但是我们一定要知道这个关键字有什么用,应该怎么用.首 先const的基本操作我曾经写过一篇博客:const的基本使用 现在我要说一个const操作里面比较骚的一些做法, 举个例子我们以前写过的一个类,我们会使用operator[]来返回一个reference的指向,这个一般情况我们都会写一个const的也会写一

  • 聊聊C++的mutable和volatile

    C++中修饰数据可变的关键字有三个:const.volatile和mutable.const比较好理解,表示其修饰的内容不可改变(至少编译期不可改变),而volatile和mutable恰好相反,指示数据总是可变的.mutable和volatile均可以和const搭配使用,但两者在使用上有比较大差别. mutable mutable只能作用在类成员上,指示其数据总是可变的.不能和const 同时修饰一个成员,但能配合使用:const修饰的方法中,mutable修饰的成员数据可以发生改变,除此之

  • C++中的函数修饰符深入讲解

    前言 C++博大精深,而且不断拥抱新的变化.本文简要总结一下C++中函数的修饰符,其中部分在实际中极少用到. 按修饰符的位置分为函数名前与函数名后两种,以下分别做介绍. 函数名前 1.返回值类型 返回值类型是C++中定义函数的必备部分,这些修饰符包括void,(unsigned) int,bool等内置基本数据类型和自定义类型,也包括修饰返回值const关键字(如const int*),还包括C++11中新增的类型自动推导auto关键字. 2. template template关键字声明函数是

  • 聊聊Java和CPU的关系

    其实写Java的人貌似和CPU没啥关系,最多最多和我们在前面提及到的如何将CPU跑满.如何设置线程数有点关系,但是那个算法只是一个参考,很多场景不同需要采取实际的手段来解决才可以:而且将CPU跑满后我们还会考虑如何让CPU不是那么满,呵呵,人类,就是这么XX,呵呵,好了,本文要说的是其他的一些东西,也许你在java的写代码时几乎不用关注CPU,因为满足业务才是第一重要的事情,如果你要做到框架级别,为框架提供很多共享数据缓存之类的东西,中间必然存在很多数据的征用问题,当然java提供了很多conc

  • 深入分析java并发编程中volatile的实现原理

    引言 在多线程并发编程中synchronized和Volatile都扮演着重要的角色,Volatile是轻量级的synchronized,它在多处理器开发中保证了共享变量的"可见性".可见性的意思是当一个线程修改一个共享变量时,另外一个线程能读到这个修改的值.它在某些情况下比synchronized的开销更小,本文将深入分析在硬件层面上Inter处理器是如何实现Volatile的,通过深入分析能帮助我们正确的使用Volatile变量. 术语定义 术语 英文单词 描述 共享变量 在多个线

  • 聊聊Kotlin 中 lateinit 和 lazy 的原理区别

    目录 lateinit 用法 原理 lazy 用法 原理 the end references 使用 Kotlin 进行开发,对于 latelinit 和 lazy 肯定不陌生.但其原理上的区别,可能鲜少了解过,借着本篇文章普及下这方面的知识. lateinit 用法 非空类型可以使用 lateinit 关键字达到延迟初始化. class InitTest() { lateinit var name: String ​ public fun checkName(): Boolean = name

  • javascript 面向对象编程 聊聊对象的事

    先看一下JSON(javascript object notation)对象,JSON是一种脚本操作时常用的数据交换格式对象,相对于XML来说JSON是一种比较轻量级的格式,在一些intelligence的IDE中还可以方便的通过点操作JSON对象中的成员. JSON是一种键/值对方式来描述内部成员的格式,其内部成员可以是几乎任何一种类型的对象,当然也可以是方法.类.数组,也可以是另外一个JSON对象. var student = { Name: "张三", Age: 20, Hobb

随机推荐