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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 224 — #262
✐
Capítulo 8. Constantes
de valores al terreno del compilador. Ahora, puede escribir:
const int bufsize = 100;
Puede colocar bufsize en cualquier lugar donde se necesite conocer el valor
en tiempo de compilación. El compilador utiliza bufsize para hacer propagación de
constantes 1 , que significa que el compilador reduce una expresión constante complicada
a un valor simple realizando los cálculos necesarios en tiempo de compilación.
Esto es especialmente importante en las definiciones de vectores:
char buf[bufsize];
Puede usar const con todos los tipos básicos(char, int, float y double) y sus variantes
(así como clases y todo lo que verá después en este capítulo). Debido a los
problemas que introduce el preprocesador deberá utilizar siempre const en lugar
de #define para la sustitución de valores.
8.1.1. const en archivos de cabecera
Para poder usar const en lugar de #define, debe ser posible colocar las definiciones
const en los archivos de cabecera como se hacía con los #define. De este
modo, puede colocar la definición de una constante en un único lugar y distribuirla
incluyendo el archivo de cabecera en las unidades del programa que la necesiten.
Una constante en C++ utiliza enlazado interno, es decir, es visible sólo desde el archivo
donde se define y no puede verse en tiempo de enlazado por otros módulos.
Deberá asignar siempre un valor a las constantes cuando las defina, excepto cuando
explícitamente use la declaración extern:
extern const int bufsize;
Normalmente el compilador de C++ evita la asignación de memoria para las
constantes, pero en su lugar ocupa una entrada en la tabla de símbolos. Cuando
se utiliza extern con una constante, se fuerza el alojamiento en memoria (esto también
ocurre en otros casos, como cuando se solicita la dirección de una constante).
El uso de la memoria debe hacerse porque extern dice «usa enlazado externo», es
decir, que varios módulos deben ser capaces de hacer referencia al elemento, algo
que requiere su almacenamiento en memoria.
Por lo general, cuando extern no forma parte de la definición, no se pide memoria.
Cuando la constante se utiliza simplemente se incorpora en tiempo de compilación.
El objetivo de no almacenar en memoria las constantes tampoco se cumple con
estructuras complicadas. Cuando el compilador se ve obligado a pedir memoria no
puede realizar propagación de constantes (ya que el compilador no tiene forma de conocer
con seguridad que valor debe almacenar; si lo conociese, no necesitaría pedir
memoria).
Como el compilador no siempre puede impedir el almacenamiento para una
constante, las definiciones de constantes utilizan enlace interno, es decir, se enlazan
sólo con el módulo en que se definen. En caso contrario, los errores de enlace podrían
ocurrir con las expresiones constantes complicadas ya que causarían petición
1 N. del T.: del inglés constant folding
224
✐
✐
✐
✐