使用结构参数从程序集中调用C++函数

Calling C++ function from assembly, with struct argument

本文关键字：集中 调用 C++ 函数 程序集 程序 结构 参数      更新时间：2023-10-16

我得到了一些意外的行为，这可能意味着我不完全理解编译器在做什么。考虑以下人为设计的程序：

#include <stdio.h>
#pragma pack(push, 1)
struct A {
    unsigned short a;
    unsigned short b;
    explicit A() {
        printf("constructn");
    }
    ~A() {
        printf("destructn");
    }
};
#pragma pack(pop)
static_assert(sizeof(A) == 4, "sizeof(A) != 4");
A  __stdcall f(int p1, A p2, int p3, int p4) {
    printf("%08X %08X %08X %08Xn", p1, p2, p3, p4);
    return p2;
}
int main() {
    __asm {
        push 4
        push 3
        push 2
        push 1
        call f
    }
    return 0;
}

上面的程序会崩溃，但如果我从struct A中删除A()和~A()的定义，它就不会崩溃。这个问题与编译器认为参数在堆栈上的位置有关，在定义了构造函数的情况下，它认为它们比它们所在的位置远4个字节。如果我删除构造函数，我得到的输出是：

00000001 00000002 00000003 00000004

这正是我所期望的，然而，随着构造函数的定义，我得到了

00000002 00000003 00000004 00000000

这显然不是我所期望的。当运行前者时，函数返回RETN 0x10，后者返回RETN 0x14，所以看起来它认为应该有另一个参数（为什么？）。我注意到，如果我将f更改为void函数，它将按预期工作。那么，有人能向我解释一下发生了什么以及为什么？我已经关闭了所有优化。

在假定级别上，只有简单的值才能通过在寄存器中返回来从函数返回，因此如果需要返回更复杂的对象，编译器会将其视为向返回对象传递指针：

void f(A *return_ptr,int p1,A p2,int p3,int p4);

但是，可以进行某些优化。在您的示例中，您的类包含两个16位short，这两个16比特short可以打包为一个32位整数并返回到寄存器中。但是，如果您定义了一个自定义析构函数，则不再认为该类简单到可以进行此优化。

相关文章：