關於sizeof(特別注意指標的情況)

sizeof：

  c語言中判斷資料類型長度符的關鍵字

　　用法

　　sizeof(類型說明符，數組名或運算式);

　　或

　　sizeof 變數名

　　1. 定義：

　　sizeof是C/C++中的一個操作符（operator），簡單的說其作用就是返回一個對象或者類型所佔的記憶體位元組數。

　　MSDN上的解釋為：

　　The 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.

　　其傳回值類型為size_t，在標頭檔stddef.h中定義。這是一個依賴於編譯系統的值，一般定義為

　　typedef unsigned int size_t;

　　世上編譯器林林總總，但作為一個規範，它們都會保證char、signed char和unsigned

　　char的sizeof值為1，畢竟char是我們編程能用的最小資料類型。

　　2. 文法：

　　sizeof有三種文法形式，如下：

　　1) sizeof( object ); // sizeof( 對象 );

　　2) sizeof( type_name ); // sizeof( 類型 );

　　3) sizeof object; // sizeof 對象;

　　所以，

　　int i;

　　sizeof( i ); // ok

　　sizeof i; // ok

　　sizeof( int ); // ok

　　sizeof int; // error

　　既然寫法3可以用寫法1代替，為求形式統一以及減少我們大腦的負擔，第3種寫法，忘掉它吧！實際上，sizeof計算對象的大小也是轉換成對物件類型的計算，也就是說，同種類型的不同對象其sizeof值都是一致的。這裡，對象可以進一步延伸至運算式，即sizeof可以對一個運算式求值，編譯器根據運算式的最終結果類型來確定大小，一般不會對錶達式進行計算。如：

　　sizeof( 2 ); // 2的類型為int，所以等價於 sizeof( int );

　　sizeof( 2 + 3.14 ); // 3.14的類型為double，2也會被提升成double類型，所以等價於 sizeof( double );

　　sizeof也可以對一個函數調用求值，其結果是函數傳回型別的大小，函數並不會被調用，我們來看一個完整的例子：

　　char foo()

　　{

　　printf("foo() has been called.\n");

　　return 'a';

　　}

　　int main()

　　{

　　size_t sz = sizeof( foo() ); // foo() 的傳回值類型為char，所以sz = sizeof(char )，foo()並不會被調用

　　printf("sizeof( foo() ) = %d\n", sz);

　　}

　　C99標準規定，函數、不能確定類型的運算式以及位域（bit-field）成員不能被計算sizeof值，即下面這些寫法都是錯誤的：

　　sizeof( foo );// error

　　void foo2() { }

　　sizeof( foo2() );// error

　　struct S

　　{

　　unsigned int f1 : 1;

　　unsigned int f2 : 5;

　　unsigned int f3 : 12;

　　};

　　sizeof( S.f1 );// error

　　3. sizeof的常量性

　　sizeof的計算髮生在編譯時間刻，所以它可以被當作常量運算式使用，如：

　　char ary[ sizeof( int ) * 10 ]; // ok

　　最新的C99標準規定sizeof也可以在運行時刻進行計算，如下面的程式在Dev-C++中可以正確執行：

　　int n;

　　n = 10; // n動態賦值

　　char ary[n]; // C99也支援數組的動態定義

　　printf("%d\n", sizeof(ary)); // ok. 輸出10

　　但在沒有完全實現C99標準的編譯器中就行不通了，上面的代碼在VC6中就通不過編譯。所以我們最好還是認為sizeof是在編譯期執行的，這樣不會帶來錯誤，讓程式的可移植性強些。

　　4. 基礎資料型別 (Elementary Data Type)的sizeof

　　這裡的基礎資料型別 (Elementary Data Type)指short、int、long、float、double這樣的簡單內建資料類型，由於它們都是和系統相關的，所以在不同的系統下取值可能不同，這務必引起我們的注意，盡量不要在這方面給自己程式的移植造成麻煩。

　　一般的，在32位編譯環境中，sizeof(int)的取值為4。

　　5.
指標變數的sizeof

