在进行网络编程时,可能需要直接操作原始的IP数据报,例如编写网络嗅探器。此时要定义一个表示IP数据报首部的结构体来获取首部中的各个信息,问题也随之而来:平时我们使用的数据都是BYTE、WORD或者DWORD,但IP数据报首部的有些字段并不按照字节、字或双字对齐,字段的长度也不是一字节、两字节或四字节,这种不一致的现象使得结构体的定义很有难度。我见过几种IP数据报首部结构体的定义,虽然方法各异,但都是大量使用union,将几个字段塞进一个BYTE或WORD中,在代码中还要通过移位、按位与等操作获取实际的字段。其实,只要理解数据在内存中是如何摆放的,以及利用好结构体定义的特性,可以最大限度地使结构体的字段直接对应首部中的字段,避免在代码中使用大量的位操作。
位域
在使用C/C++编程时我们都会大量定义和使用结构体,但可能有不少人还不知道定义结构体时可以使用“位域”这个特性。位域是指不需要占据整个字段长度,而只需要占据一个或多个位的字段。定义方法如下所示:
2 BYTE Low : 4 ;
3 BYTE High : 4 ;
4 };
上面的代码定义了一个名为Byte的结构体,它有两个字段Low和High,这两个字段的类型都是BYTE,而且都指定了只占用四个位,所以它们共用一个BYTE的空间。又因为Low定义在High之前,所以Low使用这个BYTE的低四位,High使用高四位。
位域的类型除了BYTE之外,还可以使用WORD和DWORD。要注意的是,在使用位域时,对于那些希望共用同一个BYTE、WORD或DWORD的字段,要始终使用相同的类型来定义,只有当BYTE、WORD或DWORD的位分配完毕时,才使用另一种类型。例如,不要出现下面的定义:
2 WORD Field1 : 8 ;
3 BYTE Field2 : 8 ;
4 };
5
6 struct BitFields {
7 BYTE Field1 : 3 ;
8 WORD Field2 : 5 ;
9 };
上面的定义令人难以理解(至少我是根本无法理解),而且也不知道编译器会如何处理这些定义。所以,为了程序的可理解性和正确性,应该中规中矩地使用位域:
2 BYTE Field1 : 5 ;
3 BYTE Field2 : 3 ;
4 WORD Field3 : 7 ;
5 WORD Field4 : 3 ;
6 WORD Field5 : 6 ;
7 };
有了位域,在访问这些字段时,编译器会自动进行位操作,还会自动进行截断,所以在代码中再也不需操心这些繁琐的操作了。
位序
字节序对大家来说都不会陌生,它表示字节在内存中的存放顺序。而位序与字节序的意义相近,它表示的是字节内每个位的存放顺序,也有大端和小端格式。我们通常只在字节级别上访问数据,几乎不会在位级别上访问数据,所以忽略了位序这个问题。现在我们用到了位域,已经深入到了位级别,因此很有必要了解一下Intel处理器的位序。遗憾的是,我没找到任何资料解析Intel处理器使用哪种位序,因此只能靠自己动手进行实验。
实验很简单,下面是实验的代码:
2
3 struct Byte {
4 BYTE Zero : 1 ;
5 BYTE One : 1 ;
6 BYTE Two : 1 ;
7 BYTE Three : 1 ;
8 BYTE Four : 1 ;
9 BYTE Five : 1 ;
10 BYTE Six : 1 ;
11 BYTE Seven : 1 ;
12 };
13
14 Byte b = { 0 };
15 b.Zero = 1 ;
16 b.Five = 1 ;
17 }
该代码将一个字节的第0位和第5位设置为1,其它位都是0。由于Visual Studio不能以二进制方式查看数据,因此我使用WinDbg进行查看:
左上角第一个字节就是变量b的数据,可以看到第0位和第5位已经设置为1。更重要的是,看到了位序是大端格式,即低地址存放高位,高地址存放低位。
了解了位域和位序之后,下面就开始定义IP数据报的首部了。
IP数据报首部的定义
首先来看一下IP数据报首部的格式:
对于那些占据整个BYTE、WORD或DWORD的字段,可以直接按照它们的先后顺序来定义而不会出现任何问题,而其它“不规则”的字段则需要进行特殊的设计。“不规则”的字段包括:版本、首部长度、片偏移以及三个标识位。
首先来看一下版本和首部长度,它们都是四字节长度,一开始我们会很自然地按照它们的先后顺序来定义:
2 BYTE Version : 4 ;
3 BYTE HeaderLength : 4 ;
4 };
然而这样是错误的,你使用Version字段得到的是首部长度,使用HeaderLength得到的是版本,两者调转过来了!之所以会出现这样的错误,恰恰是位序的问题。上文说过,Intel处理器使用的是大端格式的位序,所以IPHeader结构的第一个字节是这样的:
由于Version定义在前,所以Version使用0~3位,HeaderLength使用4~7位。很明显,这跟IP数据报首部的格式正好相反。所以,正确的定义应该是:
2 BYTE HeaderLength : 4 ;
3 BYTE Version : 4 ;
4 };
接下来的区分服务、总长度和标识都占据了整个BYTE和WORD的长度,所以按顺序定义它们就行了:
2 BYTE HeaderLength : 4 ;
3 BYTE Version : 4 ;
4 BYTE DS;
5 WORD TotalLength;
6 WORD ID;
7 };
接下来的三个标识位和片偏移则有点复杂。首先来看一下一个WORD中的位是如何放置的(注意是小端字节序):
对照IP数据报首部的格式图,可以看到三个标识位分别占用了WORD的7、6和5位,剩下的位都是片偏移的。虽然从图中看上去片偏移的位都连接在一起,可是如果以位编号的顺序来看的话,片偏移实际上被标识位分割成了两部分,分别在两个BYTE中:第一部分是0~4位,第二部分是8~F位。所以,无论如何也不能仅仅使用位域把这两部分组合在一起,必须在代码中使用位操作来组合。这确实是一个遗憾。
将这两部分组合起来有多种方法,我使用的方法是:将这个WORD分成两个BYTE,第一个BYTE 的最后三个位作为标致位,前面5个位作为片偏移的第一部分,第二个BYTE全部作为片偏移的第二部分,如下所示:
2 BYTE HeaderLength : 4 ;
3 BYTE Version : 4 ;
4 BYTE DS ;
5 WORD TotalLength;
6 WORD ID;
7 BYTE FragmentOffset0 : 5 ;
8 BYTE MF : 1 ;
9 BYTE DF : 1 ;
10 BYTE Reserved : 1 ;
11 BYTE FragmentOffset1;
12 };
注意第一个BYTE中的字段都按反顺序来定义,这也是位序的缘故,就不再解释了。为了得到完整的片偏移,要将第一部分左移8位,再加上第二部分:
好了,IP数据报首部中比较难搞的字段都已经解决了,剩下的都很容易解决,下面是完整的定义:
2 BYTE HeaderLength : 4 ; // 首部长度
3 BYTE Version : 4 ; // 版本
4 BYTE DS; // 区分服务
5 WORD TotalLength; // 总长度
6 WORD ID; // 标识
7 BYTE FragmentOffset0 : 5 ; // 片偏移
8 BYTE MF : 1 ; // MF标识
9 BYTE DF : 1 ; // DF标识
10 BYTE Reserved : 1 ; // 保留标识
11 BYTE FragmentOffset1; // 片偏移
12 BYTE TTL; // 生存时间
13 BYTE Protocol; // 协议
14 WORD Checksum; // 检验和
15 DWORD SourceAddress; // 源地址
16 DWORD DestinationAddress; // 目的地址
17 };
TCP报文段首部的定义
既然说到了IP数据报首部,就不得不说一下TCP报文段的首部。下面是TCP报文段的首部格式:
上图中比较复杂的是数据偏移、保留字段以及一些标致位,不过有了上文的讲解,相信这不再是问题。下面直接给出完整的定义,不再详细解释了:
2 WORD SourcePort; // 源端口
3 WORD DestinationPort; // 目的端口
4 DWORD SequenceNumber; // 序号
5 DWORD AcknowledgmentNumber; // 确认号
6 BYTE Reserved0 : 4 ; // 保留字段第一部分
7 BYTE DataOffset : 4 ; // 数据偏移
8 BYTE FIN : 1 ; // FIN标识
9 BYTE SYN : 1 ; // SYN标识
10 BYTE RST : 1 ; // RST标识
11 BYTE PSH : 1 ; // PSH标识
12 BYTE ACK : 1 ; // ACK标识
13 BYTE URG : 1 ; // URG标识
14 BYTE Reserved1 : 2 ; // 保留字段第二部分
15 WORD Window; // 窗口
16 WORD Checksum; // 检验和
17 WORD UrgentPointer; // 紧急指针
18 };
UDP报文段首部的定义
为了本文的完整性,这里也给出UDP报文段首部的格式以及定义。
2 WORD SourcePort; // 源端口
3 WORD DestinationPort; // 目的端口
4 WORD Length; // 长度
5 WORD Checksum; // 检验和
6 };