yyyyyyyyyyyyyyyyyyyy

博客园 首页 新随笔 联系 订阅 管理
sizeof用法


 用法 
  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. 基本数据类型的sizeof 
  这里的基本数据类型指short、intlongfloat、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 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、shortintfloat、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 完全相同。




1. 定义:
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 int; // error
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、intlongfloat、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的基本数据类型(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、shortintfloat、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;
};
本文主要包括二个部分,第一部分重点介绍在VC中,怎么样采用sizeof来求结构的大小,以及容易出现的
问题,并给出解决问题的方法,第二部分总结出VC中sizeof的主要用法。
1、 sizeof应用在结构上的情况
请看下面的结构:
struct MyStruct
{
double dda1;
char dda;
int type
};
对结构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 
{
double dda1; 
char dda;
int type;
};
为上面的结构分配空间的时候,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 
{
char dda;
double dda1;
int type;
};
这个结构占用的空间为多大呢?在VC6.0环境下,可以得到sizeof(MyStruc)为24。结合上面提到的分配空
间的一些原则,分析下VC怎么样为上面的结构分配空间的。(简单说明)
struct MyStruct 
{
    char dda;//偏移量为0,满足对齐方式,dda占用1个字节;
    double dda1;//下一个可用的地址的偏移量为1,不是sizeof(double)=8
                //的倍数,需要补足7个字节才能使偏移量变为8(满足对齐
                //方式),因此VC自动填充7个字节,dda1存放在偏移量为8
               //的地址上,它占用8个字节。
    int type; //下一个可用的地址的偏移量为16,是sizeof(int)=4的倍
               //数,满足int的对齐方式,所以不需要VC自动填充,type存
               //放在偏移量为16的地址上,它占用4个字节。
};   //所有成员变量都分配了空间,空间总的大小为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
{
     char m1;
     double m4;
     int    m3;
};
#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。(请读者自己分析)
2、 sizeof用法总结
在VC中,sizeof有着许多的用法,而且很容易引起一些错误。下面根据sizeof后面的参数对sizeof的用法
做个总结。
A. 参数为数据类型或者为一般变量。例如sizeof(int),sizeof(long)等等。这种情况要注意的是不同系
统系统或者不同编译器得到的结果可能是不同的。例如int类型在16位系统中占2个字节,在32位系统中占
4个字节。
B. 参数为数组或指针。下面举例说明.
int a[50];    //sizeof(a)=4*50=200; 求数组所占的空间大小
int *a=new int[50];// sizeof(a)=4; a为一个指针,sizeof(a)是求指针
                     //的大小,在32位系统中,当然是占4个字节。
C. 参数为结构或类。Sizeof应用在类和结构的处理情况是相同的。但有两点需要注意,第一、结构或者
类中的静态成员不对结构或者类的大小产生影响,因为静态变量的存储位置与结构或者类的实例地址无关
。
第二、没有成员变量的结构或类的大小为1,因为必须保证结构或类的每一
个实例在内存中都有唯一的地址。
下面举例说明,
Class Test{int a;static double c};//sizeof(Test)=4.
Test *s;//sizeof(s)=4,s为一个指针。
Class test1{ };//sizeof(test1)=1;
D. 参数为其他。下面举例说明。
     int func(char s[5])
         {
         cout<<sizeof(s);//这里将输出4,本来s为一个数组,但由于做为函
                       //数的参数在传递的时候系统处理为一个指针,所
                       //以sizeof(s)实际上为求指针的大小。
         return 1;
}
sizeof(func(“1234”))=4//因为func的返回类型为int,所以相当于
                         //求sizeof(int).
以上为sizeof的基本用法,在实际的使用中要注意分析VC的分配变量的分配策略,这样的话可以避免一些错误。







1、什么是sizeof
    首先看一下sizeof在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.
    看到return这个字眼,是不是想到了函数?错了,sizeof不是一个函数,你见过给一个函数传参数,而不加括号的吗?sizeof可以,所以sizeof不是函数。网上有人说sizeof是一元操作符,但是我并不这么认为,因为sizeof更像一个特殊的宏,它是在编译阶段求值的。举个例子:
cout<<sizeof(int)<<endl; // 32位机上int长度为4
cout<<sizeof(1==2)<<endl; // == 操作符返回bool类型,相当于 cout<<sizeof(bool)<<endl;
    在编译阶段已经被翻译为:
cout<<4<<endl;
cout<<1<<endl;
    这里有个陷阱,看下面的程序:
int a = 0;
cout<<sizeof(a=3)<<endl;
cout<<a<<endl;
    输出为什么是4,0而不是期望中的4,3???就在于sizeof在编译阶段处理的特性。由于sizeof不能被编译成机器码,所以sizeof作用范围内,也就是()里面的内容也不能被编译,而是被替换成类型。=操作符返回左操作数的类型,所以a=3相当于int,而代码也被替换为:
int a = 0;
cout<<4<<endl;
cout<<a<<endl;
    所以,sizeof是不可能支持链式表达式的,这也是和一元操作符不一样的地方。
    结论:不要把sizeof当成函数,也不要看作一元操作符,把他当成一个特殊的编译预处理。
