c語言中sizeof的解釋和用法
判斷數據類型長度符的關鍵字
用法
sizeof(類型說明符,
數組名或
表達式);
或sizeof 變量名
定義
sizeof是C/C++中的一個操作符(operator),簡單的說其作用就是返回一個對象或者類型所佔的內存字節數。
MSDN上的解釋是:
sizeof
keyword gives the amount of storage, in bytes, associated with a variable or a type(including aggregate types). This keyword returns a value of type
size_t.
1
|
typedef unsigned int size_t ;
|
世上
編譯器林林總總,但作爲一個規範,它們都會保證char、signed char和unsigned
char的sizeof值爲1,畢竟char是我們編程能用的最小數據類型。
語法
sizeof有三種語法形式,如下:
1
2
3
|
sizeof (object);
sizeof (type_name);
sizeofobject;
|
所以,
1
2
3
4
5
|
int i;
sizeof(i);
sizeof i;
sizeof( int );
sizeofint;
|
既然寫法3可以用寫法1代替,爲求形式統一以及減少我們大腦的負擔,第3種寫法,忘掉它吧!實際上,sizeof計算對象的大小也是轉換成對對象類型的計算,也就是說,同種類型的不同對象其sizeof值都是一致的。這裏,對象可以進一步延伸至
表達式,即sizeof可以對一個表達式求值,
編譯器根據表達式的最終結果類型來確定大小,一般不會對表達式進行計算。如:
1
2
|
sizeof (2);
sizeof (2+3.14);
|
sizeof也可以對一個
函數調用求值,其結果是函數返回類型的大小,函數並不會被調用,我們來看一個完整的例子:
1
2
3
4
5
6
7
8
9
10
11
|
char foo()
{
printf ( "foo()hasbeencalled.\n" );
return 'a' ;
}
int main()
{
size_t
sz= sizeof (foo());
printf ( "sizeof(foo())=%d\n" ,sz);
}
|
C99標準規定,
函數、不能確定類型的表達式以及位域(bit-field)成員不能被計算sizeof值,即下面這些寫法都是錯誤的:
1
2
3
4
5
6
7
8
9
10
|
sizeof (fun);
void fun2(){}
sizeof (fun2());
struct S
{
unsigned int f1:1;
unsigned int f2:5;
unsigned int f3:12;
};
sizeof (S.f1);
|
sizeof的常量性
sizeof的計算髮生在編譯時刻,所以它可以被當作
常量表達式使用,如:
1
|
char ary[ sizeof ( int )*10];
|
最新的C99標準規定sizeof也可以在運行時刻進行計算,如下面的程序在
Dev-C++中可以正確執行:
1
2
3
4
|
intn;
n=10;
char ary[n];
printf ( "%d\n" , sizeof (ary));
|
但在沒有完全實現C99標準的
編譯器中就行不通了,上面的代碼在VC6中就通不過編譯。所以我們
最好還是認爲sizeof是在編譯期執行的,這樣不會帶來錯誤,讓程序的可移植性強些。
基本數據類型的sizeof
這裏的基本數據類型指short、int、long、float、double這樣的簡單內置數據類型,由於它們都是和系統相關的,所以在不同的系統下取值可能不同,這務必引起我們的注意,儘量不要在這方面給自己程序的移植造成麻煩。
一般的,在32位編譯環境中,sizeof(int)的取值爲4。
指針變量的sizeof
學過數據結構的你應該知道
指針是一個很重要的概念,它記錄了另一個對象的地址。既然是來存放地址的,那麼它當然等於計算機內部
地址總線的寬度。所以在32位計算機中,一個
指針變量的返回值必定是4(注意結果是以
字節爲單位),但是,在
64位系統中指針變量的sizeof結果爲8。
1
2
3
4
5
6
7
8
9
10
|
char *pc= "abc" ;
int *pi;
string*ps;
char **ppc=&pc;
void (*pf)();
sizeof (pc);
sizeof (pi);
sizeof (ps);
sizeof (ppc);
sizeof (pf);
|
指針變量的sizeof值與指針所指的對象沒有任何關係,正是由於
所有的指針變量所佔內存大小相等,所以MFC消息處理函數使用兩個參數WPARAM、LPARAM就能傳遞各種複雜的消息結構(使用指向
結構體的指針)。
數組的sizeof
數組的sizeof值等於數組所佔用的內存字節數,如:
char a1[] = "abc";
int a2[3];
sizeof( a1 ); // 結果爲4,字符末尾還存在一個NULL終止符
sizeof( a2 ); // 結果爲3*4=12(依賴於int)
一些朋友剛開始時把sizeof當作了求數組元素的個數,如今你應該知道這是不對的,那麼應該怎麼求數組元素的個數呢?
Easy,通常有下面兩種寫法:
1
2
|
intc1= sizeof (a1)/ sizeof ( char );
intc2= sizeof (a2)/ sizeof (a2[0]);
|
寫到這裏,提一問,下面的c3,c4值應該是多少呢
1
2
3
4
5
6
7
8
|
voidfoo3(chara3[3])
{
intc3= sizeof (a3);
}
voidfoo4(chara4[])
{
intc4= sizeof (a4);
}
|
也許當你試圖回答c4的值時已經意識到c3答錯了,是的,c3!=3。這裏函數參數a3已不再是
數組類型,而是蛻變成
指針,相當於char*
a3,爲什麼仔細想想就不難明白,我們調用函數foo3時,程序會在棧上分配一個大小爲3的數組嗎不會!數組是“傳址”的,調用者只需將
實參的地址傳遞過去,所以a3自然爲指針類型(char*),c3的值也就爲4。
結構體的sizeof
這是初學者問得最多的一個問題,所以這裏有必要多費點筆墨。讓我們先看一個
結構體:
問sizeof(s1)等於多少聰明的你開始思考了,char佔1個字節,int佔4個字節,那麼加起來就應該是5。是這樣嗎?你在你機器上試過了嗎?也許你是對的,但很可能你是錯的!VC6中按默認設置得到的結果爲8。
我們來好好琢磨一下sizeof的定義——sizeof的結果等於對象或者類型所佔的內存字節數,
好吧,那就讓我們來看看S1的
內存分配情況:
定義上面的變量後,加上
斷點,運行程序,觀察s1所在的內存,你發現了什麼
以我的VC6.0爲例,s1的地址爲0x0012FF78,其數據內容如下:
0012FF78: 61 CC CC CC FF FF FF FF
發現了什麼怎麼中間夾雜了3個字節的CC看看MSDN上的說明:
When applied to a structure type or variable, sizeof returns the actual size, which may include padding bytes inserted for alignment.
原來如此,這就是傳說中的
字節對齊啊!一個重要的話題出現了。
爲什麼需要字節對齊
計算機組成原理教導我們這樣有助於加快計算機的取數速度,否則就得多花
指令週期了。爲此,
編譯器默認會對
結構體進行處理(實際上其它地方的數據變量也是如此),讓寬度爲2的基本數據類型(short等)都位於能被2整除的地址上,讓寬度爲4的基本數據類型(int等)都位於能被4整除的地址上,以此類推。這樣,兩個數中間就可能需要加入填充字節,所以整個結構體的sizeof值就增長了。
讓我們交換一下S1中char與int的位置:
看看sizeof(S2)的結果爲多少,怎麼還是8再看看內存,原來成員c後面仍然有3個填充字節,這又是爲什麼啊彆着急,下面總結規律。
1)
結構體變量的首地址能夠被其最寬基本類型成員的大小所整除;
2)結構體每個成員相對於結構體首地址的
偏移量(offset)都是成員大小的整數倍,如有需要編譯器會在成員之間加上填充字節(internal padding);
3)結構體的總大小爲結構體最寬基本類型成員大小的整數倍,如有需要編譯器會在最末一個成員之後加上填充字節(trailing padding)。
對於上面的準則,有幾點需要說明:
1) 前面不是說結構體成員的地址是其大小的整數倍,怎麼又說到
偏移量了呢???
因爲有了第1點存在,所以我們就可以只考慮成員的偏移量,這樣思考起來簡單。想想爲什麼。
結構體某個成員相對於結構體首地址的偏移量可以通過宏offsetof()來獲得,這個宏也在
stddef.h中定義,如下:
1
|
#defineoffsetof(s,m)(size_t)&(((s*)0)->m)
|
例如,想要獲得S2中c的偏移量,方法爲
1
|
size_tpos=offsetof(S2,c);
|
2) 基本類型是指前面提到的像char、short、int、float、double這樣的內置數據類型,這裏所說的“數據寬度”就是指其sizeof的大小。由於
結構體的成員可以是複合類型,比如另外一個結構體,所以在尋找最寬基本類型成員時,應當包括複合類型成員的子成員,而不是把複合成員看成是一個整體。但在確定複合類型成員的偏移位置時則是將複合類型作爲整體看待。
這裏敘述起來有點拗口,思考起來也有點撓頭,還是讓我們看看例子吧(具體數值仍以VC6爲例,以後不再說明):
1
|
structS3{charc1;S1s;charc2;};
|
S1的最寬簡單成員的類型爲int,S3在考慮最寬簡單類型成員時是將S1“打散”看的,所以S3的最寬簡單類型爲int,這樣,通過S3定義的變量,其存儲空間首地址需要被4整除,整個sizeof(S3)的值也應該被4整除。
c1的
偏移量爲0,s的偏移量呢這時s是一個整體,它作爲結構體變量也滿足前面三個準則,所以其大小爲8,偏移量爲4,c1與s之間便需要3個填充字節,而c2與s之間就不需要了,所以c2的偏移量爲12,算上c2的大小爲13,13是不能被4整除的,這樣末尾還得補上3個填充字節。最後得到sizeof(S3)的值爲16。
通過上面的敘述,我們可以得到一個公式:
結構體的大小等於最後一個成員的偏移量加上其大小再加上末尾的填充字節數目,即:
1
|
sizeof ( struct )=offsetof(lastitem)+ sizeof (lastitem)+ sizeof (trailingpadding)
|
到這裏,朋友們應該對結構體的sizeof有了一個全新的認識,但不要高興得太早,有一個影響sizeof的重要參量還未被提及,那便是
編譯器的pack指令。它是用來調整結構體對齊方式的,不同編譯器名稱和用法略有不同,VC6中通過
#pragmapack實現,也可以直接修改/Zp編譯開關。#pragmapack的基本用法爲:
n爲
字節對齊數,其取值爲1、2、4、8、16,默認是8,如果這個值比
結構體成員的sizeof值小,那麼
該成員的
偏移量應該以此值爲準,即是說,結構體成員的偏移量應該取二者的最小值,
公式如下:
1
|
offsetof(item)=min(n, sizeof (item))
|
再看示例:
1
2
3
4
5
|
#pragmapack(push)//將當前pack設置壓棧保存
#pragmapack(2)//必須在結構體定義之前使用
structS1{charc;inti;};
structS3{charc1;S1s;charc2;};
#pragmapack(pop)//恢復先前的pack設置
|
計算sizeof(S1)時,min(2, sizeof(i))的值爲2,所以i的
偏移量爲2,加上sizeof(i)等於6,能夠被2整除,所以整個S1的大小爲6。
同樣,對於sizeof(S3),s的偏移量爲2,c2的偏移量爲8,加上sizeof(c2)等於9,不能被2整除,添加一個填充字節,所以sizeof(S3)等於10。
如今,朋友們可以輕鬆的出一口氣了,:)
還有一點要注意,“空
結構體”(不含
數據成員)的大小不爲0,而是1。試想一個“不佔空間”的變量如何被取地址、兩個不同的“空結構體”變量又如何得以區分呢於是,“空結構體”變量也得被存儲,這樣
編譯器也就只能爲其分配一個字節的空間用於佔位了。如下:
struct S5 { }; sizeof( S5 ); // 結果爲1含位域結構體的sizeof
前面已經說過,
位域成員不能單獨被取sizeof值,我們這裏要討論的是含有位域的
結構體的sizeof,只是考慮到其特殊性而將其專門列了出來。
C99規定int、unsigned int和bool可以作爲位域類型,但編譯器幾乎都對此作了擴展,允許其它類型類型的存在。使用位域的主要目的是壓縮存儲,其大致規則爲:
1) 如果相鄰位域字段的類型相同,且其位寬之和小於類型的sizeof大小,則後面的字段將緊鄰前一個字段存儲,直到不能容納爲止;
2) 如果相鄰位域字段的類型相同,但其位寬之和大於類型的sizeof大小,則後面的字段將從新的
存儲單元開始,其
偏移量爲其類型大小的整數倍;
3) 如果相鄰的
位域字段的類型不同,則各
編譯器的具體實現有差異,VC6採取不壓縮方式,Dev-C++採取壓縮方式;
4) 如果位域字段之間穿插着非位域字段,則不進行壓縮;
5) 整個
結構體的總大小爲最寬基本類型成員大小的整數倍。
還是讓我們來看看例子。
示例1:
1
|
structBF1{charf1:3;charf2:4;charf3:5;};
|
其內存佈局爲:
1
2
|
|_f1__|__f2__|_|____f3___|____|
|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|
|
0 3 7 8 1316
位域類型爲char,第1個字節僅能容納下f1和f2,所以f2被壓縮到第1個字節中,而f3只
能從下一個字節開始。因此sizeof(BF1)的結果爲2。
示例2:
1
|
structBF2{charf1:3;shortf2:4;charf3:5;};
|
由於相鄰位域類型不同,在VC6中其sizeof爲3,在Dev-C++中爲2。
示例3:
1
|
structBF3{charf1:3;charf2;charf3:5;};
|
非
位域字段穿插在其中,不會產生壓縮,在VC6和Dev-C++中得到的大小均爲3。
結構體在內存組織上是順序式的,聯合體則是重疊式,各成員共享一段內存,所以整個聯合體的sizeof也就是每個成員sizeof的最大值。結構體的成員也可以是複合類型,這裏,複合類型成員是被作爲整體考慮的。
所以,下面例子中,U的sizeof值等於sizeof(s)。
1
2
3
4
5
6
|
unionU
{
inti;
charc;
S1s;
};
|
與strlen區別
strlen(char*)函數求的是字符串的實際長度,直到遇到第一個'\0',然後就返回計數值,且不包括'\0'。
char aa[10];cout<<strlen(aa)<<endl; //結果是不定的,因爲未初始化,'\0'在內存中的位置不確定
char aa[10]={'\0'}; cout<<strlen(aa)<<endl; //結果爲0
char aa[10]="jun"; cout<<strlen(aa)<<endl; //結果爲3
而sizeof()函數返回的是變量聲明後所佔的內存數,不是實際長度。
sizeof(aa) 返回10 int a[10]; sizeof(a) 返回40
兩者的區別可以總結爲以下幾點:
1.sizeof操作符的結果類型是size_t,它在頭文件中typedef爲unsigned int類型。
該類型保證能容納實現所建立的最大對象的字節大小。
2.sizeof是算符,strlen是函數。
3.sizeof可以用類型做參數,strlen只能用char*做參數,且必須是以''\0''結尾的。
sizeof還可以用函數做參數,比如:
1
2
|
shortf();
printf ( "%d\n" , sizeof (f()));
|
輸出的結果是sizeof(short),即2。
4.
數組做sizeof的參數不退化,傳遞給strlen就退化爲
指針了。
5.大部分
編譯程序在編譯的時候就把sizeof計算過了是類型或是變量的長度這就是sizeof(x)可以用來定義數組維數的原因
1
2
3
|
charstr[20]= "0123456789" ;
inta= strlen (str);
intb= sizeof (str);
|
6.strlen的結果要在運行的時候才能計算出來,是用來計算字符串的長度,不是類型佔內存的大小。
7.sizeof後如果是類型必須加括弧,如果是變量名可以不加括弧。這是因爲sizeof是個操作符不是個函數。
8.當適用於一個結構類型時或變量, sizeof 返回實際的大小,當適用於靜態的空間
數組, sizeof 歸還全部數組的尺寸。
sizeof 操作符不能返回被動態分派的數組或外部數組的尺寸
9.數組作爲參數傳給函數時傳的是
指針而不是數組,傳遞的是數組的首地址,
如:
都等價於 fun(char *)
特別注意:
1.sizeof是運算符,strlen是函數,具體如下:
sizeof
strlen
頭文件:stddef.h格式:
1) sizeof( object ); // sizeof( 對象 );
2) sizeof( type_name ); // sizeof( 類型 );
3) sizeof object; // sizeof 對象
功能:一個對象或者類型所佔的內存字節數;
說明:sizeof操作符的結果類型是size_t,typedef unsigned int size_t;
原型:extern unsigned int strlen(char *s);頭文件:string.h
格式:strlen (字符數組名)
功能:計算字符串s的(unsigned int型)長度,不包括'\0'在內
說明:返回s的長度,不包括結束符NULL。
2.strlen只能用char*做參數,且必須是以''\0''結尾的,而sizeof可用類型做參數,還可用函數做參數,如:
1
2
|
intsum();
printf ( "%d\n" , sizeof (sum()));
|
3.數組做sizeof的參數不退化,傳遞給strlen就退化爲指針了。
4.大部分編譯程序,sizeof在編譯時確定,因此sizeof(x)可以用來定義數組維數;而strlen要在運行時才能計算出來,用來計算字符串的長度,而不是類型佔內存的大小;
1
2
3
|
charstr[20]= "0123456789" ;
intlen1= strlen (str);
intlen2= sizeof (str);
|
5.sizeof後,若爲類型必須加括弧,若爲變量名可以不加括弧。這是因爲sizeof是個操作符不是個函數。
6.當適用於一個結構類型時或變量, sizeof 返回實際的大小;當適用一靜態地空間數組,sizeof 歸還全部數組的尺寸。
sizeof 操作符不能返回動態地被分派了的數組或外部的數組的尺寸;
7.數組作爲參數傳給函數時傳的是指針而不是數組,傳遞的是數組的首地址,
如:
都等價於 fun( char * )
在C++裏參數傳遞數組永遠都是傳遞指向數組首元素的指針,編譯器不知道數組的大小,如果想在函數內知道數組的大小, 需要這樣做:
進入函數後用memcpy拷貝出來,長度由另一個形參傳進去
1
2
3
4
5
|
fun(unsigedchar*p1,intlen)
{
unsignedchar*buf=newunsignedchar[len+1];
memcpy (buf,p1,len);
}
|
常在用到 sizeof 和 strlen 的時候,通常是計算字符串數組的長度,如果是對指針,結果則會不一樣的:
char* str = "abacd";
sizeof(str) //結果 4 --->str是指向字符串常量的字符指針,sizeof 獲得的是一個指針所佔的空間,應該是長整型的,所以是4;
sizeof(*str) //結果 1 --->*str是第一個字符,其實就是字符串的第一位'a' 所佔的內存空間,是char類型的,佔了 1 位;
strlen(str)= 5 //--->若要獲得這個字符串的長度,則一定要使用 strlen
看了上面的詳細解釋,發現兩者的使用還是有區別的,從這個例子可以看得很清楚:
1
|
charstr[20]= "0123456789" ;
|
int a=strlen(str); //a=10; >>>> strlen 計算字符串的長度,以結束符 0x00 爲字符串結束。
int b=sizeof(str); //而b=20; >>>> sizeof 計算的則是分配的
數組str[20] 所佔的內存空間的大小,不受裏面存儲的內容改變。
char* ss = "0123456789";
sizeof(ss) 結果 4 ===》ss是指向
字符串常量的字符指針,sizeof 獲得的是一個指針的之所佔的空間,應該是
長整型的,所以是4
sizeof(*ss) 結果 1 ===》*ss是第一個
字符其實就是獲得了字符串的第一位'0' 所佔的內存空間,是char類
型的,佔了 1 個字節
strlen(ss)= 10 >>>> 如果要獲得這個字符串的長度,則一定要使用 strlen
sizeof返回對象所佔用的字節大小. //正確
在使用sizeof時,有一個很特別的情況,就是
數組名到
指針蛻變,
1
2
3
4
|
charArray[3]={ '0' };
sizeof (Array)==3;
char *p=Array;
strlen (p)==1;
|
在傳遞一個數組名到一個函數中時,它會完全退化爲一個指針
大部分編譯程序 在編譯的時候就把sizeof計算過了 是類型或是變量的長度
這就是sizeof(x)可以用來定義數組維數的原因
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
charstr[20]= "0123456789" ;
inta= strlen (str);
intb= sizeof (str);
charss[]= "0123456789" ;
sizeof (ss)結果11===》ss是數組,計算到\0位置,因此是10+1
sizeof (*ss)結果1===》*ss是第一個字符
charss[100]= "0123456789" ;
sizeof (ss)結果是100===》ss表示在內存中的大小100×1
strlen (ss)結果是10===》 strlen 是個函數內部實現是用一個循環計算到\0爲止之前
intss[100]= "0123456789" ;
sizeof (ss)結果400===》ss表示在內存中的大小100×4
strlen (ss)錯誤===》 strlen 的參數只能是 char *且必須是以 '\0' 結尾的
charq[]= "abc" ;
charp[]= "a\n" ;
sizeof (q), sizeof (p), strlen (q), strlen (p);
|
結果是 4 3 3 2
第三個例子
如果在函數內這樣定義,那麼sizeof(szPath)將會是MAX_PATH,但是將szPath作爲虛參聲明時
1
|
(voidfun(charszPath[MAX_PATH]))
|
sizeof(szPath) 卻會是4(
指針大小)
還有一位網友的說明也很好:
其實理解 sizeof 只需要抓住一個要點:棧
程序存儲分佈有三個區域:棧、靜態和動態。能夠從代碼直接操作的對象,包括任何類型的變量、指針,都是在棧上的;動態和靜態存儲區是靠棧上的所有指針間接操作的。 sizeof 操作符,計算的是對象在棧上的投影體積;記住這個就很多東西都很清楚了。
1
2
3
4
5
6
7
8
|
charconst*static_string= "Hello" ;
charstack_string[]= "Hello" ;
char *string=newchar[6];
strncpy (string, "Hello" ,6");
|
不管
指針指向的內容在什麼地方,sizeof 得到的都是指針的棧大小
C++ 中對引用的處理比較特殊;sizeof 一個引用得到的結果是 sizeof 一個被引用的對象的大小;所以
1
2
3
4
5
6
7
8
9
10
11
|
structtest
{
inta,b,c,d,e,f,g,h;
};
intmain()
{
test&r=*newtest;
cout<< sizeof (test)<<endl;
cout<<sizeofr<<endl;
system ( "PAUSE" );
}
|
r 引用的是整個的 test 對象而不是指向 test 的
指針,所以 sizeof r 的結果和 sizeof test 完全相同。