假定結構型別的定義為 struct A int a,b A c則該型別的長度為

時間 2021-08-14 06:07:21

1樓:泣琭頻豔嬌

此題是有關記憶體對齊問題

12,int型每個佔4個位元組,(4×2).指標變數佔4個位元組

下面是關於記憶體對齊的內容:

記憶體對齊問題

看之前可以看看一個例子,看你的結果是多少,是否出乎你的預料?

class

test

};int

main()

一、什麼是位元組對齊,為什麼要對齊?

現代計算機中記憶體空間都是按照byte劃分的,從理論上講似乎對任何型別的變數的訪問可以從任何地址開始,但實際情況是在訪問特定型別變數的時候經常在特定的記憶體地址訪問,這就需要各種型別資料按照一定的規則在空間上排列,而不是順序的一個接一個的排放,這就是對齊。

對齊的作用和原因:各個硬體平臺對儲存空間的處理上有很大的不同。一些平臺對某些特定型別的資料只能從某些特定地址開始存取。

比如有些架構的cpu在訪問一個沒有進行對齊的變數的時候會發生錯誤,那麼在這種架構下程式設計必須保證位元組對齊.其他平臺可能沒有這種情況,但是最常見的是如果不按照適合其平臺要求對資料存放進行對齊,會在存取效率上帶來損失。比如有些平臺每次讀都是從偶地址開始,如果一個int型(假設為32位系統)如果存放在偶地址開始的地方,那麼一個讀週期就可以讀出這32bit,而如果存放在奇地址開始的地方,就需要2個讀週期,並對兩次讀出的結果的高低位元組進行拼湊才能得到該32bit資料。

顯然在讀取效率上下降很多。

二、請看下面的結構:

struct

mystruct

;對結構mystruct採用sizeof會出現什麼結果呢?sizeof(mystruct)為多少呢?也許你會這樣求:

sizeof(mystruct)=sizeof(double)+sizeof(char)+sizeof(int)=13

但是當在vc中測試上面結構的大小時,你會發現sizeof(mystruct)為16。你知道為什麼在vc中會得出這樣一個結果嗎?

其實,這是vc對變數儲存的一個特殊處理。為了提高cpu的儲存速度,vc對一些變數的起始地址做了“對齊”處理。在預設情況下,vc規定各成員變數存放的起始地址相對於結構的起始地址的偏移量必須為該變數的型別所佔用的位元組數的倍數。

下面列出常用型別的對齊方式(vc6.0,32位系統)。

型別對齊方式(變數存放的起始地址相對於結構的起始地址的偏移量)

char

偏移量必須為sizeof(char)即1的倍數

int偏移量必須為sizeof(int)即4的倍數

float

偏移量必須為sizeof(float)即4的倍數

double

偏移量必須為sizeof(double)即8的倍數

short

偏移量必須為sizeof(short)即2的倍數

各成員變數在存放的時候根據在結構中出現的順序依次申請空間,同時按照上面的對齊方式調整位置,空缺的位元組vc會自動填充。同時vc為了確保結構的大小為結構的位元組邊界數(即該結構中佔用最大空間的型別所佔用的位元組數)的倍數,所以在為最後一個成員變數申請空間後,還會根據需要自動填充空缺的位元組。

下面用前面的例子來說明vc到底怎麼樣來存放結構的。

struct

mystruct

;為上面的結構分配空間的時候,vc根據成員變數出現的順序和對齊方式,先為第一個成員dda1分配空間,其起始地址跟結構的起始地址相同(剛好偏移量0剛好為sizeof(double)的倍數),該成員變數佔用sizeof(double)=8個位元組;接下來為第二個成員dda分配空間,這時下一個可以分配的地址對於結構的起始地址的偏移量為8,是sizeof(char)的倍數,所以把dda存放在偏移量為8的地方滿足對齊方式,該成員變數佔用

sizeof(char)=1個位元組;接下來為第三個成員type分配空間,這時下一個可以分配的地址對於結構的起始地址的偏移量為9,不是sizeof

(int)=4的倍數,為了滿足對齊方式對偏移量的約束問題,vc自動填充3個位元組(這三個位元組沒有放什麼東西),這時下一個可以分配的地址對於結構的起始地址的偏移量為12,剛好是sizeof(int)=4的倍數,所以把type存放在偏移量為12的地方,該成員變數佔用sizeof(int)=4個位元組;這時整個結構的成員變數已經都分配了空間,總的佔用的空間大小為:8+1+3+4=16,剛好為結構的位元組邊界數(即結構中佔用最大空間的型別所佔用的位元組數sizeof(double)=8)的倍數,所以沒有空缺的位元組需要填充。所以整個結構的大小為:

sizeof(mystruct)=8+1+

3+4=16,其中有3個位元組是vc自動填充的,沒有放任何有意義的東西。

下面再舉個例子,交換一下上面的mystruct的成員變數的位置,使它變成下面的情況:

struct

mystruct

;這個結構佔用的空間為多大呢?在vc6.0環境下,可以得到sizeof(mystruc)為24。

結合上面提到的分配空間的一些原則,分析下vc怎麼樣為上面的結構分配空間的。(簡單說明)

struct

mystruct

;//所有成員變數都分配了空間,空間總的大小為1+7+8+4=20,不是結構

//的節邊界數(即結構中佔用最大空間的型別所佔用的位元組數sizeof

//(double)=8)的倍數,所以需要填充4個位元組,以滿足結構的大小為

//sizeof(double)=8的倍數。

所以該結構總的大小為:sizeof(mystruc)為1+7+8+4+4=24。其中總的有7+4=11個位元組是vc自動填充的,沒有放任何有意義的東西。

