No es necesario ver el cuerpo completo de una función para saber cómo llamarla. Sólo necesitas una promesa. Esa promesa es el prototipo de función.
En C moderno, declarar prototipos por adelantado no es negociable. Le dice al compilador exactamente lo que espera una función: el nombre, los tipos de argumentos y el valor de retorno. Sin él, estás volando a ciegas. Y en C, la ceguera es cara.
El costo oculto de los prototipos faltantes
Considere este fragmento. Parece inocente. Se compila. Funciona.
Aquí, “agregar” claramente necesita dos números enteros. Pero la llamada pasa sólo uno. Un compilador estricto debería gritar. Muchos no lo hacen. De forma predeterminada, asumen que el tipo de retorno es “int” e ignoran por completo la discrepancia de parámetros.
¿El resultado? Respuestas equivocadas. Corrupción silenciosa. Pasas horas cazando un error que te estaba mirando a la cara en la línea dos.
Esto sucede porque el comportamiento heredado de C establece de forma predeterminada que las funciones no prototipos devuelvan “int”. Si la función real devuelve “flotante”, el compilador malinterpreta los bits. El prototipo soluciona este problema. Hace cumplir el contrato.
Hacer cumplir el contrato
Pon el prototipo en la parte superior. En cualquier lugar antes de la primera llamada.
Ahora el compilador señala el error. Sabe que “agregar” requiere dos argumentos. Se niega a compilar la llamada no coincidente. Ahorras horas de depuración.
Estilo antiguo frente a C moderno
Los compiladores que no son ANSI son una bestia diferente. Permiten prototipos, pero con un inconveniente. La lista de parámetros debe estar vacía.
Esto le dice al compilador el nombre y el tipo de retorno. No dice nada sobre argumentos. No se produce ninguna comprobación de errores. Has vuelto al punto de partida.
El C moderno (estándar ANSI) requiere tipos explícitos en el prototipo. Esto elimina la ambigüedad. Detecta discrepancias de tipos. Capta los argumentos que faltan. Lo atrapa todo.
Pasos prácticos
- Refactorizar la clasificación de burbujas. Mueve la lógica a una función. Declarar un prototipo. Pase la matriz y el tamaño explícitamente.
- Aislar entrada. Cree una función dedicada para la entrada del usuario. No desordenes “principal”. Haz un prototipo. Pruébalo.
No se trata de puntos de estilo. Se trata de corrección.
Un prototipo es un contrato ejecutado por el compilador. Rómpelo y la construcción falla.
Quizás se pregunte por qué esto es importante si su código se ejecuta. Es importante porque los errores en tiempo de ejecución son más difíciles de corregir que los errores en tiempo de compilación. Un error de compilación te detiene. Un error de tiempo de ejecución se esconde en producción.
La diferencia entre un programa sólido y uno frágil a menudo se reduce a estas pocas líneas en la parte superior. No te los saltes.
El compilador está ahí para ayudar. Escúchalo.
