关于c++中mutable、const、volatile这三个关键字及对应c++与汇编示例源码

已于 2023-09-11 11:27:51 修改
阅读量692 收藏
点赞数
分类专栏： c++/c/asm Assembly 文章标签： c++ 开发语言
于 2023-08-07 13:21:38 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/vily_lei/article/details/132144273
版权

这哥三之间的关系是有趣的，不妨看看这个：

cv (const and volatile) type qualifiers - cppreference.com

mutable

permits modification of the class member declared mutable even if the containing object is declared const.

即便一个对象是const的，它内部的成员变量如果被mutable修饰，则此成员变量依旧可以被修改。

const

很常见，用途如其字面意义：别改变它"作用域"内的对象。

volatile

就如其含义：生性活泼，莫对其"作用域"下的对象指手画脚。这里着重说一下volatile。

volatile相关特性

        1. 易变性。所谓的易变性，在汇编层面反映出来，就是两条语句，下一条语句不会直接使用上一条语句对应的volatile变量的寄存器内容，而是重新从内存中读取。
特性。

        2. "不可优化"特性。volatile告诉编译器，不要对我这个变量进行各种激进的优化，甚至将变量直接消除，保证程序员写在代码中的指令，一定会被执行。


        3. "顺序性"，能够保证volatile变量间的顺序性，编译器不会进行乱序优化。 C/C++ Volatile变量，与非Volatile变量之间的操作，是可能被编译器交换顺序的。C/C++ Volatile变量间的操作，是不会被编译器交换顺序的。哪怕将所有的变量全部都声明为volatile，哪怕杜绝了编译器的乱序优化，但是针对生成的汇编代码，CPU有可能仍旧会乱序执行指令，导致程序依赖的逻辑出错，volatile对此无能为力 针对这个多线程的应用，真正正确的做法，是构建一个happens-before语义(请见下面的内存顺序说明)。

        4. 一个值得注意的例外是 Visual Studio ，其中默认设置下，每个 volatile 写拥有释放语义，而每个 volatile 读拥有获得语义（ MSDN ），故而可将 volatile 对象用于线程间同步。标准的 volatile 语义不可应用于多线程编程，尽管它们在应用到 sig_atomic_t 对象时，足以与例如运行于同一线程的 std::signal 处理函数交流。请见: std::memory_order - cppreference.com 末尾说明。

特别注意的误区

volatile和多线程这种并行数据同步机制无关，也不能解决这类问题。相关问题请见:

内存顺序 std::memory_order - cppreference.com

const 和 volatile 关键字可更改处理指针的方式。 const 关键字指定指针在初始化后无法修改；此后指针将受到保护，防止进行修改。
volatile 关键字指定与后跟的名称关联的值可由用户应用程序中的操作以外的操作修改。 因此，volatile 关键字对于声明共享内存中可由多个进程访问的对象或用于与中断服务例程通信的全局数据区域很有用。
如果某个名称被声明为 volatile，则每当程序访问该名称时，编译器都会重新加载内存中的值。 这将显著减少可能的优化。 但是，当对象的状态可能意外更改时，这是保证可预见的程序性能的唯一方法。

如果将 struct 成员标记为 volatile，则 volatile 将传播到整个结构。 如果结构不具有可通过使用一个指令在当前体系结构上复制的长度，则此结构上可能完全丢失 volatile。

volatile 关键字失效

如果满足下列条件之一，则 volatile 关键字可能对字段不起作用：
        1. 可变字段的长度超过可使用一条指令在当前体系结构上复制的最大大小。
        2. 最外层包含 struct 的长度 - 或如果它是可能嵌套的 struct 的成员 - 超过可使用一条指令在当前体系结构上复制的最大大小。
尽管处理器不会对不可缓存的内存访问重新排序，但必须将不可缓存的变量标记为 volatile，从而保证此编译器不会对内存访问重新排序。
声明为 volatile 的对象不在某些优化中使用，因为它们的值可以随时更改。 系统在请求易失对象时始终读取该对象的当前值，即使前面的指令要求从同一对象获取值也是如此。 此外，对象的值会立即在赋值时写入。

volatile 原理源码示例

注：以下所有示例的c++源码一致，只区分是否使用volatile关键字

c++源程序:

#include <stdio.h>
int main(int argc, char** argv)
{
    auto sk = argc;
    int a = 11 << sk;
    int b = 19 + argc;
    int rv = a + b * 8;
    rv *= sk;
    return rv;
}

VS Debug环境MASM反汇编

没有使用volatile关键字修饰

反汇编代码:

