volatile的作用是: 作为指令 ,确保本条指令不会因 的优化而省略,且要求每次直接读值.
简单地说就是防止编译器对代码进行优化.比如如下程序:
1). 并行设备的硬件寄存器(如:状态寄存器)
2). 一个中断服务子程序中会访问到的非自动变量(Non-automatic variables)
3). 多线程应用中被几个任务共享的变量
1). 一个参数既可以是const还可以是volatile吗?解释为什么。
2). 一个指针可以是volatile 吗?解释为什么。
3). 下面的函数被用来计算某个整数的平方,它能实现预期设计目标吗?如果不能,试回答存在什么问题:
1 2 3 4 | int square( volatile int *ptr) { return ((*ptr) * (*ptr)); } |
下面是答案:
1). 是的。一个例子是只读的 。它是volatile因为它可能被意想不到地改变。它是const因为程序不应该试图去修改它。
2). 是的。尽管这并不很常见。一个例子是当一个中断服务子程序修改一个指向一个buffer的 时。
3). 这段代码是个恶作剧。这段代码的目的是用来返指针*ptr指向值的平方,但是,由于*ptr指向一个volatile型参数, 将产生类似下面的代码:
1 2 3 4 5 6 7 | int square( volatile int * &ptr) //这里参数应该申明为引用,不然函数体里只会使用副本,外部没法更改 { int a,b; a = *ptr; b = *ptr; return a*b; } |
由于*ptr的值可能在两次取值语句之间发生改变,因此a和b可能是不同的。结果,这段代码可能返回的不是你所期望的平方值!正确的代码如下:
1 2 3 4 5 6 | long square( volatile int *ptr) { int a; a = *ptr; return a*a; } |