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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 154 — #192
✐
Capítulo 4. Abstracción de Datos
y no habrá ningún tipo de queja por parte de compilador. Sin embargo, en C++,
lo anterior no está permitido. ¿Por qué Porque C no es tan estricto con los tipos de
datos y permite asignar un puntero sin un tipo específico a un puntero de un tipo
bien determinado. No así C++, en el cual la verificación de tipos es crítica y el compilador
se detendrá quejándose en cualquier conflicto de tipos. Esto siempre ha sido
importante, pero es especialmente importante en C++ ya que dentro de las estructuras
puede hacer métodos. Si en C++ estuviera permitido pasar punteros a estructuras
con impunidad en cuanto a conflicto de tipos, ¡podría terminar llamando a un método
de una estructura en la cual no existiera dicha función miembro! Una verdadera
fórmula para el desastre. Así, mientras C++ sí deja asignar cualquier puntero a un
void * (en realidad este es el propósito original del puntero a void: que sea suficientemente
largo como para apuntar a cualquier tipo) no permite asignar un void * a
cualquier otro tipo de puntero. Para ello se requiere un molde que le indique tanto
al lector como al compilador que realmente quiere tratarlo como el puntero destino.
Y esto nos lleva a discutir un asunto interesante. Uno de los objetivos importantes
de C++ es poder compilar la mayor cantidad posible de código C para así, permitir
una fácil transición al nuevo lenguaje. Sin embargo, eso no significa, como se ha
visto que cualquier segmento de código que sea válido en C, será permitido automáticamente
en C++. Hay varias cosas que un compilador de C permite hacer que son
potencialmente peligrosas y propensas a generar errores (verá ejemplos de a lo largo
de libro). El compilador de C++ genera errores y avisos en este tipo de situaciones
y como verá eso es más una ventaja que un obstáculo a pesar de su naturaleza restrictiva.
¡De hecho, existen muchas situaciones en las cuales tratará de detectar sin
éxito un error en C y cuando recompiles el programa con un compilador de C++ éste
avisa exactamente de la causa del problema!. En C, muy a menudo ocurre que para
que un programa funcione correctamente, además de compilarlo, luego debe hacer
que ande. ¡En C++, por el contrario, verá que muchas veces si un programa compila
correctamente es probable que funcione bien! Esto se debe a que este último lenguaje
es mucho más estricto respecto a la comprobación de tipos.
En el siguiente programa de prueba podrá apreciar cosas nuevas con respecto a
cómo se utiliza la nueva versión de la Stash:
//: C04:CppLibTest.cpp
//{L} CppLib
// Test of C++ library
#include "CppLib.h"
#include "../require.h"
#include
#include
#include
using namespace std;
int main() {
Stash intStash;
intStash.initialize(sizeof(int));
for(int i = 0; i < 100; i++)
intStash.add(&i);
for(int j = 0; j < intStash.count(); j++)
cout