00007FF7DE032993  mov         eax,dword ptr [argc]  
00007FF7DE032999  mov         dword ptr [sk],eax
00007FF7DE03299C  mov         eax,dword ptr [sk]  
00007FF7DE03299F  mov         ecx,0Bh  
00007FF7DE0329A4  mov         dword ptr [rbp+134h],ecx  
00007FF7DE0329AA  movzx       ecx,al  
00007FF7DE0329AD  mov         eax,dword ptr [rbp+134h]  
00007FF7DE0329B3  shl         eax,cl  
00007FF7DE0329B5  mov         dword ptr [a],eax
00007FF7DE0329B8  mov         eax,dword ptr [argc]  
00007FF7DE0329BE  add         eax,13h  
00007FF7DE0329C1  mov         dword ptr [b],eax
00007FF7DE0329C4  mov         eax,dword ptr [a]  
00007FF7DE0329C7  mov         ecx,dword ptr [b]  
00007FF7DE0329CA  lea         eax,[rax+rcx*8]  
00007FF7DE0329CD  mov         dword ptr [rv],eax
00007FF7DE0329D0  mov         eax,dword ptr [rv]  
00007FF7DE0329D3  imul        eax,dword ptr [sk]  
00007FF7DE0329D7  mov         dword ptr [rv],eax
00007FF7DE0329DA  mov         eax,dword ptr [rv]  
00007FF7DE0329DD  lea         rsp,[rbp+148h]  
00007FF7DE0329E4  pop         rdi  
00007FF7DE0329E5  pop         rbp  
00007FF7DE0329E6  ret
使用volatile关键字修饰

c++代码：

#include <stdio.h>
int main(int argc, char** argv)
{
    auto sk = argc;
    int a = 11 << sk;
    int b = 19 + argc;
    volatile int rv = a + b * 8;
    rv *= sk;
    return rv;
}

反汇编代码:

00007FF7F4102993  mov         eax,dword ptr [argc]  
00007FF7F4102999  mov         dword ptr [sk],eax
00007FF7F410299C  mov         eax,dword ptr [sk]  
00007FF7F410299F  mov         ecx,0Bh  
00007FF7F41029A4  mov         dword ptr [rbp+134h],ecx  
00007FF7F41029AA  movzx       ecx,al  
00007FF7F41029AD  mov         eax,dword ptr [rbp+134h]  
00007FF7F41029B3  shl         eax,cl  
00007FF7F41029B5  mov         dword ptr [a],eax
00007FF7F41029B8  mov         eax,dword ptr [argc]  
00007FF7F41029BE  add         eax,13h  
00007FF7F41029C1  mov         dword ptr [b],eax
00007FF7F41029C4  mov         eax,dword ptr [a]  
00007FF7F41029C7  mov         ecx,dword ptr [b]  
00007FF7F41029CA  lea         eax,[rax+rcx*8]  
00007FF7F41029CD  mov         dword ptr [rv],eax
00007FF7F41029D0  mov         eax,dword ptr [rv]  
00007FF7F41029D3  imul        eax,dword ptr [sk]  
00007FF7F41029D7  mov         dword ptr [rv],eax
00007FF7F41029DA  mov         eax,dword ptr [rv]
00007FF7F41029DD  lea         rsp,[rbp+148h]  
00007FF7F41029E4  pop         rdi  
00007FF7F41029E5  pop         rbp  
00007FF7F41029E6  ret

VS Release环境MASM反汇编

没有使用volatile关键字修饰

反汇编代码:

00007FF748801000  mov         eax,0Bh  
00007FF748801005  shl         eax,cl
00007FF748801007  lea         eax,[rax+rcx*8]  
00007FF74880100A  add         eax,98h
00007FF74880100F  imul        eax,ecx
00007FF748801012  ret
使用volatile关键字修饰

反汇编代码:

00007FF650C11005  shl         eax,cl
00007FF650C11007  lea         eax,[rax+rcx*8]  
00007FF650C1100A  add         eax,98h  
00007FF650C1100F  mov         dword ptr [rsp+8],eax
00007FF650C11013  mov         eax,dword ptr [rv]  
00007FF650C11017  imul        eax,ecx  
00007FF650C1101A  mov         dword ptr [rv],eax
00007FF650C1101E  mov         eax,dword ptr [rv]
00007FF650C11022  ret

Linux GUN x86 64bit AT&T 环境优化参数O1反汇编

没有使用volatile关键字修饰

c++源码:

#include <stdio.h>
int main(int argc, char** argv)
{
    auto sk = argc;
    int a = 11 << sk;
    int b = 19 + argc;
    int rv = a + b * 8;
    rv *= sk;
    return rv;
}