　　學過資料結構的你應該知道指標是一個很重要的概念，它記錄了另一個對象的地址。既然是來存放地址的，那麼它當然等於電腦內部地址匯流排的寬度。所以在32位電腦中，一個指標變數的傳回值必定是4（注意結果是以位元組為單位），可以預計，在將來的64位系統中指標變數的sizeof結果為8。

　　char* pc = "abc";

　　int* pi;

　　string* ps;

　　char** ppc = &pc;

　　void (*pf)();// 函數指標

　　sizeof( pc ); // 結果為4

　　sizeof( pi ); // 結果為4

　　sizeof( ps ); // 結果為4

　　sizeof( ppc ); // 結果為4

　　sizeof( pf );// 結果為4

　　指標變數的sizeof值與指標所指的對象沒有任何關係，正是由於所有的指標變數所佔記憶體大小相等，所以MFC訊息處理函數使用兩個參數WPARAM、LPARAM就能傳遞各種複雜的訊息結構（使用指向結構體的指標）。

　　6. 數組的sizeof

　　數組的sizeof值等於數組所佔用的記憶體位元組數，如：

　　char a1[] = "abc";

　　int a2[3];

　　sizeof( a1 ); // 結果為4，字元 末尾還存在一個NULL終止符

　　sizeof( a2 ); // 結果為3*4=12（依賴於int）

　　一些朋友剛開始時把sizeof當作了求數組元素的個數，現在，你應該知道這是不對的，那麼應該怎麼求數組元素的個數呢Easy，通常有下面兩種寫法：

　　int c1 = sizeof( a1 ) / sizeof( char ); // 總長度/單個元素的長度

　　int c2 = sizeof( a1 ) / sizeof( a1[0] ); // 總長度/第一個元素的長度

　　寫到這裡，提一問，下面的c3，c4值應該是多少呢

　　void foo3(char a3[3])

　　{

　　int c3 = sizeof( a3 ); // c3 ==

　　}

　　void foo4(char a4[])

　　{

　　int c4 = sizeof( a4 ); // c4 ==

　　}

　　也許當你試圖回答c4的值時已經意識到c3答錯了，是的，c3!=3。這裡函數參數a3已不再是數群組類型，而是蛻變成指標，相當於char* a3，為什麼仔細想想就不難明白，我們調用函數foo1時，程式會在棧上分配一個大小為3的數組嗎不會！數組是“傳址”的，調用者只需將實參的地址傳遞過去，所以a3自然為指標類型（char*），c3的值也就為4。

　　7. 結構體的sizeof

　　這是初學者問得最多的一個問題，所以這裡有必要多費點筆墨。讓我們先看一個結構體：

　　struct S1

　　{

　　char c;

　　int i;

　　};

　　問sizeof(s1)等於多少聰明的你開始思考了，char佔1個位元組，int佔4個位元組，那麼加起來就應該是5。是這樣嗎你在你機器上試過了嗎也許你是對的，但很可能你是錯的！VC6中按預設設定得到的結果為8。

　　Why為什麼受傷的總是我

　　請不要沮喪，我們來好好琢磨一下sizeof的定義——sizeof的結果等於對象或者類型所佔的記憶體位元組數，好吧，那就讓我們來看看S1的記憶體配置情況：

　　S1 s1 = { 'a', 0xFFFFFFFF };

　　定義上面的變數後，加上斷點，運行程式，觀察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的基礎資料型別 (Elementary Data Type)（short等）都位於能被2整除的地址上，讓寬度為4的基礎資料型別 (Elementary Data Type)（int等）都位於能被4整除的地址上，以此類推。這樣，兩個數中間就可能需要加入填充位元組，所以整個結構體的sizeof值就增長了。

　　讓我們交換一下S1中char與int的位置：

　　struct S2

　　{

　　int i;

　　char c;

　　};

　　看看sizeof(S2)的結果為多少，怎麼還是8再看看記憶體，原來成員c後面仍然有3個填充位元組，這又是為什麼啊別著急，下面總結規律。

　　位元組對齊的細節和編譯器實現相關，但一般而言，滿足三個準則：

　　1) 結構體變數的首地址能夠被其最寬基本類型成員的大小所整除；