2、sizeof的用法
    sizeof有两种用法:
  
    (1sizeof(object)
    也就是对对象使用sizeof,也可以写成sizeof object 的形式
    (2sizeof(typename)
    也就是对类型使用sizeof,注意这种情况下写成sizeof typename是非法的。下面举几个例子说明一下:

int i = 2;
cout<<sizeof(i)<<endl; // sizeof(object)的用法,合理
cout<<sizeof i<<endl; // sizeof object的用法,合理
cout<<sizeof 2<<endl; // 2被解析成int类型的object, sizeof object的用法,合理
cout<<sizeof(2)<<endl; // 2被解析成int类型的object, sizeof(object)的用法,合理
cout<<sizeof(int)<<endl;// sizeof(typename)的用法,合理
cout<<sizeof int<<endl; // 错误!对于操作符,一定要加()
    可以看出,加()是永远正确的选择。
   结论:不论sizeof要对谁取值,最好都加上()。

3、数据类型的sizeof
(1)C++固有数据类型
    32位C++中的基本数据类型,也就char,short int(short),int,long int(long),float,double, long double
大小分别是:124448, 10。
    考虑下面的代码:
cout<<sizeof(unsigned int) == sizeof(int)<<endl; // 相等,输出 1
    unsigned影响的只是最高位bit的意义,数据长度不会被改变的。
    结论:unsigned不能影响sizeof的取值。
(2)自定义数据类型
    typedef可以用来定义C++自定义类型。考虑下面的问题:
typedef short WORD;
typedef long DWORD;
cout<<(sizeof(short) == sizeof(WORD))<<endl; // 相等,输出1
cout<<(sizeof(long) == sizeof(DWORD))<<endl; // 相等,输出1
    结论:自定义类型的sizeof取值等同于它的类型原形。
(3)函数类型
    考虑下面的问题:
int f1(){return 0;};
double f2(){return 0.0;}
void f3(){}
cout<<sizeof(f1())<<endl; // f1()返回值为int,因此被认为是int
cout<<sizeof(f2())<<endl; // f2()返回值为double,因此被认为是double
cout<<sizeof(f3())<<endl; // 错误!无法对void类型使用sizeof
cout<<sizeof(f1)<<endl;  // 错误!无法对函数指针使用sizeof   
cout<<sizeof*f2<<endl;  // *f2,和f2()等价,因为可以看作object,所以括号不是必要的。被认为是double
    结论:对函数使用sizeof,在编译阶段会被函数返回值的类型取代。
4、指针问题
    考虑下面问题:
cout<<sizeof(string*)<<endl; // 4
cout<<sizeof(int*)<<endl; // 4
cout<<sizof(char****)<<endl; // 4
    可以看到,不管是什么类型的指针,大小都是4的,因为指针就是32位的物理地址。
    结论:只要是指针,大小就是4。(64位机上要变成8也不一定)。
    顺便唧唧歪歪几句,C++中的指针表示实际内存的地址。和C不一样的是,C++中取消了模式之分,也就是不再有small,middle,big,取而代之的是统一的flat。flat模式采用32位实地址寻址,而不再是c中的 segment:offset模式。举个例子,假如有一个指向地址 f000:8888的指针,如果是C类型则是8888(16位, 只存储位移,省略段),far类型的C指针是f0008888(32位,高位保留段地址,地位保留位移),C++类型的指针是f8888(32位,相当于段地址*16 + 位移,但寻址范围要更大)。
5、数组问题
    考虑下面问题:
char a[] = "abcdef";
int b[20] = {3, 4};
char c[2][3] = {"aa", "bb"};

cout<<sizeof(a)<<endl; // 7
cout<<sizeof(b)<<endl; // 20 ??? 80
cout<<sizeof(c)<<endl; // 6

    数组a的大小在定义时未指定,编译时给它分配的空间是按照初始化的值确定的,也就是7。c是多维数组,占用的空间大小是各维数的乘积,也就是6。可以看出,数组的大小就是他在编译时被分配的空间,也就是各维数的乘积*数组元素的大小。
    结论:数组的大小是各维数的乘积*数组元素的大小。
    这里有一个陷阱:
int *d = new int[10];
cout<<sizeof(d)<<endl; // 4
    d是我们常说的动态数组,但是他实质上还是一个指针,所以sizeof(d)的值是4。
    再考虑下面的问题:
double* (*a)[3][6];
cout<<sizeof(a)<<endl;  // 4
cout<<sizeof(*a)<<endl;  // 72
cout<<sizeof(**a)<<endl; // 24
cout<<sizeof(***a)<<endl; // 4
cout<<sizeof(****a)<<endl; // 8
    a是一个很奇怪的定义,他表示一个指向 double*[3][6]类型数组的指针。既然是指针,所以sizeof(a)就是4。
    既然a是执行double*[3][6]类型的指针,*a就表示一个double*[3][6]的多维数组类型,因此sizeof(*a)=3*6*sizeof(double*)=72。同样的,**a表示一个double*[6]类型的数组,所以sizeof(**a)=6*sizeof(double*)=24。***a就表示其中的一个元素,也就是double*了,所以sizeof(***a)=4。至于****a,就是一个double了,所以sizeof(****a)=sizeof(double)=86、向函数传递数组的问题
考虑下面的问题:
#include <iostream>
using namespace std;
int Sum(int i[])
{
int sumofi = 0;
for (int j = 0; j < sizeof(i)/sizeof(int); j++) //实际上,sizeof(i) = 4
{
  sumofi += i[j];
}
return sumofi;
}
int main()
{
int allAges[6] = {21, 22, 22, 19, 34, 12};
cout<<Sum(allAges)<<endl;
system("pause");
return 0;
}
    Sum的本意是用sizeof得到数组的大小,然后求和。但是实际上,传入自函数Sum的,只是一个int 类型的指针,所以sizeof(i)=4,而不是24,所以会产生错误的结果。解决这个问题的方法使是用指针或者引用。
    使用指针的情况:
int Sum(int (*i)[6])
{
int sumofi = 0;
for (int j = 0; j < sizeof(*i)/sizeof(int); j++) //sizeof(*i) = 24
{
  sumofi += (*i)[j];
}
return sumofi;
}
int main()
{
int allAges[] = {21, 22, 22, 19, 34, 12};
cout<<Sum(&allAges)<<endl;
system("pause");
return 0;
}
    在这个Sum里,i是一个指向i[6]类型的指针,注意,这里不能用int Sum(int (*i)[])声明函数,而是必须指明要传入的数组的大小,不然sizeof(*i)无法计算。但是在这种情况下,再通过sizeof来计算数组大小已经没有意义了,因为此时大小是指定为6的。
使用引用的情况和指针相似:
int Sum(int (&i)[6])
{
int sumofi = 0;
for (int j = 0; j < sizeof(i)/sizeof(int); j++)
{
  sumofi += i[j];
}
return sumofi;
}
int main()
{
int allAges[] = {21, 22, 22, 19, 34, 12};
cout<<Sum(allAges)<<endl;
system("pause");
return 0;
}
    这种情况下sizeof的计算同样无意义,所以用数组做参数,而且需要遍历的时候,函数应该有一个参数来说明数组的大小,而数组的大小在数组定义的作用域内通过sizeof求值。因此上面的函数正确形式应该是:
#include <iostream>
using namespace std;
int Sum(int *i, unsigned int n)
{
int sumofi = 0;
for (int j = 0; j < n; j++)
{
  sumofi += i[j];
}
return sumofi;
}
int main()
{
int allAges[] = {21, 22, 22, 19, 34, 12};
cout<<Sum(i, sizeof(allAges)/sizeof(int))<<endl;
system("pause");
return 0;
}
7、字符串的sizeof和strlen
    考虑下面的问题:
char a[] = "abcdef";
char b[20] = "abcdef";
string s = "abcdef";
cout<<strlen(a)<<endl;  // 6,字符串长度
cout<<sizeof(a)<<endl;  // 7,字符串容量
cout<<strlen(b)<<endl;  // 6,字符串长度
cout<<strlen(b)<<endl;  // 20,字符串容量
cout<<sizeof(s)<<endl;  // 12, 这里不代表字符串的长度,而是string类的大小
cout<<strlen(s)<<endl;  // 错误!s不是一个字符指针。
a[1] = '\0';
cout<<strlen(a)<<endl;  // 1
cout<<sizeof(a)<<endl;  // 7,sizeof是恒定的

   strlen是寻找从指定地址开始,到出现的第一个0之间的字符个数,他是在运行阶段执行的,而sizeof是得到数据的大小,在这里是得到字符串的容量。所以对同一个对象而言,sizeof的值是恒定的。string是C++类型的字符串,他是一个类,所以sizeof(s)表示的并不是字符串的长度,而是类string的大小。strlen(s)根本就是错误的,因为strlen的参数是一个字符指针,如果想用strlen得到s字符串的长度,应该使用sizeof(s.c_str()),因为string的成员函数c_str()返回的是字符串的首地址。实际上,string类提供了自己的成员函数来得到字符串的容量和长度,分别是Capacity()和Length()。string封装了常用了字符串操作,所以在C++开发过程中,最好使用string代替C类型的字符串。

8、从union的sizeof问题看cpu的对界
    考虑下面问题:(默认对齐方式)
union u
{
  double a;
  int b;
};
union u2
{
  char a[13];
  int b;
};
union u3
{
  char a[13];
  char b;
};
cout<<sizeof(u)<<endl;  // 8
cout<<sizeof(u2)<<endl;  // 16
cout<<sizeof(u3)<<endl;  // 13
    都知道union的大小取决于它所有的成员中,占用空间最大的一个成员的大小。所以对于u来说,大小就是最大的double类型成员a了,所以sizeof(u)=sizeof(double)=8。但是对于u2和u3,最大的空间都是char[13]类型的数组,为什么u3的大小是13,而u2是16呢?关键在于u2中的成员int b。由于int类型成员的存在,使u2的对齐方式变成4,也就是说,u2的大小必须在4的对界上,所以占用的空间变成了16(最接近13的对界)。
    结论:复合数据类型,如union,struct,class的对齐方式为成员中对齐方式最大的成员的对齐方式。
    顺便提一下CPU对界问题,32的C++采用8位对界来提高运行速度,所以编译器会尽量把数据放在它的对界上以提高内存命中率。对界是可以更改的,使用#pragma pack(x)宏可以改变编译器的对界方式,默认是8。C++固有类型的对界取编译器对界方式与自身大小中较小的一个。例如,指定编译器按2对界,int类型的大小是4,则int的对界为2和4中较小的2。在默认的对界方式下,因为几乎所有的数据类型都不大于默认的对界方式8(除了long double),所以所有的固有类型的对界方式可以认为就是类型自身的大小。更改一下上面的程序:
#pragma pack(2)
union u2
{
  char a[13];
  int b;
};
union u3
{
  char a[13];
  char b;
};
#pragma pack(8)
cout<<sizeof(u2)<<endl;  // 14
cout<<sizeof(u3)<<endl;  // 13
    由于手动更改对界方式为2,所以int的对界也变成了2,u2的对界取成员中最大的对界,也是2了,所以此时sizeof(u2)=14。
    结论:C++固有类型的对界取编译器对界方式与自身大小中较小的一个。
 
 9、struct的sizeof问题
 
因为对齐问题使结构体的sizeof变得比较复杂,
看下面的例子:(默认对齐方式下)
 
struct s1
{
  char a;
  double b;
  int c;
  char d;
};
 
struct s2
{
  char a;
  char b;
  int c;
  double d;
};
 
cout<<sizeof(s1)<<endl; // 24
cout<<sizeof(s2)<<endl; // 16
同样是两个char类型,一个int类型,一个double类型,但是
因为对界问题,导致他们的大小不同。计算结构体大小可以采用
元素摆放法,我举例子说明一下:首先,CPU判断结构体的对界,
根据上一节的结论,s1和s2的对界都取最大的元素类型,也就是
double类型的对界8。然后开始摆放每个元素。
对于s1,首先把a放到8的对界,假定是0,此时下一个空闲的地址
是1,但是下一个元素d是double类型,要放到8的对界上,离1
最接近的地址是8了,所以d被放在了8,此时下一个空闲地址变成
了16,下一个元素c的对界是4,16可以满足,所以c放在了16,
此时下一个空闲地址变成了20,下一个元素d需要对界1,也正好
落在对界上,所以d放在了20,结构体在地址21处结束。由于s1
的大小需要是8的倍数,所以21-23的空间被保留,s1的大小变成
了24。
对于s2,首先把a放到8的对界,假定是0,此时下一个空闲地址
是1,下一个元素的对界也是1,所以b摆放在1,下一个空闲地址
变成了2;下一个元素c的对界是4,所以取离2最近的地址4摆放c,
下一个空闲地址变成了8,下一个元素d的对界是8,所以d摆放在8,
所有元素摆放完毕,结构体在15处结束,占用总空间为16,正好
是8的倍数。
 
  这里有个陷阱,对于结构体中的结构体成员,不要认为它的
对齐方式就是他的大小,看下面的例子:
 
struct s1
{
  char a[8];
};
 
struct s2
{
  double d;
};
 
struct s3
{
  s1 s;
  char a;
};
 
struct s4
{
  s2 s;
  char a;
};
 
cout<<sizeof(s1)<<endl; // 8
cout<<sizeof(s2)<<endl; // 8
cout<<sizeof(s3)<<endl; // 9
cout<<sizeof(s4)<<endl; // 16;
s1和s2大小虽然都是8,但是s1的对齐方式是1,s2是8(double),
所以在s3和s4中才有这样的差异。
 
所以,在自己定义结构体的时候,如果空间紧张的话,最好考虑
对齐因素来排列结构体里的元素。
 
10、不要让double干扰你的位域
 
在结构体和类中,可以使用位域来规定某个成员所能占用的空间,
所以使用位域能在一定程度上节省结构体占用的空间。
不过考虑下面的代码:
 
struct s1
{
  int i: 8;
  int j: 4;
  double b;
  int a:3;
};
 
struct s2
{
  int i;
  int j;
  double b;
  int a;
};
 
struct s3
{
  int i;
  int j;
  int a;
  double b;
};
 
struct s4
{
  int i: 8;
  int j: 4;
  int a:3;
  double b;
};
 
cout<<sizeof(s1)<<endl;  // 24
cout<<sizeof(s2)<<endl;  // 24
cout<<sizeof(s3)<<endl;  // 24
cout<<sizeof(s4)<<endl;  // 16
 
可以看到,有double存在会干涉到位域(sizeof的算法参考上
一节),所以使用位域的的时候,最好把float类型和double
类型放在程序的开始或者最后。
 








sizeof操作符的使用方法
点击:   发布日期:2007-9-20 13:31:00   进入论坛


    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 int; // error 
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、intlongfloat、double这样的简单内置数据类型,由于它们都是和系统相关的,所以在不同的系统下取值可能不同,这务必引起我们的注意,尽量不要在











2、sizeof的用法
    sizeof有两种用法:
 
    (1sizeof(object)
    也就是对对象使用sizeof,也可以写成sizeof object 的形式
    (2sizeof(typename)
    也就是对类型使用sizeof,注意这种情况下写成sizeof typename是非法的。下面举几个例子说明一下:
int i = 2;
cout<<sizeof(i)<<endl; // sizeof(object)的用法,合理
cout<<sizeof i<<endl; // sizeof object的用法,合理
cout<<sizeof 2<<endl; // 2被解析成int类型的object, sizeof object的用法,合理
cout<<sizeof(2)<<endl; // 2被解析成int类型的object, sizeof(object)的用法,合理
cout<<sizeof(int)<<endl;// sizeof(typename)的用法,合理
cout<<sizeof int<<endl; // 错误!对于操作符,一定要加()
    可以看出,加()是永远正确的选择。
   结论:不论sizeof要对谁取值,最好都加上()。
3、数据类型的sizeof
(1)C++固有数据类型
    32位C++中的基本数据类型,也就char,short int(short),int,long int(long),float,double, long double
大小分别是:124448, 10。
    考虑下面的代码:
cout<<sizeof(unsigned int) == sizeof(int)<<endl; // 相等,输出 1
    unsigned影响的只是最高位bit的意义,数据长度不会被改变的。
    结论:unsigned不能影响sizeof的取值。
(2)自定义数据类型
    typedef可以用来定义C++自定义类型。考虑下面的问题:
typedef short WORD;
typedef long DWORD;
cout<<(sizeof(short) == sizeof(WORD))<<endl; // 相等,输出1
cout<<(sizeof(long) == sizeof(DWORD))<<endl; // 相等,输出1
    结论:自定义类型的sizeof取值等同于它的类型原形。
(3)函数类型
    考虑下面的问题:
int f1(){return 0;};
double f2(){return 0.0;}
void f3(){}
cout<<sizeof(f1())<<endl; // f1()返回值为int,因此被认为是int
cout<<sizeof(f2())<<endl; // f2()返回值为double,因此被认为是double
cout<<sizeof(f3())<<endl; // 错误!无法对void类型使用sizeof
cout<<sizeof(f1)<<endl;  // 错误!无法对函数指针使用sizeof  
cout<<sizeof*f2<<endl;  // *f2,和f2()等价,因为可以看作object,所以括号不是必要的。被认为是double
    结论:对函数使用sizeof,在编译阶段会被函数返回值的类型取代。
4、指针问题
    考虑下面问题:
cout<<sizeof(string*)<<endl; // 4
cout<<sizeof(int*)<<endl; // 4
cout<<sizof(char****)<<endl; // 4
    可以看到,不管是什么类型的指针,大小都是4的,因为指针就是32位的物理地址。
    结论:只要是指针,大小就是4。(64位机上要变成8也不一定)。
    顺便唧唧歪歪几句,C++中的指针表示实际内存的地址。和C不一样的是,C++中取消了模式之分,也就是不再有small,middle,big,取而代之的是统一的flat。flat模式采用32位实地址寻址,而不再是c中的 segment:offset模式。举个例子,假如有一个指向地址 f000:8888的指针,如果是C类型则是8888(16位, 只存储位移,省略段),far类型的C指针是f0008888(32位,高位保留段地址,地位保留位移),C++类型的指针是f8888(32位,相当于段地址*16 + 位移,但寻址范围要更大)。
 
2、 sizeof用法总结

在VC中,sizeof有着许多的用法,而且很容易引起一些错误。下面根据sizeof后面的参数对sizeof的用法做个总结。

A. 参数为数据类型或者为一般变量。例如sizeof(int),sizeof(long)等等。这种情况要注意的是不同系统系统或者不同编译器得到的结果可能是不同的。例如int类型在16位系统中占2个字节,在32位系统中占4个字节。

B. 参数为数组或指针。下面举例说明.

int a[50]; //sizeof(a)=4*50=200; 求数组所占的空间大小

int *a=new int[50]; // sizeof(a)=4; a为一个指针,sizeof(a)是求指针
                              //的大小,在32位系统中,当然是占4个字节。

C. 参数为结构或类。Sizeof应用在类和结构的处理情况是相同的。但有两点需要注意,第一、结构或者类中的静态成员不对结构或者类的大小产生影响,因为静态变量的存储位置与结构或者类的实例地址无关。

第二、没有成员变量的结构或类的大小为1,因为必须保证结构或类的每一

个实例在内存中都有唯一的地址。

下面举例说明,

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

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

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

D. 参数为其他。下面举例说明。

int func(char s[5]);
{
cout<<sizeof(s)<<endl;    //数组的参数在传递的时候系统处理为一个指针,所
                                         //以sizeof(s)实际上为求指针的大小。

return 1;
}

sizeof(func(“1234”))=4 //因为func的返回类型为int,所以相当于
                                     //求sizeof(int).






sizeof()功能:计算数据空间的字节数
1.与strlen()比较
      strlen()计算字符数组的字符数,以"\0"为结束判断。
      而sizeof计算数据(包括数组、变量、类型、结构体等)所占内存空间,用字节数表示
2.指针与静态数组的sizeof操作
      指针均可看为变量类型的一种。所有指针变量的sizeof 操作结果均为4。
      注意:int *p; sizeof(p)=4;
                   但sizeof(*p)相当于sizeof(int);      
      对于静态数组,sizeof可直接计算数组大小;
      例:int a[10];char b[]="hello";
              sizeof(a)等于10;
              sizeof(b)等于7;
      注意:数组做型参时,数组名称当作指针使用!!
               void  fun(char p[])
               {sizeof(p)等于4}
    
  经典问题: 

      double* (*a)[3][6]; 

      cout<<sizeof(a)<<endl; // 4 
      cout<<sizeof(*a)<<endl; // 72 
      cout<<sizeof(**a)<<endl; // 24 
      cout<<sizeof(***a)<<endl; // 4 
      cout<<sizeof(****a)<<endl; // 8 

      a是一个很奇怪的定义,他表示一个指向double*[3][6]类型数组的指针。既然是指针,所以sizeof(a)就是4。 

      既然a是执行double*[3][6]类型的指针,*a就表示一个double*[3][6]的多维数组类型,因此sizeof(*a)
     =3*6*sizeof(double*)=72。同样的,**a表示一个double*[6]类型的数组,所以sizeof(**a)=6*sizeof  (double*)=24。***a就表示其中的一个元素,也就是double*了,所以sizeof(***a)=4。至于****a,就是一个double了,所以sizeof(****a)=sizeof(double)=83.格式的写法
   sizeof操作符,对变量或对象可以不加括号,但若是类型,须加括号
4.使用sizeof时string的注意事项
   string s="hello";
   sizeof(s)等于string类的大小,sizeof(s.c_str())得到的是与字符串长度。
5.union 与struct的空间计算
   总体上遵循两个原则:
   (1)整体空间是 占用空间最大的成员(的类型)所占字节数的整倍数
   (2)数据对齐原则----内存按结构成员的 先后顺序排列,当排到该成员变量时,其前面已摆放的空间大小必须是该成员类型大小的整倍数,如果不够则补齐,以此向后类推。。。。。
   注意:数组按照单个变量一个一个的摆放,而不是看成整体。如果成员中有自定义的类、结构体,也要注意数组问题。
例:[引用其他帖子的内容]
因为对齐问题使结构体的sizeof变得比较复杂,看下面的例子:(默认对齐方式下)

struct s1
{
char a;
double b;
int c;
char d; 
};

struct s2
{
char a;
char b;
int c;
double d;
};

cout<<sizeof(s1)<<endl; // 24
cout<<sizeof(s2)<<endl; // 16

  同样是两个char类型,一个int类型,一个double类型,但是因为对界问题,导致他们的大小不同。计算结构体大小可以采用元素摆放法,我举例子说明一下:首先,CPU判断结构体的对界,根据上一节的结论,s1和s2的对界都取最大的元素类型,也就是double类型的对界8。然后开始摆放每个元素。
  对于s1,首先把a放到8的对界,假定是0,此时下一个空闲的地址是1,但是下一个元素d是double类型,要放到8的对界上,离1最接近的地址是8了,所以d被放在了8,此时下一个空闲地址变成了16,下一个元素c的对界是4,16可以满足,所以c放在了16,此时下一个空闲地址变成了20,下一个元素d需要对界1,也正好落在对界上,所以d放在了20,结构体在地址21处结束。由于s1的大小需要是8的倍数,所以21-23的空间被保留,s1的大小变成了24。
  对于s2,首先把a放到8的对界,假定是0,此时下一个空闲地址是1,下一个元素的对界也是1,所以b摆放在1,下一个空闲地址变成了2;下一个元素c的对界是4,所以取离2最近的地址4摆放c,下一个空闲地址变成了8,下一个元素d的对界是8,所以d摆放在8,所有元素摆放完毕,结构体在15处结束,占用总空间为16,正好是8的倍数。

  这里有个陷阱,对于结构体中的结构体成员,不要认为它的对齐方式就是他的大小,看下面的例子:

struct s1
{
char a[8];
};

struct s2
{
double d;
};

struct s3
{
s1 s;
char a;
};

struct s4
{
s2 s;
char a; 
};

cout<<sizeof(s1)<<endl; // 8
cout<<sizeof(s2)<<endl; // 8
cout<<sizeof(s3)<<endl; // 9
cout<<sizeof(s4)<<endl; // 16;

  s1和s2大小虽然都是8,但是s1的对齐方式是1,s2是8(double),所以在s3和s4中才有这样的差异。

  所以,在自己定义结构体的时候,如果空间紧张的话,最好考虑对齐因素来排列结构体里的元素。

发表于 2006-09-11 21:42 (LEYN)顽主 阅读(5856) 评论(7)  编辑 收藏 引用
 
 
评论
# re: sizeof 用法总结  回复  更多评论    
补充:不要让double干扰你的位域 

  在结构体和类中,可以使用位域来规定某个成员所能占用的空间,所以使用位域能在一定程度上节省结构体占用的空间。不过考虑下面的代码: 

struct s1 
{ 
 int i: 8; 
 int j: 4; 
 double b; 
 int a:3; 
}; 

struct s2 
{ 
 int i; 
 int j; 
 double b; 
 int a; 
}; 

struct s3 
{ 
 int i; 
 int j; 
 int a; 
 double b; 
}; 

struct s4 
{ 
 int i: 8; 
 int j: 4; 
 int a:3; 
 double b; 
}; 

cout<<sizeof(s1)<<endl; // 24 
cout<<sizeof(s2)<<endl; // 24 
cout<<sizeof(s3)<<endl; // 24 
cout<<sizeof(s4)<<endl; // 16 

  可以看到,有double存在会干涉到位域(sizeof的算法参考上一节),所以使用位域的的时候,最好把float类型和double类型放在程序的开始或者最后。




















    (1):SIZEOF 
          1、定义:sizeof是C/C++中的一个操作符(operator)是也,简单的说其作用就是返回一个对象或者类型所占的内存字节数。
          2、语法格式 sizeof有三种语法形式,如下: 
             1) 用于数据类型  sizeof( type_name ); // sizeof( 类型 ); 
             2) 用于变量  sizeof( object ); // sizeof( 对象 ); 
                          sizeof object; // sizeof 对象; 
            所以, 
            int i; 
            sizeof( i ); // ok 
            sizeof i; // ok 
            sizeof( int ); // ok 
            sizeof int; // error 
            注意:sizeof操作符不能用于函数类型,不完全类型或位字段。不完全类型指具有未知存储大小的数据类型,如未知存储大小的数组类型、未知内容的结构或联合类型、void类型等。  
  如sizeof(max)若此时变量max定义为int max(),sizeof(char_v) 若此时char_v定义为char char_v [MAX]且MAX未知,sizeof(void)都不是正确形式。
          3、sizeof操作符的结果
             sizeof操作符的结果类型是size_t,它在头文件中typedef为unsigned int类型。该类型保证能容纳实现所建立的最大对象的字节大小。 
          1)若操作数具有类型char、unsigned char或signed char,其结果等于1。  
  ANSI C正式规定字符类型为1字节。  
          2int、unsigned int 、short int、unsigned short 、long int 、unsigned long 、 floatdoublelong double类型的sizeof 在ANSI C中没有具体规定,大小依赖于实现,一般可能分别为2、222444810。  
          3)当操作数是指针时,sizeof依赖于编译器。例如Microsoft C/C++7.0中,near类指针字节数为2,far、huge类指针字节数为4。一般Unix的指针字节数为4。  
          4)当操作数具有数组类型时,其结果是数组的总字节数。  
          5)联合类型操作数的sizeof是其最大字节成员的字节数。结构类型操作数的sizeof是这种类型对象的总字节数,包括任何垫补在内。  
  让我们看如下结构:  
  struct {char b; double x;} a;  
  在某些机器上sizeof(a)=12,而一般sizeof(char)+ sizeofdouble)=9。  
  这是因为编译器在考虑对齐问题时,在结构中插入空位以控制各成员对象的地址对齐。如double类型的结构成员x要放在被4整除的地址。  
         6)如果操作数是函数中的数组形参或函数类型的形参,sizeof给出其指针的大小。
        4、sizeof与其他操作符的关系  
  sizeof的优先级为2级,比/、%等3级运算符优先级高。它可以与其他操作符一起组成表达式。如i*sizeofint);其中i为int类型变量。  
        5、sizeof的主要用途  
        1)sizeof操作符的一个主要用途是与存储分配和I/O系统那样的例程进行通信。例如:  
  void *malloc(size_t size),  
  size_t fread(void * ptr,size_t size,size_t nmemb,FILE * stream)。  
        2)sizeof的另一个的主要用途是计算数组中元素的个数。例如:  
  void * memset(void * s,int c,sizeof(s))。  
        6、建议  
  由于操作数的字节数在实现时可能出现变化,建议在涉及到操作数字节大小时用sizeof来代替常量计算。  
       (2)sizeof用法
          假设以后的程序都是32位C的程序。
          int i=10;
          在这里由于是32位的C 程序,故对于一个整型变量应该用32位来存放,
          sizeof(i)为4字节;
          sizeof(int)也为4字节;
          
          char a='b';
          char b[]="hello,world";
          char c[20]="hello,world";
          char *p=b;
          明显sizeof(a)为1字节;
          b为数组名sizeof是求取数组所占内存的大小,故sizeof(b)为12,可能大家会注意到hello,world仅有11个字符,然而为什么要站12字节呢? 这是因为在没有指定数组大小的时,为数组初始化后会在后面加上结束符;因此为12。
          因为 p指针变量是一个地址,地址信息又用32位来存放,所以sizeof(p)为4;
          sizeof(*p)为数组b的大小。;
          由于在定义数组时指定了数组的大小sizeof(c)故为20,在这里hello,world仅为11字符,在后面回自动用0填充满整个数组;
          
         我们对sizeof有初步的了解了,再接下来看这样的一个结构
         struct 1{  
            int a;
           char b; 
            int c;
         } ;
        问sizeof(s1)等于多少?或许你是这样想的,char占1个字节,int占4个字节,那么加起来就应该是9。很可能你是错的!VC6中按默认设置得到的结果为12,在32位C中也为12。那仔细分析一下为什么为12吧!
        如果是用那样来进行存储的的话,那么在读取这些变量时PC指针一会加4,而一会加1,一会又加4 ,PC加减没有一固定值,很明显影响系统的效率。在编译原理为了提高系统的效率采用了内存对齐技术。在后面详细分析内存对齐。
        在这里主要看一下char在这里占的空间。这里是32为的程序,故int占4个字节,没有调整内存对齐的方式,故应该按照默认的方式进行内存对齐。在此结构里面应按照4个字节对齐效率最好。故char在这里占的空间也应该为4个字节。后面有3填充字节。
        在分析下面的结构
        struct s2{  
            int a;
           char b; 
            int c;
            s1  s;
         } ;
         sizeof(s2)等于多少? 为24字节。
         #i nclude<stdio.h>
         void print(char a[])
         { printf("%d\n",sizeof(a));
         } 
         main()
         { char a[]="hello,world";
           print(a);
         } 
         运行的结果是什么呢? 或许你会认为结果是12。在print(a)的实参仅仅将数组的地址传给形参,而不是将整个数组作为实参传递。所以既然形参接受的是一个地址,那结果应是4。
         
         字节对齐的细节和编译器实现相关,但一般而言,满足三个准则: 
            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、shortintfloat、double这样的内置数据类型,这里所说的“数据宽度”就是指其sizeof的大小。由于结构体的成员可以是复合类型,比如另外一个结构体,所以在寻找最宽基本类型成员时,应当包括复合类型成员的子成员,而不是把复合成员看成是一个整体。但在确定复合类型成员的偏移位置时则是将复合类型作为整体看待。 
          含位域结构体的sizeof 
