前几天无意中看到一篇文章,阐述c++ volatile关键字的作用。仔细看下来觉得一处内容有待商榷,而文章也是博主转载的,既然找不到原作者,只能在此指出了。
首先,需要强调编译器的版本,不同的编译器有不同的优化方案,最终会影响生成的代码。本文使用vc++6.0(因为我猜测原作者用的也是vc++6.0),以下是示例代码:
#include <stdio.h>
void main()
{
int i = 10;
int a = i;
printf("i = %d", a);
// 下面汇编语句的作用就是改变内存中 i 的值
// 但是又不让编译器知道
__asm{
mov dword ptr [ebp-4], 20h
}
int b = i;
printf("i = %d", b);
}
同时作者说在debug和release下,程序的输出不同:
" 然后,在 Debug 版本模式运行程序,输出结果如下:
i = 10
i = 32
然后,在 Release 版本模式运行程序,输出结果如下:
i = 10
i = 10"
作者把造成这种不同的原因归结为:"而优化(指Release版)做法是,由于编译器发现两次从 i读数据的代码之间的代码没有对 i 进行过操作,它会自动把上次读的数据放在 b 中。而不是重新从 i 里面读"。
我不是很同意他的观点:Release版,编译器并没有为变量a,b,i生成栈空间,而是直接用立即数0xa进行操作,因此无论作者怎么操作[ebp-4],都不会影响最终输出。以下是反汇编代码:
00000 55 push ebp
00001 8b ec mov ebp, esp
; 5 : int i = 10;
; 6 : int a = i;
; 7 :
; 8 : printf("i = %d", a);
00003 6a 0a push 10 ; 0000000aH
00005 68 00 00 00 00 push OFFSET FLAT:??_C@_06DBE@i?5?$DN?5?$CFd?$AA@ ; `string'
0000a e8 00 00 00 00 call _printf
; 9 : __asm {
; 10 : mov dword ptr [ebp-4], 20h
0000f c7 45 fc 20 00
00 00 mov DWORD PTR [ebp-4], 32 ; 00000020H
; 11 : }
; 12 :
; 13 : int b = i;
; 14 : printf("i = %d", b);
00016 6a 0a push 10 ; 0000000aH
00018 68 00 00 00 00 push OFFSET FLAT:??_C@_06DBE@i?5?$DN?5?$CFd?$AA@ ; `string'
0001d e8 00 00 00 00 call _printf
由于i的值在编译前已经确定,并且在使用前也没有发生不确定的变化(如接受用户输入等),因此编译器认为printf的输出参数可被优化为立即数。