float procesar(float radio); /*NO ENTIENDO LA LOGICA DE STA
FUNCIÓN*/
Vamos a ver un ejemplo sencillo:
int func(int value1, int value2)
{
return value1 * value2;
}
Al compilar esta función con optimizaciones para un AMD o INTEL de 64 bits, se generará un ensamblado como el siguiente:
mov eax, edi
imul eax, esi
ret
Sin embargo, esta otra versión:
int func(int value1, short value2)
{
return value1 * value2;
}
Genera, en las mismas condiciones, el siguiente ensamblado:
movsx eax, si
imul eax, edi
ret
¿Ves la diferencia? Esta versión utiliza otros registros para trabajar.
Vale, ahora vamos al otro lado... imagínate que el compilador se encuentra esto:
int var1;
short var2;
func(var1, var2);
Si no conocemos el prototipo de la función? ¿Qué hacemos aquí?
- ¿Asumimos que existirá una función
func(int, short)
?
- ¿Asuminos que existirá una función
func(int, int)
?
- ¿Asumimos otro caso diferente?
El problema es que si nos confundimos le entregaremos valores a la función donde no los espera, luego el resultado que obtendremos será incorrecto.
Así pues, no podemos dejar nada a la imaginación, el compilador necesita saber cual es la firma de la función para poder colocar los valores donde realmente los va a recibir la función.
¿Y cómo puede el compilador conocer la firma de la función?
Pues hay dos maneras:
- O implementamos la función antes de su uso (con antes me refiero a físicamente en el archivo de código)
- Aportamos la declaración de la función.
Como al compilador realmente la implementación no le importa en este paso nos basta con la declaración. Es por eso que se acostumbra a dejar las declaraciones de las funciones en los archivos de cabecera, apartándolas de las respectivas implementaciones.
/*Tampoco entiendo como r es el valor promocionado desde main*/
Como ha visto los valores no se promocionan... simplemente se hace una copia de los mismos. La función se limita a usar esas copias y, al finalizar la función, dichas copias se descartan (su espacio pasa a estar disponible para almacenar otros valores).
C es un lenguaje de bajo nivel, luego está muy ligado al ensamblador y eso se ve en detalles como estos que estás preguntando.
Fuente ensamblados: godbolt