ffi - 为什么 LuaJIT 的 FFI 模块不需要声明调用约定？

Question

这是我一直好奇的事情:我想知道 LuaJIT 的 FFI 模块如何设法使用正确的调用约定来调用外部 native 函数，而无需在用户原型(prototype)中进行任何声明。

我尝试阅读源代码以自己解决这个问题，但找到我正在寻找的东西被证明太难了，所以任何帮助都将不胜感激。

编辑

为了验证调用约定在未声明时是自动确定的，我编写了以下 32 位测试 DLL 以使用 MSVC 的 C 编译器进行编译:

// Use multibyte characters for our default char type
#define _MBCS 1

// Speed up build process with minimal headers.
#define WIN32_LEAN_AND_MEAN
#define VC_EXTRALEAN

// System includes
#include <windows.h>
#include <stdio.h>

#define CALLCONV_TEST(CCONV) \
    int __##CCONV test_##CCONV(int arg1, float arg2, const char* arg3) \
    { \
        return CALLCONV_WORK(arg1, arg2, arg3); \
        __pragma(comment(linker, "/EXPORT:" __FUNCTION__ "=" __FUNCDNAME__ )) \
    }

#define CALLCONV_WORK(arg1,arg2,arg3) \
    test_calls_work(__FUNCTION__, arg1, arg2, arg3, __COUNTER__);

static int test_calls_work(const char* funcname, int arg1, float arg2, const char* arg3, int retcode)
{
    printf("[%s call]\n", funcname);
    printf("  arg1 => %d\n", arg1);
    printf("  arg2 => %f\n", arg2);
    printf("  arg3 => \"%s\"\n", arg3);
    printf("  <= return %d\n", retcode);
    return retcode;
}

CALLCONV_TEST(cdecl)     // => int __cdecl    test_cdecl(int arg1, float arg2, const char* arg3);
CALLCONV_TEST(stdcall)   // => int __stdcall  test_stdcall(int arg1, float arg2, const char* arg3);
CALLCONV_TEST(fastcall)  // => int __fastcall test_fastcall(int arg1, float arg2, const char* arg3);

BOOL WINAPI DllMain(HINSTANCE hInstance, DWORD dwReason, LPVOID lpReserved)
{
    if(dwReason == DLL_PROCESS_ATTACH) {
        DisableThreadLibraryCalls(hInstance);
    }
    return TRUE;
}

然后，我编写了一个 LUA 脚本，用于使用 ffi 模块调用导出的函数:

local ffi = require('ffi')
local testdll = ffi.load('ljffi-test.dll')

ffi.cdef[[
int test_cdecl(int arg1, float arg2, const char* arg3);
int test_stdcall(int arg1, float arg2, const char* arg3);
int test_fastcall(int arg1, float arg2, const char* arg3);
]]

local function run_tests(arg1, arg2, arg3)
    local function cconv_test(name)
        local funcname = 'test_' .. name
        local handler = testdll[funcname]
        local ret = tonumber(handler(arg1, arg2, arg3))
        print(string.format('  => got %d\n', ret))
    end

    cconv_test('cdecl')
    cconv_test('stdcall')
    cconv_test('fastcall')
end

run_tests(3, 1.33, 'string value')

编译 DLL 并运行脚本后，我收到以下输出:

[test_cdecl call]
  arg1 => 3
  arg2 => 1.330000
  arg3 => "string value"
  <= return 0
  => got 0

[test_stdcall call]
  arg1 => 3
  arg2 => 1.330000
  arg3 => "string value"
  <= return 1
  => got 1

[test_fastcall call]
  arg1 => 0
  arg2 => 0.000000
  arg3 => "(null)"
  <= return 2
  => got 2

如您所见，ffi 模块准确地解析了 __cdecl 的调用约定。调用约定和 __stdcall调用约定。 (但似乎错误地调用了 __fastcall 函数)

最后，我包含了 dumpbin 的输出以显示所有函数都以未修饰的名称导出。

> dumpbin.exe /EXPORTS ljffi-test.dll
Microsoft (R) COFF/PE Dumper Version 10.00.40219.01
Copyright (C) Microsoft Corporation.  All rights reserved.


Dump of file ljffi-test.dll

File Type: DLL

  Section contains the following exports for ljffi-test.dll

    00000000 characteristics
    548838D4 time date stamp Wed Dec 10 04:13:08 2014
        0.00 version
           1 ordinal base
           3 number of functions
           3 number of names

    ordinal hint RVA      name

          1    0 00001000 test_cdecl
          2    1 000010C0 test_fastcall
          3    2 00001060 test_stdcall

  Summary

        1000 .data
        1000 .rdata
        1000 .reloc
        1000 .text

编辑 2

澄清一下，因为调用约定只与 32 位 Windows 编译器真正相关，所以这是这个问题的主要焦点。 (除非我弄错了，针对 Win64 平台的编译器只使用 FASTCALL 调用约定，而 GCC 对 LuaJIT 支持的所有其他平台使用 CDECL 调用约定)

据我所知，查找从 PE 文件导出的函数信息的唯一位置是 IMAGE_EXPORT_DIRECTORY。 ，并且如果在没有装饰器的情况下导出函数名称，则没有剩余信息表明特定函数的调用约定。

按照这个逻辑，我能想到的唯一确定函数调用约定的方法是分析导出函数的程序集，并根据堆栈使用情况确定约定。但是，当我考虑不同编译器和优化级别产生的差异时，这似乎有点多。

Answer 1

调用约定是依赖于平台的。
通常有一个平台的默认设置，您可以指定其他平台。
来自 http://luajit.org/ext_ffi_semantics.html :

The C parser complies to the C99 language standard plus the following extensions:

...

GCC attribute with the following attributes: aligned, packed, mode, vector_size, cdecl, fastcall, stdcall, thiscall.

...

MSVC __cdecl, __fastcall, __stdcall, __thiscall, __ptr32, __ptr64,

最有趣的是Win32。这里调用约定可能用装饰器编码 Win32 calling conventions .
LuaJIT 有识别装饰器的代码。
此外，LuaJIT 默认使用 WinAPI Dll 的 __stdcall 调用约定:kernel32.dll、user32.dll 和 gdi32.dll。