C语言地址对齐(转)--网络编程之结构体大小的计算
现代计算机中内存空间都是按照字节(byte)划分的,从理论上讲似乎对任何类型的变量的访问可以从任何地址开始,但实际情况是在访问特定变量的时候经常在特定的内存地址访问,这就需要各类型数据按照一定的规则在空间上排列,而不是顺序的一个接一个的排列,这就是对齐。
为什么要地址对齐?
对
齐的作用和原因:各个硬件平台对存储空间的处理上有很大的不同。一些平台对某些特定的类型的数据只能从某些特定的地址开始存取。其它平台可能没有这些限
制,但是最常见是的如果不按照适合其平台的要求对数据存储进行对齐,会在存取效率上带来损失。比如有些平台每次读都是从偶数地址开始,如果一个 int
型(假设是 32 位)如果存放在偶数地址开始的地方,那么一个时钟周期就可以读出。而如果是存放在一个奇数地址开始的地方,就可能会需要 2
个时钟周期,并对两次读出的结果的高低字节进行拼凑才能得到该 int 型数据。显然在读取效率上下降很多。这也是空间和时间的博弈。
对齐的实现
通常,我们写程序的时候,不需要考虑对齐的问题。编译器会替我们选择适合目标平台的对齐策略。当然,我们也可以通知给编译器传递预编译指令而改变指定数据的对齐方式。
但是,正因为我们一般不需要关心这个问题,又因为编译器对数据做了对齐处理。但我们不了解的话,常常会对一些问题感到迷惑。最常见的就是结构体(struct)的 sizeof() 结果,出乎意料。为此,我们需要对对齐算法有所了解。
对齐算法
由于各个平台和编译器的不同,现以本人使用的 gcc version 3.2.2 编译器(32 位 x86 平台)为例子,来讨论编译器对 struct 的各个成员如何进行对齐的。
假设结构体定义如下:
{
int a;
char b;
short c;
};
结
构体中包含了长度为 4 字节的 int 型变量一个,长度为 1 字节的 char 型变量一个,长度为 2 字节的 short 型变量一个。所以
struct A 的长度应该是 4 + 1 + 2 = 7,但是因为编译器要对成员在空间上进行对齐,所以使用 sizeof(A) 值为 8。
现在我们把结构体的成员顺序调整一下:
{
char b;
int a;
short c;
};
调整后的 struct A 的长度应该还是 7,但是 sizeof(A) 的值却是 12。
下面我们使用下面的预编译指令来告诉编译器,使用我们指定的对齐值 2 来取代默认值。
struct A
{
char b;
int a;
short c;
};
#pragma pack() /* 取消指定对齐值,使用默认值。 */
这时的 sizeof(A) 值为 8。
修改对齐值为 1:
struct A
{
char b;
int a;
short c;
};
#pragma pack() /* 取消指定对齐值,使用默认值。 */
sizeof(A) 值为 7。
下面我们就来详解这些都是为什么?
先了解四个概念:
基本数据类型自身的对齐值:就是基本数据的长度,如 sizeof(char)、sizeof(int)、sizeof(short)。
指定的对齐值:使用 #pragma pack(value) 指令指定的值。
导出数据类型的自身对齐值:其成员中自身对齐值最大的那个值。
导出数据类型的有效对齐值:其自身对齐值和指定对齐值是较小的。
有
了这些值,我们就可以很方便的来讨论具体数据结构的成员和其自身的对齐方式。有效对齐值N是最终用来决定数据存放地址方式的值,最重要。有效对齐N,就是
表示“对齐在N上”,也就是说该数据的”存放起始地址%N=0″.而数据结构中的数据变量都是按定义的先后顺序来排放的。第一个数据变量的起始地址就是数
据结构的起始地址。结构体的成员变量要对齐排放,结构体本身也要根据自身的有效对齐值圆整(就是结构体成员变量占用总长度需要是对结构体有效对齐值的整数
倍,结合下面例子理解)。这样就不难理解上面的几个例子的值了。
分析例子B:
{
char b;
int a;
short c;
};
假
设B从地址空间0×0000开始排放。该例子中没有定义指定对齐值,在笔者环境下,该值默认为4。第一个成员变量b的自身对齐值是1,比指定或者默认指定
对齐值4小,所以其有效对齐值为1,所以其存放地址0×0000符合0×0000%1=0.第二个成员变量a,其自身对齐值为4,所以有效对齐值也为4,
所以只能存放在起始地址为0×0004到0×0007这四个连续的字节空间中,复核0×0004%4=0,且紧靠第一个变量。第三个变量c,自身对齐值为
2,所以有效对齐值也是2,可以存放在0×0008到0×0009这两个字节空间中,符合0×0008%2=0。所以从0×0000到0×0009存放的
都是B内容。再看数据结构B的自身对齐值为其变量中最大对齐值(这里是b)所以就是4,所以结构体的有效对齐值也是4。根据结构体圆整的要
求,0×0009到0×0000=10字节,(10+2)%4=0。所以0x0000A到0x000B也为结构体B所占用。故B从0×0000到
0x000B共有12个字节,sizeof(struct B)=12;
同理,分析上面例子C:
struct C
{
char b;
int a;
short c;
};
#pragma pack() /*取消指定对齐,恢复缺省对齐*/
第
一个变量b的自身对齐值为1,指定对齐值为2,所以,其有效对齐值为1,假设C从0×0000开始,那么b存放在0×0000,符合
0×0000%1=0;第二个变量,自身对齐值为4,指定对齐值为2,所以有效对齐值为2,所以顺序存放在0×0002、0×0003、0×0004、
0×0005四个连续字节中,符合0×0002%2=0。第三个变量c的自身对齐值为2,所以有效对齐值为2,顺序存放在0×0006、0×0007中,
符合0×0006%2=0。所以从0×0000到0×00007共八字节存放的是C的变量。又C的自身对齐值为4,所以C的有效对齐值为2。又
8%2=0,C只占用0×0000到0×0007的八个字节。所以sizeof(struct C)=8.
有
了以上的解释,相信你对C语言的字节对齐概念应该有了清楚的认识了吧。在网络程序中,掌握这个概念可是很重要的喔,在不同平台之间(比如在Windows
和Linux之间)传递2进制流(比如结构体),那么在这两个平台间必须要定义相同的对齐方式,不然莫名其妙的出了一些错,可是很难排查的哦^_^。
From: http://blog.ednchina.com/lionoftomorrow/82066/message.aspx
# pragma pack () /*按一个字节进行对齐处理,实际即为禁止对齐优化*/
struct S {
char c;
int i;
};
struct X {
...
};
#pragma pack() /* 结束按1个字节对齐处理,即允许进行对齐*/
从方式1可以看出,将所有不需要进行对齐处理的结构体定义限定在#pragma pack(1)和#pragma pack()之间就可以保证GCC编译器不对这些结构体的大小进行优化对齐处理。
方式二:
struct S{
char c;
int i;
}__attribute__((packed));
从方式二可以看出,通过GCC的__attribute__扩展机制告诉编译器取消特定结构体在编译过程中的优化对齐,可以对单独某个结构体进行对齐方式的限制。
C语言地址对齐(转)--网络编程之结构体大小的计算的更多相关文章
- struct结构体大小的计算(内存对齐)
本次实验环境 环境1:Win10, QT 5.12 一. 背景 当普通的类型无法满足我们的需求的时候,就需要用到结构体了.结构体可衍生出结构体数组,结构体还可以嵌套结构体,这下子数据类型就丰富多彩了, ...
- 关于C语言中结构体大小计算
结构体大小的计算,.网上说法一大堆还都不一样分什么对齐不对齐,偏移量什么的.. 在此稍微举例简单总结下: 对齐原则:每一成员的结束偏移量需对齐为后一成员类型的倍数 补齐原则:最终大小补齐为成员中最大 ...
- C++字节对齐与结构体大小计算
转载注明出处:http://pppboy.blog.163.com/blog/static/30203796201082494026399/ 感谢原创博主的辛勤成果. 说明: 结构体的sizeof值, ...
- Windows下struct和union字节对齐设置以及大小的确定(一 简介和结构体大小的确定)
在windows下设置字节对齐大小的方式,目前我了解有三种: 1. 在编译程序时候的编译选项 /Zp[n],如 cl /Zp4 表示对齐大小是4字节: 2. 预处理命令 #pragma pack ...
- go语言之进阶篇网络编程
一.网络编程 1.网络分层架构 2.每层协议的功能 3.网络通信条件 网卡,mac地址(不需要用户处理) arp --->通过IP找mac 逻辑地址,ip地址(需要用户指定) ---> ...
- C语言中结构体大小计算
1.普通结构体 struct student { char sex; char a; char b; int age; char name[100]; }; 该结构体大小为108 解答:1.先算str ...
- C#网络编程简单实现通信小例子-2
1.主界面 2.源代码 Client public partial class For ...
- C#网络编程简单实现通信小例子-1
1.主界面 2.源程序 Send public partial class formUdpSend : Form { //声明一个UdpClient对象 UdpClient udpClient; pu ...
- C语言字节对齐问题详解(对齐、字节序、网络序等)
首先说明一下,本文是转载自: http://www.cnblogs.com/clover-toeic/p/3853132.html 博客园用的少,不知道怎么发布转载文章,只能暂时这样了. 引言 考虑下 ...
随机推荐
- BZOJ4892 Tjoi2017dna(后缀数组)
对每个子串暴力匹配至失配三次即可.可以用SA查lcp.然而在bzoj上被卡常了.当然也可以二分+哈希或者SAM甚至FFT. #include<iostream> #include<c ...
- 【BZOJ3244】【NOI2013】树的计数(神仙题)
[BZOJ3244][NOI2013]树的计数(神仙题) 题面 BZOJ 这题有点假,\(bzoj\)上如果要交的话请输出\(ans-0.001,ans,ans+0.001\) 题解 数的形态和编号没 ...
- linux下shell显示-bash-3.2$ 不显示路径解决方法
linux操作下脚本不小心误删了很多东西,变成了下面的样子 在linux shell中不显示路径了,用起来很不方便. 如何改为显示路径的shell呢 步骤如下: vi ~/.bash_profi ...
- poj 2176 folding
Description: 就是把一个字符串压尽可能的压缩 #include<iostream> #include<cstring> #include<cstdio&g ...
- dorado重置按钮事件
// @Bind #btnReset.onClick!function(self, arg) { var subNo = view.get("#dsQueryCriteria"). ...
- JSP2 的自定义标签
在 JSP 中开发标签库只需如下几个步骤 1.开发自定义标签处理类 2.建立一个 *.tld 文件,每个 *.tld 文件对应一个标签库,每个标签库可包含多个标签 3.在 JSP 文件中使用自定义标签 ...
- UVA - 1262 数学
UVA - 1262 题意: 有两个6*5 的大写字母组成的矩阵,需要找出满足条件的字典序第k小的密码:密码中每个字母在两个矩阵的对应的同一列中都出现过 代码: // 先处理出来每一列可以取的字母,例 ...
- POJ 3171 DP
Cleaning Shifts Time Limit: 1000MS Memory Limit: 65536K Total Submissions: 3563 Accepted: 1205 D ...
- CS48 D BIT
统计一个点对应的和它严格右下方的点,点对数量.由于数据规模很大,不能直接上二维的前缀和,先排一维序,然后用BIT维护前缀和即可. /** @Date : 2017-09-14 20:17:30 * @ ...
- 软件测试(三)—— 参数化测试用例(Nextday.java)
import static org.junit.Assert.*; import java.lang.reflect.Array; import java.util.Arrays; import ja ...