结构体
结构体形式
struct 名字
{
成员名单
} 变量列表;
结构体声明
1.最简单的声明
struct stu
{
int math;
int english;
};
struct stu p1;
2.声明的同时创建变量
struct stu
{
int math;
int english;
}p1;
3.不定义名字
struct
{
int math;
int english;
}p[20];
思考题?
struct
{
int a;
int b;
float c;
}x;
struct
{
int a;
int b;
float c;
}z*;
z=&x这句话对吗?
答案:编译器把他们当成截然不同的两个类型,即使他们的成员变量完全一样,都是没有名字这么能相同?
结构体的调用
1.通过‘·’来调用里面的成员变量
2.假设我们要调用上面代码z中的a变量是不是应该这样:*(z).a,因为z是指针,有没有觉得太麻烦了,所以我们引出新的调用方式 z->a,用->等价于上面的那个方式。
不完整声明(选看)
如下面这个例子:
struct B; //对结构体B进行不完整声明
程序中突然出现这么一句是干什么用呢?请看下面的程序:
//结构体A中包含指向结构体B的指针
struct A
{
struct B *partner;
…
};
//结构体B中包含指向结构体A的指针,在A声明完后,B也随之进行声明
struct B
{
struct A *partner;
};
这下明白了吧?
有时候,你必须声明一些相互之间存在依赖的结构。即:其中一个结构包含了另一个结构的一个成员或多个成员。和自引用一样,至少有一个结构必须在另一个结构体内部以指针的形式存在。问题在于声明部分:如果每个结构都引用了其他结构的标签,哪个结构应该首先被声明呢?
该问题采用不完整声明来解决。它声明一个作为结构标签的标识符。然后,把这个标签用在不需要知道这个结构的长度的声明中,如声明指向这个结构的指针。接下来的声明把这个标签与成员列表联系在一起。
结构体自引用
为什么结构体自引用时非法的?
答案:想要合法就必须知道每个成员的确定的所占空间。
下面这个例子
struct A
{
int a;
struct A a1;
};
我们知道int所占内存时4,那你能说出struct A所占内存吗?不能,因为会无限嵌套下去
struct A
{
int a;
struct A *a1;
};
现在就合法了,因为下面是一个指针变量,指针变量的大小是确定的!
结构体初始化
类似于数组
结构体作为函数参数
与普通变量无异
复杂结构体
也就是从外面往里面一层一层的剥(一层一层’.'出来就ok)
内存对齐
1.假如没有嵌套结构体,那么结构体对齐的准则就是对齐sizeof(类型)最大的那一个类型。
2.逐字节挨着放,然后对齐
3.如果有结构体嵌套对齐,则还是选择最大的sizeof()来对齐
typedef和struct区别
typedef 的作用是给数据类型起一个新的名字。
例如:
typedef unsigned long long int ull_int,以后需要声明 unsigned long long int 时,可以直接用 ull_int 声明
typedef struct{
char name;
int age;
}STUDENT;
STUDENT现在是一个数据类型的名字。以后声明可以直接写为 STUDENT x;
typedef struct NODE{
int data;
struct NODE* next;
}node;
这是创建链表节点的一种常见写法,可以分为两步:
第一步
struct NODE{
int data;
struct NODE* next;
};
创建了一个叫NODE的结构类型,
第二步 typedef NODE node;
把 NODE 这种数据类型命名为 node
联合
#include <iostream>
using namespace std;
union
{
double f;
int i;
}x;
int main()
{
x.f =1.1;
x.i =2;
cout<<"f="<<x.f<<endl<<"i="<<x.i<<endl;
cout<<"sizeof(x)="<<sizeof(x);
}
他们使用的是同一片空间,空间的大小是最大的那个类型的大小。
联合的初始化
#include <iostream>
using namespace std;
union
{
int a[10];
double f;
int i;
}x={2.2,1,4,5};
int main()
{
cout<<"a[0]="<<x.a [0]<<endl;
cout<<"a[1]="<<x.a [1]<<endl;
cout<<"a[2]="<<x.a [2]<<endl;
cout<<"a[3]="<<x.a [3]<<endl;
cout<<"f="<<x.f<<endl<<"i="<<x.i<<endl;
}
得出结论
1.从上到下依次赋值,没有赋值的是随机值
2.赋值类型不匹配时会发生隐式类型转化,以联合体中成员类型为主