感谢各位看帖，回帖的朋友。在看雪各位朋友的帮助下，我想找到了我想要的答案，在此分享下^_^（如有谬误，欢迎指正）

求助贴参见：http://bbs.pediy.com/showthread.php?t=132101

首先根据两个事实：
1.一些PE文件节区的VirtualSize比SizeOfRawData大，一些PE文件节区的VirtualSize比SizeOfRawData小。
2.一些PE文件节区的VirtualSize并不是SectionAlignment的整数倍，很多VirtualSize甚至为奇数。
3.我将PE文件的CODE节区的SizeOfRawData增加了一个字节（变为奇数），不影响PE文件执行。

得出推论：
1.VirtualSize不是数据装入内存后按内存对齐粒度对齐后占用空间大小，也不一定要按照SectionAlignment对齐（依据事实2）
2.VirtualSize也不是节区内数据的实际大小（依据事实1）
3.SizeOfRawData也并不一定要按照FileAlignment对齐。

根据QEver朋友推荐kenmark大牛的帖子：PE文件内名存实亡的对齐（地址：http://bbs.pediy.com/showthread.php?t=46849）结合上述推论得出以下猜测：

PE文件中的对齐“名存实亡”。
1.kenmark根据实验得出：SizeOfRawData不一定要按照FileAlignment对齐，但是FileAlignment必须是2的整数次幂。
2.根据上述推论，VirtualSize也不一定要按照SectionAlignment对齐。

据此，得出个人观点：
VirtualSize和SizeOfRawData分别应该按照SectionAlignment和FileAlignment对齐仅仅是PE装在器的推荐做法，当PE文件并没有这样对齐时PE装载器仍然会“智能”的进行装载操作，以便运行程序。

那么，PE装载器在将节区载入内存时是如何操作的呢？以下仅为我根据以上推论又进行了一些实验（实验环境：Windows 7,工具：C32ASM+PEID）：
1.我将PE文件的CODE节区表中的SizeOfRawData的字段值逐渐增加，直到增加到0x0FFFFF，PE文件仍然可以正常执行，且内存占用无变化。
2.我将PE文件的CODE节区表中的SizeOfRawData的字段组建减少，当减少到某个字节后就无法执行。
3.我将PE文件的CODE节区表中的VirtualSize进行大小调整发行规律：只要VirtualSize按SectionAlignment对齐后+RVA=下一个节区RVA，就能正常执行否则无法执行。

根据实验和上述一些推论做如下猜测：
PE装载器首先申请一片内存空间，内存大小为节区VirtualSize按SectionAlignment对齐后的大小，然后判断SizeOfRawData是否大于已经申请的内存空间，如果SizeOfRawData大于申请的内存空间，则从PE文件节区的PointToRawData开始读取数据，当申请的内存空间存满即止。如果SizeOfRawData小于申请的内存空间则从PE文件节区的PointToRawData开始读取长度为SizeOfRawData的数据填入申请的内存空间，并将剩余空间用0填充。

以上观点如有谬误欢迎指正。

再次感谢QEver，zapline等朋友的帮助……

[招生]科锐逆向工程师培训(2024年11月15日实地，远程教学同时开班, 第51期)