调用函数指针，其分配的函数的参数少于指针类型

Question

考虑以下代码：

#include <iostream>

typedef int (*test_func_t) (int, int, int);

int print_integer (int a)
{
    std::cout << "num: " << a << "\n";
    return a;
}

int main (int argc, char * argv[])
{
    test_func_t func = (test_func_t) &print_integer;
    std::cout << "calling with 3 parameters func(5,7,9)\n";
    func(5,7,9);
    return 0;
}

如您所见，类型 (test_func_t) 定义为具有 3 个 int 参数的函数。函数指针（func）被分配一个指向“print_integer”的指针，它只接收1个参数，然后用3个参数（5、7、9）调用函数指针。

此代码有效并产生“num: 5”输出。

gdb disas 输出（Intel 语法）

disas main
...
   0x080486cb <+9>:     mov    DWORD PTR [esp+0x1c],0x804867d
...
   0x080486e0 <+37>:    mov    DWORD PTR [esp+0x8],0x9
   0x080486e8 <+45>:    mov    DWORD PTR [esp+0x4],0x7
   0x080486f0 <+53>:    mov    DWORD PTR [esp],0x5
   0x080486f7 <+60>:    mov    eax,DWORD PTR [esp+0x1c]
   0x080486fb <+64>:    call   eax

disas print_integer
   ...
   0x08048683 <+6>:     mov    DWORD PTR [esp+0x4],0x8048830
   0x0804868b <+14>:    mov    DWORD PTR [esp],0x8049ae0
   0x08048692 <+21>:    call   0x8048530 <std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)@plt>
   0x08048697 <+26>:    mov    edx,DWORD PTR [ebp+0x8]
   0x0804869a <+29>:    mov    DWORD PTR [esp+0x4],edx
   0x0804869e <+33>:    mov    DWORD PTR [esp],eax
   0x080486a1 <+36>:    call   0x80484d0 <std::ostream::operator<<(int)@plt>

如您所见，其余参数（[ebp+0x12] 和 [ebp+0x16]）根本没有使用。

我的问题：

1. 这似乎适用于具有 __cdecl 调用约定的 Linux x86。在其他架构和调用约定上也安全吗？
2. 是否有任何 C/C++ 标准允许/定义从需要较少参数的函数分配函数指针的结果？

这样的使用示例：node.js 的NODE_MODULE 注册了一个函数，其type 有3 个参数[exports, module, priv]。它是called with those 3，但正式示例显示了使用1 或2 参数注册函数。

Answer 1

引用 C++11 标准expr.reinterpret.cast 6：

函数指针可以显式转换为不同类型的函数指针。调用的效果 通过指向与定义中使用的类型不同的函数类型（8.3.5）的指针的函数 函数的未定义。

所以，我会说它不一般来说是安全的。这是未定义的行为。也就是说，我不知道 C++ 的其他实现在这种情况下的表现如何。

Answer 2

因此适用于所有使用 __cdecl 调用约定的平台。此调用约定将参数从右到左推入堆栈，然后调用该函数。因此，需要的参数少于推送的参数将根本无法访问更多向右的参数，这些参数被较早地推送并且在堆栈上更高。

// func(5,7,9);
push 9
push 7
push 5
call func
---> func:
     push bp
     mov bp, sp
     mov ax, [bp+8]  ; get 5

// stack:
9
7
5                     [bp+8]
<return address>      [bp+4]
<value of old bp>        ^
    new bp: -------------+