前面已经说过,位域成员不能单独被取sizeof值,我们这里要讨论的是含有位域的结构体的sizeof,只是考虑到其特殊性而将其专门列了出来。 
C99规定int、unsigned int和bool可以作为位域类型,但编译器几乎都对此作了扩展,允许其它类型类型的存在。使用位域的主要目的是压缩存储,其大致规则为: 
          1) 如果相邻位域字段的类型相同,且其位宽之和小于类型的sizeof大小,则后面的字段将紧邻前一个字段存储,直到不能容纳为止; 
          2) 如果相邻位域字段的类型相同,但其位宽之和大于类型的sizeof大小,则后面的字段将从新的存储单元开始,其偏移量为其类型大小的整数倍; 
          3) 如果相邻的位域字段的类型不同,则各编译器的具体实现有差异,VC6采取不压缩方式,Dev-C++采取压缩方式; 
          4) 如果位域字段之间穿插着非位域字段,则不进行压缩; 
          5) 整个结构体的总大小为最宽基本类型成员大小的整数倍。
还是让我们来看看例子。 
示例: 
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。
示例: 
struct BF2 
{ 
char f1 : 3; 
short f2 : 4; 
char f3 : 5; 
}; 
由于相邻位域类型不同,在VC6中其sizeof为6,在Dev-C++中为2。
示例: 
struct BF3 
{ 
char f1 : 3; 
char f2; 
char f3 : 5; 
}; 
非位域字段穿插在其中,不会产生压缩,在VC6和Dev-C++中得到的大小均为3。 
        联合体的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;
