1. sizeof
- sizeof是一个操作符,而不是一个函数,其返回值是size_t类型。
- sizeof是编译时进行的,也就是说,其值的大小,是在运行之前就已经决定好的,不像函数调用,是在运行期间决定的。
程序示例:
#include <stdio.h>
int main()
{
int n = 0;
printf("%d\n", sizeof(n=100));
printf("%d\n", n);
return 0;
}
输出结果:
4 0
编译完成之后,运行之前,实际上就是等价于输出sizeof(int)。
由于sizeof不能被编译成机器码,所以sizeof作用范围内,也就是()里面的内容也不能被编译,而是被替换成类型
-
sizeof的对象可以是一个类型,也可以是一个变量
-
sizeof(指针)是指针变量占据的字节数,而不是指针指向的内存空间大小
2.数组作为形参
- 数组在进行函数调用作为参数被传递时,在被调用函数内部其退化为指针,使用sizeof等价于对一个指针变量进行sizeof,大小为一个指针变量所占的内存空间。
程序示例:
#include <stdio.h>
int func( char str[])
{
return sizeof(str);
}
int main( )
{
char str[20] = "Hello world ! " ;
printf ( "%d %d\n" , sizeof(str), func(str)) ;
return 0;
}
64位机器运行输出:
20 8
32位机器运行输出:
20 4
func函数中的sizeof返回的只是指针变量的大小,和机器有关
3.结构体内存对齐
对齐规则:
- 第一个成员在与结构体变量偏移量为0的地址。
- 其他成员变量要对齐到对齐数(对齐数 =编译器默认的一个对齐数与该成员大小的较小值)的整数倍的地址处。
- Linux中默认为4,vs中的默认值为8。
- 结构体总大小为最大对齐数的整数倍(每个成员变量除了第一个成员都有一个对齐数)。
- 如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍,结构体的整体大小就是所有最大对齐数的整数倍(含嵌套结构体的对齐数)。
程序示例:
#include<iostream>
using namespace std;
struct S{
char a; //1
char b; //1+1
int c; //(1+1)<sizeof(c),a和b需要补齐为sizeof(c):4+4
double d; //前面4+4=8,已经和double对齐:4+4+8
};
struct S1{
char a; //1
int c; //a和c对齐:4+4
double d; //4+4+8
char b; //b和double对齐:4+4+8+8
};
struct S2{
char a; //1
double d; //a和d对齐:8+8
int c; //b大小超过d,不计算c+b,c和double对齐:8+8+8
S1 b; //8+8+8+24
};
int main(){
cout <<sizeof(S)<< endl;
cout <<sizeof(S1)<< endl;
cout <<sizeof(S2)<< endl;
return 0;
}
运行结果:
16
24
48
4.数组的地址的指针
示例代码:
int main()
{
int a[5] = {1, 2, 3, 4, 5};
int *ptr = (int*)(&a + 1);
printf("%d, %d", *(a + 1), *(ptr - 1));
return;
}
输出:2 , 5
解析:数组a本身就表示数组的首元素的地址,因而&a表示数组的地址的地址,因而&a+1表示的地址为数组a的首字母地址+数组a的大小。而(int *)(&a+1)即把其强制转换为int 类型,因而相当于ptr = &a+1。从而(ptr-1)即数组a最后一个元素,因而输出是2,5。