首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >专栏 >【C语言】结构体

【C语言】结构体

作者头像
zxctscl
发布2024-01-23 08:29:20
发布2024-01-23 08:29:20
48000
代码可运行
举报
文章被收录于专栏:zxctscl个人专栏zxctscl个人专栏
运行总次数:0
代码可运行

1. 前言

在C语言中,有两种类型,一种是内置类型,可以直接使用,包括char short int long long long float double;一种是自定义类型,当内置类型不能满足时,支持自定义一些类型,像结构体、枚举、联合体。 这次先来看看结构体。

2. 结构体类型的声明

2.1 结构体的概念

结构体是⼀些值的集合,这些值称为成员变量。结构体里面每个成员可以是不同类型的变量。

2.2 结构的创建

代码语言:javascript
代码运行次数:0
运行
复制
struct tag
{
 member-list;
}variable-list;

这里的tag可以换成自己指定的名字,member-list可以换成多个成员变量,注意大括号外面必须有分号。

举个例子:描述一个学生

代码语言:javascript
代码运行次数:0
运行
复制
struct Stu
{
 char name[20];//名字
 int age;//年龄
 char sex[5];//性别
 float score;//成绩
 }; //分号不能丢

定义结构体变量:

  1. 全局变量
代码语言:javascript
代码运行次数:0
运行
复制
struct Student
{
	char name[20];
	int age;
	char sex[5];
	float score;
} s1, s2, s3;//s1, s2, s3 是三个结构体变量 - 全局变量
  1. 局部变量
代码语言:javascript
代码运行次数:0
运行
复制
struct Student
{
	char name[20];
	int age;
	char sex[5];
	float score;
};
int main()
{
    struct Student s1, s2, s3;//局部变量
    return 0;
}

2.3 特殊的声明

在声明结构的时候,可以不完全的声明。 比如:

代码语言:javascript
代码运行次数:0
运行
复制
struct 
{
	char name[20];
	int age;
	char sex[5];
	float score;
};

这种叫匿名结构体。 当我们想使用指针来给有相同成员变量的匿名结构体,赋值时,发现会失败。

代码语言:javascript
代码运行次数:0
运行
复制
struct
{
	char name[20];
	char author[12];
	float price;
}b={0};

struct
{
	char name[20];
	char author[12];
	float price;
}* p;

int main()
{
	p = &b;//不建议这样写
	
	return 0;
}

在编译器来看它们是不相同的指针类型。

注意:

  1. 编译器会把上面的两个声明当成完全不同的两个类型,所以是非法的。
  2. 匿名的结构体类型,如果没有对结构体类型重命名的话,基本上只能使用一次。

2.4 结构的自引用

在结构中包含⼀个类型为该结构本⾝的成员是否可以呢? 比如,定义⼀个链表的节点:

代码语言:javascript
代码运行次数:0
运行
复制
struct Node
{
	int data;//数据
	struct Node next;//下一个节点
};
int main()
{
	struct Node n;
	return 0;
}

那么这里的n占多少个字节? 这里一个结构体里面有int占4个字节,struct Node next存放下一个节点,里面有int占4个字节,一直重复,就不能算出。 就比如在一个房子子里放同样大小的房子,是放不进去的。

但是使用结构体指针就可以解决这个问题。

代码语言:javascript
代码运行次数:0
运行
复制
typedef struct Node
{
 int data;
 struct Node* next;
}Node;

在结构体自引用使用的过程中,夹杂typedef对匿名结构体类型重命名,也容易引入问题,看看下面的代码,可行吗?

代码语言:javascript
代码运行次数:0
运行
复制
typedef struct
{
 int data;
 Node* next;
}Node;

答案是不行的,因为Node是对前面的匿名结构体类型的重命名产生的,但是在匿名结构体内部提前使用Node类型来创建成员变量,这是不行的。 所以定义结构体不要使用匿名结构体了。

3. 结构成员访问操作符

结构成员访问操作符有两个⼀个是 . ,⼀个是 -> . 形式如下:

  1. 结构体变量.成员变量名
  2. 结构体指针—>成员变量名 举个例子:
代码语言:javascript
代码运行次数:0
运行
复制
#include <stdio.h>
#include <string.h>
struct Stu
{
 char name[15];//名字
 int age; //年龄
};
void print_stu(struct Stu s)
{
 printf("%s %d\n", s.name, s.age);
}
void set_stu(struct Stu* ps)
{
 strcpy(ps->name, "李四");
 ps->age = 28;
}
int main()
{
 struct Stu s = { "张三", 20 };
 print_stu(s);
 set_stu(&s);
 print_stu(s);
 return 0;
}

4. 结构体内存对齐

怎么计算结构体的大小呢? 这里需要先了解结构体内存对齐

4.1 对齐规则

