C++ volatile

volatile英文的翻译是不稳定的,在C++中关键字声明表明其后变量值可能被改变,但是声明后,每次取值都是都是到内存中取值,从而防止编译器优化。

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 optimizations must be avoided.

书籍中的解释很明显,对编译器的一种提示,从而避免编译器优化和稳定访问取值。

编译器优化
//代码来源于别人的博客,http://www.cnblogs.com/yc_sunniwell/archive/2010/07/14/1777432.html
#include <stdio.h>

void main()
{
    volatile int i = 10;
    int a = i;

    printf("i = %d\n", a);

    // 下面汇编语句的作用就是改变内存中 i 的值
    // 但是又不让编译器知道
    __asm
    {
        MOV DWORD PTR[EBP - 4], 20H
    }

    int b = i;
    printf("i = %d\n", b);
}

原文博客中说,不加关键字的int i变量,在debug,和release不同,但是我尝试了下,其结果一致,都是10。而在加了关键字的release情况下,b的值才得以改变成32。说明这时候的b变量重新到i的内存空间取值,所以才有正确的结果。
再来说说,为什么不加volatile的时候,结果都是10。因为编译器比较偷懒,在给i赋值10后,其后的代码块没有修改i的值,凡是后面诸如 int a = i,是把i的值给a,而不去i的内存中读取。

综上,volatile在仅在release版本下有效。

多线程的volatile

参考我《C++ 单例模式》中成员变量m_pInstance的声明,static T* volatile m_pInstance;
volatile和const一样,可以修饰指针指向的值,也可修饰指针本身的值。这里指的是指针本身的值。
因为多线程情况,多个线程可能使用同一个变量,而编译器优化导致,一个线程使用寄存器的值,而一个使用内存的值,导致程序失控,出现不可控的结果。

注意,多线程当可能修改某个统一变量时,加上类型说明符 volatile

【参考资料】
【1】http://www.cnblogs.com/yc_sunniwell/archive/2010/07/14/1777432.html

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值