C語言中的sizeof

sizeof是C/C++中的一個操作符（operator），作用就是返回一個對象或者類型所佔的記憶體位元組數。傳回值類型為size_t，在標頭檔stddef.h中定義 

這是一個依賴於編譯系統的值，一
般定義為typedef unsigned int size_t;編譯器林林總總，但作為一個規範，都會保證char、signed
char和unsigned char的sizeof值為1，畢竟char是編程能用的最小資料類型。
MSDN上的解釋為：
The sizeof keyword gives the amount of storage, in bytes, associated with avariable or a
type (including aggregate types). This keyword returns a value of type
size_t.

2. 文法：
sizeof有三種文法形式，如下：
1) sizeof( object ); // sizeof( 對象 );
2) sizeof( type_name ); // sizeof( 類型 );
3) sizeof object; // sizeof 對象;
所以一下三種sizeof的使用都是對的

複製代碼 代碼如下:
#include <stdio.h>
main()
{
int b;
printf("%dn",sizeof b);
printf("%dn",sizeof(b));
printf("%dn",sizeof(int));
}

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

5. 指標變數的sizeof
等於電腦內部地址匯流排的寬度。所以在32位電腦中，一個指標變數的傳回值必定是4（注意結果是以
位元組為單位），可以預計，在將來的64位系統中指標變數的sizeof結果為8。
指標變數的sizeof值與指標所指的對象沒有任何關係，正是由於所有的指標變數所佔記憶體大小相等，所以
MFC訊息處理函數使用兩個參數WPARAM、LPARAM就能傳遞各種複雜的訊息結構（使用
指向結構體的指標）。

6. 數組的sizeof
數組的sizeof值等於數組所佔用的記憶體位元組數，如：
char a1[] = "abc";
int a2[3];
sizeof( a1 ); // 結果為4，字元 末尾還存在一個NULL終止符
sizeof( a2 ); // 結果為3*4=12（依賴於int）
sizeof當作了求數組元素的個數是不對的，求數組元素的個數有下面兩種寫法：int c1 = sizeof( a1 )
/ sizeof( char ); // 總長度/單個元素的長度
int c2 = sizeof( a1 ) / sizeof( a1[0] ); // 總長度/第一個元素的長度.注意數組名做函數參數傳遞
時退化為指標。

7. 結構體的sizeof
struct S1
{
char c;
int i;
};
sizeof的結果等於對象或者類型所佔的記憶體位元組數，好吧，那就讓我們來看看S1的記憶體配置情況：S1 s1
= { 'a', 0xFFFFFFFF };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的基本
資料類型（int等）都位於能被4整除的地址上，以此類推。這樣，兩個數中間就可能
需要加入填充位元組，所以整個結構體的sizeof值就增長了。

1.sizeof是運算子，跟加減乘除的性質其實是一樣的，在編譯的時候進行執行，而不是在運行時才執行。
那麼如果編程中驗證這一點呢？

複製代碼 代碼如下:
<SPAN style="FONT-SIZE: 18px">#include<iostream></SPAN><SPAN style="FONT-SIZE: 14px">

using namespace std;

int main()
{
    int i=1;
    cout<<i<<endl;
    sizeof(++i);
    cout<<i<<endl;
    return 1;
}</SPAN>

輸入結果為 1  
               1
sizeof 中的++i 的副作用並沒有顯示出來，原因只可能有一個，在編譯的時候sizeof執行以後將++i 處理了，++i 的副作用因此被消除了。如果sizeof 是在運行時進行的話，則肯定要注意++i 。實際上sizeof的實現應該是用宏來做的，宏在編譯時間進行執行。具體實現可以參考下面。
2.sizeof('a')在C語言中的結果是4，在C++中結果是1，看過某篇文章說C中sizeof側重於“數”，而C++中sizeof更側重於“字元”。

3.文章中講了兩個用宏實現sizeof的經典應用

複製代碼 代碼如下:
//適用於非數組
#define _sizeof(T) ((size_t)((T*)0 + 1))
//適用於數組
#define array_sizeof(T) ((size_t)(&T+1)-(size_t)(&T))

先舉兩個小例子說明兩個宏的應用，對於第一個如 _sizeof(int); 的結果就是4；對於第二個先聲明一個大小為4的數組int a[4];那麼array_sizeof(a)結果為16.

對於非數組的宏定義，先是將0轉換為T*類型的指標所指向的地址（此時地址為0）。然後對T類型的地址加1，相當於加上了T類型的大小（即得到了非數組T的大小）。前面的size_t只是將地址轉化為int型的整數返回。
一個簡單的例子：int* p; p=p+1; --------p是一個int*類型的指標， p+1在地址空間上相當於加上了4個位元組。

對 於數組的宏定義，類似於非數組的宏定義，為了方便理解，這裡可以把數組T看成一個使用者自訂的類型，&T表示數群組類型的指標，對於數群組類型指標加 1相當於在地址上加上了該數組大小。由於是使用者自訂的類型所以不能強制將0轉化為數群組類型的地址，只能用加1後的地址減去之前的地址，得到的差值就是數 組本身所佔的位元組大小。