首先得掌握结构体的对齐规则:

  1. 结构体的第⼀个成员对齐到相对结构体变量起始位置偏移量为0的地址处
  2. 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。 对齐数 = 编译器默认的⼀个对齐数与该成员变量大小的较小值VS中默认的值为8Linux中没有默认对齐数,对齐数就是成员自身的大小
  3. 结构体总大小为最大对齐数(结构体中每个成员变量都有一个对齐数,所有对齐数中最大的)的整数倍。
  4. 如果嵌套了结构体的情况,嵌套的结构体成员对齐到自己的成员中最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体中成员的对齐数)的整数倍。 来看看这个例子:
代码语言:javascript
代码运行次数:0
运行
复制
struct S1
{
	char c1;
	char c2;
	int a;
};

struct S2
{
	char c1;
	int a;
	char c2;
};


int main()
{
	struct S2 s2 = { 'a', 100, 'b'};
	printf("%zd\n", sizeof(s2));

	struct S1 s1 = { 'a', 'b', 100 };
	printf("%zd\n", sizeof(s1));
	return 0;
}

这两个结构体里面的成员变量明明都一样,为什么它们结构体大小确不相同呢? 对于s1而言:char c1,占一个字节,而VS中默认的值为8,1小,所以选择1,而结构体的第⼀个成员对齐到相对结构体变量起始位置偏移量为0的地址处。所以c1就占了0。 char c2,占一个字节,而VS中默认的值为8,1小,所以选择1;因为其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。这里1刚好就是1的整数倍。 int a,占4个字节,而VS中默认的值为8,4小,所以选择4;因为其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处,4的整数倍就是4,然后从4开始占4个内存空间。 总的用了8个地址空间

最后最后因为结构体总大小为最大对齐数(结构体中每个成员变量都有一个对齐数,所有对齐数中最大的)的整数倍,这里最大的为4,所以就是8

对于s2而言: char c1和s1中的一样。 int a,占4个字节,而VS中默认的值为8,4小,所以选择4;4的整数倍就是4,然后从4开始占4个内存空间。 char c2,占一个字节,而VS中默认的值为8,1小,所以选择1;这里8刚好就是1的整数倍。 总的共用了9个 最后因为结构体总大小为最大对齐数(结构体中每个成员变量都有一个对齐数,所有对齐数中最大的)的整数倍,这里最大的为4,所以最后结构体的大小就是12

对于嵌套

代码语言:javascript
代码运行次数:0
运行
复制
struct S3
{
    double d;
    char c;
    int i;
};

struct S4
{
    char c1;
    struct S3 s3;
    double d;
};

int main()
{
    printf("%zd\n", sizeof(struct S3));
    printf("%zd\n", sizeof(struct S4));
	return 0;
}

对于s3而言:很简单,像上面两个那种就行。

但对于s4而言:它嵌套了s3,它有一个规定 :如果嵌套了结构体的情况,嵌套的结构体成员对齐到自己的成员中最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体中成员的对齐数)的整数倍。所以这里的s3就从8开始,然后占16个地址空间,到23, double d,占8个字节,而VS中默认的值为8,所以选择4,就从24开始。 一共32,恰好是8的倍数。所以最后结果就是32。

4.2 为什么存在内存对齐?

大部分的参考资料都是这样说的: 1. 平台原因(移植原因): 不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。 2. 性能原因: 数据结构(尤其是栈)应该尽可能地在自然然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。假设一个处理器总是从内存中取8个字节,则地址必须是8的倍数。如果我们能保证将所有的double类型的数据的地址都对齐成8的倍数,那么就可以用一个内存操作来读或者写值了。否则,我们可能需要执行两次内存访问,因为对象可能被分放在两个8字节内存块中。 总体来说:结构体的内存对齐是拿空间来换取时间的做法。

这里如果不存在内存对齐,当在内存中拿数据时,如果一次性取的是4个字节,在第一个图中那么就要读两次。 当浪费了一些空间,对齐时,一次读4个字节时,对a的读取,一次就可以了。

4.3 修改默认对齐数

#pragma 这个预处理指令,可以改变编译器的默认对齐数。 #pragma pack()取消设置的默认对齐数,还原为默认。 举个例子:

代码语言:javascript
代码运行次数:0
运行
复制
#include <stdio.h>

