如何在 C++ 中使用动态 arguments 声明程序集 function，就像在 C 中一样

Question

我有一些 C 代码，我想将它移植到 c++，问题是在 C++ 中我不能使用程序集 function，因为它是动态使用

C版本

extern asmFunc(); // C function prototype version

//actual use example
asmFunc(var1,ptr2,HANDLE); 
asmFunc(ptr4,var2,NULL,eg ...); //everything works

C++版本

extern "C" VOID asmFunc(); // C++ function prototype version

//actual use example
asmFunc(var1,ptr2,HANDLE); // E0140 too many arguments in function call
asmFunc(ptr4,var2,NULL,eg ...); // E0140 too many arguments in function call

程序集 function 在单独的 asm 文件中声明，它使用来自 ntdll.dll 函数的直接系统调用，这就是为什么它需要动态 arguments

如何让它发挥作用？

Answer 1

使用...在参数列表中指定 function 是一个 可变参数 function采用未指定的 arguments，例如：

extern "C" VOID asmFunc(...); // C++ function prototype version

//actual use example
asmFUNC(var1,ptr2,HANDLE);
asmFUNC(ptr4,var2,NULL,eg);

Answer 2

同一个地址可以有多个标签。 您可以拥有多个名称不同的原型，而这些原型恰好都具有相同的地址（因此由相同的机器代码实现）。 在您的.asm文件中，您输入：

global foo_int, foo_long, foo_float   ; NASM syntax for putting these in the symbol table
foo_int:
foo_long:
foo_float:
     your code goes here
     ret

您也可以使用汇编程序指令来为符号创建别名，例如 GAS .set foo_long, foo 。

您可以将其视为同一个 function 的多个名称，或者将其实现落入实际 function 的其他函数，作为优化的尾部调用，您甚至通过使它们在 asm 中连续来优化掉jmp 。

---

或者使用GNU 扩展，声明多个 C 或 C++ 名称，它们都使用相同的 asm 符号名称。 编译器生成的.obj将使每个调用点引用相同的符号名称。 （您完全手动设置，所以即使没有extern "C"也没有名称修改，也没有前导下划线，除非您选择一个。）

// GNU C or C++;  compatible with the mainstream compilers other than MSVC
int foo_int(...) asm ("foo");
long foo_long(...) asm ("foo");
float foo_float(...) asm ("foo");

使用 clang 和 GCC 查看它在Godbolt上的运行情况，注意return foo_float('a', 1); 在 C++ 源代码中编译为编译器生成的 asm 中的call foo 。 （Godbolt 正常编译为 Linux，但我使用-mabi=ms获取 GCC 以使用 Windows x64 调用约定。）

---

如果这是在一个单独的 DLL 中，每个名称将被单独解析，为多个 DLL 导入条目浪费一点空间（无论 Windows 调用等同于 Linux 动态链接中的 GOT 的函数指针。）GNU C asm("name")方式没有这个缺点，因为只有一个 asm 符号名称。
但是，如果您只是将此.asm文件链接到与 C++ 调用方相同的可执行文件或库中，则单独的符号表条目将在构建时解析，而 go 将在构建时消失，而不是每次运行时。

---

对于每个不同的 function 签名，您都可以拥有完整的原型（和名称）。

或者你可以为每个不同的返回类型起一个名字，
使用extern "C" int foo_int(...); 正如雷米的回答所示。 请注意(...)将触发默认参数提升，例如float将提升为double ，因此不可能传递实际的float 。 （这就是为什么printf的“%f”转换需要加倍。）

不过，对于 integer，促销是无害的并且非常便宜，只是对int进行符号扩展或零扩展。 主流 x86 和 x86-64 调用约定的设计使得 args 被传递给可变参数函数，就像它们传递给具有相同 arg 类型的原型 function 一样（在将 float 提升为 double 之后）。 x86-64 System V 要求可变参数函数的调用者设置 AL = # of XMM args，一个从 0 到 8 的数字； 没有任何 FP 或矢量参数，这意味着每个调用站点将获得一个额外的xor eax,eax 。 这与 2 字节 NOP 一样便宜，尤其是在 Intel 上。

---

假设返回类型对于任何给定的调用站点都是静态已知的，这应该可以解决您的整个问题。 不然就更麻烦了！

返回union并在运行时决定使用哪个返回值不一定有效。 一些调用约定会在不同的寄存器（例如 xmm0）中返回一个纯float ，而不是他们为具有float成员的联合选择的。 即使对于纯 integer， int和更大结构的联合也会在 memory 中返回，这与普通int不同。