4class   A 
{ 
   double  a; 
   char  b; 
   virtual   p(){}; 
};//sizeof(A)=24,因为类中有虚函数,所以等价于下面:
class A
{
    [color=#FF0000]void [/color]*p; //虚函数表指针
    double a;
    char  b;
};



    今天在写GSM程序时遇到一个关于sizeof的问题:
    uchar code chsmstou[]="0011000D9168"; //固定头,长度是12
UART_Send_Str(chsmstou,sizeof(chsmstou));
原意是想sizeof(chsmstou)得到字符串chsmstou的长度,但始终没有得到正确结果,在VC上运行了一下
#include <iostream.h>
char chsmstou[]="0011000D9168"; 
void main()
{
cout<<sizeof(chsmstou)<<endl;
}
输出的是13,比字符串的长度多1,原来sizeof输出的字符串容量,后收集一些资料,整理如下:
一、sizeof的概念
   sizeof是C语言的一种单目操作符,尤其要注意的是,它不是一个函数。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.
sizeof接收一个操作数,操作数可以是一个表达式或者是括在括号内的数据类型名。sizeof操作符以字节形式给出其操作数的存储大小。
二、sizeof的用法
1、操作数是数据类型
sizeof (type)
这里type必须用括号括起来。
2、操作数是变量
sizeof varname 或sizeof (varname)
变量可以括起来,也可不用,但一般还是括起来更普遍。
三、sizeof的结果
一般情况下,sizeof的结果大都依赖与编译器类型(UNIX,MS),所以不同编译器对数据类型的定义也不一样。
sizeof的结果类型被定义为size_t,其中size_t被定义为unsigned int1、若操作数为char、unsigned char或signed char时,其结果为 12、其它如int、longfloat、double依赖于编译器的定义。
3、当操作数为指针时,也是依赖于编译器,但一般为指针字节数为4;
4、当操作数具有数组类型时,其结果是数组的总字节数。但是,如果操作数是函数中的数组形参或函数类型的形参时,sizeof给出其指针的大小;
int a[2];   sizeof(a) == 2*4=8;
void fun(int arr[])
{
      cout<<sizeof(arr)<<endl;
}
输出:4
5、当操作数是联合(aggregate)类型时,sizeof结果是其最大字节成员的字节数;列如:
   union test{
     int a;
     char ch;
};
sizeof(test) == sizeof(int) == 4;
6、当操作数是结构体类型时,sizeof结果是结构体的总长度,包括任何的填充字节(在上篇文章《结构体数据对齐》里有阐述)。例如:
struct test{
   char ch;
   double d;
};
一般情况下,sizeof(test) == 16;实际上就是
sizeof(test)=sizeof(char) + 7 + sizeof(double) == 16,这里涉及到结构体数据对齐问题。
除了以上6点之外,还要注意下面的问题:
1、不要把sizeof当成函数,也不看作是一元操作符,把它当成一个特殊的编译预处理。
int a =0;
cout<<sizeof(a = 6)<<endl;
cout<<a<<endl;
输出结果为:4
           0
2、自定义类型的sizeof同等于它的类型原形。
typedef char BYTE;
typedef long DWORD;
   sizeof(BYTE) == sizeof(char);
   sizeof(DWORD) == sizeof(long);
3、不管是什么类型的指针,大小都是4。
   sizeof(int *) == sizeof(char*) == sizeof(long*) == sizeof(double*);
4、数组的大小是个维数的乘积*数组元素的大小。
   int a[2][4];  
   sizeof(a) == 32 == 2*4*sizeof(int);
5、字符串的sizeof和strlen的区别
char str[] = "abcd";
cout<<strlen(str); // 4,字符串长度
cout<<sizeof(str); // 5,字符串容量
   str[1]= '\0';
cout<<strlen(str); // 1,字符串长度
cout<<sizeof(str); // 5,字符串容量











C语言中sizeof与strlen区别2
1. 以字符串形式出现的,编译器都会为该字符串自动添加一个0作为结束符,如在代码中写"abc",那么编译器帮你存储的是"abc\0".
2. 字符串直接量作为字符指针的初始值
  "hello"是一个字符串直接量,编译器将其作为const char*处理,与之相关联的内存空间位于内存的只读部分,即允许编译器重用指向等价字符串直接量的引用以优化内存使用,
即使程序  中使用了字符串直接量500次,编译器在内存中也只是创建了一个实例。例如: char *ptr = “hello”; 等价于 const char *ptr = “hello”;
字符串直接量"hello"关联的是只读内存,如果试图修改将出错,例如ptr[1] = ‘a’;是会引起错误的。
3. 字符串直接量作为基于栈的字符数组的初始值
    由于基于栈的变量不可能引用其他地方存储的内存,编译器会负责将字符串直接量复制到基于栈的数组内存中。
    例如: char stackArray[] = “hello”;
    做如下修改: stackArray[1] = ‘a’;是真确的。
4. 字符数组与字符指针
    字符数组的形式如下,会将字符直接量拷贝到栈上:
          char str[]   = "abc";             // 实际的数据存储: a b c \0,也就是增加了一个终结符\0
          char str[3] = {'a','b','c'};     // 实际的数据存储: a b c,并没有在最后添加终结符
          char str[10] = {'a','b','c'};   // 实际的数据存储: a b c \0 \0 \0 \0 \0 \0 \0
   字符指针的形式如下:
          char *str = “abc”;               // 实际的数据存储: a b c \0,也就是增加了一个终结符\0
5. 类型的决定
    1). 数组的类型是由该数组所存放元素的类型以及数组本身的大小决定的
         如char s1[3]和char s2[4],s1的类型就是char[3],s2的类型就是char[4],也就是说尽管s1和s2都是字符数组,但两者的类型却是不同的。
    2). 字符串常量的类型可以理解为相应字符常量数组的类型
         如"abcdef"的类型就可以看成是const char[7],也就是说实际的数据存储为"abcdef\0"3). 函数参数列表中的以数组类型书写的形式参数,编译器把其解释为普通的指针类型
         如对于void func(char sa[100],int ia[20],char *p),则sa的类型为char*,ia的类型为int*,p的类型为char*。
