C语言结构体内存对齐、位段与联合体详解

清欢

发布时间：2026-10-15| 6人浏览过

原创

本文详细解读C语言高级数据类型的使用。从结构体的内存对齐规则出发，分析其空间优化方法；探讨位段的特性与跨平台兼容性；最后结合代码实例，讲解联合体的内存共享机制及其在判断系统大小端字节序中的应用。

结构体与内存对齐

在计算结构体大小时，理解内存对齐（Memory Alignment）是核心关键。内存对齐主要基于两个原因：

平台原因：部分硬件平台只能从特定地址读取特定数据，否则触发硬件异常。
性能原因：访问对齐的内存通常只需一次处理器周期，而非对齐可能需要两次，这是以空间换取时间的策略。

第1步：了解内存对齐规则

C语言标准规定了以下四个默认对齐规则（以VS编译器为例）：

偏移量规则：结构体第一个成员位于偏移量为0的地址处。
成员对齐数：其他成员需对齐到某数字的整数倍地址。该数字为“成员自身大小”与“默认对齐数（通常为8）”的较小值。
总大小对齐：结构体总大小必须是其最大成员对齐数的整数倍。
嵌套结构体：若包含嵌套结构体，该嵌套结构体需对齐至其内部最大成员的整数倍处。整体结构体的大小仍须符合最大对齐数的倍数。

第2步：实践内存对齐示例

以下代码展示了不同顺序排列的成员对结构体大小的影响：

#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
int main()
{
	struct s1
	{
		char c1; // 1字节
		int i;   // 4字节
		char c2; // 1字节
	};
	printf("%d\n", sizeof(struct s1));
}

对于另一个例子，调整成员顺序：

#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
int main()
{
	struct s2
	{
        int i;  // 4字节
		char c1;// 1字节
		char c2;// 1字节
	};
	printf("%d\n", sizeof(struct s2));
}

第3步：处理嵌套结构体

嵌套时，内部结构体按其自身的最大对齐数对齐：

#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
struct s3
{
	double d; // 8字节
	char c;   // 1字节
	int i;    // 4字节
};
struct s4
{
	char c1;   // 1字节
	struct s3 s3_inst; // 注意：这里必须定义变量名
	double d;  // 8字节
};
int main()
{
	printf("%d\n", sizeof(struct s4));
	return 0;
}

结论：空间优化技巧

为了节省结构体占用的内存空间，建议将较小的成员变量集中声明在一起。

offsetof宏的使用

头文件 <stddef.h> 提供了 offsetof 宏，用于计算结构体成员相对于起始地址的字节偏移量。

#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
#include<stddef.h>
struct s1
{
	char c1;
	int i;
	char c2;
};
int main()
{
	printf("%u\n", offsetof(struct s1,c1));
	printf("%u\n", offsetof(struct s1, i));
	printf("%u\n", offsetof(struct s1, c2));
}

位段（Bit-fields）的特性

位段允许按指定的位数分配内存空间，主要用于节省空间。但因其底层实现具有不确定性，需遵循以下规范与注意事项：

第1步：定义与存储

位段成员类型必须为整型或枚举型。其后的冒号表示分配的比特位数：

#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
struct s5
{
	int _a : 2; 
	int _b : 5; 
	int _c : 10;
	int _d : 30;
};
int main()
{
	// 即使仅用47个bit，因int每次开辟4字节，结果仍为8字节
	printf("%d\n", sizeof(s5));
	return 0;
}

第2步：调试与观察存储变化

通过调试器可观察位段的实际存储行为：

第3步：评估跨平台兼容性

位段存在严重的跨平台问题：
1. 有符号位段的补零/补1规则不确定。
2. 最大位数的上限在不同架构下不同。
3. 内存分配方向（左至右或右至左）无标准规定。
4. 剩余位是舍弃还是重用视编译器而定。

建议： 涉及跨平台传输的代码应避免使用位段。

枚举类型的优势

枚举（Enum）用于定义一组命名常量，相比 #define 具有以下优点：

可读性高：语义清晰。
类型检查严谨：编译器会进行类型校验，防止赋值错误。
避免命名污染：枚举常量的作用域受限于枚举类型内。

#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
enum color
{
	blue=4,
	green=7,
	yellow // 自动赋值为 green+1 = 8
};
int main()
{
	printf("%d\n", blue);  // 输出 4
	printf("%d\n", green); // 输出 7
	printf("%d\n", yellow);// 输出 8
	return 0;
}

联合体（共用体）详解

联合体的所有成员共享同一块内存空间，其长度等于最长成员的长度。此外，联合体同样遵循内存对齐原则。

第1步：内存地址重叠验证

通过打印地址，可以直观看到各成员指向同一物理地址：

#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
union Un
{
	char c;
	int i;
};
int main()
{
	union Un u1;
	printf("%d\n", sizeof(u1));      // 4 (int的大小)
	printf("%p\n", &u1);
	printf("%p\n", &u1.c);
	printf("%p\n", &u1.i);
}

第2步：应用 - 判断大小端模式

利用联合体低地址存小数据的特性，可以轻松判断当前系统是大端还是小端存储：

#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
int chek_sys()
{
	union Un { char c; int i; }u;
	u.i = 1;
	return u.c; // 返回低字节的值。若为小端，最低字节是1；若为大端，最低字节是0。
}
int main()
{
	if (chek_sys() == 1)
	{
		printf("小端\n");
    }
	else
	{
		printf("大端\n");
	}
	return 0;
}

第3步：联合体的大小计算

联合体虽共享内存，但仍需满足自身最大成员的对齐要求：

#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
union Un
{
	char arr[5]; // 5字节
	int i;       // 4字节
};
int main()
{
	printf("%d\n", sizeof(union Un));
	return 0;
}