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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 41 — #79
✐
2.2. Herramientas para compilación modular
2.2.1. Declaraciones vs definiciones
Es importante comprender la diferencia entre declaraciones y definiciones porque
estos términos se usarán de forma precisa en todo el libro. Básicamente todos los
programas escritos en C o en C++ requieren declaraciones. Antes de poder escribir
su primer programa, necesita comprender la manera correcta de escribir una declaración.
Una declaración presenta un nombre -identificador- al compilador. Le dice al compilador
«Esta función o esta variable existe en algún lugar, y éste es el aspecto que
debe tener». Una definición, sin embargo, dice: «Crea esta variable aquí» o «Crea esta
función aquí». Eso reserva memoria para el nombre. Este significado sirve tanto para
una variable que para una función; en ambos casos, el compilador reserva espacio
en el momento de la definición. Para una variable, el compilador determina su tamaño
y reserva el espacio en memoria para contener los datos de la variable. Para
una función, el compilador genera el código que finalmente ocupará un espacio en
memoria.
Se puede declarar una variable o una función en muchos sitios diferentes, pero en
C o en C++ sólo se puede definir una vez (se conoce a veces como Regla de Definición
Única (ODR) 3 ). Cuando el enlazador une todos los módulos objeto, normalmente se
quejará si encuentra más de una definición para la misma función o variable.
Una definición puede ser también una declaración. Si el compilador no ha visto
antes el nombre x y hay una definición int x;, el compilador ve el nombre también
como una declaración y asigna memoria al mismo tiempo.
Sintaxis de declaración de funciones
La declaración de una función en C y en C++ consiste en escribir el nombre de la
función, los tipos de argumentos que se pasan a la función, y el valor de retorno de
la misma. Por ejemplo, aquí tenemos la declaración de una función llamada func-
1() que toma dos enteros como argumentos (en C/C++ los enteros se denotan con
la palabra reservada int) y que devuelve un entero:
int func1(int, int);
La primera palabra reservada es el valor de retorno: int. Los argumentos están
encerrados entre paréntesis después del nombre de la función en el orden en que
se utilizan. El punto y coma indica el final de la sentencia; en este caso le dice al
compilador «esto es todo - ¡aquí no está la definición de la función!».
Las declaraciones en C y C++ tratan de mimetizar la forma en que se utilizará ese
elemento. Por ejemplo, si a es otro entero la función de arriba se debería usar de la
siguiente manera:
a = func1(2, 3);
Como func1() devuelve un entero, el compilador de C/C++ comprobará el
uso de func1() para asegurarse que a puede aceptar el valor devuelto y que los
argumentos son válidos.
Los argumentos de las declaraciones de funciones pueden tener nombres. El compilador
los ignora pero pueden ser útilies como nemotécnicos para el usuario. Por
3 One Definition Rule
41
✐
✐
✐
✐