【C/C++面试必备】volatile 关键字

【C/C++面试必备】volatile 关键字????作者:Linux猿????简介:CSDN博客专家????,C/C++、面试、刷题、算法尽管咨询我,关注我,有问题私聊!????关注专栏:C/C++面试通关集锦(优质好文持续更新中……)????本文来讲解一下C/C++中的关键字volatile。在日常的使用中很少使用到,但是,在面试中经常被提起,下面具体来看一下。volatile的作用是什么呢?volatile意思是易变的,是一种类型修饰符,在C/C++中用来阻止编译器因误认某段代码无法被代码本身所改变,而造成的

大家好,又见面了,我是你们的朋友全栈君。如果您正在找激活码,请点击查看最新教程,关注关注公众号 “全栈程序员社区” 获取激活教程,可能之前旧版本教程已经失效.最新Idea2022.1教程亲测有效,一键激活。

Jetbrains全系列IDE使用 1年只要46元 售后保障 童叟无欺


? 作者:Linux猿

? 简介:CSDN博客专家?,C/C++、面试、刷题、算法尽管咨询我,关注我,有问题私聊!

? 关注专栏:C/C++面试通关集锦 (优质好文持续更新中……)?


本文来讲解一下 C/C++ 中的关键字 volatile。在日常的使用中很少使用到,但是,在面试中经常被提起,下面具体来看一下。

volatile 的作用是什么呢?

volatile 意思是易变的,是一种类型修饰符,在C/C++中用来阻止编译器因误认某段代码无法被代码本身所改变,而造成的过度优化。编译器每次读取 volatile 定义的变量时,都从内存地址处重新取值。

这里就有点疑问了,难道编译器取变量的值不是从内存处取吗?

并不全是,编译器有时候会从寄存器处取变量的值,而不是每次都从内存中取。因为编译器认为变量并没有变化,所以认为寄存器里的值是最新的,另外,通常来说,访问寄存器比访问内存要快很多,编译器通常为了效率,可能会读取寄存器中的变量。但是,变量在内存中的值可能会被其它元素修改,比如:硬件或其它线程等。

来看一个实际的例子:

#include <stdio.h>

int main() {
    const int value = 10;
    int *ptr = (int*) &value;
  
    printf("初始值 : %d \n", value);

    *ptr = 100;
    printf("修改后的值 : %d \n", value);
    
    return 0;
}

编译程序,执行命令:

linuxy@linuxy:~/volatile$ gcc main.c -o main

运行后输出:

linuxy@linuxy:~/volatile$ gcc main.c -o main
linuxy@linuxy:~/volatile$ ./main 
初始值 : 10 
修改后的值 : 100 
linuxy@linuxy:~/volatile$

可以看到 value 的值变化了。

接下来再看一下编译时添加 -O 参数优化的情况,执行命令 gcc -O main.c -o main。

输出结果为:

linuxy@linuxy:~/volatile$ gcc -O main.c -o main
linuxy@linuxy:~/volatile$ ./main 
初始值 : 10 
修改后的值 : 10 
linuxy@linuxy:~/volatile$

可以看到添加 -O 参数优化后, value 的值并没有变化,这里就有问题了。是因为添加了 -O 参数,编译器对代码进行了优化,忽略了对变量 value 值的更改。

-O 参数:

使用该参数,编译器会尝试减少代码大小和执行时间,但不执行需要占用大量编译时间的优化。优化编译需要占用更多的时间,对于大型函数需要占用更大的内存。

来看一下上面例子优化前和优化后代码大小的对比:

linuxy@linuxy:~/volatile$ gcc main.c -o main
linuxy@linuxy:~/volatile$ ls -al main
-rwxrwxr-x 1 linuxy linuxy 16752 7月  18 14:38 main
linuxy@linuxy:~/volatile$ gcc -O main.c -o main
linuxy@linuxy:~/volatile$ ls -al main
-rwxrwxr-x 1 linuxy linuxy 16704 7月  18 14:38 main
linuxy@linuxy:~/volatile$ 

可以看到,优化后文件变小了。

那再看一下给上面的代码添加上 volatile 关键字后会怎样?

#include <stdio.h>

int main() {
    volatile const int value = 10;
    int *ptr = (int*) &value;
  
    printf("初始值 : %d \n", value);

    *ptr = 100;
    printf("修改后的值 : %d \n", value);

    return 0;
}

执行命令编译程序:

linuxy@linuxy:~/volatile$ gcc -O main.c -o main

输出为: 

linuxy@linuxy:~/volatile$ gcc -O main.c -o main
linuxy@linuxy:~/volatile$ ./main 
初始值 : 10 
修改后的值 : 100 
linuxy@linuxy:~/volatile$

可以看到,即使添加了 -O 参数优化程序, value 的值依然被改变了。 

最后,看一下 volatile 是怎样使用的。

1. 修饰普通变量

volatile 类型 变量

类型 volatile 变量

volatile 放置到类型前后都可以。例如:

#include <stdio.h>

int main() {
    volatile int a = 10;
    int volatile b = 20;
    printf("a = %d\nb = %d\n", a, b);
}

编译后输出:

linuxy@linuxy:~/volatile$ gcc -o main main.c
linuxy@linuxy:~/volatile$ ./main 
a = 10
b = 20
linuxy@linuxy:~/volatile$

2. 修饰指针

修饰指针和 const 类似(volatile 和 const 都是类型修饰符),有三种形式:

volatile int *p;
int*  volatile p;
volatile 类型*  volatile 变量;

看一下具体的代码: 

#include <stdio.h>

int main() {
    int a = 10;
    volatile int* p = &a;
    int* volatile q = &a;
    volatile int* volatile x = &a;

    printf("*p = %d\n*q = %d\n*x = %d\n", *p, *q, *x);
}

编译后输出为:

linuxy@linuxy:~/volatile$ gcc -o main main.c
linuxy@linuxy:~/volatile$ ./main 
*p = 10
*q = 10
*x = 10
linuxy@linuxy:~/volatile$ 

3. 作为函数参数

作为函数参数需要注意,例如:

int square(volatile int *ptr)
{
        return *ptr * *ptr;
}

编译器处理的逻辑类似于以下情况:

int square(volatile int *ptr) 
{
    int a,b;
    a = *ptr;
    b = *ptr;
    return a * b;
}

因为 ptr 被声明为 volatile,所以 a 和 b 的值可能是不一样的,所以最好采用如下这种方式:

long square(volatile int *ptr) 
{
    int a;
    a = *ptr;
    return a * a;
}

参考文献:

[1] https://stackoverflow.com/questions/4437527/why-do-we-use-volatile-keyword

[2] https://www.geeksforgeeks.org/understanding-volatile-qualifier-in-c/


? 欢迎小伙伴们点赞?、收藏⭐、留言?


版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请联系我们举报,一经查实,本站将立刻删除。

发布者:全栈程序员-站长,转载请注明出处:https://javaforall.net/157615.html原文链接:https://javaforall.net

(0)
全栈程序员-站长的头像全栈程序员-站长


相关推荐

  • apache rewritecond_hfile数据格式中的data字段用于

    apache rewritecond_hfile数据格式中的data字段用于RewriteCond就像我们程序中的if语句一样,表示如果符合某个或某几个条件则执行RewriteCond下面紧邻的RewriteRule语句,这就是RewriteCond最原始、基础的功能,为了方便理解,下面来看看几个例子。复制代码代码如下:RewriteEngineonRewriteCond %{HTTP_USER_AGENT} ^Mozilla//5/.0.*

    2022年5月3日
    134
  • NLP系列笔记:通俗理解LDA主题模型

    NLP系列笔记:通俗理解LDA主题模型0前言    印象中,最开始听说“LDA”这个名词,是缘于rickjin在2013年3月写的一个LDA科普系列,叫LDA数学八卦,我当时一直想看来着,记得还打印过一次,但不知是因为这篇文档的前序铺垫太长(现在才意识到这些“铺垫”都是深刻理解LDA的基础,但如果没有人帮助初学者提纲挈领、把握主次、理清思路,则很容易陷入LDA的细枝末节之中),还是因为其中的数学推导细节太多,导致一直没有完整看完…

    2022年8月11日
    5
  • 视频直播技术详解之处理[通俗易懂]

    视频直播技术详解之处理[通俗易懂]声明:本文为CSDN原创投稿文章,未经许可,禁止任何形式的转载。作者:七牛云责编:钱曙光,关注架构和算法领域,寻求报道或者投稿请发邮件qianshg@csdn.net,另有「CSDN高级架构师群」,内有诸多知名互联网公司的大牛架构师,欢迎架构师加微信qshuguang2008申请入群,备注姓名+公司+职位。七牛云于6月底发布了一个针对视频直播的实时流网络LiveNet和完…

    2022年7月24日
    15
  • NanoStation M2/5 配置使用指南

    NanoStation M2/5 配置使用指南

    2021年8月21日
    187
  • golang []byte和string相互转换

    golang []byte和string相互转换测试例子:packagemainimport(“fmt”)funcmain(){str2:=”hello”data2:=[]byte(str2)fmt.Println(data2)str2=string(data2[:])fmt.Println(str2)}

    2022年6月17日
    25
  • 微信小程序api

    微信小程序api1.api1.概述小程序开发框架提供丰富的微信原生API,可以方便的调起微信提供的能力,如获取用户信息,本地存储,支付功能等2.api分类监听api约定以on开头的API用了来监听某个事件是否触发同步api约定,以Sync结尾的API都是同步API,直接接取函数返回的的结果既可,不需要等待异步api大多数API都是异步API,如wx.request,wx.login等,异步api方法主体是object结构,都有success/faill/complete几乎所有的异步api都支

    2022年7月16日
    18

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注

关注全栈程序员社区公众号