　　2) 結構體每個成員相對於結構體首地址的位移量（offset）都是成員大小的整數倍，如有需要編譯器會在成員之間加上填充位元組（internal padding）；

　　3) 結構體的總大小為結構體最寬基本類型成員大小的整數倍，如有需要編譯器會在最末一個成員之後加上填充位元組（trailing padding）。

　　對於上面的準則，有幾點需要說明：

　　1) 前面不是說結構體成員的地址是其大小的整數倍，怎麼又說到位移量了呢因為有了第1點存在，所以我們就可以只考慮成員的位移量，這樣思考起來簡單。想想為什麼。

　　結構體某個成員相對於結構體首地址的位移量可以通過宏offsetof()來獲得，這個宏也在stddef.h中定義，如下：

　　#define offsetof(s,m) (size_t)&(((s *)0)->m)

　　例如，想要獲得S2中c的位移量，方法為

　　size_t pos = offsetof(S2, c);// pos等於4

　　2) 基本類型是指前面提到的像char、short、int、float、double這樣的內建資料類型，這裡所說的“資料寬度”就是指其sizeof的大小。由於結構體的成員可以是複合類型，比如另外一個結構體，所以在尋找最寬基本類型成員時，應當包括複合類型成員的子成員，而不是把複合成員看成是一個整體。但在確定複合類型成員的位移位置時則是將複合類型作為整體看待。

　　這裡敘述起來有點拗口，思考起來也有點撓頭，還是讓我們看看例子吧（具體數值仍以VC6為例，以後不再說明）：

　　struct S3

　　{

　　char c1;

　　S1 s;

　　char c2;

　　};

　　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。

　　通過上面的敘述，我們可以得到一個公式：

　　結構體的大小等於最後一個成員的位移量加上其大小再加上末尾的填充位元組數目，即：

　　sizeof( struct ) = offsetof( last item ) + sizeof( last item ) + sizeof( trailing padding )

　　到這裡，朋友們應該對結構體的sizeof有了一個全新的認識，但不要高興得太早，有一個影響sizeof的重要參量還未被提及，那便是編譯器的pack指令。它是用來調整結構體對齊的，不同編譯器名稱和用法略有不同，VC6中通過#pragma pack實現，也可以直接修改/Zp編譯開關。#pragma pack的基本用法為：#pragma pack( n )，n為位元組對齊數，其取值為1、2、4、8、16，預設是8，如果這個值比結構體成員的sizeof值小，那麼

　　該成員的位移量應該以此值為準，即是說，結構體成員的位移量應該取二者的最小值，

　　公式如下：

　　offsetof( item ) = min( n, sizeof( item ) )

　　再看樣本：

　　#pragma pack(push) // 將當前pack設定壓棧儲存

　　#pragma pack(2) // 必須在結構體定義之前使用

　　struct S1

　　{

　　char c;

　　int i;

　　};

　　struct S3

　　{

　　char c1;

　　S1 s;

　　char c2;

　　};

　　#pragma pack(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

　　8. 含位域結構體的sizeof

　　前面已經說過，位域成員不能單獨被取sizeof值，我們這裡要討論的是含有位域的結構體的sizeof，只是考慮到其特殊性而將其專門列了出來。

　　C99規定int、unsigned int和bool可以作為位域類型，但編譯器幾乎都對此作了擴充，允許其它類型類型的存在。使用位域的主要目的是壓縮儲存，其大致規則為：

　　1) 如果相鄰位域欄位的類型相同，且其位寬之和小於類型的sizeof大小，則後面的欄位將緊鄰前一個欄位儲存，直到不能容納為止；

　　2) 如果相鄰位域欄位的類型相同，但其位寬之和大於類型的sizeof大小，則後面的欄位將從新的儲存單元開始，其位移量為其類型大小的整數倍；

　　3) 如果相鄰的位域欄位的類型不同，則各編譯器的具體實現有差異，VC6採取不壓縮方式，Dev-C++採取壓縮方式；

　　4) 如果位域欄位之間穿插著非位域欄位，則不進行壓縮；

