zz 详解Sizeof

前向声明：

sizeof ，一个其貌不扬的家伙，引无数菜鸟竟折腰，小虾我当初也没少犯迷糊，秉着“辛苦我一个，幸福千万人”的伟大思想，我决定将其尽可能详细的总结一下。

但当我总结的时候才发现，这个问题既可以简单，又可以复杂，所以本文有的地方并不适合初学者，甚至都没有必要大作文章。但如果你想“知其然，更知其所以然”的话，那么这篇文章对你或许有所帮助。

菜鸟我对 C++ 的掌握尚未深入，其中不乏错误，欢迎各位指正啊

1. 定义：

sizeof 是何方神圣 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. 基本数据类型的 sizeof

这里的基本数据类型指 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 的基本数据类型（ short 等）都位于能被 2 整除的地址上，让宽度为 4 的基本数据类型（ int 等）都位于能被 4 整除的地址上，以此类推。这样，两个数中间就可能需要加入填充字节，所以整个结构体的 sizeof 值就增长了。

让我们交换一下 S1 中 char 与 int 的位置：

struct S2

{

int i;

char c;

};

看看 sizeof(S2) 的结果为多少，怎么还是 8 再看看内存，原来成员 c 后面仍然有 3 个填充字节，这又是为什么啊别着急，下面总结规律。

字节对齐的细节和编译器实现相关，但一般而言，满足三个准则：

1) 结构体变量的首地址能够被其最宽基本类型成员的大小所整除；

2) 结构体每个成员相对于结构体首地址的偏移量（ offset ）都是成员大小的整数倍，如有需要编译器会在成员之间加上填充字节（ internal adding ）；

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

 

 

#include <stdio.h>

struct student

{

  long id; //4 字节

  char name[10]; //10 字节

  char sex; //1 字节

  int age; //4 字节

  float score; //4 字节

};

// 4+10+1+4+4

 

int main()

{

    struct student one;

    printf("%d", sizeof(struct student));

}

 

这是我在 QQ 群里见到有人问的一道问题，结果为 24 ，我说下自己的分析，若有不对还请高手指点，不胜感激。该结构体中最大的基本数据类型为 4 个字节（数组不是基本类型，被打散着看），所以该结构体的首地址为 4 的整数倍， id 的偏移量为 0 ，因为数组是一个整体，根据数组的 sizeof 可知其为 10 个字节，偏移量为 sizeof(char) 的整数倍，所以 char[10] 的偏移量为 4 （ id 决定）， sex 的偏移量也是 sizeof(char) 的整数倍，此时总共占了 4+10+1=15 个字节， age 的偏移量需要是 sizeof(int) 的整数倍，所以需要在 sex 后补上一个填充字节，所以 age 偏移量为 16 ， score 的偏移量为 16+4=20( 可以被 4 整除 ) ，在算上 score 的 4 个字节，为 24 ，可以被结构体的最宽基本字节整除，所以整个结构体的 sizeof(struct student) 为 24

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;

};

－－－－－－－－－－－－－－－－－－－－－补充－－－－－－－－－－－－－－－－－－－－－－－－－－－－参数为结构或类。 Sizeof 应用在类和结构的处理情况是相同的。但有三点需要注意：

第一、结构或者类中的静态成员不对结构或者类的大小产生影响，因为静态变量的存储位置与结构或者类的实例地址无关。

第二、没有成员变量的结构或类的大小为 1 ，因为必须保证结构或类的每一个实例在内存中都有唯一的地址。

第三、类中含有虚函数的情况，虚函数表指针占用 4 个字节大小，并且放在类的开头 。即虚函数在类中的位置对类的大小无影响，其始终是在最前面的。

下面举例说明，

1 、 Class Test{int a;static double c};  //sizeof(Test)=4.

2 、 Test *s;        //sizeof(s)=4,s 为一个指针。

3 、 Class test1{ };  //sizeof(test1)=1;

4 、 class   A

{

   double  a;

   char     b;

   virtual  p(){};

};        //sizeof(A)=24 ，因为类中有虚函数，所以等价于下面：

class A

{

    [color=#FF0000]void [/color]*p; // 虚函数表指针

    double a;

    char  b;

};

 

sizeof 与 strlen 的区别      

第一个例子：

char* ss = "0123456789"; sizeof(ss) 结果 4 ＝＝＝》 ss 是指向字符串常量的字符指针

sizeof(*ss) 结果 1 ＝＝＝》 *ss 是第一个字符

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     

 

第二个例子：

class X{int i;int j;char k;}; X x; cout<<sizeof(X)<<endl; 结果 12 ＝＝＝》内存补齐 cout<<sizeof(x)<<endl; 结果 12 同上第三个例子：

char szPath[MAX_PATH] 如果在函数内这样定义，那么 sizeof(szPath) 将会是 MAX_PATH ，但是将 szPath 作为虚参声明时（ void fun(char szPath[MAX_PATH]) ） , sizeof(szPath) 却会是 4( 指针大小 )           

 

三、 sizeof 深入理解。

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);} 有关内容见： C++ PRIMER?

10. 计算结构变量的大小就必须讨论数据对齐问题。为了 CPU 存取的速度最快（这同 CPU 取数操作有关，详细的介绍可以参考一些计算机原理方面的书）， C++ 在处理数据时经常把结构变量中的成员的大小按照 4 或 8 的倍数计算，这就叫数据对齐（ data alignment ）。这样做可能会浪费一些内存，但理论上速度快了。当然这样的设置会在读写一些别的应用程序生成的数据文件或交换数据时带来不便。 MS VC++ 中的对齐设定，有时候 sizeof 得到的与实际不等。一般在 VC++ 中加上 #pragma pack(n) 的设定即可 . 或者如果要按字节存储，而不进行数据对齐，可以在 Options 对话框中修改 Advanced compiler 页中的 Data alignment 为按字节对齐。

11.sizeof 操作符不能用于函数类型，不完全类型或位字段。不完全类型指具有未知存储大小的数据类型，如未知存储大小的数组类型、未知内容的结构或联合类型、 void 类型等。如 sizeof(max) 若此时变量 max 定义为 int 　 max(),sizeof(char_v) 　若此时 char_v 定义为 char 　 char_v 　 [MAX] 且 MAX 未知， sizeof(void) 都不是正确形式

四、结束语

sizeof 使用场合

1.sizeof 操作符的一个主要用途是与存储分配和 I/O 系统那样的例程进行通信 。 例如：

void 　 *malloc （ size_t 　 size ） ,

size_t 　 fread(void 　 * 　 ptr, size_t 　 size, size_t 　 nmemb, FILE 　 * 　 stream) 。

2. 用它可以看看一类型的对象在内存中所占的单元字节 。

void 　 * 　 memset （ void 　 * 　 s, int 　 c,sizeof(s) ）

3. 在动态分配一对象时 , 让系统知道要分配多少内存。

4. 便于一些类型的扩充 , 在 windows 中就有很多结构内型就有一个专用的字段是用来放该类型的字节大小。

5. 由于操作数的字节数在实现时可能出现变化，建议在涉及到操作数字节大小时用 sizeof 来代替常量计算。

6. 如果操作数是函数中的数组形参或函数类型的形参， sizeof 给出其指针的大小。