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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 227 — #265
✐
8.1. Sustitución de valores
extern const int bufsize;
// es ódeclaracin, no ódefinicin
Esta declaración también es válida en C.
En C++, const no implica necesariamente almacenamiento. En C, las constantes
siempre necesitan almacenamiento. El hecho de que se necesite almacenamiento o no
depende de cómo se use la constante. En general, si una constante se usa simplemente
para reemplazar un número por un nombre (como hace #define), entonces no
requiere almacenamiento. Si es así (algo que depende de la complejidad del tipo de
dato y de lo sofisticación del compilador) los valores pueden expandirse en el código
para conseguir mayor eficiencia después de la comprobación de los tipos, no como
con #define. Si de todas formas, se necesita la dirección de una constante (aún desconocida,
para pasarla a una función como argumento por referencia) o se declara
como extern, entonces se requiere asignar almacenamiento para la constante.
En C++, una constante que esté definida fuera de todas las funciones tiene ámbito
de archivo (es decir, es inaccesible fuera del archivo). Esto significa que usa enlace
interno. Esto es diferente para el resto de identificadores en C++ (y que las constantes
en C) que utilizan siempre enlace externo. Por eso, si declara una constante con
el mismo nombre en dos archivos diferentes y no toma sus direcciones ni los define
como extern, el compilador C++ ideal no asignará almacenamiento para la constante,
simplemente la expandirá en el código. Como las constantes tienen implícito
el ámbito a su archivo, puede ponerlas en un archivo de cabecera de C++ sin que
origine conflictos en el enlace.
Dado que las constante en C++ utilizan por defecto enlace interno, no puede definir
una constante en un archivo y utilizarla desde otro. Para conseguir enlace externo
para la constante y así poder usarla desde otro archivo, debe definirla explícitamente
como extern, algo así:
extern const int x = 1;
// ódefinicin, no ódeclaracin
Señalar que dado un identificador, si se dice que es extern, se fuerza el almacenamiento
para la constante (aunque el compilador tenga la opción de hacer la expansión
en ese punto). La inicialización establece que la sentencia es una definición,
no una declaración. La declaración:
extern const int x;
en C++ significa que la definición existe en algún sitio (mientras que en C no
tiene porqué ocurrir así). Ahora puede ver porqué C++ requiere que las definiciones
de constantes incluyan la inicialización: la inicialización diferencia una declaración
de una definición (en C siempre es una definición, aunque no esté inicializada). Con
una declaración const extern, el compilador no hace expansión de la constante
porque no conoce su valor.
La aproximación de C a las constantes es poco útil, y si quiere usar un valor simbólico
en una expresión constante (que deba evaluarse en tiempo de compilación)
casi está obligado a usar #define.
227
✐
✐
✐
✐