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. 基本数据类型的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

  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

最近在论坛里总有人问关于sizeof的问题,并且本人对这个问题也一直没有得到很好的解决,索性今天对它来个较为详细的总结,同时结合strlen进行比较,如果能对大家有点点帮助,这是我最大的欣慰了。

一、好首先看看sizeof和strlen在MSDN上的定义:

首先看一MSDN上如何对sizeof进行定义的:

sizeof Operator

sizeof expression

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.

The expression is either an identifier or a type-cast expression (a type specifier enclosed in 
parentheses).

When applied to a structure type or variable, sizeof returns the actual size, which may include 
padding bytes inserted for alignment. When applied to a statically dimensioned array, sizeof 
returns the size of the entire array. The sizeof operator cannot return the size of dynamically 
allocated arrays or external arrays.

然后再看一下对strlen是如何定义的:

strlen

Get the length of a string.

Routine Required Header:
strlen <string.h>

size_t strlen( const char *string );
Parameter
string:Null-terminated string 
Libraries
All versions of the C run-time libraries.

Return Value
Each of these functions returns the number of characters in string, excluding the terminal 
NULL. No return value is reserved to indicate an error.

Remarks
Each of these functions returns the number of characters in string, not including the 
terminating null character. wcslen is a wide-character version of strlen; the argument of 
wcslen is a wide-character string. wcslen and strlen behave identically otherwise.

二、由几个例子说开去。

第一个例子:

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给出其指针的大小。

 

sizeof与对象内存布局

 

有了前面几节的铺垫,本节开始摸索C++的对象的内存布局,平台为windows32位+VS2008。

一 内置类型的size

内置类型,直接上代码,帮助大家加深记忆:

Code
void TestBasicSizeOf()
{
    cout
<< __FUNCTION__ << endl;

    cout
<< " sizeof(char)= " << sizeof ( char ) << endl;
    cout
<< " sizeof(int)= " << sizeof ( int ) << endl;
    cout
<< " sizeof(float)= " << sizeof ( float ) << endl;
    cout
<< " sizeof(double)= " << sizeof ( double ) << endl;

    cout
<< " sizeof('$')=" << sizeof ( '$' ) << endl;
    cout
<< " sizeof(1)= " << sizeof ( 1 ) << endl;
    cout
<< " sizeof(1.5f)= " << sizeof ( 1.5f ) << endl;
    cout
<< " sizeof(1.5)= " << sizeof ( 1.5 ) << endl;

    cout
<< " sizeof(Good!)= " << sizeof ( "Good!" ) << endl ;

   
char str[] = "CharArray!";
   
int a[10];
   
double xy[10];
    cout
<< " char str[] = /"CharArray!/"," << " sizeof(str)= " << sizeof (str) << endl;
    cout
<< " int a[10]," << " sizeof(a)= " << sizeof (a) << endl;
    cout
<< " double xy[10]," << " sizeof(xy)= " <<   sizeof (xy) << endl;

    cout
<< " sizeof(void*)= " << sizeof(void*) << endl;
}

 


运行结果如下:


二 struct/class的大小

在C++中我们知道struct和class的唯一区别就是默认的访问级别不同,struct默认为public,而class的默认为private。所以考虑对象的大小,我们均以struct为例。对于struct的大小对于初学者来说还确实是个难回答的问题,我们就通过下面的一个struct定义加逐步的变化来引出相关的知识。

代码如下:

Code
struct st1
{
    
short number;
    
float math_grade;
    
float Chinese_grade;
    
float sum_grade;
    
char   level;
}; //20

struct st2
{
    
char   level;
    
short number;
    
float math_grade;
    
float Chinese_grade;
    
float sum_grade;
};//16

#pragma pack(1)
struct st3
{
    
char   level;
    
short number;
    
float math_grade;
    
float Chinese_grade;
    
float sum_grade;
}; //15
#pragma pack()

void TestStructSizeOf()
{
     cout
<< __FUNCTION__ << endl;

     cout
<< "   sizeof(st1)= " << sizeof (st1) << endl;
     cout
<< "   offsetof(st1,number) " << offsetof(st1,number) << endl;
     cout
<< "   offsetof(st1,math_grade) " << offsetof(st1,math_grade) << endl;
     cout
<< "   offsetof(st1,Chinese_grade) " << offsetof(st1,Chinese_grade) << endl;
     cout
<< "   offsetof(st1,sum_grade) " << offsetof(st1,sum_grade) << endl;
     cout
<< "   offsetof(st1,level) " << offsetof(st1,level) << endl;

     cout
<< "   sizeof(st2)= " << sizeof (st2) << endl;
     cout
<< "   offsetof(st2,level) " << offsetof(st2,level) << endl;
     cout
<< "   offsetof(st2,number) " << offsetof(st2,number) << endl;
     cout
<< "   offsetof(st2,math_grade) " << offsetof(st2,math_grade) << endl;
     cout
<< "   offsetof(st2,Chinese_grade) " << offsetof(st2,Chinese_grade) << endl;
     cout
<< "   offsetof(st2,sum_grade) " << offsetof(st2,sum_grade) << endl;


     cout
<< "   sizeof(st3)= " << sizeof (st3) << endl;
     cout
<< "   offsetof(st3,level) " << offsetof(st3,level) << endl;
     cout
<< "   offsetof(st3,number) " << offsetof(st3,number) << endl;
     cout
<< "   offsetof(st3,math_grade) " << offsetof(st3,math_grade) << endl;
     cout
<< "   offsetof(st3,Chinese_grade) " << offsetof(st3,Chinese_grade) << endl;
     cout
<< "   offsetof(st3,sum_grade) " << offsetof(st3,sum_grade) << endl;
}

 

运行结果如下;

