C语言关键字详解(五)带你全面了解 volatile 关键字

简介: C语言关键字详解(五)带你全面了解 volatile 关键字

一、前言

大家好,欢迎来到C语言深度解析专栏—C语言关键字详解第五篇,在本篇中我们将会介绍C语言当中的另外一个重要的关键字 volatile ,相信大家在看完这篇博客后会对 volatile 这个关键字的用法及注意事项有一个系统、全面的认识。

二、最易变的关键字—volatile

volatile 是易变的、不稳定的意思。很多人根本就没见过这个关键字,不知道它的存在。也有很多程序员知道它的存在,但从来没用过它。也正是因为它冷门,所以在面试C语言相关问题的时候,volatile 和 static 、const 这两个关键字一样成为了最经常被问到的问题。

1、volatile 总体阐述

volatile 关键字和 const 一样是一种类型修饰符,用它修饰的变量表示可以被某些编译器,未知的因素更改,比如操作系统、硬件或者其它线程等。遇到这个关键字声明的变量,编译器对访问该变量的代码就不再进行优化,从而可以提供对特殊地址的稳定访问。这是C深度剖析中对 volatile 的解释,现在我们可能对这段描述并不感冒,没关系,我们下面对 volatile 进行详细介绍之后再回过头来看它,相信那时,大家对这段话会有不一样的感受。

2、CPU运算与内存覆盖

在介绍 volatile 之前,我们需要先介绍一下CPU运算与内存覆盖相关概念。

2020062310470442.png

>如图:这里我们用 flag 标记了一个循环,编译器在执行这条语句的时候为了对循环进行逻辑判断需要CPU参与,而CPU进行逻辑判断的时候是先将变量 flag 加载到寄存器中,再判断循环条件是否为真,为真再执行循环语句,但是我们这里并没有任何东西能够修改我的循环变量flag的值,也就是是,我们定义了一个死循环,那么,为了将这个循环进行下去,CPU就需要不断地将变量flag从内存加载到寄存器中进行逻辑判断,显然,这样效率很低,所以,为了提高效率,CPU会直接将 flag 放在寄存器中,以后CPU每次检测时直接从寄存器中读取 flag 的值,不再从内存中读取,这种情况也被称为 “内存覆盖”。

3、线程与执行流

在我们当下来看,这种做法显然没什么问题,因为我们现在写的代码都是单线程的,只有一个执行流来执行程序,但是一个程序并不是只能是单线程的,当我们以后在学习多线程、多进程代码的时候就会知道,循环变量 flag 是有可能在 while 外部被其他值修改的,当一个和 while 并行存在的逻辑将 flag 改为0时,问题就来了,因为CPU是直接从寄存器中读取 flag 的值进行 while 循环的逻辑判断的,所以当另一个逻辑将 flag 改为0时,while 循环并不会停止,而是会继续执行其中的代码块,从而造成程序逻辑上的错误(关于多线程、多进程的知识大家现在只需要了解就可以,以后会细学)。

4、volatile修饰变量

那么,为了在某些特殊的情况下出现上述的问题,我们应该怎么办呢?我们可以直接在 flag 变量前面加上 volatile 关键字,让CPU不要对 flag 进行优化,每次都继续从内存当中读取 flag 的值。

#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>
int main()
{
  volatile int flag = 1;
  while (flag) {
    ;
  }
  return 0;
}

这就是 volatile 关键字修饰变量的作用:让编译器不对被 volatile 修饰的变量进行优化,从而达到稳定访问内存的目的。

注意:虽然 volatile 叫做易变关键字,但这里仅仅是描述它修饰的变量可能会变化,要编译器注意,并不是要求被它修饰的变量必须

变化!这点要特别注意。

三、总结

编译器在运行程序时为了提高运行效率,可能会对某些程序进行优化,其中就有可能会将某些需要反复从内存中读取的变量直接放在寄存器当中(这点大家可以和 register 来对比一下),从而造成在多线程情况下程序逻辑错误的问题,为了解决或者避免此类错误,C语言中定义了 volatile 关键字。

volatile 关键字修饰的变量表示可以被某些编译器,未知的因素更改,比如操作系统、硬件或者其它线程等。遇到这个关键字声明的变量,编译器对访问该变量的代码就不再进行优化,从而可以提供对特殊地址的稳定访问。更多关键字在下面博客链接

C语言关键字详解(一)auto、register关键字

C语言关键字详解(二)带你全面了解 static

C语言关键字详解(三)数据类型与sizeof关键字

C语言关键字详解(四)带你全面了解 const 关键字

如果你觉得这篇文章对你有帮助的话,还请给个三连支持一下


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

热门文章

最新文章