【C语言】volatile关键字

简介: volatile用来修饰变量,告知编译器不要对这个变量进行优化,每次要用到这个变量时都必须从内存中读取它的值。

一. 基本介绍

volatile用来修饰变量,告知编译器不要对这个变量进行优化,每次要用到这个变量时都必须从内存中读取它的值。


看下面一段代码:


451f76817e05473698415adbfd09b64a.png

在 C/C++ 中被 const 修饰的变量已经是一个常量了,这时它具有替换的作用,编译器在编译代码的时候,在程序中看到对常量中的内容读取时,会直接使用常量中的内容替换常量。


我们可以用 volatile 修饰这个常量,告知编译器不要对这个常量进行如何优化:

8f4b8a3382d743d2a590a0c3f56849f4.png



二. 演示实验

思考一下,这个代码有哪些地方,编译器是可以优化的?


#include <stdio.h>
int pass = 1;
int main()
{
  while (pass) {
  }
  return 0;
}


编译器在编译的时候,能识别到while循环内并没有对pass变量进行修改,又因为pass变量的值就是循环条件,所以编译器会把它的值放到寄存器中,这样cpu每次要进行循环条件判定时就从寄存器中拿出值来判定,比起每次从内存中读取pass的值,从寄存器读取的速度是更快的,这是编译器在程序效率上的优化。


这种优化有些时候害了我们,比如在多线程的场景,其它线程可能就会对这个pass变量的值进行修改,这时原线程中的pass的值已然改变,但cpu依然是从寄存器中取值,造成一种内存中的值被覆盖的现象。


接下来,我们从汇编的角度,在 Linux 平台下对比演示加还是不加 volatile 的作用:


不加 volatile

ed2886b997094ab5af75e509bbfa63c6.png


加 volatile


cc6a37ffbf0942a98989c6f00e136604.png

结论:volatile 修饰变量时可以告知编译器不要对这个变量进行优化,保持变量内存的可见性


三. const 能否和 volatile 一起使用

const是常量的意思,volatile是易变的意思,这两个字义冲突的关键字能否同时使用呢?


我们各个编译器上试试看能否同时使用:


const volatile int a = 10;

上面定义变量的语句在 vs2017 和 gcc 4.8 中都能编译通过


const 是在编译期间起效果

volatile 在编译期间主要影响编译器,形成不优化的代码,进而影响运行,故:编译和运行都起效果。

const 要求你不要进行写入就可以。volatile 意思是你读取的时候,每次都要从内存读。两者并不冲突。


虽然 volatile 就叫做易变关键字,但这里仅仅是描述它修饰的变量可能会变化,要编译器注意,并不是它要求对应变量必须变化!这点要特别注意。


相关文章
|
2月前
|
存储 数据可视化 编译器
【C语言】union 关键字详解
联合体(`union`)是一种强大的数据结构,在C语言中具有广泛的应用。通过共享内存位置,联合体可以在不同时间存储不同类型的数据,从而节省内存。在嵌入式系统、硬件编程和协议解析等领域,联合体的使用尤为常见。理解和正确使用联合体可以使代码更加高效和灵活,特别是在内存受限的系统中。
124 3
【C语言】union 关键字详解
|
2月前
|
C语言
【C语言】break 关键字详解
- `break` 关键字用于提前退出循环体或 `switch` 语句的执行。 - 在 `for`、`while` 和 `do-while` 循环中,`break` 可以帮助程序在满足特定条件时退出循环。 - 在 `switch` 语句中,`break` 用于终止 `case` 代码块的执行,避免代码“穿透”到下一个 `case`。 - 注意 `break` 只会退出最内层的循环或 `switch` 语句,确保在嵌套结构中正确使用 `break` 以避免意外的控制流行为。
152 2
|
2月前
|
传感器 安全 编译器
【C语言】enum 关键字详解
`enum`关键字在C语言中提供了一种简洁而高效的方法来定义一组相关的常量。通过使用枚举,可以提高代码的可读性、可维护性,并减少错误的发生。在实际应用中,枚举广泛用于表示状态、命令、错误码等,为开发者提供了更清晰的代码结构和更方便的调试手段。通过合理使用枚举,可以编写出更高质量、更易维护的C语言程序。
150 2
|
2月前
|
缓存 安全 编译器
【C语言】volatile 关键字详解
`volatile` 关键字在 C 语言中用于防止编译器对某些变量进行优化,确保每次访问该变量时都直接从内存中读取最新的值。它主要用于处理硬件寄存器和多线程中的共享变量。然而,`volatile` 不保证操作的原子性和顺序,因此在多线程环境中,仍然需要适当的同步机制来确保线程安全。
89 2
|
2月前
|
存储 编译器 程序员
【C语言】auto 关键字详解
`auto` 关键字用于声明局部变量的自动存储类,其作用主要体现在变量的生命周期上。尽管现代C语言中 `auto` 的使用较少,理解其历史背景和作用对于掌握C语言的存储类及变量管理仍然很重要。局部变量默认即为 `auto` 类型,因此在实际编程中,通常不需要显式声明 `auto`。了解 `auto` 关键字有助于更好地理解C语言的存储类及其在不同场景中的应用。
102 1
|
2月前
|
C语言
【C语言】continue 关键字详解
`continue` 关键字在 C 语言中用于跳过当前循环中的剩余代码,并立即开始下一次迭代。它主要用于控制循环中的流程,使程序在满足特定条件时跳过某些代码。
167 1
【C语言】continue 关键字详解
|
2月前
|
C语言
【C语言】return 关键字详解 -《回家的诱惑 ! 》
`return` 关键字在 C 语言中用于终止函数的执行,并将控制权返回给调用者。根据函数的类型,`return` 还可以返回一个值。它是函数控制流中的重要组成部分。
118 2
|
2月前
|
安全 编译器 C语言
【C语言】typeof 关键字详解
`typeof` 关键字在GCC中用于获取表达式的类型,便于动态类型定义和宏编程。它可以用于简化代码、提高代码的灵活性和可维护性。虽然 `typeof` 是 GCC 扩展,并非标准C的一部分,但它在实际编程中非常有用。
119 1
|
2月前
|
存储 C语言
【C语言】typedef 关键字详解
`typedef` 关键字在C语言中用于定义现有数据类型的别名,提高代码的可读性和可维护性。它常用于简化复杂数据类型、定义函数指针类型以及处理联合体和枚举类型。掌握 `typedef` 的用法可以使你的代码更加清晰和易于管理。
161 1
|
2月前
|
存储 人工智能 程序员
【C语言】一篇通关所有 “关键字”,值得收藏篇!
关键字是编程语言预定义的保留词,代表特定的操作或结构。C语言中的关键字用于定义变量类型、控制语句、存储类、数据类型等。使用这些关键字可以创建函数、控制程序的流程、声明变量和常量等。
244 0