sizeof操作符详解

论及测试基础是Windows 32位平台，VS2008开发工具：

 

测试基本类型

 

 

 

 

1.基本规则

 

sizeof 操作符的作用是返回一个对象或类型名所占的内存字节数，返回值的类型为size_t，长度的单位是字节,在编译而不是运行时确定。

 

• 对引用类型做sizeof操作将返回存放此引用类型对象所需的内在空间大小。

 

• 对指针做sizeof操作将返回存放指针所需的内在大小；注意，如果要获取该指针所指向对象的大小，则必须对指针进行引用。

 

因为 sizeof 返回整个数组在内存中的存储长度，所以用 sizeof 数组的结果除以sizeof 其元素类型的结果，即可求出数组元素的个数：

 

例如:

 

int ia[8];

 

int sz =sizeof(ia)/sizeof(*ia);

 

cout << sz<< endl; //8

 

2.sizeof与strlen的区别和联系？ 

 

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

 

(2.2）sizeof是操作符，strlen是函数。sizeof后如果是类型必须加括弧，如果是变量名可以不加括弧。

 

(2.3) 数组名作为函数参数时，退化为指针，数组名作为sizeof()参数时，数组名不退化，因为sizeof不是函数。

 

(2.4）sizeof可以用类型做参数，strlen只能用char*做参数，且必须是以”\0”结尾的。

 

(2.5）大部分编译程序在编译的时候就把sizeof计算过了，这就是sizeof(x)可以用来定义数组维数的原因。strlen的结果要在运行的时候才能计算出来，是用来计算字符串的实际长度，不是类型占内存的大小。

 

 

(2.6)当作用于结构类型或变量，sizeof返回实际的大小，sizeof如用于数组，只能测出静态数组的大小，无法检测动态分配的或外部数组大小。

 

//对于静态数组的处理:

 

char str[11]="0123456789";//注意这里str大小应该等于，应考虑’\0’在内，否则编译器会报错

 

cout << strlen(str) << endl;//10 strlen计算字符串的长度，以结束符x00为字符串结束。

 

cout << sizeof(str) << endl;//11 sizeof计算的则是分配的数组str[11]所占的内存空间的大小，不受里面存储的内容改变。

 

(2.7）数组作为参数传给函数时传的是指针而不是数组，传递的是数组的首地址，如：

 

fun(char [8])

 

fun(char [])

 

都等价于fun(char*)

 

void Func( char str[100]) {  

 

    cout << sizeof(str) << endl;

 

} 

 

void *p =malloc(100); 

 

cout << sizeof(p) << endl;

 

所以sizeof(str)和sizeof(p)都为4。

 

在C++里参数传递数组永远都是传递指向数组首元素的指针，编译器不知道数组的大小，如果想在函数内知道数组的大小，需要这样做：进入函数后用memcpy拷贝出来，长度由令一个形参传进去。

 

void fun(unsigned char *p1,int len)

 

{

 

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

 

    memcpy(buf,p1,len);

 

}

 

//对于指针的处理:

 

char *ss= "0123456789"; 

 

cout << sizeof(ss) << endl;//4 ss是指向字符串常量的字符指针，sizeof获得的是一个指针所占的空间，应该是长整型

 

cout << sizeof(*ss) << endl;//1 *ss是第一个字符其实就是获得了字符串的第一位’’所占的内存空间，是char类型的，占了位

 

cout << strlen(ss) << endl;//10，如果要获得这个字符串的长度，则一定要使用strlen

 

//另外，下面的方法可以用于确定该静态数组可以容纳元素的个数

int a[3]= {1,2,3};  

cout  << sizeof a/sizeof(typeid(a[0]).name());//3

 

(2.8) sizeof()和初不初始化，没有关系,strlen()和初始化有关。比较：

 

 

 

 

3.简单结构体的sizeof

 

结构体每个变量分开占用空间。

 

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

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

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

3) 结构体的总大小为结构体最宽基本类型成员大小的整数倍，如有需要编译器会在最末一个成员之后加上填充字节（trailing padding）。

 

看内存情况：字节对齐需要在中间补3个字节的CC。

 

 

 

可以用pack指令用来调整结构体对齐方式的，#pragmapack的基本用法为：#pragmapack( n )，n为字节对齐数，其取值为1、2、4、8、16。

 

“空结构体”(不含数据成员)的大小不是0，而是1。 “空结构体”变量也得被存储。

 

 

 

 

4. union的sizeof

 

union 变量公用空间。

 

 

 

解析：里面最大的变量类型是int[5], 占用20个字节. 所以它的大小是20