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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 40 — #78
✐
Capítulo 2. Construir y usar objetos
en un único fichero. Una librería se crea y mantiene por un programa conocido como
bibliotecario (librarian).
Comprobación estática de tipos
El compilador realiza una comprobación de tipos durante la primera pasada. La
comprobación de tipos asegura el correcto uso de los argumentos en las funciones
y previene muchos tipos de errores de programación. Como esta comprobación de
tipos ocurre se hace la compilación y no cuando el programa se está ejecutado, se
conoce como comprobación estática de tipos.
Algunos lenguajes orientados a objetos (Java por ejemplo) realizan comprobaciones
en tiempo de ejecución (comprobación dinámica de tipos). Si se combina con la
estática, la comprobación dinámica es más potente que sólo la estática. Sin embargo,
añade una sobrecarga a la ejecución del programa.
C++ usa la comprobación estática de tipos debido a que el lenguaje no puede
asumir ningún soporte particular durante la ejecución. La comprobación estática de
tipos notifica al programador malos usos de los tipos durante la compilación, y así
maximiza la velocidad de ejecución. A medida que aprenda C++, comprobará que la
mayoría de las decisiones de diseño del lenguaje están tomadas en favor de la mejora
del rendimiento, motivo por el cual C es famoso en la programación orientada a la
producción.
Se puede deshabilitar la comprobación estática de tipos en C++, e incluso permite
al programador usar su propia comprobación dinámica de tipos - simplemente
necesita escribir el código.
2.2. Herramientas para compilación modular
La compilación modular es particularmente importante cuando se construyen
grandes proyectos. En C y en C++, un programa se puede crear en pequeñas piezas,
manejables y comprobables de forma independiente. La herramienta más importante
para dividir un programa en piezas más pequeñas es la capacidad de crear
subrutinas o subprogramas que tengan un nombre que las identifique. En C y en
C++, estos subprogramas se llamana funciones, que son las piezas de código que se
pueden almacenar en diferentes ficheros, permitiendo la compilación separada. Dicho
de otra forma, una función es la unidad atómica de código, debido a que no se
puede tener una parte de una función en un fichero y el resto en otro (aunque los
ficheros pueden contener más de una función).
Cuando se invoca una función, se le suelen pasar una serie de argumentos, que
son valores que desea que la función utilice durante su ejecución. Cuando la función
termina, normalmente devuelve un valor de retorno, que equivale al resultado.
También es posible crear funciones que no tengan ni argumentos ni valor de retorno.
Para crear un programa con múltiples ficheros, las funciones de un fichero deben
acceder a las funciones y los datos de otros ficheros. Cuando se compila un fichero, el
compilador de C o C++ debe conocer las funciones y los datos de los otros ficheros,
en particular sus nombres y su uso apropiado. El compilador asegura que las funciones
y los datos son usados correctamente. El proceso de "decirle al compilador"
los nombres de las funciones externas y los datos que necesitan es conocido como
declaración. Una vez declarada una función o una variable, el compilador sabe cómo
comprobar que la función se utiliza adecuadamente.
40
✐
✐
✐
✐