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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 280 — #318
✐
Capítulo 10. Control de nombres
de variables locales no tienen enlazado.
Confusión
He aquí un ejemplo de cómo los dos significados de static pueden confundirse.
Todos los objetos globales tienen implícitamente almacenamiento de tipo estático, o
sea que si usted dice (en ámbito de fichero)
int a = 0;
el almacenamiento para a se llevará a cabo en el área para datos estáticos del
programa y la inicialización para a sólo se realizará una vez, antes de entrar en main().
Además, la visibilidad de a es global para todas las unidades de traducción.
En términos de visibilidad, lo opuesto a static (visible tan sólo en su :unidad de
traducción) es extern que establece explícitamente que la visibilidad del nombre se
extienda a todas las unidades de traducción. Es decir, la definición de arriba equivale
a
extern int a = 0;
Pero si utilizase
static int a = 0;
todo lo que habría hecho es cambiar la visibilidad, de forma que a tiene enlace
interno. El tipo de almacenamiento no se altera, el objeto reside en el área de datos
estática aunque en este caso su visibilidad es static y en el otro es extern.
Cuando pasamos a hablar de variables locales, static deja de alterar la visibilidad
y pasa a alterar el tipo de almacenamiento.
Si declara lo que parece ser una variable local como extern, significa que el
almacenamiento existe en alguna otra parte (y por tanto la variable realmente es
global a la función). Por ejemplo:
//: C10:LocalExtern.cpp
//{L} LocalExtern2
#include
int main() {
extern int i;
std::cout