C 关键字 register 和嵌入式汇编联合使用的讨论
register 是C99 的keyword之一.
register 是储存类型之一.这里仅讨论register 储存类型,auto static extern的各种故事请移步《C on pointer》
A declaration of an identifier for an object with storage-class specifier register suggests that access to the object be as fast as possible. The extent to which such suggestions are effective is implementation-defined.
也就是说,你给一个变量加上register的储存类型修饰符,也只是向编译器说明
“嘿,哥们儿,这个变量我要经常访问的,我想尽可能快的访问这个变量”
访问一个变量最快的储存类型?寄存器类型
接着编译器会根据实际情况来,看有没有剩余的常用寄存器来储存这个变量,有,太好了,把变量放到寄存器里面去。没有?那也没办法,寄存器用作数据交换,比较忙,你的register修饰符也没用
比方说 register int varible; 如果申请使用寄存器做储存类型失败,就会把varible 认为int 类型。
GCC的实现策略:
The implementation may treat any register declaration simply as an auto declaration. However, whether or not addressable storage is actually used, the address of any part of an object declared with storage-class specifier register cannot be computed, either explicitly (by use of the unary & operator as discussed in 6.5.3.2) or implicitly (by converting an array name to a pointer as discussed in 6.3.2.1). Thus, the only operator that can be applied to an array declared with storage-class specifier register is sizeof.
上面这段话指明了GCC的实现策略。就是简单的把register 声明简单的当做auto对待。一旦是寄存器变量,你就不能对其进行寻址了,只能用sizeof,光说没用,测试才是硬道理.
咯,gcc 的报错就在这里(我把优化级别降到了最低-O,而且添加了printf打印语句就是担心gcc把程序很多部分优化掉了.)
这里是register 申请成功的情况,但是这里的申请寄存器做储存类型有时候页会失败的(默认auto了)
根据@浪陨 的提示,如果使用嵌入式汇编就能强制的把变量的储存类型定做register。这种做法在 赵炯的《注释》里面页有提到(page 48 第三章 3.3.2)
“ 如果想指定寄存器(例如 eax)那么我们可以把该语句写成 register char __res asm("ax"); ”
到了汇编层面,do what you want,坏笑....
这种定义方式确实比较“霸道”,占用了寄存器,在其生命周期内不允许别的变量使用该寄存器. 寄存器是很宝贵的~
如有误解,往批评指正.