在 C++ 内联汇编中定义变量

Question

我正在寻找一种在 c++ 内联汇编中定义变量的方法。我找到了一种有趣的方法。但这让我很困惑，这是如何工作的。

    __asm
    {
        push ebp
        mov ebp, esp
        add esp, 4

        mov [ebp - 4], 2
        mov esp, ebp
        pop ebp
    }

我将此代码视为 - 将基指针地址推入堆栈，将堆栈指针地址移入基指针（堆栈逻辑上应该在这里折叠，因为这是清理堆栈的常见结尾功能）。然后我们将 4 移动到 esp 地址（甚至不是值），然后从 esp 中删除那个 4。所以我们回到同一个 esp 地址。对我来说奇怪的事实是，它甚至可以编译，并且可以工作。但是当我尝试通过输出值来测试它时

uint32_t output;
    __asm
    {
        push ebp
        mov ebp, esp
        add esp, 4

        mov [ebp - 4], 2
        mov output,[ebp-4]
        mov esp, ebp
        pop ebp
    }
    std::cout << output;

它没有编译，显示“操作数大小冲突”，这对我来说似乎很奇怪，因为我使用 32 位整数并且寄存器也是 32 位的。当使用不带 [] 的 [ebp-4] 时，它会按预期给出垃圾值。 所以，也许有人可以解释这是如何工作的而不给出错误:) 还有一个问题，为什么 db 不能在内联汇编中工作？

Answer 1

它不起作用，它没有定义 C++ 变量。

它只是弄乱了堆栈，以便在编译器创建的堆栈帧下方保留一些新的存储空间。 您修改了 EBP，因此编译器生成的使用 EBP 的寻址模式将被破坏。¹

如果您想定义或声明一个 C++ 变量，请使用 C++ 语法，如 int tmp。

asm 并没有真正的变量。它有寄存器和内存。跟踪值在何处使用 cmets。如果你想从 MSVC 内联汇编中使用一些额外的堆栈空间，我认为这是安全的，但如果你还想引用 C++ 局部变量，请不要修改 EBP。

---

脚注 1：

如果您的代码完全组装，情况就会如此，因为mov output,[ebp-4] 有2 个显式内存操作数。 MSVC 内联汇编无法在寄存器中分配 C++ 变量。

mov [ebp - 4], 2 也有不明确的操作数大小：两个操作数都没有与之关联的大小，因为它们都不是寄存器。也许你想要mov dword ptr [ebp - 4], 2