结构体并不是一个它自身成员的数组。和数组名不同,当一个结构变量在表达式中使用时,它并不被替换成指针。
结构声明
1.两个完全相同的结构体不能互相赋值
struct {
int x;
char y;
}obj;
struct{
int x;
char y;
}*b;
b=&obj;//*错误*
struct{
int x;
char y;
}obj,*b;
b=&obj;//*正确*
2.标签字段允许为成员列表提供一个名字,这样它就可以在后续声明中使用。
struct SIMPLE{
int a;
char b;
float c;
} ;
struct SIMPLE x;
struct SIMPLE y[20],*z;
3.也可以这样:
typedef struct{
int a;
char b;
float c;
}Simple;
Simple x;
Simple y[20],*z;
//这个技巧和声明一个结构标签的效果几乎相同。区别在于Simple现在是个类型名,而不是个结构标签。
*所以,如果想在多个原文件中使同一种类型的结构,应该把标签声明或typedef形式的声明放在一个头文件中。当源文件需要这个声明时用#include指令把那个头文件包含进来*
结构成员
- 结构成员的直接访问:结构名.成员名 (.)操作符
一个更复杂的例子:
- 结构成员的直接访问:结构名.成员名 (.)操作符
struct SIMPLE{
int a;
char b;
float c;
} ;
struct SIMPLE x;
struct SIMPLE y[20],*z;
struct COMPLEX{
float f;
int a[20];
long *lp;
struct SIMPLE s;
struct SIMPLE sa[10];
struct SIMPLE *sp;
};
struct COMPLEX comp;
comp.s.a;
comp.sa[4].c;//sa是一个结构数组,所以comp.sa是一个数组元素,它的值是一个指针常量。对这个表达式使用下标引用操作。(comp.sa)[4]将选择一个数组元素,但这个元素本身是一个结构,所以可以用另一个点操作符取得它的成员之一
2.结构成员的间接访问
struct COMPLEX{
float f;
int a[20];
long *lp;
struct SIMPLE s;
struct SIMPLE sa[10];
struct SIMPLE *sp;
};
void func(struct COMPLEX *cp);
(*cp).f;//访问这个变量所指向的结构的成员f
由此引出箭头操作符:cp->f == (*cp).f
- 结构体的自引用
struct SELF_REF1{
int a;
struct SELF_REF1 b;
}
//这种自引用是非法的
正确的自引用如下:
struct SELF_REF1{
int a;
struct SELF_REF1 *b;
}
//此时b的大小明确,是一个指针大小,所以是合法的
结构体初始化
结构体/数组都允许整体初始化,但不允许整体赋值,允许按元素赋值。
结构体内存对齐
结构体对其规则:
1.第一个成员在与结构体变量偏移量为0的地址处;
2.其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。
对齐数=编译器默认的一个对齐数与该成员大小的较小值。vs默认为8,Linux默认为4,DEV默认为4。
3.结构体总大小为最大对齐数(还是最宽基本类型成员大小/存疑)的整数倍。
4.如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
struct S1{
char c1;//1
int i;//c1的偏移量为1,不能整除对齐数4,所以要对齐到4;4+4
char c2;//对齐数是1,但是4+4+1不能整除最大对齐数4,所以整体大小为12;
}
printf("%d\n",sizeof(struct S1));//12
struct S2{
char c1;//1
char c2;//1
int i;//1+1=2不能整除4,所以变为4,4+4=8
};//8
struct S3{
double d;
char c;
int i;
};
struct A{
int a;
char b[5];//*数组的对齐数是其任意一个元素的对齐数,不是其总和!!!*
double c;
};
结构体嵌套对齐问题
struct S4{
char c;//1
struct S3 s3;//16;嵌套的结构体对齐到自己的最大对齐数的整数倍处
double d;
};//8+16+8=32