Llamar a un puntero de función cuya función asignada tiene menos argumentos que el tipo de puntero
Considere el siguiente código:
#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;
}
Como puede ver, un tipo (test_func_t) se define como una función con 3 argumentos int. Se asigna un puntero de función (func) con un puntero a "print_integer", que recibe solo 1 argumento, y luego se llama al puntero de función con 3 argumentos (5, 7, 9).
Este código funciona y produce una salida "num: 5".
Salida de desastre de gdb (sintaxis 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>
Como puede ver, el resto de los argumentos ([ebp + 0x12] y [ebp + 0x16]) simplemente no se usan.
Mis preguntas:
Esto parece funcionar en Linux x86 con la convención de llamadas __cdecl. ¿Es seguro en otras arquitecturas y convenciones de llamadas también?¿Algún estándar C / C ++ permite / define el resultado de asignar un puntero de función desde una función que espera menos argumentos?Ejemplo de tal uso: node.js'sNODE_MODULE registra una función cuyotipo tiene 3 argumentos [exportaciones, módulo, priv]. Estállamado con esos 3 pero ejemplos formales muestran el registro de una función con1 o2 argumentos