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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 279 — #317
✐
10.1. Los elementos estáticos de C
Para mostrar qué constructores y qué destructores serán llamados, sólo se invoca
a f(). La salida del programa será la siguiente:
Obj::Obj() for a
inside main()
Obj::Obj() for b
leaving main()
Obj::~Obj() for b
Obj::~Obj() for a
El constructor para a se invoca antes de entrar en main() y el constructor de b se
invoca sólo porque existe una llamada a f(). Cuando se sale de main(), se invoca
a los destructores de los objetos que han sido construidos en orden inverso al de su
construcción. Esto significa que si llama a g(), el orden en el que los destructores
para b y c son invocados depende de si se llamó primero a f() o a g().
Nótese que el objeto out de tipo ofstream, utilizado en la gestión de ficheros,
también es un objeto estático (puesto que está definido fuera de cualquier función,
reside en el área de almacenamiento estático). Es importante remarcar que su definición
(a diferencia de una declaración tipo extern) aparece al principio del fichero,
antes de cualquier posible uso de out. De lo contrario estaríamos utilizando un objeto
antes de que estuviese adecuadamente inicializado.
En C++, el constructor de un objeto estático global se invoca antes de entrar en
main(), de forma que ya dispone de una forma simple y portable de ejecutar código
antes de entrar en main(), así como ejecutar código después de salir de main(). En
C, eso siempre implicaba revolver el código ensamblador de arranque del compilador
utilizado.
10.1.2. Control del enlazado
Generalmente, cualquier nombre dentro del ámbito del fichero (es decir, no incluido
dentro de una clase o de una función) es visible para todas las unidades de
traducción del programa. Esto suele llamarse enlazado externo porque durante el
enlazado ese nombre es visible desde cualquier sitio, desde el exterior de esa unidad
de traducción. Las variables globales y las funciones ordinarias tienen enlazado
externo.
Hay veces en las que conviene limitar la visibilidad de un nombre. Puede que
desee tener una variable con visibilidad a nivel de fichero de forma que todas las
funciones de ese fichero puedan utilizarla, pero quizá no desee que funciones externas
a ese fichero tengan acceso a esa variable, o que de forma inadvertida, cause
solapes de nombres con identificadores externos a ese fichero.
Un objeto o nombre de función, con visibilidad dentro del fichero en que se encuentra,
que es explícitamente declarado como static es local a su unidad de traducción
(en términos de este libro, el fichero cpp donde se lleva a cabo la declaración).
Este nombre tiene enlace interno. Esto significa que puede usar el mismo nombre
en otras unidades de traducción sin confusión entre ellos.
Una ventaja del enlace interno es que el nombre puede situarse en un fichero de
cabecera sin tener que preocuparse de si habrá o no un choque de nombres durante el
enlazado. Los nombres que aparecen usualmente en los archivos de cabecera, como
definiciones const y funciones inline, tienen por defecto enlazado interno. (De
todas formas, const tiene por defecto enlazado interno sólo en C++; en C tiene
enlazado externo). Nótese que el enlazado se refiere sólo a elementos que tienen
direcciones en tiempo de enlazado / carga. Por tanto, las declaraciones de clases y
279
✐
✐
✐
✐