对于sizeof与strlen:
1. sizeof操作符的结果类型是size_t,它在头文件中typedef为unsigned int类型。该类型保证能容纳实现所建立的最大对象的字节大小。
2. sizeof是算符,strlen是函数。
3. sizeof可以用类型做参数,strlen只能用char*做参数,且必须是以''\0''结尾的。
4. 数组做sizeof的参数不退化,传递给strlen就退化为指针了。
5. 大部分编译程序在编译的时候就把sizeof计算过了,是类型或是变量的长度这就是sizeof(x)可以用来定义数组维数的原因。
    char str[20]="0123456789"; // str是编译期大小已经固定的数组
     int a=strlen(str); //  a=10; //strlen()在运行起确定,计算的是实际长度
     int b=sizeof(str); //  而b=20; //sizeof()在编译期确定,str的类型是int[20],计算的是占据内存的大小
6. strlen的结果要在运行的时候才能计算出来,是用来计算字符串的实际长度,不是类型占内存的大小。
7. sizeof后如果是类型必须加括弧,如果是变量名可以不加括弧。这是因为sizeof是个操作符不是个函数。
    char c;
    sizeof c;  //变量名可以不加括弧
8. 当适用于一个结构类型或变量, sizeof 返回实际的大小,
    当适用一静态地空间数组, sizeof 归还全部数组的尺寸。
    sizeof 操作符不能返回动态地被分派了的数组或外部的数组的尺寸
