汇编中Code段与Data段是否应重叠？空数据段下CS与DS为何同值？

这个现象是完全正常的，核心原因在于你使用的是.model small内存模型，以下是具体说明：

1. Small模型的本质设计 #

在DOS平台的MASM/TASM汇编环境中，.model small是专为小型程序设计的单段内存模型：

• 程序的所有代码（Code段）、数据（Data/BSS段）会被合并到同一个64KB的逻辑段中，CS（代码段寄存器）和DS（数据段寄存器）默认共享同一个段基址。
• .startup伪指令的初始化逻辑就是将DS设置为CS的值，这是汇编器针对Small模型的标准行为，目的是减少段切换开销，充分利用64KB的段空间。

2. 你观察到的两种场景解释 #

• 当.data段声明变量时：汇编器会把数据存放在该逻辑段的低地址区域，代码段紧随数据区之后分配空间。你看到的“Code段被推至内存下方”，本质是同一段内的地址分区，并非真正的地址重叠，只是数据和代码共用同一个逻辑段的不同偏移范围。
• 当.data段无变量时：数据区没有占用空间，CS和DS的段基址完全一致，此时通过[SI]这类偏移寻址访问的空间，自然就是代码段的地址范围。

3. 注意事项与建议 #

• 这种单段设计下，若错误地向代码段偏移地址写入数据，会破坏程序指令，导致执行异常。建议尽量使用.data段定义的变量名访问数据，避免直接使用寄存器偏移的裸寻址。
• 若需要代码段与数据段完全分离，可以改用.model medium等多段内存模型，但对于入门级DOS程序，Small模型的内存利用率更高，足够满足需求。
• 补充纠正：Small模型中Stack段是独立的逻辑段（你设置的.stack 0100h指定了256字节的栈空间），它不会与Data/Code段共享内存，你之前关于栈段和数据段共享空间的记忆有误。

内容的提问来源于stack exchange，提问作者Cynical