Curso: Introducción al Lenguaje C

5. Declaraciones

Capítulo anterior: 4 - Tipos de datos (II)
Capítulo siguiente: 6 - Operadores

La declaración de objetos en C tiene como finalidad dar a conocer el tipo y propiedades de los identificadores.

En general la forma de una declaración es: (durabilidad) tipo identificador (=expresión de inicialización);

Por ejemplo, static int n=10;.

Todos las variables deben ser declaradas. En las declaraciones es obligado especificar el tipo.

De cada objeto en un programa C se puede establecer tres propiedades que le afectan en su relación: el alcance, la visibilidad y la durabilidad.

El alcance sirve para saber en qué región del código una declaración de un objeto está activa, es decir, el objeto existe.

Si la declaración es realizada en un bloque de código entre llaves, el alcance es la región que va entre las llaves. Si se declara en la parte de arriba del fichero (normalmente) o en una parte que no va entre llaves, el alcance se establece en todo el fichero. Los identificadores establecidos con la sentencia #define tienen alcance durante todo el fichero o hasta que lo elimina la sentencia #undef. Las etiquetas de sentencia (ver capítulo 7) tienen como alcance el cuerpo de la función donde se han establecido.

La visibilidad nos indica en qué región del código un objeto está activo. La diferencia con el alcance es que en una misma región pueden estar dos objetos con el mismo identificador, ocultando un objeto a otro.

5.3 Durabilidad

La durabilidad es el tiempo de ejecución del programa donde el objeto existe en la memoria. La durabilidad puede ser:

- Estática: El objeto perdura desde la compilación hasta el final. Esta durabilidad la tienen todas las funciones declaradas, las variables no declaradas en ningún cuerpo de función (incluido main) y las variables declaradas con static.

- Local: El objeto es creado en la entrada de un bloque y es borrado a la salida. Esta durabilidad la tienen los argumentos formales y las variables declaradas con auto (es la declaración por defecto y no se suele poner). Las variables declaradas en un bloque son (a menos que se especifique) variables locales.

Existen otros dos tipos de durabilidad:

extern: Los objetos especificados tienen durabilidad static e informa al enlazador de programas para que realice las unificaciones pertinentes entre ficheros. Es decir, convierten su alcance al total del programa. La declaración del mismo objeto en otros ficheros se toma como referencia y debe tener obligatoriamente el especificador extern.

Si se pone un valor de inicialización, se debe inicializar en la declaración de la variable que no lleva extern.

Register: Se puede utilizar para variables locales y argumentos de funciones. Establece una durabilidad local pero informa de un uso intensivo de memoria, haciendo que el compilador le asocie un acceso de memoria rápido.