反汇编代码:

0000 89F9     		movl	%edi, %ecx
0002 B80B0000 		movl	$11, %eax
0007 D3E0     		sall	%cl, %eax
0009 8D84F898 		leal	152(%rax,%rdi,8), %eax
0010 0FAFC7   		imull	%edi, %eax
0013 C3       		ret
使用volatile关键字修饰

c++源码:

#include <stdio.h>
int main(int argc, char** argv)
{
    auto sk = argc;
    int a = 11 << sk;
    int b = 19 + argc;
    volatile int rv = a + b * 8;
    rv *= sk;
    return rv;
}

反汇编代码:

0000 89F9     		movl	%edi, %ecx
0002 B80B0000 		movl	$11, %eax
0007 D3E0     		sall	%cl, %eax
0009 8D84F898 		leal	152(%rax,%rdi,8), %eax
0010 894424FC 		movl	%eax, -4(%rsp)
0014 8B4424FC 		movl	-4(%rsp), %eax
0018 0FAFC7   		imull	%edi, %eax
001b 894424FC 		movl	%eax, -4(%rsp)
001f 8B4424FC 		movl	-4(%rsp), %eax
0023 C3       		ret

总结：

        由上面的这些代码可以看到，非Debug环境有优化，但是因为volatile关键字的作用，有没有volatile关键字，优化后的汇编指令是不一样的。

关于Linux下AT&T格式汇编的详情请见: Linux c++反汇编源码细节解释说明_含影的博客-CSDN博客

linux系统的gdb调试c++和反汇编_含影的博客-CSDN博客

如果使用GDB在Linux调试，GDB下载地址为: Index of /gnu/gdb