　　5) 整個結構體的總大小為最寬基本類型成員大小的整數倍。

　　還是讓我們來看看例子。

　　樣本1：

　　struct BF1

　　{

　　char f1 : 3;

　　char f2 : 4;

　　char f3 : 5;

　　};

　　其記憶體布局為：

　　|_f1__|__f2__|_|____f3___|____|

　　|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|

　　0 3 7 8 1316

　　位域類型為char，第1個位元組僅能容納下f1和f2，所以f2被壓縮到第1個位元組中，而f3隻

　　能從下一個位元組開始。因此sizeof(BF1)的結果為2。

　　樣本2：

　　struct BF2

　　{

　　char f1 : 3;

　　short f2 : 4;

　　char f3 : 5;

　　};

　　由於相鄰位域類型不同，在VC6中其sizeof為6，在Dev-C++中為2。

　　樣本3：

　　struct BF3

　　{

　　char f1 : 3;

　　char f2;

　　char f3 : 5;

　　};

　　非位域欄位穿插在其中，不會產生壓縮，在VC6和Dev-C++中得到的大小均為3。

　　9. 聯合體的sizeof

　　結構體在記憶體組織上是順序式的，聯合體則是重疊式，各成員共用一段記憶體，所以整個聯合體的sizeof也就是每個成員sizeof的最大值。結構體的成員也可以是複合類型，這裡，複合類型成員是被作為整體考慮的。

　　所以，下面例子中，U的sizeof值等於sizeof(s)。

　　union U

　　{

　　int i;

　　char c;

　　S1 s;

　　};

與strlen區別

　　strlen(char*)函數求的是字串的實際長度，它求得方法是從開始到遇到第一個'\0',如果你只定義沒有給它賦初值，這個結果是不定的，它會從aa首地址一直找下去，直到遇到'\0'停止。

　　char aa[10];cout<<strlen(aa)<<endl; //結果是不定的

　　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還可以用函數做參數，比如：

　　short f();

　　printf("%d\n", sizeof(f()));

　　輸出的結果是sizeof(short)，即2。

　　4.數組做sizeof的參數不退化，傳遞給strlen就退化為指標了。

　　5.大部分編譯器 在編譯的時候就把sizeof計算過了是類型或是變數的長度這就是sizeof(x)可以用來定義數組維數的原因

　　char str[20]="0123456789";

　　int a=strlen(str); //a=10;

　　int b=sizeof(str); //而b=20;

　　6.strlen的結果要在啟動並執行時候才能計算出來，是用來計算字串的長度，不是類型占記憶體的大小。

　　7.sizeof後如果是類型必須加括弧，如果是變數名可以不加括弧。這是因為sizeof是個操作符不是個函數。

　　8.當適用於一個結構類型時或變數， sizeof 返回實際的大小，當適用於靜態空間數組， sizeof 歸還全部數組的尺寸。

　　sizeof 操作符不能返回被動態指派的數組或外部數組的尺寸

　　9.數組作為參數傳給函數時傳的是指標而不是數組，傳遞的是數組的首地址，

　　如：

　　fun(char [8])

　　fun(char [])

　　都等價於 fun(char *)

　　在C++裡參數傳遞數組永遠都是傳遞指向數組首元素的指標，編譯器不知道數組的大小

　　如果想在函數內知道數組的大小， 需要這樣做：

　　進入函數後用memcpy拷貝出來，長度由另一個形參傳進去

　　fun(unsiged char *p1, int len)

　　{

　　unsigned char* buf = new unsigned char[len+1]

　　memcpy(buf, p1, len);

　　}

　　我們經常使用 sizeof 和 strlen 的場合，通常是計算字串數組的長度

　　看了上面的詳細解釋，發現兩者的使用還是有區別的，從這個例子可以看得很清楚：

