六.字節對齊可能帶來的隱患:

　　代碼中關于對齊的隱患，很多是隱式的。比如在強制類型轉換的時候。例如：

　　unsigned int i = 0x12345678;

　　unsigned char *p=NULL;

　　unsigned short *p1=NULL;

　　p=&i;

　　*p=0x00;

　　p1=(unsigned short *)(p+1);

　　*p1=0x0000;

　　最后兩句代碼，從奇數邊界去訪問unsignedshort型變量，顯然不符合對齊的規定。

　　在x86上，類似的操作只會影響效率，但是在MIPS或者sparc上，可能就是一個error,因為它們要求必須字節對齊.

　　七.如何查找與字節對齊方面的問題:

　　如果出現對齊或者賦值問題首先查看

　　1. 編譯器的big little端設置

　　2. 看這種體系本身是否支持非對齊訪問

　　3. 如果支持看設置了對齊與否,如果沒有則看訪問時需要加某些特殊的修飾來標志其特殊訪問操作。

　　arm下的對齊處理

　　from DUI0067D_ADS1_2_CompLib

　　3.13 type   qulifiers

　　有部分摘自arm編譯器文檔對齊部分

　　對齊的使用:

　　1.__align(num)

　　這個用于修改最高級別對象的字節邊界。在匯編中使用LDRD或者STRD時

　　就要用到此命令__align(8)進行修飾限制。來保證數據對象是相應對齊。

　　這個修飾對象的命令最大是8個字節限制,可以讓2字節的對象進行4字節

　　對齊,但是不能讓4字節的對象2字節對齊。

　　__align是存儲類修改,他只修飾最高級類型對象不能用于結構或者函數對象。

　　2.__packed

　　__packed是進行一字節對齊

　　1.不能對packed的對象進行對齊

　　2.所有對象的讀寫訪問都進行非對齊訪問

　　3.float及包含float的結構聯合及未用__packed的對象將不能字節對齊

　　4.__packed對局部整形變課抻跋?BR>   5.強制由unpacked對象向packed對象轉化是未定義,整形指針可以合法定

　　義為packed。

　　__packed int* p;   //__packed int 則沒有意義

　　6.對齊或非對齊讀寫訪問帶來問題

　　__packed struct STRUCT_TEST

　　{

　　char a;

　　int b;

　　char c;

　　}   ;     //定義如下結構此時b的起始地址一定是不對齊的

　　//在棧中訪問b可能有問題,因為棧上數據肯定是對齊訪問[from CL]

　　//將下面變量定義成全局靜態不在棧上

　　static char* p;

　　static struct STRUCT_TEST a;

　　void Main()

　　{

　　__packed int* q;   //此時定義成__packed來修飾當前q指向為非對齊的數據地址下面的訪問則可以

　　p = (char*)&a;

　　q = (int*)(p+1);

　　*q = 0x87654321;

　　/*

　　得到賦值的匯編指令很清楚

　　ldr       r5,0x20001590 ; = #0x12345678

　　[0xe1a00005]    mov       r0,r5

　　[0xeb0000b0]    bl        __rt_uwrite4   //在此處調用一個寫4byte的操作函數

　　[0xe5c10000]    strb      r0,[r1,#0]    //函數進行4次strb操作然后返回保證了數據正確的訪問

　　[0xe1a02420]    mov       r2,r0,lsr #8

　　[0xe5c12001]    strb      r2,[r1,#1]

　　[0xe1a02820]    mov       r2,r0,lsr #16

　　[0xe5c12002]    strb      r2,[r1,#2]

　　[0xe1a02c20]    mov       r2,r0,lsr #24

　　[0xe5c12003]    strb      r2,[r1,#3]

　　[0xe1a0f00e]    mov       pc,r14

　　*/

　　/*

　　如果q沒有加__packed修飾則匯編出來指令是這樣直接會導致奇地址處訪問失敗

　　[0xe59f2018]    ldr       r2,0x20001594 ; = #0x87654321

　　[0xe5812000]    str       r2,[r1,#0]

　　*/

　　//這樣可以很清楚的看到非對齊訪問是如何產生錯誤的

　　//以及如何消除非對齊訪問帶來問題

　　//也可以看到非對齊訪問和對齊訪問的指令差異導致效率問題

　　}