基于上面的对struct的测试,我们是不是有些惊呆哦,对于C++的初学者更是情不自禁的说:“我靠!原来顺序不同所占空间都不同啊,还有那个pack是啥东东啊?”,其实这里蕴含了一个内存对齐的问题,在计算机的底层进行内存的读写的时候,如果内存对齐的话可以提高读写效率,下面是VC的默认规则:

1) 结构体变量的首地址能够被其最宽基本类型成员的大小所整除;
2) 结构体每个成员相对于结构体首地址的偏移量(offset)都是成员大小的整数倍, 如有需要编译器会在成员之间加上填充字节(internal adding);
3) 结构体的总大小为结构体最宽基本类型成员大小的整数倍,如有需要编译器会在最末一个成员之后加上填充字节(trailing padding)。

当然VC提供了工程选项/Zp[1|2|4|8|16]可以修改对齐方式,当然我们也可以在代码中对部分类型实行特殊的内存对齐方式,修改方式为#pragma pack( n ),n为字节对齐
数,其取值为1、2、4、8、16,默认是8,取消修改用#pragma pack(),如果结构体某成员的sizeof大于你设置的,则按你的设置来对齐

三 struct的嵌套

1)实例:

Code
struct A
{
    
int i;
    
char c;
    
double d;
    
short s;
};
// 24

struct B
{
    
char cc;
     A a;
    
int ii;
};
// 40

 

布局:(使用VS的未发布的编译选项/d1 reportAllClassLayout 或 /d1 reportSingleClassLayout)

 

2)实例:

Code
#pragma pack(4)
struct A2
{
    
int i;
    
char c;
    
double d;
    
short s;
};
// 20
#pragma pack()

struct B2
{
    
char cc;
     A2 a;
    
int ii;
};
// 28

 

布局:(使用VS的未发布的编译选项/d1 reportAllClassLayout 或 /d1 reportSingleClassLayout)

总结:

  由于结构体的成员可以是复合类型,比如另外一个结构体,所以在寻找最宽基本类型成员时,应当包括复合类型成员的子成员,而不是把复合成员看成是一个整体。但在确定复合类型成员的偏移位置时则是将复合类型作为整体看待。

四 空struct/class和const,static成员

实例:

Code
struct empty{}; // 1
struct constAndStatic
{
    
const int i;
    
static char c;
    
const double d;
    
static void TestStatic(){}
    
void TestNoStatic(){}
};
// 16

 

布局:(使用VS的未发布的编译选项/d1 reportAllClassLayout 或 /d1 reportSingleClassLayout)

上面的实例中empty的大小为1,而constAndStatic的大小为16。

总结:

因为static成员和函数其实是类层次的,不在对象中分配空间,而成员函数其实是被编译为全局函数了,所以也不在对象中。

 

 

 

 

详细解析C语言中的sizeof

一、sizeof的概念 

  sizeof是C语言的一种单目操作符,如C语言的其他操作符++、--等。它并不是函数。sizeof操作符以字节形式给出了其操作数的存储大小。操作数可以是一个表达式或括在括号内的类型名。操作数的存储大小由操作数的类型决定。   

二、sizeof的使用方法 

  1、用于数据类型   

  sizeof使用形式:sizeof(type)   

  数据类型必须用括号括住。如sizeof(int)。   

  2、用于变量   

  sizeof使用形式:sizeof(var_name)或sizeof var_name   

  变量名可以不用括号括住。如sizeof (var_name),sizeof var_name等都是正确形式。带括号的用法更普遍,大多数程序员采用这种形式。   

  注意:sizeof操作符不能用于函数类型,不完全类型或位字段。不完全类型指具有未知存储大小的数据类型,如未知存储大小的数组类型、未知内容的结构或联合类型、void类型等。   

  如sizeof(max)若此时变量max定义为int max(),sizeof(char_v) 若此时char_v定义为char char_v [MAX]且MAX未知,sizeof(void)都不是正确形式。   

三、sizeof的结果 

  sizeof操作符的结果类型是size_t,它在头文件中typedef为unsigned int类型。该类型保证能容纳实现所建立的最大对象的字节大小。   

  1、若操作数具有类型char、unsigned char或signed char,其结果等于1。   

  ANSI C正式规定字符类型为1字节。   

  2、int、unsigned int 、short int、unsigned short 、long int 、unsigned long 、float、double、long double类型的sizeof 在ANSI C中没有具体规定,大小依赖于实现,一般可能分别为2、2、2、2、4、4、4、8、10。   

  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)+ sizeof(double)=9。   

  这是因为编译器在考虑对齐问题时,在结构中插入空位以控制各成员对象的地址对齐。如double类型的结构成员x要放在被4整除的地址。   

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

四、sizeof与其他操作符的关系 

  sizeof的优先级为2级,比/、%等3级运算符优先级高。它可以与其他操作符一起组成表达式。如i*sizeof(int);其中i为int类型变量。   

五、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))。   


六、建议 

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

  本文主要包括二个部分,第一部分重点介绍在VC中,怎么样采用sizeof来求结构的大小,以及容易出现的问题,并给出解决问题的方法,第二部分总结出VC中sizeof的主要用法。  

1、 sizeof应用在结构上的情况 

  请看下面的结构: 

struct MyStruct  
{  
double dda1;  
char dda;  
int type 

};  
  对结构MyStruct采用sizeof会出现什么结果呢?sizeof(MyStruct)为多少呢?也许你会这样求:   
  
  
 
2 详细解析C语言中的sizeof  
 
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  
  
    
3 详细解析C语言中的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)实际上为求指针的大小。  
return 1; 

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

  以上为sizeof的基本用法,在实际的使用中要注意分析VC的分配变量的分配策略,这样的话可以避免一些错误。

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值