MASM：在 .data 声明中使用当前位置计数器 ($)

Question

我在 MASM 中遇到了有关当前位置计数器的问题。

这是我的汇编代码，我使用 Visual Studio 2013 Express 进行汇编

.386
.model flat,stdcall
.stack 8192
ExitProcess proto,dwExitCode:dword

.data
ptr1 DWORD $
ptr2 DWORD $
ptr5 DWORD $


.code
main proc
    mov eax, $
    mov eax, $
    invoke ExitProcess,0
main endp
end main

在我看来，我认为ptr1、ptr2和ptr5应该有自己的位置值。

但实际上并不正确。

在调试模式下，变量显示相同的结果。

ptr1、ptr2、ptr5 具有相同的地址并且它们之间没有偏移。

使用 $ 进行声明时有什么问题？

Answer 1

您的问题似乎是 MASM 中的一个错误（或者正如微软所说，一个“功能”）。问题不在于 DWORD 指令没有生成目标代码，或者它们没有推进汇编程序的位置计数器。如果前者为真，则它们根本不会出现在可执行文件中，如果后者为真，则它们都将具有相同的地址。

问题是 MASM$在数据定义中使用时，在某些上下文中错误地将当前段（在生成的对象文件中）的起始偏移量用于值而不是当前位置计数器。以下代码基于您的示例，演示了这一点（并显示了一个简单的解决方案）：

        .386
        PUBLIC  ptr1, ptr2, ptr5, ptr6, len

_DATA   SEGMENT
        mov     eax, $
        mov     eax, $
ptr1    DWORD   $
ptr2    DWORD   $
ptr5    DWORD   OFFSET $
ptr6    DWORD   ptr6
len     DWORD   $ - ptr1
        mov     eax, $
_DATA   ENDS

        END

下面是 IDA 如何反汇编 MASM 为上述汇编代码创建的目标文件：

.data:00000000 $$000000:
.data:00000000                 mov     eax, offset $$000000
.data:00000005 $$000005:
.data:00000005                 mov     eax, offset $$000005
.data:0000000A ptr1            dd offset $$000000
.data:0000000E ptr2            dd offset $$000000
.data:00000012 ptr5            dd offset $$000000
.data:00000016 ptr6            dd offset ptr6
.data:0000001A len             dd 16
.data:0000001E $$00001E:
.data:0000001E                 mov     eax, offset $$00001E

您会注意到mov eax, $指令显示位置计数器正由 DWORD 指令正确推进。您还会注意到ptr1,ptr2和ptr5all 都已$$000000在段的开头使用which进行初始化，完全忽略了先前的 MOV 指令和 DWORD 指令都使位置计数器提前的事实。

另一方面，MASM 确实评估$ - ptr1正确。这将计算ptr1与当前位置计数器之间的距离，即 16，即前四个 DWORD 指令的总长度（以字节为单位）。这意味着至少在这种情况下，MASM 使用 的正确值$。

最后，该示例显示了如何解决此问题。只需使用命名标签而不是$，就像在行中一样ptr6 DWORD ptr6。这会导致汇编器正确生成一个初始化为指向自身的指针。

Answer 2

在MASM中，该$符号代表位置计数器的当前值。位置计数器是汇编器在处理代码时在内部维护的变量。当第一次遇到一个段时，汇编器将位置计数器设置为零。然后，当它遇到指令或伪操作码时，它会递增作为目标代码输出的每个字节的位置计数器。

变量声明不算数。因为它们不是指令或伪操作码，所以它们不会导致位置计数器递增。

诚然，MSDN 文档很糟糕。以下是 Randall Hyde 的《汇编语言的艺术》中关于位置计数器的说法（16 位 DOS 版本的第 8 章第 2 节）：

回想一下，80x86 内存空间中的所有地址都由段地址和该段内的偏移量组成。汇编器在将源文件转换为目标代码的过程中，需要跟踪当前段内的偏移量。位置计数器是处理此问题的汇编程序变量。

每当您在汇编语言源文件中创建段（请参阅本章后面的段）时，汇编器都会将当前位置计数器值与其相关联。位置计数器包含段中的当前偏移量。最初（当汇编器第一次遇到段时）位置计数器设置为零。当遇到指令或伪操作码时，MASM 会递增写入目标代码文件的每个字节的位置计数器。例如，MASM 在遇到后将位置计数器增加 2，mov ax, bx因为该指令是两个字节长。

位置计数器的值在整个装配过程中变化。它会随着程序中发出目标代码的每一行代码而变化。我们将使用术语“位置计数器”来表示生成任何代码之前特定语句中的位置计数器的值。

简而言之，位置计数器仅随着导致生成目标代码的行而递增。

$如果需要，您可以显式添加偏移值。但我不太确定你为什么要这样做......