Pensar en C++ (Volumen 1) - Grupo ARCO

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 159 — #197
✐
4.7. Conveciones para los ficheros de cabecera
hacía eso a veces para acelerar un poquito la compilación evitando la tarea de abrir
e incluir el fichero (eso no supone ventaja alguna con los compiladores modernos).
Por ejemplo, la siguiente es una declaración extremadamente vaga de la función p-
rintf() (de ):
printf(...);
Estos puntos suspensivos 4 especifican una lista de argumentos variable 5 , que dice:
la printf() tiene algunos argumentos, cada uno con su tipo, pero no se sabe
cuales. Simplemente, coge los argumentos que veas y aceptalos. Usando este tipo de
declaración, se suspenden todas las comprobaciones de errores en los argumentos.
Esta práctica puede causar problemas sutiles. Si declara funciones «a mano», en
un fichero puede cometer un error. Dado que el compilador sólo verá las declaraciones
hechas a mano en ese fichero, se adaptará al error. El programa enlazará correctamente,
pero el uso de la función en ese fichero será defectuoso. Se trata de un error
difícil de encontrar, y que se puede evitar fácilmente usando el fichero de cabecera
correspondiente.
Si se colocan todas las declaraciones de funciones en un fichero de cabecera, y se
incluye ese fichero allí donde se use la función se asegurará una declaración consistente
a través del sistema completo. También se asegurará de que la declaración y la
definición corresponden incluyendo el fichero de cabecera en el fichero de definición.
Si declara una struct en un fichero de cabecera en C++, debe incluir ese fichero
allí donde se use una struct y también donde se definan los métodos de la s-
truct. El compilador de C++ devolverá un mensaje de error si intenta llamar a
una función, o llamar o definir un método, sin declararla primero. Imponiendo el
uso apropiado de los ficheros de cabecera, el lenguaje asegura la consistencia de las
librerías, y reduce el número de error forzando que se use la misma interface en
todas partes.
El fichero de cabecera es un contrato entre el programador de la librería y el que
la usa. El contrato describe las estructuras de datos, expone los argumentos y valores
de retorno para las funciones. Dice, «Esto es lo que hace mi librería». El usuario necesita
parte de esta información para desarrollar la aplicación, y el compilador necesita
toda ella para generar el código correcto. El usuario de la struct simplemente incluye
el fichero de cabecera, crea objetos (instancias) de esa struct, y enlaza con el
módulo objeto o librería (es decir, el código compilado)
El compilador impone el contrato obligando a declarar todas las estruturas y funciones
antes que puedan ser usadas y, en el caso de métodos, antes de ser definidos.
De ese modo, se le obliga a poner las declaraciones en el fichero de cabecera e incluirlo
en el fichero en el que se definen los métodos y en los ficheros en los que se
usen. Como se incluye un único fichero que describe la librería para todo el sistema,
el compilador puede asegurar la consistencia y evitar errores.
Hay ciertos asuntos a los que debe prestar atención para organizar su código
apropiadamente y escribir ficheros de cabecera eficaces. La regla básica es «únicamente
declaraciones», es decir, sólo información para el compiladore pero nada que
requiera alojamiento en memoria ya sea generando código o creando variables. Esto
es así porque el fichero de cabecera normalmente se incluye en varias unidades de
4 (N. de T. ellipsis) en inglés)
5 Para escribir una definición de función que toma una lista de argumentos realmente variable, debe
usar varargs, aunque se debería evitar en C++. Puede encontar información detallada sobre el uso de
varargs en un manual de C.
159
✐
✐
✐
✐