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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 114 — #152
✐
Capítulo 3. C en C++
Comprobación de tipos para enumerados
Las enumeraciones en C son bastante primitivas, simplemente asocian valores
enteros a nombres, pero no aportan comprobación de tipos. En C++, como era de
esperar a estas alturas, el concepto de tipos es fundamental, y eso se cumple con
las enumeraciones. Cuando crea una enumeración nombrada, crea efectivamente un
nuevo tipo, tal como se hace con una clase: El nombre de la enumeración se convierte
en una palabra reservada durante esa unidad de traducción.
Además, hay una comprobación de tipos mas estricta para la enumeración en
C++ que en C. En particular, resulta evidente si tiene una instancia de la enumeración
color llamada a. En C puede decir a++, pero en C++ no es posible. Eso se debe a que
el incrementar una enumeración se realizan dos conversiones de tipo, una de ellas es
legal en C++ y la otra no. Primero, el valor de la enumeración se convierte del tipo
color a int, luego el valor se incrementa, y finalmente el int se vuelve a convertir a
tipo color. En C++ esto no está permitido, porque color es un tipo diferente de int.
Eso tiene sentido, porque ¿cómo saber si el incremento de blue siquiera estará en la
lista de colores Si quiere poder incrementar un color, debería ser una clase (con una
operación de incremento) y no un enum, porque en la clase se puede hacer de modo
que sea mucho más seguro. Siempre que escriba código que asuma una conversión
implícita a un tipo enum, el compilador alertará de que se trata de una actividad
inherentemente peligrosa.
Las uniones (descriptas a continuación) tienen una comprobación adicional de
tipo similar en C++.
3.8.4. Cómo ahorrar memoria con union
A veces un programa manejará diferentes tipos de datos utilizando la misma
variable. En esta situación, se tienen dos elecciones: se puede crear un struct que
contenga todos los posibles tipos que se puedan necesitar almacenar, o se puede
utilizar una union. Una union amontona toda la información en un único espacio;
calcula la cantidad de espacio necesaria para el elemento más grande, y hace de ese
sea el tamaño de la union. Utilice la union para ahorrar memoria.
Cuando se coloca un valor en una union, el valor siempre comienza en el mismo
sitio al principio de la union, pero sólo utiliza el espacio necesario. Por eso, se crea
una «super-variable» capaz de alojar cualquiera de las variables de la union. Las
direcciones de todas las variables de la union son la misma (en una clase o struct,
las direcciones son diferentes).
A continuación, un uso simple de una union. Intente eliminar varios elementos
y observe qué efecto tiene en el tamaño de la union. Fíjese que no tiene sentido
declarar más de una instancia de un sólo tipo de datos en una union (a menos que
quiera darle un nombre distinto).
//: C03:Union.cpp
// The size and simple use of a union
#include
using namespace std;
union Packed { // Declaration similar to a class
char i;
short j;
int k;
long l;
114
✐
✐
✐
✐