　　char str[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返回對象所佔用的位元組大小. //正確

　　strlen返回字元個數. //正確

　　在使用sizeof時，有一個很特別的情況，就是數組名到指標蛻變，

　　char Array[3] = {'0'};

　　sizeof(Array) == 3;

　　char *p = Array;

　　strlen(p) == 1;//sizeof(p)結果為4

　　在傳遞一個數組名到一個函數中時，它會完全退化為一個指標

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

　　看完以上你是否很清楚sizeof和strlen的區別了呢？還不明白的話，我們看下面幾個例子：

　　第一個例子

　　char* ss = "0123456789";

　　sizeof(ss) 結果 4 ===》ss是指向字串常量的字元指標

　　sizeof(*ss) 結果 1 ===》*ss是第一個字元

　　大部分編譯器 在編譯的時候就把sizeof計算過了 是類型或是變數的長度

　　這就是sizeof(x)可以用來定義數組維數的原因

　　char str[20]="0123456789";

　　int a=strlen(str); //a=10;

　　int b=sizeof(str); //而b=20;

　　大部分編譯器 在編譯的時候就把sizeof計算過了 是類型或是變數的長度

　　這就是sizeof(x)可以用來定義數組維數的原因

　　char str[20]="0123456789";

　　int a=strlen(str); //a=10;

　　int b=sizeof(str); //而b=20;

　　char ss[] = "0123456789";

　　sizeof(ss) 結果 11 ===》ss是數組，計算到\0位置，因此是10+1

　　sizeof(*ss) 結果 1 ===》*ss是第一個字元

　　char ss[100] = "0123456789";

　　sizeof(ss) 結果是100 ===》ss表示在記憶體中的大小 100×1

　　strlen(ss) 結果是10 ===》strlen是個函數內部實現是用一個迴圈計算到\0為止之前

　　int ss[100] = "0123456789";

　　sizeof(ss) 結果 400 ===》ss表示在記憶體中的大小 100×4

　　strlen(ss) 錯誤 ===》strlen的參數只能是char* 且必須是以'\0'結尾的

　　char q[]="abc";

　　char p[]="a\n";

　　sizeof(q),sizeof(p),strlen(q),strlen(p);

　　結果是 4 3 3 2

　　第三個例子

　　char szPath[MAX_PATH]

　　如果在函數內這樣定義，那麼sizeof(szPath)將會是MAX_PATH，但是將szPath作為虛參聲明時（void fun(char szPath[MAX_PATH])）,sizeof(szPath)卻會是4(指標大小)

　　子

　　char szPath[MAX_PATH]

　　如果在函數內這樣定義，那麼sizeof(szPath)將會是MAX_PATH，但是將szPath作為虛參聲明時（void fun(char szPath[MAX_PATH])）,sizeof(szPath)卻會是4(指標大小)

　　還有一位網友的說明也很好：

　　其實理解 sizeof 只需要抓住一個要點：棧

　　程式儲存分布有三個地區：棧、靜態和動態。能夠從代碼直接操作的對象，包括任何類型的變數、指標，都是在棧上的；動態和靜態儲存區是靠棧上的所有指標間接操作的。 sizeof 操作符，計算的是對象在棧上的投影體積；記住這個就很多東西都很清楚了。

　　char const * static_string = "Hello";

　　sizeof(static_string) 是 sizeof 一個指標，所以在 32bit system 是 4

　　char stack_string[] = "Hello";

　　sizeof(stack_string) 是 sizeof 一個數組，所以是 6 * sizeof(char)

　　char * string = new char[6];

　　strncpy(string, "Hello", 6");

　　sizeof(string) 是 sizeof 一個指標，所以還是 4。和第一個不同的是，這個指標指向了動態儲存裝置區而不是靜態儲存區。

　　不管指標指向的內容在什麼地方，sizeof 得到的都是指標的棧大小

　　C++ 中對引用的處理比較特殊；sizeof 一個引用得到的結果是 sizeof 一個被引用的對象的大小；所以

　　struct O

　　{

　　int a, b, c, d, e, f, g, h;

　　};

　　int main()

　　{

　　O & r = *new O;

　　cout << sizeof(O) << endl; // 32

　　cout << sizeof r << endl; // 也是 32

　　system("PAUSE");

　　}

　　r 引用的是整個的 O 對象而不是指向 O 的指標，所以 sizeof r 的結果和 sizeof O 完全相同。