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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 160 — #198
✐
Capítulo 4. Abstracción de Datos
traducción en un mismo proyecto, y si el almacenamiento para un identificador se
pide en más de un sitio, el enlazador indicará un error de definición múltiple (ésta
es la regla de definición única de C++: Se puede declarar tantas veces como se quiera,
pero sólo puede haber una definición real para cada cosa).
Esta norma no es completamente estricta. Si se define una variable que es «file
static» (que tiene visibilidad sólo en un fichero) dentro de un fichero de cabecera,
habrá múltiples instancias de ese dato a lo largo del proyecto, pero no causará un
colisión en el enlazador 6 . Básicamente, debe evitar cualquier cosa en los ficheros de
cabecera que pueda causar una ambigüedad en tiempo de enlazado.
4.7.2. El problema de la declaración múltiple
La segunda cuestión respecto a los ficheros de cabecera es ésta: cuando se pone
una declaración de struct en un fichero de cabecera, es posible que el fichero sea
incluido más de una vez en un programa complicado. Los iostreams son un buen
ejemplo. Cada vez que una struct hace E/S debe incluir uno de los ficheros de
cabecera iostream. Si el fichero cpp sobre el que se está trabajando utiliza más de
un tipo de struct (típicamente incluyendo un fichero de cabecera para cada una),
se está corriendo el riesgo de incluir el fichero más de una vez y redeclarar
los iostreams.
El compilador considera que la redeclaración de una estructura (eso es aplicable
tando a las struct como a las class) es un error, dado que de otro modo, debería
permitir el uso del mismo nombre para tipos diferentes. Para evitar este error cuando
se incluyen múltiples ficheros de cabecera, es necesario dar algo de inteligencia a los
ficheros de cabecera usando el preprocesador (los ficheros de cabecera estándares
como también tienen esta «inteligencia»).
Tanto C como C++ permiten redeclarar una función, siempre que las dos declaraciones
coincidan, pero ni en ese caso se permite la redeclaración de una estructura.
En C++ esta regla es especialmente importante porque si el compilador permitiera
la redeclaración de una estructura y las dos declaraciones difirieran, ¿cuál debería
usar
El problema de la redeclaración se agrava un poco en C++ porque cada tipo de
dato (estructura con funciones) generalmente tiene su propio fichero de cabecera, y
hay que incluir un fichero de cabecera en otro si se quiere crear otro tipo de dato que
use al primero. Es probable que en algún fichero cpp de su proyecto, que se incluyan
varios ficheros que incluyan al mismo fichero de cabecera. Durante una compilación
simple, el compilador puede ver el mismo fichero de cabecera varias veces. A menos
que se haga algo al respecto, el compilador verá la redeclaración de la estructura e
informará un error en tiempo de compilación. Para resolver el problema, necesitará
saber un poco más acerca del preprocesador.
4.7.3. Las directivas del preprocesador #define, #ifndef y
#endif
La directiva de preprocesador #define se puede usar para crear banderas en
tiempo de compilación. Tiene dos opciones: puede simplemente indicar al preprocesador
que la bandera está definida, sin especificar un valor:
6 Sin embargo, en C++ estándar «file static» es una característica obsoleta.
160
✐
✐
✐
✐