sizeof、strlen计算字符数组、字符指针空间
 
char str[] = "abc";  实际的数据存储: a b c \0,也就是增加了一个终结符\0 其类型为char[4]   VS: sizeof(str)=4     strlen(str) = 3
GCC: sizeof(str)=4     strlen(str) = 3
char str[]   = "abc"; 实际的数据存储: a b c \0,也就是增加了一个终结符\0 其类型为char[4]   VS: sizeof(str)=4     strlen(str) = 3
GCC: sizeof(str)=4     strlen(str) = 3
char str[] = {'a','b','c'}; 实际的数据存储: a b c,并没有在最后添加终结符 其类型为char[3]   VS: sizeof(str)=3     strlen(str) = 15
GCC: sizeof(str)=3     strlen(str) = 6
char str[3] = {'a','b','c'}; 实际的数据存储: a b c,并没有在最后添加终结符 其类型为char[3]   VS: sizeof(str)=3     strlen(str) = 15
GCC: sizeof(str)=3     strlen(str) = 6
char str[5] = {'a','b','c','d','e'};  实际的数据存储: a b c d e ,并没有在最后添加终结符 其类型为char[5]   VS: sizeof(str)=5     strlen(str) = 19
GCC: sizeof(str)=5     strlen(str) = 8
char str[5] = {'a','b','c','d'};
实际的数据存储: a b c d \0(默认填充字符\0) 其类型为char[5]   VS: sizeof(str)=5     strlen(str) = 4
GCC: sizeof(str)=5     strlen(str) = 4
char *pstr = "abcde"; 实际的数据存储: a b c d e \0 pstr的类型为char* sizeof(pstr) = 4 ( 指针的数据存储空间,4个字节),strlen(pstr) = 5
总结一下:
1). sizeof的结果是类型的大小,区分类型之后,sizeof的结果也就命了,sizeof的结果是在编译期决定的,计算的占据的内存大小。
     srelen的结果是在运行期间决定,计算的是实际长度,strlen只能以char*作参数,以\0作为结束符, 以上的例子中,红色部分的strlen计算是错误的,
     因为在str的数据存储中并没有 一个\0字符,所以strlen的结果看似有点异常。