含影
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
C++中mutable与volatile的深入理解
12-31
前言 C++中修饰数据可变的关键字有三个：const、volatile和mutable。const比较好理解，表示其修饰的内容不可改变（至少编译期不可改变），而volatile和mutable恰好相反，指示数据总是可变的。mutable和volatile均可以和const搭配使用，但两者在使用上有比较大差别。 下面话不多说了，来一起看看详细的介绍吧 mutable mutable只能作用在类成员上，指示其数据总是可变的。不能和const 同时修饰一个成员，但能配合使用：const修饰的方法中，mutable修饰的成员数据可以发生改变，除此之外不应该对类/对象带来副作用。 考虑一个mutabl
浅谈C++中的mutable和volatile关键字
09-02
在C++编程语言中，`mutable` 和 `volatile` 是两个非常特殊的修饰符，它们各自具有独特的用途。本文将深入探讨这两个关键字的功能和使用场景。 首先，我们来看`mutable`关键字。`mutable`的主要作用是允许在const...
C/C++要点全掌握（五）——mutable、volatile
热门推荐
TU2的专栏
10-31 2万+
上接C/C++要点全掌握（四）。     13、mutable和volatile        很少遇到这两个关键字，学嵌入式估计知道后者，深入研究C++的估计知道前者。        (1)mutable        在C++中，mutable是为了突破const的限制而设置的。被mutable修饰的变量，将永远处于可变的状态，即使在一个const函数中，甚至结构体变量或者类对象为
「C/C++ 01」volatile关键字 和 修改const修饰的变量
最新发布
look_outs的博客
05-02 1282
volatile关键字 和 修改const修饰的变量
【转】C/C++中的 mutable、volatile 关键字作用详解
一程山水一程歌
09-19 3810
mutable和volatile        很少遇到这两个关键字，学嵌入式估计知道后者，深入研究 C++ 的估计知道前者。      (1)mutable        在 C++ 中，mutable 是为了突破 const 的限制而设置的。被 mutable 修饰的变量，将永远处于可变的状态，即使在一个 const 函数中，甚至结构体变量或者类对象为 const
C++中的mutable和volatile
无鞋童鞋的博客
07-06 2409
1 mutable 　　在C++中，mutable是为了突破const的限制而设置的。被mutable修饰的变量，将永远处于可变的状态，即使在一个const函数中，甚至结构体变量或者类对象为const，其mutable成员也可以被修改。struct ST { int a; mutable int b; }; const ST st={1,2}; s
C++ 之 explicit,mutable,volatile 浅析
稚枭天卓
09-07 2494
explicit：放在构造函数前面可以阻止构造函数的隐式类型转换。这样可以避免不必要的错误。 violate：告诉编译器不要去假定这个变量的值，因为它随时可能会改变。这是为了阻止某些编译器的优化策略直接从上次缓冲在寄存器里读取数据，而不从内存读。 volatile关键字是一种类型修饰符，用它声明的类型变量表示可以被某些编译器未知的因素更改，比如：操作系统、硬件或者其它线程等。遇到这个关
C++中volatile和mutable关键字用法详解
08-25
C++中volatile和mutable关键字用法详解 C++中volatile关键字的用法详解： volatile关键字是C++中的一种类型限定符，它用于告诉编译器该变量值是不稳定的，可能被更改。使用volatile注意事项有六点： 1. 编译器会...
C++中const、volatile、mutable使用方法小结
08-25
C++中const、volatile、mutable是三个重要的关键字，它们在日常编程中经常被使用，但是很多人对它们的理解和使用都不是很清楚。下面我们将对这三个关键字的使用方法进行详细的介绍。 const关键字是C++中最常用的...
[C++] 关键字 mutable 和 volatile
学习笔记
05-28 273
mutable 意思是“易变的”。 const 类型对象的mutable域可以修改， 如果通过const指针或引用访问对象，mutable域也可以修改。简而言之，使用mutable关键字将覆盖任何封闭的const语句，编译器会因为此关键字不会将对象存储于只读内存中。 (A mutable field can be changed even in an object accessed thro...
Const与Volatile
11-30
详细介绍Const与Volatile的相同与不同
mutable和volatile关键字
weixin_34117211的博客
06-03 221
1.mutable 在C++中，mutable是为了突破const的限制而设置的。被mutable修饰的变量，将永远处于可变的状态，即使在一个const函数中，甚至结构体变量或者类对象为const，其mutable成员也可以被修改。mutable在类中只能够修饰非静态数据成员。 #include <iostream> using namespace std; class ...
C++中关键字volatile和mutable用法
网络资源是无限的
01-29 5023
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 sp...
mutable和volatile
嘿嘿嘿呼呼嘿
10-17 2058
mutable为了突破const的限制。被mutable修饰的变量，将永远处于可变的状态，即使在一个const函数中，甚至结构体变量或者类对象为const，其mutable成员也可以被修改。保护类的成员变量不在成员函数中被修改，是为了保证模型的逻辑正确，通过用const关键字来避免在函数中错误的修改了类对象的状态。并且在所有使用该成员函数的地方都可以更准确的预测到使用该成员函数的带来的影响。而mut
C++中的const和volatile详解/详解C++常量（1） 非常详细！！！！！！！！！
weixin_39568744的博客
03-08 914
先简单描述一下： 限定词const告诉编译器"这是不会改变的"（这就允许编译器执行额外的优化）；而限定词volatile则告诉编译器"不知道何时会改变"，防止编译器依据变量的稳定性做任何优化。当读在代码控制之外的某个值时，例如读一块通信硬件中的寄存器，将使用这个关键字。无论何时需要volatile变量的值，都能读到，即使在该行之前刚刚读过。 "在代码的控制之外"的某个存储空间...
C++之const和volatile
qq_41980769的博客
07-08 808
文章目录一、constconst基本用法与类相关的 const 用法关键字 mutable 在看const的内容之前 大家要记住一件事，我总结所有的形式，那就是const离谁最近，它是针对谁的。比如 const int * p = &name; 那么它针对的就是int，所以*p = 10；就是错误操作 而 p = &class;就是正确操作 而int* const p = &name；它针对的就是p ；所以 p = &name就是错误操作； 而 *p = 10就是正确操作
【C++】const关键字详解 && volatile关键字了解
Suk_god的博客
03-23 2463
const的特性 详解 volatile关键字 const volatile的组合关键字含义
c++中mutable的所有用法及其示例
05-11
`mutable` 关键字用于修饰类的成员变量，表示该变量可以在 const 成员函数中被修改。以下是 `mutable` 的用法及示例： 1. 修饰类的成员变量 ```c++ class Example { public: void constMethod() const { // 可以修改 mutable 成员变量 mutableVar++; } private: mutable int mutableVar = 0; }; ``` 2. 修饰类的 const 成员变量 ```c++ class Example { public: Example(int value) : constVar(value) {} void constMethod() const { // 可以修改 mutable const 成员变量 mutableVar++; } private: mutable const int constVar; mutable int mutableVar = 0; }; ``` 3. 修饰类的 static 成员变量 ```c++ class Example { public: static int getCount() { return count; } void constMethod() const { // 可以修改 mutable static 成员变量 mutableVar++; count++; } private: static int count; mutable static int mutableVar; }; int Example::count = 0; mutable int Example::mutableVar = 0; ``` 注意：`mutable` 关键字只能用于非静态成员变量，且不能用于函数、静态变量或全局变量。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值