#pragma pack(1)//设置默认对齐数为1
struct S
{
    char c1;
    int i;
    char c2;
};
#pragma pack()//取消设置的默认对⻬数,还原为默认
int main()
{
    printf("%zd\n", sizeof(struct S));
    return 0;

5. 结构体传参

结构体传参的时候,要传结构体的地址。 因为:

  1. 函数传参的时候,参数是需要压栈,会有时间和空间上的系统开销。
  2. 如果传递一个结构体对象的时候,结构体过⼤,参数压栈的的系统开销比较大,所以会导致性能的下降。 看一个示例:
代码语言:javascript
代码运行次数:0
运行
复制
struct S
{
    int data[1000];
    int num;
};

void print1(struct S t)
{
    int i = 0;
    for (i = 0; i < 10; i++)
    {
        printf("%d ", t.data[i]);
    }
    printf("\n");
    printf("num = %d\n", t.num);
}

void print2(const struct S* ps)
{
    int i = 0;
    for (i = 0; i < 10; i++)
    {
        printf("%d ", ps->data[i]);
    }
    printf("\n");
    printf("num = %d\n", ps->num);
}

int main()
{
    struct S s = { {1,2,3,4}, 1000 };

    print1(s);//传递结构体变量 - 传值调用
    print2(&s);//传递结构体变量的地址 - 传址调用

    return 0;
}

这里⾸选print2函数。

6. 结构体实现位段

结构体讲完就得讲讲结构体实现 位段 的能力

6.1 什么是位段

位段的声明和结构是类似的,有两个不同:

  1. 位段的成员必须是 int、unsigned int 或signed int ,在C99中位段成员的类型也可以 选择其他类型。
  2. 位段的成员名后边有⼀个冒号和⼀个数字。 比如
代码语言:javascript
代码运行次数:0
运行
复制
struct A
{
 int _a:2;
 int _b:5;
 int _c:10;
 int _d:30;
};

举个例子:

代码语言:javascript
代码运行次数:0
运行
复制
struct A
{
    int _a : 2;//只占2个二进制位
    int _b : 5;//只占5个二进制位
    int _c : 10;//只占10个二进制位
    int _d : 30;//只占30个二进制位
};

struct B
{
    int _a;
    int _b;
    int _c;
    int _d;
};

int main()
{
    printf("%d\n", sizeof(struct A));
    printf("%d\n", sizeof(struct B));

	return 0;
}

那么A的大小是怎么计算的呢?

6.2 位段的内存分配

  1. 位段的成员可以是 int unsigned int signed int 或者是 char 等类型
  2. 位段的空间上是按照需要以4个字节( int )或者1个字节( char )的方式来开辟的。
  3. 位段涉及很多不确定因素,位段是不跨平台的,注重可移植的程序应该避免使用位段。
代码语言:javascript
代码运行次数:0
运行
复制
struct S
{
    char a : 3;
    char b : 4;
    char c : 5;
    char d : 4;
};

int main()
{
    struct S s = { 0 };
    s.a = 10;
    s.b = 12;
    s.c = 3;
    s.d = 4;

    printf("%d\n", sizeof(struct S));

    return 0;
}

当开辟了内存后,内存中的每个比特位从右向左使用。 在前面使用后,剩余的空间不足下一个成员使用的时候,剩余空间就不用了。 所以内存中应该是下面这样的存储。

发现果然是这样

6.3 位段的跨平台问题

  1. int 位段被当成有符号数还是无符号数是不确定的。
  2. 位段中最大位的数目不能确定。(16位机器最大16,32位机器最大32,写成27,在16位机器会出问题。
  3. 位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义。
  4. 当⼀个结构包含两个位段,第二个位段成员比较大,无法容纳于第一个位段剩余的位时,是舍弃剩余的位还是利用,这是不确定的。

总结:跟结构相比,位段可以达到同样的效果,并且可以很好的节省空间,但是有跨平台的问题存在。

6.4 位段的应用

下图是网络协议中,IP数据报的格式,我们可以看到其中很多的属性只需要几个bit位就能描述,这里使用位段,能够实现想要的效果,也节省了空间,这样网络传输的数据报大小也会较小一些,对网络的畅通是有帮助的。

6.5 位段使用的注意事项

位段的几个成员共有同⼀个字节,这样有些成员的起始位置并不是某个字节的起始位置,那么这些位置处是没有地址的。内存中每个字节分配⼀个地址,⼀个字节内部的bit位是没有地址的。 所以不能对位段的成员使用&操作符,这样就不能使用scanf直接给位段的成员输入值,只能是先输入放在⼀个变量中,然后赋值给位段的成员

有问题请指出,大家一起进步!

本文参与 腾讯云自媒体同步曝光计划,分享自作者个人站点/博客。
原始发表:2024-01-22,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 1. 前言
  • 2. 结构体类型的声明
    • 2.1 结构体的概念
    • 2.2 结构的创建
    • 2.3 特殊的声明
    • 2.4 结构的自引用
  • 3. 结构成员访问操作符
  • 4. 结构体内存对齐
    • 4.1 对齐规则
    • 4.2 为什么存在内存对齐?
    • 4.3 修改默认对齐数
  • 5. 结构体传参
  • 6. 结构体实现位段
    • 6.1 什么是位段
    • 6.2 位段的内存分配
    • 6.3 位段的跨平台问题
    • 6.4 位段的应用
    • 6.5 位段使用的注意事项
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档