2). 注意在计算sizeof的时候:
     char str[] = "abc";  类型为char[4],   sizeof(str) = 4*sizeof(char) = 4.
3). sizeof(express),其中的express在编译过程中是不会被编译的,而是被替代类型。
     例如: int a = 1; sizeof(a=2);
     此时的express为a=2,在编译过程中被替换为sizeof(int),所以在执行完之后,a仍然是等于1.
4). 对函数使用sizeof,在编译阶段会被替换为函数的返回值的类型取代
     例如: int f(){return 0;}  sizeof(f());的结果为4.
             void f(){}            sizeof(f());编译过程中会出现错误,替换之后的sizoeof(void)编译无法通过.






1、什么是sizeof
首先看一下sizeof在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.
看到return这个字眼,是不是想到了函数?错了,sizeof不是一个函数,你见过给一个函数传参数,而不加括号的吗?sizeof可以,所以sizeof不是函数。网上有人说sizeof是一元操作符,但是我并不这么认为,因为C++ sizeof更像一个特殊的宏,它是在编译阶段求值的。举个例子:

 
1.    cout<<sizeof(int)<<endl; // 32位机上int长度为4  
2.    cout<<sizeof(1==2)<<endl; 
// == 操作符返回bool类型,相当于 cout<<sizeof(bool)<<endl; 
在编译阶段已经被翻译为:
1.    cout<<4<<endl;  
2.    cout<<1<<endl; 
这里有个陷阱,看下面的程序:
1.    int a = 0;  
2.    cout<<sizeof(a=3)<<endl;  
3.    cout<<a<<endl; 
输出为什么是4,0而不是期望中的4,3???就在于C++ sizeof在编译阶段处理的特性。由于sizeof不能被编译成机器码,所以sizeof作用范围内,也就是()里面的内容也不能被编译,而是被替换成类型。=操作符返回左操作数的类型,所以a=3相当于int,而代码也被替换为:
1.    int a = 0;  
2.    cout<<4<<endl;  
3.    cout<<a<<endl; 
所以,sizeof是不可能支持链式表达式的,这也是和一元操作符不一样的地方。
结论:不要把sizeof当成函数,也不要看作一元操作符,把他当成一个特殊的编译预处理。
2、sizeof的用法
C++ sizeof有两种用法:

(1sizeof(object)
也就是对对象使用sizeof,也可以写成sizeof object 的形式。例如:
(2sizeof(typename)
也就是对类型使用sizeof,注意这种情况下写成sizeof typename是非法的。下面举几个例子说明一下:
1.    int i = 2;  
2.    cout<<sizeof(i)<<endl; // sizeof(object)的用法,合理  
3.    cout<<sizeof i<<endl; // sizeof object的用法,合理  
4.    cout<<sizeof 2<<endl; // 2被解析成int类型的object, sizeof object的用法,合理  
5.    cout<<sizeof(2)<<endl; // 2被解析成int类型的object, sizeof(object)的用法,合理  
6.    cout<<sizeof(int)<<endl;// sizeof(typename)的用法,合理  
7.    cout<<sizeof int<<endl; // 错误!对于操作符,一定要加() 
可以看出,加()是永远正确的选择。
结论:不论C++ sizeof要对谁取值,最好都加上()。






    sizeof()功能:计算数据空间的字节数
1.与strlen()比较
      strlen()计算字符数组的字符数,以"\0"为结束判断,不计算为'\0'的数组元素。
      而sizeof计算数据(包括数组、变量、类型、结构体等)所占内存空间,用字节数表示。
2.指针与静态数组的sizeof操作
      指针均可看为变量类型的一种。所有指针变量的sizeof 操作结果均为4。
注意:int *p; sizeof(p)=4;
                  但sizeof(*p)相当于sizeof(int);     
      对于静态数组,sizeof可直接计算数组大小;
      例:int a[10];char b[]="hello";
              sizeof(a)等于4*10=40;
              sizeof(b)等于6;
 注意:数组做型参时,数组名称当作指针使用!!
               void  fun(char p[])
               {sizeof(p)等于4}   
 “作为函数参数的数组名”等同于指针,任何传递给函数的数组参数都会被转换成指针,这是基于效率考虑,避免了数组的拷贝。在函数内部,数组参数都将被转换成一个指针,要牢记这一点,因此如:
void test(char a[10])
{
   printf("%d\n",sizeof(a));
}

显然应该打印指针大小4,而非数组大小。另外,注意数组参数的地址跟数组参数第一个元素的地址并不相等,在表达式中两者一致,但是在函数调用中,由于数组参数指针也是临时变量,因此两者的地址是不一样的。
  经典问题:
      double* (*a)[3][6];
      cout<<sizeof(a)<<endl; // 4 a为指针
      cout<<sizeof(*a)<<endl; // 72 *a为一个有3*6个指针元素的数组
      cout<<sizeof(**a)<<endl; // 24 **a为数组一维的6个指针
      cout<<sizeof(***a)<<endl; // 4 ***a为一维的第一个指针
      cout<<sizeof(****a)<<endl; // 8 ****a为一个double变量
问题解析:a是一个很奇怪的定义,他表示一个指向double*[3][6]类型数组的指针。既然是指针,所以sizeof(a)就是4。
      既然a是执行double*[3][6]类型的指针,*a就表示一个double*[3][6]的多维数组类型,因此sizeof(*a)=3*6*sizeof(double*)=72。同样的,**a表示一个double*[6]类型的数组,所以sizeof(**a)=6*sizeof  (double*)=24。***a就表示其中的一个元素,也就是double*了,所以sizeof(***a)=4。至于****a,就是一个double了,所以sizeof(****a)=sizeof(double)=83.格式的写法
   sizeof操作符,对变量或对象可以不加括号,但若是类型,须加括号。
4.使用sizeof时string的注意事项
   string s="hello";
   sizeof(s)等于string类的大小,sizeof(s.c_str())得到的是与字符串长度。
5.union 与struct的空间计算
   总体上遵循两个原则:
   (1)整体空间是占用空间最大的成员(的类型)所占字节数的整倍数
   (2)数据对齐原则----内存按结构成员的先后顺序排列,当排到该成员变量时,其前面已摆放的空间大小必须是该成员类型大小的整倍数,如果不够则补齐,以此向后类推。。。。。
   注意:数组按照单个变量一个一个的摆放,而不是看成整体。如果成员中有自定义的类、结构体,也要注意数组问题。

 

posted on 2014-11-18 02:56  xxxxxxxx1x2xxxxxxx  阅读(1206)  评论(0编辑  收藏  举报