vc對結構的儲存的特殊處理確實提高cpu儲存變數的速度,但是有時候也帶來了一些麻煩,我們也遮蔽掉變數預設的對齊方式,自己可以設定變數的對齊方式。

vc中提供了#pragma

pack(n)來設定變數以n位元組對齊方式。n位元組對齊就是說變數存放的起始地址的偏移量有兩種情況:第

一、如果n大於等於該變數所佔用的位元組數,那麼偏移量必須滿足預設的對齊方式,第

二、如果n小於該變數的型別所佔用的位元組數,那麼偏移量為n的倍數,不用滿足預設的對齊方式。結構的總大小也有個約束條件,分下面兩種情況:如果n大於所有成員變數型別所佔用的位元組數,那麼結構的總大小必須為佔用空間最大的變數佔用的空間數的倍數;

否則必須為n的倍數。下面舉例說明其用法。

#pragma

pack(push)

//儲存對齊狀態

#pragma

pack(4)//設定為4位元組對齊

struct

test

;#pragma

pack(pop)//恢復對齊狀態

以上結構的大小為16,下面分析其儲存情況,首先為m1分配空間,其偏移量為0,滿足我們自己設定的對齊方式(4位元組對齊),m1佔用1個位元組。接著開始為

m4分配空間,這時其偏移量為1,需要補足3個位元組,這樣使偏移量滿足為n=4的倍數(因為sizeof(double)大於n),m4佔用8個位元組。接著為m3分配空間,這時其偏移量為12,滿足為4的倍數,m3佔用4個位元組。這時已經為所有成員變數分配了空間,共分配了16個位元組,滿足為n的倍數。

如果把上面的#pragma

pack(4)改為#pragma

pack(16),那麼我們可以得到結構的大小為24。(請讀者自己分析)

三、再看下面這個例子

#pragma

pack(8)

struct

s1;structs2;

#pragma

pack()

sizeof(s2)結果為24.

成員對齊有一個重要的條件,即每個成員分別對齊.即每個成員按自己的方式對齊.

也就是說上面雖然指定了按8位元組對齊,但並不是所有的成員都是以8位元組對齊.其對齊的規則是,每個成員按其型別的對齊引數(通常是這個型別的大小)和指定對齊引數(這裡是8位元組)中較小的一個對齊.並且結構的長度必須為所用過的所有對齊引數的整數倍,不夠就補空位元組.

s1中,成員a是1位元組預設按1位元組對齊,指定對齊引數為8,這兩個值中取1,a按1位元組對齊;成員b是4個位元組,預設是按4位元組對齊,這時就按4位元組對齊,所以sizeof(s1)應該為8;

s2中,c和s1中的a一樣,按1位元組對齊,而d

是個結構,它是8個位元組,它按什麼對齊呢?對於結構來說,它的預設對齊方式就是它的所有成員使用的對齊引數中最大的一個,s1的就是4.所以,成員d就是按4位元組對齊.

成員e是8個位元組,它是預設按8位元組對齊,和指定的一樣,所以它對到8位元組的邊界上,這時,已經使用了12個位元組了,所以又新增了4個位元組的空,從第16個位元組開始放置成員e.這時,長度為24,已經可以被8(成員e按8位元組對齊)整除.這樣,一共使用了24個位元組.

abs1的記憶體佈局:11**,1111,

cs1.a

s1.b

ds2的記憶體佈局:1***,11**,1111,****11111111

這裡有三點很重要:

1.每個成員分別按自己的方式對齊,並能最小化長度。

2.複雜型別(如結構)的預設對齊方式是它最長的成員的對齊方式,這樣在成員是複雜型別時,可以最小化長度。

3.對齊後的長度必須是成員中最大的對齊引數的整數倍,這樣在處理陣列時可以保證每一項都邊界對齊。

2樓:用飄柔洗腳丫

可以測試一下

-------------c++ code-----------------

a a;

int size;

size=sizof(a);

----------------------------------------

不同的作業系統 資料型別佔的位元組數也不相同要是int 佔4個位元組的話

那麼兩個int a,b一共佔8個位元組

*c 只是一個指向a指標,也就是說他存的是地址,一般地址儲存都是4個位元組

那麼一共是c 12

假定一個結構體型別的定義為“struct c{int a[5];int n;};”,則該型別的位元組大小是?大神們幫幫忙

3樓:匿名使用者

一個int 是 4 個byte。。。int a[5]呢就是5個int,也就是5 * 4 = 20 個byte。。再加上一個int。最後就是24個byte。。。。

C語言中 結構體內部定義的不同型別的變數分配地址是不是連續的

您好!這個問題要涉及到一個叫 對齊基數 的問題 具體到檢視 先說解決方法 如果你的結構體中最小成員變數為char型,可在程式開始增加 pragma pack 1 這樣的語句,其他的類推,如最小成員變數為short型,那就把1變成2 不知道你用的什麼環境,由於我目前用的vc vs,其他環境未做嘗試,所...

已知y f x 1 的定義域為,則y f x 1 的定義域是多少 您能根據函式的定義給我解釋一下麼謝謝啦

首先要知道定義域指的是x的變化範圍,本題目y f x 1 的定義域是為 0,1 即0 x 1,1 x 1 2,即y f x 的定義域為 1,2 y f x 1 的形式跟y f x 的形式是一樣的,所以對應位置的取值範圍是一樣的,也就是說 1 x 1 2,即2 x 3,因此y f x 1 的定義域為 ...

在C 中,若定義函式的返回型別為void,以下敘述正確

a和c都是正確的,void函式用語句是肯定可以呼叫的.void就是表示沒有返回值,所以a和c都是正確的.void的字面意思是 無型別 void 則為 無型別指標 void 可以指向任何型別的資料。void真正發揮的作用在於 1 對函式返回的限定 2 對函式引數的限定。關於void的使用 規則一 如果...