CPP

El lenguaje C++ (a partir del lenguaje C)
Captulo 1: Modifcaciones menores

1.1.1 Nueva forma de realiar las operaciones de entrada ! salida.
En C++ adems de las funciones printf() y scanf(), que siguen estando vigentes, se
pueden utilizar los operadores cin y cout. Para utilizar estos nuevos operadores es
necesario incluir la biblioteca iostream con la instruccin #include <iostream>. As en
un programa en C !abra que !acer algo de este estilo"
char nombre;
int num=2;
printf ("Introduzca el nombre del archivo %d: ", num);
scanf (" %s", nombre);
En C++ podra escribirse as"
char nombre;
int num=2;
std :: cout << "Introduzca el nombre del archivo " << num << ": ";
std :: cin >> nombre;
Es importante darse cuenta de que a!ora ya no hace falta especifcar el tipo de dato
que va a ser impreso o ledo, asocindolo con un formato determinado. Es el propio
programa el que decide el tipo de dato en tiempo de e#ecucin. Estos operadores estn
sobrecargados de tal manera que admiten tanto los tipos prede$nidos como aquellos
tipos de datos de$nidos por el usuario. C++ permite sobrecargar los operadores de modo similar a lo
que se hace con las funciones: un mismo operador (+, -, *, /, =, ==, !=, <<, >>, etc. tiene distinto si!nificado se!"n
la naturale#a de los operandos a los que se aplica.
Para poder escribir o leer desde arc!ivos es necesario incluir la biblioteca <fstream.h>. A
continuacin se presenta un sencillo e#emplo en el que primero se escriben unas frases en
un arc!ivo y despu%s se imprimen en la pantalla ledas desde ese arc!ivo"
// Programa de lectura y escritura de archivos
#include <fstream>
#include <iostream>
#include <stdlib.h>
using namespace std;
int main()
{
ofstream out("archivo.h"); // se define un flujo de salida a archivo
out << "Estamos aprendiendo ";
out << "cmo se escribe en un archivo ";
out << "y cmo se lee desde l.";
out.close();
// Ahora comienza la lectura
ifstream in("archivo.h"); // se define un flujo de entrada de archivo
const int SIZE=81;
char line[SIZE];
in.getline(line, SIZE);
$
cout << line << endl;
}

El e#emplo anterior necesita algunas e&plicaciones e&tras, aunque ms adelante se incluye
un captulo dedicado a las entradas y salidas de datos en C++.
'e declara un objeto del tipo ofstream llamado out. Este ser un ob#eto que
almacenar la informacin necesaria para llevar los datos de salida !asta un
arc!ivo llamado archivo.h. Esto es el equivalente a utilizar la funcin fopen() de
A(') C para abrir un arc!ivo de escritura de datos.
*ay que darse cuenta de que la primera vez que se abre el arc!ivo se abre en
modo de escritura. Por eso !ay que cerrarlo para despu%s poder abrirlo en modo
de lectura. Para realizar esta +ltima operacin es necesario declarar un ob#eto, al
que se llama in, del tipo ifstream. El endl del $nal de las lneas de impresin en
pantalla !ace que se imprima un caracter de salto de lnea y que se vace el bu,er
de salida de modo inmediato.
-a funcin getline se utiliza para leer los datos que se introduzcan desde el
teclado de forma similar a la que lo !ara la funcin scanf() leyendo una lnea
completa !asta el ./n..
1.1." #na $reve comparaci%n con la entrada ! salida de datos de &N'( C
En C++ tambi%n se pueden utilizar las funciones printf() y scanf(), si se incluye la
biblioteca <stdio.h>. En la prctica esta opcin no se utiliza muc!o, porque los
operadores 0112 y 0332 tienen algunas venta#as que se van a citar a continuacin.
Con los operadores propios de C++ se evita el c!equeo de compatibilidad entre el
especi$cador de formato 0lo que sigue al carcter 4, como por e#emplo 4s, 4d, 4lf, etc.2 y
el argumento actual de la funcin printf() o scanf(). Esto !ace que se elimine una
importante fuente de errores, que provena, adems, de una innecesaria duplicidad de
informacin de los tipos de variable a imprimir o leer. En C++ el compilador determina en
tiempo de compilacin el tipo de variable que el usuario desea imprimir y aplica un formato
por defecto adecuado, evitando cualquier
incompatibilidad.
Como se ver en el apartado de sobrecarga de operadores, C++ permite el mismo
tratamiento a los tipos de variable de$nidos por el usuario que a los tipos de datos
prede$nidos del lengua#e. Esto quiere decir que el programador puede de$nir un operador
0<<) especial para imprimir por e#emplo n+meros Comple#os 0que incluya la letra i para
indicar la parte imaginaria2. Esta capacidad no est soportada por las funciones del A(') C
conocidas, a las que no se pueden a5adir nuevos especi$cadores de formato que permitan
leer o escribir directamente los datos de$nidos por el usuario.
%
1." Ma!or )e*i$ilidad en la declaraci%n de varia$les
-a declaracin de variables en C++ es similar a la de C, pero con una importante
diferencia. En A(') C las variables tenan que ser declaradas 0salvo que fueran extern2 al
comienzo de un bloque, antes de la primera sentencia e#ecutable de dic!o bloque. En C++
las variables pueden ser declaradas en cualquier lugar de un bloque. Esto permite acercar
la declaracin de las variables al lugar en que se utilizan por primera vez. -as variables
auto
declaradas de esta forma e&isten desde el momento en que se declaran, !asta que se llega
al $n del
bloque correspondiente.
6n caso importante son los bucles for. En C++ la variable que sirve de contador al bucle
puede declararse e inicializarse en la propia sentencia for. Por e#emplo, consid%rese el
siguiente bucle para sumar los elementos de un vector"
for (double suma = 0.0, int i = 0; i<n; i++)
suma += a[i];
donde las variables suma e i son declaradas y creadas como double e int en el momento
de iniciarse
la e#ecucin del bucle for.
$.& Scope o visi$ilidad de varia$les
-a visibilidad de una variable es la parte del programa en la que esa variable est
de$nida y puede ser utilizada. -a duracin !ace referencia al tiempo que transcurre entre
la creacin de una variable y el instante en que es destruida. En general la visibilidad de
una variable auto abarca desde el punto en el que se de$ne !asta que $naliza el bloque en
el que est de$nida. 'i la declaracin de una variable no se encuentra dentro de ning+n
bloque 0variable global o extern2, la visibilidad se e&tiende desde el punto de declaracin
!asta el $nal del arc!ivo 0otros arc!ivos pueden ver dic!a variable slo si la declaran como
extern2.
-as reglas de duracin y visibilidad de C++ son similares a las de C. En C++ la visibilidad
de una variable puede ser local, a nivel de archivo o a nivel de clase.
-as variables locales se crean dentro de un bloque y slo son visibles dentro del bloque en
el que !an sido de$nidas y en sus bloques anidados, salvo que sean ocultadas por una
nueva variable del mismo nombre declarada en uno de esos bloques anidados.
-as variables que tienen visibilidad a nivel de archivo 7variables globales7 se de$nen fuera
de cualquier bloque, funcin o clase.
6na variable local declarada dentro de un bloque oculta una variable global del mismo
nombre u otra variable local tambi%n del mismo nombre declarada en un bloque ms
e&terior. Por e#emplo, puede suceder que en un bloque, !asta la declaracin de una
variable x se pueda estar utilizando otra variable con el mismo nombre x de otro bloque
que contenga al primero. A partir de su declaracin y !asta el $nal de su bloque, la nueva
variable x ser la local del bloque ms interior.
8%ase el e#emplo siguiente"
...
{
double x = 2.0;
printf("%.lf", x); // se imprime 2.0
{
&
double x = 3.0;
}
}
...
En C++ las variables de$nidas dentro de una clase 7variables miembro7 pueden ser
declaradas como privadas, pblicas o protegidas. -as variables miembro que !an sido
declaradas como privadas no son visibles fuera de la clase9 si se declaran como p+blicas se
puede acceder a ellas mediante los operadores punto 0.2 y fecha 0->2, con las mismas
reglas que para las variables miembro de las estructuras de C. -as variables miembro de
una clase tienen visibilidad directa desde todas las funciones miembro de esa clase, sin
necesidad de que les sean pasadas como argumento.
-a duracin 0lifetime2 de una variable es el perodo de tiempo en que esta variable e&iste
durante la e#ecucin del programa. -a duracin de una variable puede ser automatic
0opcin por defecto2 o static. En el primer caso 7el caso de las variables declaradas dentro
de un bloque 7 la variable se crea y se destruye cada vez que se pasa por el bloque. -as
variables static e&isten !asta que termina la e#ecucin del programa. 'u valor se conserva
entre las distintas pasadas por un bloque. Para que una variable local sea static !ay que
declararla como tal dentro del bloque. :ebe recordarse que aunque una variable e&ista
durante toda la e#ecucin de un programa, slo puede utilizarse en la zona del programa en
que esa variable es visible. C++ dispone del operador 0""2, llamado operador de
resolucin de visibilidad 0scope resolution operator2. Este operador, antepuesto al
nombre de una variable global que est oculta por una variable local del mismo nombre,
permite acceder al valor de la variable global.
Consid%rese el siguiente e#emplo"
int a = 2; // declaracin de una variable global a
int main()
{
...
printf("a = %d", a); // se escribe a = 2
int a = 10; // declaracin de una variable local a
printf("a = %d", a); // se escribe a = 10
printf("a = %d", ::a); // se escribe a = 2
}
El operador 0""2 no permite acceder a una variable local de$nida en un bloque ms e&terior
oculta por otra variable local del mismo nombre. Este operador slo permite acceder a una
variable global oculta por una variable local del mismo nombre.
$.' Especifcador const para varia$les
En C++ el especi$cador const se puede utilizar con variables y con punteros. -as variables
de$nidas como const no son lo mismo que las constantes simblicas, aunque
evidentemente !ay una cierta similitud en las reas de aplicacin. 'i una variable se de$ne
como const se tiene la garanta de que su valor no va a cambiar durante toda la e#ecucin
del programa. 'i en alguna sentencia del programa se intenta variar el valor de una
variable de$nida como const, el compilador produce un mensa#e de error. Esta precaucin
permite detectar errores durante la compilacin del programa, lo cual siempre es ms
sencillo que detectarlos en tiempo de e#ecucin.
'
-as variables de este tipo pueden ser inicializadas pero no pueden estar a la izquierda de
una sentencia de asignacin.
-as variables declaradas como const tienen importantes diferencias con las constantes
simblicas de$nidas con la directiva defne del preprocesador. Aunque ambas
representan valores que no se puede modi$car, las variables const estn sometidas a las
mismas reglas de visibilidad y duracin que las dems variables del lengua#e.
-as variables const de C++ pueden ser utilizadas para de$nir el tama5o de un vector en la
declaracin de %ste, cosa que no est permitida en C. As las siguientes sentencias, que
seran ilegales en C, son a!ora aceptadas en C++"
int main()
{
const int SIZE = 5;
char cs[SIZE] ;
}
:e todas formas, nunca puede declararse ninguna variable array cuyo tama5o sea
desconocido en tiempo de compilacin. 'i el tama5o de una variable va a ser conocido slo
en tiempo de e#ecucin, !ay que utilizar reserva dinmica de memoria tanto en C como en
C++.
Es muy frecuente que las funciones a las que por motivos de e$ciencia 0para no tener que
sacar copias de los mismos2 se les pasan los argumentos por referencia, %stos sern
declarados como const en la de$nicin y en el prototipo de la funcin, con ob#eto de !acer
imposible una modi$cacin accidental de dic!os datos. Esto sucede por e#emplo con las
funciones de mane#o de cadenas de caracteres. El prototipo de la funcin strcp!() puede
ser como sigue"
char *strcpy(char *s1, const char *s2);
donde s" es la cadena copia y s# es la cadena original. Como no tiene sentido tratar de
modi$car la cadena original dentro de la funcin, %sta se declara como const. En este caso
el valor de retorno es un puntero a la cadena copia s".
1.+ ,eclaraci%n simplifcada de varia$les tipo enumeraci%n
En C las variables de tipo enum se !acan corresponder con enteros, y por tanto no !acan
nada que no se pudiera !acer tambi%n con enteros.
En C++ las variables enum son verdaderos tipos de variables, que necesitan un cast para
que un valor entero les pueda ser asignado 0ellas son promovidas a enteros cuando !ace
falta de modo automtico2. Esto quiere decir que si una funcin espera recibir como
argumento un tipo enum slo se le puede pasar un entero con un cast. Por el contrario, si
espera recibir un entero se le puede pasar un valor enum directamente.
Por e#emplo, si se desean representar los colores rojo, verde, azul y amarillo se podra
de$nir un tipo de variable enum llamada color cuyos cuatro valores estaran
representados por las constantes ;<=<, 8E;:E, A>6- ? A@A;)--<, respectivamente. Esto
se puede !acer de la siguiente forma"
enum color {ROJO, VERDE, AZUL, AMARILLO};
6tilizar may+sculas para los identi$cadores que representan constantes es una convencin
estilstica ampliamente adoptada. En el e#emplo anterior se !a de$nido el tipo color, pero
(
no se !a creado todava ninguna variable con ese tipo. Por defecto los valores enteros
asociados empiezan en A y van aumentando de uno en uno.
As, por defecto, los valores asociados sern"
ROJO = 0 VERDE = 1 AZUL = 2 AMARILLO = 3
'in embargo, el programador puede asignar el valor que desee a cada uno de esos
identi$cadores, asignando incluso el mismo entero a varios identi$cadores diferentes. por
e#emplo, siguiendo con el tipo color"
enum color {ROJO = 3, VERDE = 5, AZUL = 7, AMARILLO};
-gicamente en este caso los valores enteros asociados sern"
ROJO = 3 VERDE = 5 AZUL = 7 AMARILLO = 8
Cuando no se establece un entero determinado para un identi$cador dado, se toma el
entero siguiente al anteriormente asignado.
6na vez que se !a de$nido un tipo enum, se pueden de$nir cuantas variables de ese tipo
se desee. Esta de$nicin es distinta en C y en C++. Por e#emplo, para de$nir las variables
pintura y fondo, de tipo color, en C !ay que utilizar la sentencia"
enum color pintura, fondo; /* esto es C */
mientras que en C++ bastara !acer"
color pintura, fondo; // esto es C++
'e puede utilizar, por e#emplo, la siguiente sentencia de asignacin"
pintura = ROJO;
*ay que recordar que al imprimir una variable enum se imprime su valor entero y no su
valor
asociado.
1.- ,eclaraci%n simplifcada de varia$les correspondientes a estructuras
:e modo anlogo a lo que pasa con la palabra clave enum, en C++ no es necesario
colocar la palabra clave struct para declarar una variable del tipo de una estructura
de$nida por el usuario. Por e#emplo, si se de$ne la estructura alumno del modo siguiente"
struct alumno {
long nmat;
char nombre[41];
};
en C++ se puede declarar despu%s una variable delegado del tipo alumno simplemente
con"
alumno delegado; // esto es C++
mientras que en C es necesario utilizar tambi%n la palabra struct en la forma"
struct alumno delegado; /* esto es C */
)
$.* Especifcador const para punteros
En el caso de los punteros !ay que distinguir entre dos formas de aplicar el cuali$cador
const"
B. un puntero variable apuntando a una variable constante y
C. un puntero constante apuntando a una variable cual$uiera.
6n puntero a una variable const no puede modi$car el valor de esa variable 0si se
intentase el compilador lo detectara e imprimira un mensa#e de error2, pero ese puntero
no tiene por qu% apuntar siempre a la misma variable.
En el caso de un puntero const, %ste apunta siempre a la misma direccin de memoria
pero el valor de la variable almacenada en esa direccin puede cambiar sin ninguna
di$cultad.
6n puntero a variable const se declara anteponiendo la palabra const"
const char *nombre1 = "Ramn"; // no se puede modificar el valor de la variable
Por otra parte, un puntero const a variable cualquiera se declara interponiendo la palabra
const entre el tipo y el nombre de la variable"
char* const nombre2 = "Ramn"; // no se puede modificar la direccin a la que
// apunta el puntero, pero s el valor.
En A(') C una variable declarada como const puede ser modi$cada a trav%s de un puntero
a dic!a variable. Por e#emplo, el siguiente programa compila y produce una salida iDE con
el compilador de C, pero da un mensa#e de error con el compilador de C++"
#include <stdio.h>
int main()
{
const int i = 2;
int *p;
p = &i;
*p = 3;
printf("i = %d", i);
}
1.. Conversiones e*plcitas de tipo
Adems de las conversiones implcitas de tipo que tienen lugar al realizar operaciones
aritm%ticas entre variables de distinto tipo 7promociones7 y en las sentencias de
asignacin, el lengua#e C dispone de una conversin e&plcita de tipo de variables,
directamente controlada por el programador, llamada cast. El cast se realiza anteponiendo
al nombre de la variable o e&presin el tipo al que se desea !acer la conversin encerrado
entre par%ntesis. Por e#emplo, pera devolver como int un cociente entre las variables
double x e !"
return (int) (x/y);
El lengua#e C++ dispone de otra conversin e&plcita de tipo con una notacin similar a la
de las funciones y ms sencilla que la del cast. 'e utiliza para ello el nombre del tipo al que
*
se desea convertir seguido del valor a convertir entre par%ntesis. As, las siguientes
e&presiones son vlidas en C++"
y = double(25);
return int(x/y);
1./ 'o$recarga de funciones
-a sobrecarga 0overload2 de funciones consiste en declarar y de$nir varias funciones
distintas que tienen un mismo nombre. :ic!as funciones se de$nen de forma diferente. En
el momento de la e#ecucin se llama a una u otra funcin dependiendo del n+mero yFo tipo
de los argumentos actuales de la llamada a la funcin. Por e#emplo, se pueden de$nir
varias funciones para calcular el valor absoluto de una variable, todas con el mismo
nombre abs(), pero cada una aceptando un tipo de argumento diferente y con un valor de
retorno diferente.
-a sobrecarga de funciones no admite funciones que di$eran slo en el tipo del valor de
retorno, pero con el mismo n+mero y tipo de argumentos. :e !ec!o, el valor de retorno no
inGuye en la determinacin de la funcin que es llamada9 slo inGuyen el n+mero y tipo de
los argumentos.
Hampoco se admite que la diferencia sea el que en una funcin un argumento se pasa por
valor y en otra funcin ese argumento se pasa por referencia.
1.10 1alores por defecto de par2metros de una funci%n
En A(') C se espera encontrar una correspondencia biunvoca entre la lista de argumentos
actuales 0llamada2 y la lista de argumentos formales 0declaracin y de$nicin2 de una
funcin. Por e#emplo, supngase la siguiente declaracin de una funcin para calcular el
mdulo de un vector x con n elementos"
double modulo(double x[], int n);
En C esta funcin tiene que ser necesariamente llamada con dos argumentos actuales que
se corresponden con los dos argumentos formales de la declaracin.
En C++ la situacin es diferente pues se pueden de$nir valores por defecto para todos o
algunos de los argumentos formales. :espu%s, en la llamada, en el caso de que alg+n
argumento est% ausente de la lista de argumentos actuales, se toma el valor asignado por
defecto a ese argumento. Por e#emplo, la funcin modulo() poda !aberse declarado del
siguiente modo"
double modulo(double x[], int n=3);
-a funcin modulo() puede ser llamada en C++ de las formas siguientes"
v = modulo(x, n);
v = modulo(x);
En el segundo caso se utiliza el valor por defecto n%& incluido en la declaracin.
En C++ se e&ige que todos los argumentos con valores por defecto est%n al fnal de la lista
de argumentos. En la llamada a la funcin pueden omitirse alguno o algunos de los +ltimos
argumentos de la lista. 'i se omite un argumento deben de omitirse todos aquellos que se
encuentren detrs suyo.
1.11 1aria$les de tipo referencia
+
A continuacin se va a recordar brevemente cmo se pasaban argumentos por referencia
en A(') C. Para ello se va a utilizar la funcin permutar()"
#include <stdio.h>
#include <stdlib.h>
int main()
{
int i = 1, j = 2;
void permutar(int *a, int *b);
printf("\ni = %d, j = %d", i, j);
permutar(&i, &j);
printf("\ni = %d, j = %d", i, j);
}
void permutar(int *a, int *b)
{
int temp;
temp = *a;
*a = *b;
*b = temp;
}
-a clave para pasar argumentos o parmetros por referencia en C est en el uso de
punteros. Al pasar la direccin de la variable, %sta es accesible desde dentro de la funcin
y su valor puede ser modi$cado. :e modo anlogo, si dentro de una funcin !ay que
modi$car un puntero !abr que pasar su direccin como argumento, esto es, !abr que
pasar un puntero a puntero.
C++ ofrece una nueva forma de pasar argumentos por referencia a una funcin, que
no obliga a utilizar 7dentro de la funcin7 el operador indireccin 0I2 para acceder al valor
de la variable que se quiere modi$car. Esto se !ace por medio de un nuevo tipo de dato 7
que no e&iste en C7 llamado tipo referencia (reference).
-as variables referencia se declaran por medio del carcter 0J2. Por lo dems, son
variables normales que contienen un valor num%rico o alfanum%rico. Antes de pasar a
e&plicarlas con ms detenimiento, se presenta de nuevo el e#emplo de la funcin
permutar() utilizando variables referencia en lugar de punteros.
// Este programa requiere compilador de C++
#include <stdio.h>
#include <stdlib.h>
int main()
{
int i = 1, j = 2;
void permutar(int &a, int &b); // los argumentos son referencias
printf("\ni = %d, j = %d", i, j);
permutar(i, j); // los argumentos no llevan (*) ni (&)
printf("\ni = %d, j = %d", i, j);
}
void permutar(int &a, int &b) // los argumentos son referencias
{
int temp;
temp = a; // no hace falta utilizar
a = b; // el operador indireccin (*)
b = temp;
}
,
-os dos programas dan id%ntico resultado, sin embargo, el segundo tiene la venta#a de que
no !ay que utilizar el operador indireccin dentro de la funcin permutar(). C++ permite
pasar argumentos por referencia sin ms que anteponer el carcter 0J2 a los argumentos
correspondientes, tanto en el prototipo como en el encabezamiento de la de$nicin. En la
llamada a la funcin los argumentos se ponen directamente, sin anteponerles ning+n
carcter u operador.
En C++ e&iste realmente un tipo llamado referencia que va ms all del paso de
argumentos a funciones tal y como se acaba de e&plicar. -as variables de tipo referencia
se declaran con el operador 0J2 y deben ser inicializadas a otra variable o a un valor
numrico. Por e#emplo"
int i=2;
int& iref = i; // declaracin de referencia vlida
int& jref; // declaracin de referencia no vlida
-a variable i es una variable normal tipo int. -a variable iref es una variable referencia
que se asocia con i, en el sentido de que ambas variables comparten la misma posicin de
memoria" si se modi$ca i se modi$ca iref, y viceversa. En este sentido, iref es un alias de
i. -a diferencia con un puntero que apuntase a la direccin de i est en que, una vez que
una variable referencia !a sido declarada como alias de i no puede ser declarada como
alias de otra variable. 'iempre se referir a la misma posicin de memoria. Es como un
puntero a una posicin de memoria $#a. En la funcin permutar() los argumentos
formales, que son referencias, se inicializan y se convierten en alias de los
argumentos actuales, que son variables ordinarias.
El principal uso de las variables referencia es como valor de retorno o argumentos de
funciones. -os vectores y matrices 0arra!s2 no pueden ser declarados como variables
referencia, porque ya tienen una forma propia y natural de ser pasados como argumentos a
una funcin.
(o se debe confundir el uso de 0J2 en la declaracin de una referencia con el operador
direccin 0J2, de la misma
forma que no se debe confundir el carcter 0I2 en la declaracin de un puntero, con el
operador indireccin 0I2.
El que una funcin tenga como valor de retorno una variable tipo referencia permite
utilizarla de una manera un poco singular. Consid%rese el siguiente e#emplo"
int& maxref(int& a, int& b)
{
if (a >= b)
return a;
else
return b;
}
-a funcin maxref() tiene referencias como valor de retorno y como argumentos. Esto
permite utilizarla, por e#emplo, del siguiente modo"
maxref(i, j) = 0;
Esta es una forma un poco e&tra5a de utilizar una funcin" la llamada est a la izquierda
del operador de asignacin, en vez de aparecer a la derec!a en una e&presin aritm%tica o
de otro tipo. El resultado de esta llamada tambi%n es un poco e&tra5o" el valor de retorno
$-
es una referencia, esto es un alias del argumento de valor m&imo. Cuando la llamada a
la funcin se sustituye por su valor de retorno, el resultado de la sentencia anterior es que
la variable pasada como argumento que tiene mayor valor se !ace igual a cero. Este
mismo efecto puede conseguirse mediante punteros, pero con referencias resulta
muc!o ms sencillo.
En C++ las referencias son muy utilizadas para pasar argumentos a funciones 0y como
valores de retorno2, no slo para poderlos modi$car dentro de la funcin, sino tambi%n por
motivos de e$ciencia, pues es muc!o ms rpido pasar un puntero o un alias de una
variable que una copia del valor de esa variable. 'i adems la variable es una estructura,
las venta#as de e$ciencia son todava muc!o ms palpables.
1.1" 3peradores ne' ! delete para gesti%n din2mica de memoria
*asta a!ora slo se !an visto dos posibles tipos de duracin de las variables" static, las
cuales e&isten durante toda la e#ecucin del programa, y automatic, que e&isten desde
que son declaradas !asta que $naliza el bloque donde !an sido declaradas.
Con los operadores ne' y delete el programador tiene entera libertad para decidir crear o
destruir sus variables cuando las necesite. 6na variable creada con el operador ne' dentro
de cualquier bloque, perdura !asta que es e&plcitamente borrada con el operador delete.
Puede traspasar la frontera de su bloque y ser manipulada por instrucciones de otros
bloques.
6n aspecto diferente con la funcin malloc(), que es el m%todo ms utilizado para reservar
dinmicamente memoria en A(') C, es que %sta devuelve un puntero a void 0Ivoid2 que
es despu%s convertido al tipo de variable que se desea. Esa conversin se evita con ne',
eliminando as una posible fuente de problemas.
'e puede utilizar el operador ne' para crear variables de cualquier tipo. (e' devuelve, en
todos los casos, un puntero a la variable creada. Hambi%n se pueden crear variables de
tipos de$nidos por el usuario.
struct usuario {
..........
};
usuario* Un_Usuario;
Un_Usuario = new usuario;
Cuando una variable ya no es necesaria se destruye con el operador delete para poder
utilizar la memoria que estaba ocupando, mediante una instruccin del tipo"
delete p;
A continuacin se presenta a modo de e#emplo un programa que reserva memoria de modo
dinmico para un vector de caracteres"
#include <iostream>
#include <string>
using std :: cout;
using std :: cin;
void main()
$$
{
char Nombre[50];
cout << "Introduzca su Nombre:";
cin >> Nombre;
char *CopiaNombre = new char[strlen(Nombre)+1];
// Se copia el Nombre en la variable CopiaNombre
strcpy(CopiaNombre, Nombre);
cout << CopiaNombre;
delete[] CopiaNombre;
K
El siguiente e#emplo reserva memoria dinmicamente para una matriz de doubles"
#include <iostream>
using std :: cout;
using std :: cin;
void main()
{
int nfil=4, ncol=3, i, j;
double **mat;
// se reserva memoria para el vector de punteros
mat = new double*[nfil];
// se reserva memoria para cada fila
for (i=0; i<nfil; i++)
mat[i] = new double[ncol];
// se inicializa toda la matriz
for(i=0; i<nfil; i++)
for(j=0; j<ncol; j++)
mat[i][j]=i+j;
// se imprime la matriz
for(i=0; i<nfil; i++){
for(j=0; j<ncol; j++)
cout << mat[i][j] << "\t";
cout << "\n";
}
....// se libera memoria
for(i=0; i<nfil; i++)
// se borran las filas de la matriz
delete[] mat[i];
// se borra el vector de punteros
delete[] mat;
}
1.14 5unteros de tipo void
Esta posibilidad ya est presente en el A(') C pero conviene citarla aqu tambi%n. 6n
puntero a void es un puntero que no conoce en el momento de su de$nicin a qu% tipo de
dato va a apuntar. 6n buen e#emplo de esto es el valor de retorno de la funcin malloc().
Esta funcin reserva memoria dinmicamente para cualquier tipo de dato, incluso para
aquellos tipos de datos que !aya de$nido el usuario.
1.16 7unciones con n8mero de par2metros varia$le
$%
'e pueden de$nir, tanto en A(') C como en C++, funciones con un n+mero variable y
desconocido a priori de argumentos. 6n e#emplo de funcin de este tipo es la propia
funcin main() con argumentos, y otros e#emplos, de sobra conocidos, son las funciones
printf() y scanf(). Para de$nir estas funciones se utilizan los puntos suspensivos 0...2, que
representan los argumentos desconocidos que puede !aber. 6n e#emplo de funcin de este
tipo es el siguiente"
void mi_funcion(int i, double a, ...);
donde los argumentos i y a tendran que estar siempre presentes.
$&
Captulo ": Modifcaciones Ma!ores 5rogramaci%n 3rientada a
3$jetos (335)
".1 6na clase contiene una completa y detallada descripcin de la informacin y las
funciones que contendr cada objeto de esa clase. -as clases de C++ se pueden ver
como una generalizacin de las estructuras de C.
Por e#emplo, en el siguiente cdigo,
struct Alumno {
long nmat;
char nombre[41];
};
Alumno alu1={76986, "Luis Perez"}, alu2 = { 67549, "Mikel Lasa"};
se de$nen las variables miembro que va a tener la estructura )lumno y luego se crean dos
variables alu" y alu# de esa estructura. En C++ los objetos son las variables concretas
que se crean de una determinada clase.
En C++ las clases son verdaderos tipos de datos de$nidos por el usuario y pueden ser
utilizados de igual manera que los tipos de datos propios del C++. 6n objeto tiene su
propio con#unto de datos o variables miembro, aunque no de funciones, que aunque se
aplican a un ob#eto concreto son propias de la clase a la que pertenece el objeto.
"." Clases9 3$jetos ! M:todos.
En C++ los m*todos de una clase pueden ser funciones u operadores. Hodo esto se
estudiar en detalle ms adelante.
6na posibilidad interesante es la de que ob#etos de distintas clases respondan de manera
anloga al aplicarles funciones con id%ntico nombre y argumentos. Esta posibilidad da
origen a las funciones virtuales y al polimorfsmo, diferente de las funciones
sobrecargadas, al que se dedicar un captulo completo de este manual, ya que es una de
las capacidades ms importantes del C++.
".4 Ejemplo de clase en C++: n8meros complejos
El presente e#emplo de$ne la clase complejo, que permite traba#ar con n+meros comple#os
de una forma muy sencilla y natural. El arc!ivo complejo.h contiene la de$nicin de la
clase9 el arc!ivo complejo.cpp contiene la de$nicin de las funciones y operadores de la
clase complejo. Linalmente el arc!ivo main.cpp contiene un programa principal que
utiliza algunas de las posibilidades de esta clase. Esta organizacin de arc!ivos es bastante
!abitual en C++. Hodos los usuarios de la clase tienen acceso al arc!ivo header donde se
de$ne la clase, en este caso complejo.h. -a de$nicin de las funciones y operadores
0implementacin de la clase2 se !ace en otro arc!ivo fuente al cual ya no es necesario
acceder. :e ordinario basta acceder al resultado de compilar complejo.cpp, pero los
detalles de este cdigo fuente pueden quedar ocultos al usuario de la clase complejo.
El contenido del arc!ivo complejo.h es como sigue"
1. // archivo complejo.h
2. // declaracin de la clase complejo
$'
3. #ifndef __COMPLEJO_H__
4. #define __COMPLEJO_H__
5. #include <iostream>
using std :: ostream;
6. class Complejo
7. {
8. private:
9. double real;
10. double imag;
11. public:
12. // Constructores
13. Complejo(void);
14. Complejo(double, double im=0.0);
15. Complejo(const Complejo&);
16. // SetThings
17. void setData(void);
18. void setReal(double);
19. void setImag(double);
20. // GetThings
21. double getReal(void){return real;}
22. double getImag(void){return imag;}
23. // Sobrecarga de operadores aritmticos
24. Complejo operator+ (const Complejo&);
25. Complejo operator- (const Complejo&);
26. Complejo operator* (const Complejo&);
27. Complejo operator/ (const Complejo&);
28. // Sobrecarga del operador de asignacin
29. Complejo& operator= (const Complejo&);
30. // Sobrecarga de operadores de comparacin
31. friend int operator== (const Complejo&, const Complejo&);
32. friend int operator!= (const Complejo&, const Complejo&);
33. // Sobrecarga del operador de insercin en el flujo de salida
34. friend ostream& operator<< (ostream&, const Complejo&);
35. };
36. #endif
En los prrafos que siguen se comenta brevemente el contenido del arc!ivo +omplejo.h"
-a de$nicin de la clase +omplejo se !a introducido dentro de una bifurcacin
ifndef ... endif del preprocesador de C++, con ob#eto de prevenir una
inclusin m+ltiple en un arc!ivo fuente.
-a clase +omplejo tiene dos variabes miembro privadas tipo double, llamadas
real e imag, que representan la parte real e imaginaria del n+mero Comple#o
0lneas MNBA2. Al ser privadas los usuarios de la clase no podrn acceder
directamente a ellas por medio de los operadores punto 0.2 y ,echa 0N32, como
se !ace con las estructuras de C.
-as lneas BBNEO contienen la declaracin de un con#unto de funciones !
operadores miembro de la clase +omplejo. Hodas ellas !an sido declaradas en
la seccin public- de la clase, por lo que se podrn utilizar desde fuera de la clase
sin restricciones. ?a se ve una diferencia importante con las estructuras de C" las
$(
clases de C++, adems de contener variables miembro, pueden tambi%n de$nir
funciones ! operadores miembro que traba#arn con las variables miembro 7
datosN de la clase.
-as tres primeras funciones miembro 0lneas BENBP2 son los constructores de la
clase. -os constructores tienen el mismo nombre que la clase y no tienen valor de
retorno, ni siquiera void. -os constructores se llaman de modo automtico cada
vez que se crea un ob#eto de la clase 0en este caso, cada vez que se cree un
n+mero Comple#o2 y su misin es que todas las variables miembro de cualquier
ob#eto est%n siempre correctamente inicializadas. -a lnea BP contiene la
declaracin del constructor de copia, que se llama cuando !ay que crear un
ob#eto a partir de otro ob#eto de la misma clase.
El siguiente grupo de funciones miembro 0lneas BQNBM2 permite dar valor a las
variables miembro real e imag, que por ser privadas, no son accesibles
directamente. Es !abitual que el nombre de este tipo de funciones empiece por la
palabra inglesa set.
-as funciones miembro CBNCC permiten acceder a las variables miembro
privadas. Este tipo de funciones suelen empezar con la palabra inglesa get. En
este caso, #unto con la declaracin de la funcin se !a incluido su defnicin.
<bs%rvese que estas funciones acceden a las variables miembro real e imag
directamente, sin necesidad de pasrselas como argumento. Rsta es una
caracterstica de todas las funciones miembro de una clase.
-as lneas CONCQ contienen la declaracin de los O operadores aritm%ticos como
operadores miembro de la clase. -os operadores son anlogos a las funciones
sustituyendo el nombre de la funcin por la palabra operator seguida del
carcter o caracteres del operador de C++ que se desea sobrecargar. Al dar una
nueva de$nicin para los operadores suma 0+2, resta 0N2, multiplicacin 0I2 y
divisin 0F2 acorde con la aritm%tica de n+meros Comple#os, se podrn introducir
e&presiones aritm%ticas para n+meros Comple#os enteramente anlogas a las de
variables int, long, foat o double. -os cuatro operadores tienen un valor de retorno
+omplejo, pero slo tienen un argumento que es una referencia constante a
+omplejo. :ado que estos cuatro operadores son binarios, Sdnde est el otro
operandoT -a respuesta es que en una e&presin del tipo a.b, donde tanto a
como b son n+meros Comple#os, el primer operando a es un argumento
impl/cito 0a cuyas variables miembro real e imag se accede directamente2,
mientras que el segundo operando debe ser pasado como argumento expl/cito
al operador, y se acceder a sus
variables miembro a trav%s del nombre y el operador punto 0.2. Esto quedar
ms claro al ver la de$nicin de estos operadores en el arc!ivo +omplejo.cpp.
-a lnea CM declara el operador de asignacin 0D2 sobrecargado. En este caso el
argumento impl/cito es el miembro izquierdo de la igualdad, mientras que el
miembro derec!o es el argumento implcito. El valor de retorno es una
referencia a +omplejo para poder escribir e&presiones del tipo a%b%c0 que son
legales en CFC++.
-as lneas EB y EC de$nen los operadores de comparacin 0DD2 y 0UD2. Estos
operadores no se !an de$nido como operadores miembro de la clase, sino
como operadores friend.
-os operadores friend no tienen un ob#eto de la clase como argumento implcito y
por ello !ay que pasarles los dos argumentos de modo expl/cito.
Linalmente, en la lnea EO se declara el operador de insercin en el ,ujo de
salida 0112, que permitir imprimir n+meros Comple#os de forma anloga a lo
$)
que se !ace con doubles o con cadenas de caracteres. Es tambi%n un operador
friend. El primer argumento es una referencia al ,ujo de salida y el segundo
una referencia const al +omplejo a imprimir. El valor de retorno es la
referencia al Gu#o de salida con el n+mero +omplejo ya a5adido con el formato
adecuado.
A continuacin se muestra el contenido del arc!ivo +omplejo.cpp, que contiene la
de$nicin de las funciones miembro y friend declaradas en +omplejo.h. (o se van a dar
unas e&plicaciones tan pormenorizadas como en el caso anterior, pero no es difcil que en
una segunda lectura 0despu%s de !aber ledo los siguientes captulos2 las cosas queden
bastante claras en la mente del lector.
37. // archivo complejo.cpp
38. // funciones y operadores de la clase Complejo
39. #include "complejo.h"
using std :: cout;
using std :: cin;
40. // constructor por defecto
41. Complejo::Complejo(void)
42. {
43. real = 0.0;
44. imag = 0.0;
45. }
46. // constructor general
47. Complejo::Complejo(double re, double im)
48. {
49. real = re;
50. imag = im;
51. }
52. // constructor de copia
53. Complejo::Complejo(const Complejo& c)
54. {
55. real = c.real;
56. imag = c.imag;
57. }
58. // funcin miembro SetData()
59. void Complejo::SetData(void)
60. {
61. cout << "Introduzca el valor real del Complejo: ";
62. cin >> real;
63. cout << "Introduzca el valor imaginario del Complejo: ";
64. cin >> imag;
65. }
66. void Complejo::SetReal(double re)
67. {
68. real = re;
69. }
70. void Complejo::SetImag(double im)
71. {
72. imag = im;
73. }
$*
74. // operador miembro + sobrecargado
75. Complejo Complejo::operator+ (const Complejo &a)
76. {
77. Complejo suma;
78. suma.real = real + a.real;
79. suma.imag = imag + a.imag;
80. return suma;
81. }
82. // operador miembro - sobrecargado
83. Complejo Complejo::operator- (const Complejo &a)
84. {
85. Complejo resta;
86. resta.real = real - a.real;
87. resta.imag = imag - a.imag;
88. return resta;
89. }
90. // operador miembro * sobrecargado
91. Complejo Complejo::operator* (const Complejo &a)
92. {
93. Complejo producto;
94. producto.real = real*a.real - imag*a.imag;
95. producto.imag = real*a.imag + a.real*imag;
96. return producto;
97. }
98. // operador miembro / sobrecargado
99. Complejo Complejo::operator/ (const Complejo &a)
100. {
101. Complejo cociente;
102. double d = a.real*a.real + a.imag*a.imag;
103. cociente.real = (real*a.real + imag*a.imag)/d;
104. cociente.imag = (-real*a.imag + imag*a.real)/d;
105. return cociente;
106. }
107. // operador miembro de asignacin sobrecargado
108. Complejo& Complejo::operator= (const Complejo &a)
109. {
110. real = a.real;
111. imag = a.imag;
112. return (*this);
113. }
114. // operador friend de test de igualdad sobrecargado
115. int operator== (const Complejo& a, const Complejo& b)
116. {
117. if (a.real==b.real && a.imag==b.imag)
118. return 1;
119. else
120. return 0;
121. }
122. // operador friend de test de desigualdad sobrecargado
123. int operator!= (const Complejo& a, const Complejo& b)
124. {
125. if (a.real!=b.real || a.imag!=b.imag)
126. return 1;
127. else
128. return 0;
129. }
130. // operador friend << sobrecargado
$+
131. ostream& operator << (ostream& co, const Complejo &a)
132. {
133. co << a.real;
134. long fl = co.setf(ios::showpos);
135. co << a.imag << "i";
136. co.flags(fl);
137. return co;
138. }
A propsito de las funciones anteriores se pueden !acer los comentarios siguientes"
En C++ es !abitual distinguir entre la declaracin de una clase 0arc!ivo
+omplejo.h2 y su implementacin 0arc!ivo +omplejo.cpp2. :e ordinario slo la
declaracin es p+blica, quedando oculta a los usuarios de la clase la forma en la
que se !an programado las distintas funciones y operadores miembro.
-as funciones ! operadores miembro de una clase se de$nen anteponiendo a
su nombre el nombre de la clase y el scope resolution operator (--).
as funciones y operadores miembro acceden directamente a las variables
miembro del objeto impl!cito, y por medio del nombre y del operador punto "#$ a
las del objeto pasado expl!citamente. Por e#emplo, supngase la operacin 0x.!02,
donde tanto x como ! son Comple#os. Para !acer esta operacin se utilizar el
operador . sobrecargado, de$nido en las lneas QPNVB. En este caso x es el
argumento impl/cito, mientras que el ob#eto ! se pasa expl/citamete por
ventana. :entro de la funcin que de$ne el operador ., las partes real e
imaginaria de x se acceden como real e imag, mientras que las de ! se acceden
como a.real y a.imag, pues el argumento actual ! se recibe como argumento
formal a.
-as funciones ! operadores friend no pertenecen a la clase y por tanto no
llevan el nombre de la clase y el scope resolution operator (--).. Estas
funciones no tienen argumento implcito y todos los argumentos deben pasar por
ventana.
En la sobrecarga del operador miembro de asignacin 0D2 0lneas BAVNBBE2
aparece la sentencia 0return (1this)02. SWu% representa estoT -a idea es que las
funciones y operadores miembro acceden directamente a las variables miembro
del ob#eto que es su argumento implcito, pero slo con esto careceran de una
visin de con#unto de dic!o argumento. Por e#emplo, en la sentencia 0&Dy92 el
operador % recibe ! como argumento formal a, y aunque puede acceder a las
variables real e imag de x no puede acceder a x como ob#eto. Esto se soluciona
en C++ con el puntero this, que es siempre un puntero al argumento
impl/cito de cualquier funcin u operador miembro de una clase. :e acuerdo con
esto, 1this ser el argumento implcito x y ese es su signi$cado.
Linalmente se muestra el programa principal main.cpp y la salida por pantalla que origina"
139. // archivo main.cpp
140. #include "complejo.h"
141. int main()
142. {
// se crean dos complejos con el constructor general
143. Complejo c1(1.0, 1.0);
144. Complejo c2(2.0, 2.0);
// se crea un complejo con el constructor por defecto
$,
145. Complejo c3;
// se da valor a la parte real e imaginaria de c3
146. c3.setReal(5.0);
147. c3.setImag(2.0);
// se crea un complejo con el valor por defecto (0.0) del 2 argumento
148. Complejo c4(4.0);
// se crea un complejo a partir del resultado de una expresin
// se utiliza el constructor de copia
149. Complejo suma = c1 + c2;
// se crean tres complejos con el constructor por defecto
150. Complejo resta, producto, cociente;
// se asignan valores con los operadores sobrecargados
151. resta = c1 - c2;
152. producto = c1 * c2;
153. cociente = c1 / c2;
// se imprimen los nmeros complejos con el operador << sobrecargado
154. cout << c1 << ", " << c2 << ", " << c3 << ", " << c4 << endl;
155. cout << "Primer complejo: " << c1 << endl;
156. cout << "Segundo complejo: " << c2 << endl;
157. cout << "Suma: " << suma << endl;
158. cout << "Resta: " << resta << endl;
159. cout << "Producto: " << producto << endl;
160. cout << "Cociente: " << cociente << endl;
// se comparan complejos con los operadores == y != sobrecargados
161. if (c1==c2)
162. cout << "Los complejos son iguales." << endl;
163. else
164. cout << "Los complejos no son iguales." << endl;
165. if (c1!=c2)
166. cout << "Los complejos son diferentes." << endl;
167. else
168. cout << "Los complejos no son diferentes." << endl;
169. cout << "Ya he terminado." << endl;
170. }
-a salida por pantalla, basada en los n+meros Comple#os de$nidos en el programa
principal,
es la siguiente"
1+1i, 2+2i, 0+0i, 4+0i
Primer Complejo: 1+1i
Segundo Complejo: 2+2i
Suma: 3+3i
Resta: -1-1i
Producto: 0+4i
Cociente: 0.5+0i
Los Complejos no son iguales.
Los Complejos son diferentes.
Ya he terminado.
El programa principal incluye su$cientes comentarios como para entender fcilmente su
funcionamiento. Puede observarse la forma tan natural con la que se opera y se imprimen
%-
estos n+meros Comple#os, de un modo completamente anlogo a lo que se !ace con las
variables estndar de C++.
%.' Clase sin secciones privadas: struct
6na clase sin secciones privadas es aquella en la que no se aplica la encapsulacin.
En C++ las estructuras son verdaderas clases. 'e pueden a5adir algunas funciones a la
clase anterior para que sea un caso ms real. Estas funciones sern los m*todos que
permitirn interactuar con las variables de esa clase. As la clase +2+uenta puede quedar
de esta manera"
struct C_Cuenta {
// 1aria$les miem$ro
double Saldo; // Saldo Actual de la cuenta
double Interes; // Inters aplicado
// M:todos
double GetSaldo();
double GetInteres();
void SetSaldo(double unSaldo);
void SetInteres(double unInteres);
};
-as de$niciones de esas funciones o m%todos podran ser como sigue"
double C_Cuenta::GetSaldo()
{ return Saldo; } // Se obtiene el valor de la variable Saldo
double C_Cuenta::GetInteres()
{ return Interes; // Se obtiene el valor de la variable Interes
void C_Cuenta::SetSaldo(double unSaldo)
{ Saldo = unSaldo; } // Se asigna un valor a la variable Saldo
void C_Cuenta::SetInteres(double unInteres)
{ Interes = unInteres; // Se asigna un valor a la variable Interes
'e puede adelantar ya que las funciones que se acaban de de$nir van a resultar muy +tiles
para acceder a la variables miembro de una clase, salvaguardando el principio de
encapsulacin. El operador (--) recibe el nombre de operador de resolucin de
visibilidad 0scope resolution operator2. -a notacin double +2+uenta--3etSaldo()
indica que se est !aciendo referencia a la funcin 3etSaldo de$nida como funcin
miembro en la clase +2+uenta. @ediante esta notacin se puede distinguir entre
funciones que tengan el mismo nombre pero distintas visibilidades y permite tambi%n
acceder a funciones desde puntos del programa en que %stas no son visibles.
-a defnicin de las funciones miembro puede estar incluida en la de$nicin de la propia
clase, en cuyo caso la clase quedara como se muestra a continuacin"
struct C_Cuenta {
// Variables miembro
// Mtodos
double C_Cuenta::GetSaldo()
{ return Saldo; }
double C_Cuenta::GetInteres()
%$
{ return Interes;
void C_Cuenta::SetSaldo(double unSaldo)
{ Saldo = unSaldo; }
void C_Cuenta::SetInteres(double unInteres)
{ Interes = unInteres;
};
int main() {
C_Cuenta c1;
c1.Interes = 4.0; // vlida, pero se viola el principio de encapsulacin
c1.SetInteres(4.0); // correcto
}
En el e#emplo anterior aparece ya un peque5o programa principal que utiliza la clase que
se acaba de de$nir.
'e debe distinguir entre los operadores 0.2 y el 0""2. El operador punto 0.2 se utiliza para
acceder a una variable o funcin miembro a partir del nombre de un determinado ob#eto,
mientras que el operador scope resolution 0""2 sirve para designar a un miembro 0variable
o funcin2 de una clase en su de$nicin. ;ecu%rdese que el operador 0""2 permite tambi%n
!acer referencia a una variable global desde dentro de una funcin de una clase que
contenga una variable miembro con el mismo nombre.
'e puede ver que una llamada a la funcin Set4nteres() en la forma"
c1.SetInteres(100.0);
es equivalente a la sentencia"
c1.Interes = 100.0;
mientras que una llamada a la funcin 3etSaldo() en la forma"
cash = c2.GetSaldo();
es equivalente a la sentencia"
cash = c2.Saldo;
Esta +ltima forma de acceder a una variable miembro de una clase atenta contra el
principio de encapsulacin, que es uno de los ob#etivos ms importantes de la
programacin orientada a ob#etos. 6n usuario de una clase slo necesita conocer el
interface, es decir, el aspecto e&terno de la clase, para poder utilizarla correctamente. En
otras palabras, le sera su$ciente con conocer la declaracin de las funciones miembro
p+blicas y el signi$cado de los argumentos, adems de las variables miembro p+blicas, si
las !ubiera.
".+ Clases con secciones privadas.
-as declaraciones de variables y funciones miembro de la clase +2+uenta del siguiente
e#emplo estn divididas en dos grupos, encabezados respectivamente por las palabras
private- y public-. *abitualmente las variables miembro suelen ser privadas y algunas
funciones miembro p+blicas, pero ya se vern todo tipo de combinaciones posibles.
class C_Cuenta {
%%
private:
char *Nombre; // Nombre de la persona
pu$lic:
// Mtodos
char *GetNombre()
{ return Nombre; }
double GetSaldo()
{ return Saldo; }
double GetInteres()
{ return Interes; }
void SetSaldo(double unSaldo)
void SetInteres(double unInteres)
{ Interes = unInteres; }
void Ingreso(double unaCantidad)
{ SetSaldo( GetSaldo() + unaCantidad ); }
};
6na primera diferencia respecto a los e#emplos anteriores es que se !a sustituido la palabra
struct 0bien conocida en C2 por la palabra class, que es propia de C++. Ambas palabras
pueden ser utilizadas en la de$nicin de las clases de C++. Enseguida se ver la peque5a
diferencia que e&iste entre utilizar una palabra u otra.
-a palabra private precediendo a la declaracin de las variables o funciones miembro
indica al compilador que el acceso a dic!os miembros slo est permitido a las funciones
miembro de la clase, de forma que cualquier otra funcin o el programa principal, tienen
pro!ibido acceder a ellas mediante los operadores punto 0.2 y ,echa 0->2, y de cualquier
otra forma que no sea a trav%s de las funciones miembro de la clase que sean public.
-a palabra public precediendo a la declaracin de las funciones o variables miembro indica
que dic!as funciones podrn ser llamadas desde fuera de la clase mediante el
procedimiento !abitual en C para acceder a los miembros de las estructuras, es decir
mediante los operadores punto 0.2 y ,echa 0->2.
(o es necesario poner las dos palabras public y private. 'e tienen las dos opciones
siguientes"
B. :e$niendo la clase con la palabra struct la opcin por defecto es public, de modo que
todas las variables y funciones miembro son public e&cepto las indicadas e&presamente
como private.
C. Por el contrario, utilizando la palabra class la opcin por defecto es private, de modo
que todas las variables y funciones miembro son private e&cepto las indicadas
e&presamente como public.
'i se incluyen las dos palabras Npublic y privateN es igual utilizar struct o class. En lo
sucesivo se utilizar la palabra class, que se considera ms segura y ms propia de C++.
-a solucin que se utiliza !abitualmente en C++ para resolver el problema de la
encapsulacin u ocultamiento de datos 0data hidding2 es que las funciones miembro
p+blicas sean el +nico camino para acceder a las variables miembro 0y funciones miembro2
privadas. :e esta manera, el programador de la clase puede tomar las medidas necesarias
para que otros usuarios de
la clase no modi$quen datos o funciones sin estar autorizados para ello. -as funciones
miembro p+blicas son !abitualmente la interface entre los datos contenidos en los ob#etos
%&
de la clase y los usuarios de la clase. Estos usuarios no necesitan tener acceso a los
detalles internos de dic!os ob#etos9 slo necesitan saber cmo se utilizan las funciones
miembro p+blicas. Esto facilita tambi%n el mantenimiento y la me#ora del programa" la
clase y sus funciones miembro pueden ser sustituidas por una versin nueva, ms
e$ciente. En tanto en cuanto la
declaracin de las funciones miembro p+blicas se mantenga igual, el cambio no tendr
ninguna repercusin en los dems programas y funciones que !acen uso de la clase.
En el e#emplo anterior se puede ver ya cmo las funciones miembro, que en este caso
son todas p5blicas, forman la interface utilizada para asignar y leer los valores de las
variables miembro de la clase que son privadas. :e esta manera se !ace cumplir el
principio de encapsulacin#
".- Entrada ! salida de datos
-a biblioteca de C++ proporciona algunas !erramientas para la entrada y salida de datos
que la !acen ms verstil, y ms complicada en ocasiones, que la de C. En C++ las
entradas son ledas desde streams y las salidas son escritas en streams. -a palabra
stream quiere decir algo as como canal, fujo o corriente. C++ !ace que tanto la entrada
como la salida de datos se vayan dirigiendo a unos fujos de entrada yFo de salida,
sumndose a lo que ya se arrastra en esa direccin. A veces se comparan los streams con
una cinta transportadora que introduce o saca datos del programa. Al incluir la biblioteca
<iostream> se a5aden al programa varios streams estndar. -os ms
utilizados son cin, que se utiliza para la entrada de datos 0!abitualmente desde teclado2,
cout, que se utiliza para la salida 0!abitualmente por pantalla2 y cerr, que se utiliza para
los mensa#es de error 0tambi%n por pantalla2.
El operador de insercin 0112 se utiliza para insertar datos en un stream. :e esta
manera, una instruccin del tipo"
std :: cout << 500;
coloca el valor PAA en el stream estndar de salida cout, de modo que por pantalla
aparecer el n+mero PAA.
'e pueden utilizar varios operadores de insercin en una misma instruccin, de forma que
vayan a5adi%ndose datos al stream de salida. As una sentencia del tipo"
std :: cout << 111 << 222 << 333;
imprimir por pantalla"
111222333
:e una forma muy parecida se pueden imprimir cadenas de caracteres. -a sentencia,
std :: cout << "Hola a todos";
imprime"
Hola a todos
Hampoco tiene ninguna di$cultad imprimir variables yFo constantes que sean
combinacin de los vistos !asta a!ora, como por e#emplo en la sentencia"
std :: cout << 500 << " y " << 600 << "son nmeros pares.";
%'
que imprime por pantalla el resultado siguiente"
500 y 600 son nmeros pares.
Al igual que C, C++ utiliza secuencias de escape para representar smbolos que no son
los convencionales. -as secuencias de escape estn siempre formadas por el carcter 0/2
seguido de otro carcter. Hoda la secuencia de escape representa un +nico carcter y se
considera indivisible. -as secuencias de escape ms utilizadas se incluyen a continuacin"
/a alerta *ace emitir un beep al ordenador
/n nueva lnea *ace saltar el cursor a la lnea siguiente
/t tabulador :esplaza el cursor la distancia de un tabulador
/X comillas )mprime unas comilla
// barra inclinada )mprime una barra inclinada !acia la izquierda
Como se puede ver, la mayora de estas secuencias de escape son equivalentes a las que
ya se
usaban en A(') C.
%.* 3peradores ne' ! delete con clases
-os operadores ne' y delete pueden ser aplicados tanto a variables de los tipos
prede$nidos 0int, ,oat, double, Y2 como a ob#etos de las clases de$nidas por el usuario.
'u principal aplicacin est en la creacin de variables con reserva din6mica de
memoria, sustituyendo a las funciones calloc(), malloc() y free() que se utilizan en C.
Aqu es necesario !acer alguna matizacin referente a su uso con las clases de$nidas por el
usuario.
6na vez creada la clase +2+uenta, una sentencia del tipo"
C_Cuenta *c1 = new C_Cuenta;
supone una operacin en tres fases"
B. En primer lugar se crea un puntero c" capaz de contener la direccin de un ob#eto de la
clase.
C. A continuacin, por medio del operador ne' se reserva memoria para un ob#eto del tipo
+2+uenta.
E. Linalmente se llama, de modo transparente al usuario, a un constructor de la clase
+2+uenta.
-os constructores son funciones que se llaman autom6ticamente al crear un ob#eto de
una clase. 'u misin es dar un valor inicial a todas las variables miembro, de modo que
no !aya nunca ob#etos con variables sin un valor apropiado 0conteniendo basura
informtica2. -os constructores se e&plican en el apartado siguiente. El operador ne' se
puede utilizar para crear vectores de objetos 0en una forma similar a como se crean
vectores de variables2 con reserva dinmica de memoria, en la forma"
C_Cuenta *ctas = new C_Cuenta[100];
-a diferencia fundamental entre ne' y delete por una parte, y malloc() y free() por otra
es que los primeros crean y destruyen objetos, mientras que los segundos se limitan a
reservar y liberar zonas de memoria. Adems !ay que tener en cuenta que ne' puede ser
sobrecargado como cualquier otro operador, con las venta#as de simpli$cacin de cdigo
que ello supone. -a sobrecarga de operadores se estudiar en un apartado posterior.
Al utilizar delete 0lo mismo sucede con free()2, se libera la zona de memoria a la que
apunta, pero sin borrar el propio puntero. 'i se manda liberar lo apuntado por un puntero
%(
nulo no pasa nada especial y el programa no libera memoria. 'in embargo si se ordena
liberar dos veces lo apuntado por un puntero las consecuencias son imprevisibles y puede
que incluso catastr$cas, por lo que es importante evitar este tipo de errores.
En el caso de que se desee liberar la memoria ocupada por un vector creado mediante
reserva dinmica de memoria debe emplearse una instruccin del tipo"
delete[] ctas;
siendo ctas el puntero al primer elemento del vector 0el puntero que recogi el valor de
retorno de ne'2.
".. Constructores ! destructores
"...1. ?a se !a apuntado que C++ no permite crear ob#etos sin dar un valor inicial
apropiado a todas sus variables miembro. Esto se !ace por medio de constructores, que
se llaman automticamente siempre $ue se crea un objeto de una clase. 'e van a
estudiar a!ora algunas formas posibles de crear e inicializar objetos, tales como c"#
Para permitir la creacin de ob#etos siendo $eles a la encapsulacin se utilizan los
constructores. Estos son unas funciones miembro de una clase especiales que se llaman
de modo automtico al crear los ob#etos, y dan un valor inicial a cada una de las variables
miembro. El nombre del constructor es siempre el mismo que el nombre de la clase.
As el constructor de la clase +2+uenta se llamar, a su vez, +2+uenta. Adems, los
constructores se caracterizan porque se declaran y defnen sin valor de retorno, ni siquiera
void. 6tilizando las capacidades de
sobrecarga de funciones de C++, para una clase se pueden de$nir varios constructores.
El uso del constructor es tan importante que, en el caso de que el programador no de$na
ning+n constructor para una clase, el compilador de C++ proporciona un constructor de
ofcio 0tambi%n llamado a veces por defecto, aunque como ms tarde se ver que esta
terminologa puede resultar confusa2.
'i la clase +2+uenta se completa con su constructor, su declaracin quedar de la
siguiente forma"
class C_Cuenta {
private:
public:
// Constructor
C;Cuenta(dou$le un'aldo9 dou$le un(nteres)<
// Acciones bsicas
double GetSaldo()
{ return Saldo; }
double GetInteres()
{ return Interes; }
};
%)
Conviene insistir en que el constructor se declara y de$ne sin valor de retorno, y que en
una clase puede !aber varios constructores, pues como el resto de las funciones puede
estar sobrecargado. -a de$nicin del constructor de la clase +2+uenta pudiera ser la que
a continuacin se presenta"
C_Cuenta::C_Cuenta(double unSaldo, double unInteres)
{
// La clase puede hacer llamadas a los mtodos
// previamente definidos
SetSaldo(unSaldo);
SetInteres(unInteres);
}
Heniendo en cuenta que el constructor es una funcin miembro, y que como tal tiene
acceso directo a las variables miembro privadas de la clase 0sin utilizar los
operadores punto o Gec!a2, el constructor tambi%n podra de$nirse del siguiente modo"
C_Cuenta::C_Cuenta(double unSaldo, double unInteres)
{
// El constructor accede a las variables miembro y les asigna el
// valor de los parmetros
Saldo = unSaldo;
Interes = unInteres;
}
"..." (nicialiadores
Hodava se puede programar al constructor de una tercera forma, con venta#as sobre las
e&plicadas en el apartado anterior. -a idea del constructor es iniciali7ar variables, y una
sentencia de asignacin no es la +nica ni la me#or forma de inicializar una variable. C++
permite iniciali7ar variables miembro fuera del cuerpo del constructor, de la siguiente
forma"
C_Cuenta::C_Cuenta(double unSaldo, double unInteres):
Saldo(unSaldo), Interes(unInteres) // inicializadores
{ } // En este caso el cuerpo del constructor est vaco
donde se ve que los iniciali7adores se introducen, tras el carcter dos puntos 0"2,
separados por comas, #usto antes de abrir las llaves del cuerpo del constructor. Constan del
nombre de la variable miembro seguido, entre par%ntesis, del argumento que le da valor.
-os iniciali7adores son ms e$cientes que las sentencias de asignacin, y adems
permiten de$nir variables miembro const, que pueden ser inicializadas pero no asignadas.
"...4 Constructores por defecto
'e llama constructor por defecto a un constructor que no necesita que se le pasen
parmetros o argumentos para inicializar las variables miembro de la clase. 6n
constructor por defecto es pues un constructor que no tiene argumentos o que, si los
tiene, todos sus argumentos tienen asignados un valor por defecto en la declaracin del
constructor. En cualquier caso, puede ser llamado sin tenerle que pasar ning+n argumento.
El constructor por defecto es necesario si se quiere !acer una declaracin en la forma"
C_Cuenta c1;
y tambi%n cuando se quiere crear un vector de objetos, por e#emplo en la forma"
C_Cuenta cuentas[100];
%*
ya que en este caso se crean e inicializan m+ltiples ob#etos sin poderles pasar argumentos
personalizados o propios para cada uno de ellos.
Al igual que todas las dems funciones de C++, el constructor puede tener de$nidos unos
valores por defecto para los parmetros, que se asignen a las variables miembro de la
clase. Esto es especialmente +til en el caso de que una variable miembro repita su valor
para todos o casi todos los ob#etos de esa clase que se creen. Consid%rese el e#emplo
siguiente"
class C_Cuenta {
private:
public:
// Constructor
C;Cuenta(dou$le un'aldo=0.09 dou$le un(nteres=0.0)
>
'et'aldo(un'aldo)<
'et(nteres(un(nteres)<
?
// Mtodos
char *GetNombre()
{ return Nombre; }
double GetSaldo()
{ return Saldo; }
double GetInteres()
{ return Interes; }
};
void main() {
// Ya es vlida la construccin sin parmetros
C;Cuenta C0< @@ un'aldo=0.0 ! un(nteres=0.0
// Tambin es vlida con un parmetro
C;Cuenta C1(10.0)< @@ un'aldo=10.0 ! un(nteres=0.0
// y con dos parmetros
C;Cuenta C"("0.09 1.0)< @@ un'aldo="0.0 ! un(nteres=1.0
...
}
"...6 Constructor de ofcio
SWu% !ubiera pasado si en la clase +2+uenta no se !ubiera de$nido ning+n constructorT
Pues en este caso concreto, no !ubiera pasado nada, o al menos nada catastr$co. El
compilador de C++ !abra creado un constructor de ofcio, sin argumentos. SWu% puede
!acer un constructor sin argumentosT Pues lo ms razonable que puede !acer es
inicializar todas las variables miembro a cero. Wuizs esto es muy razonable para el Saldo,
aunque quizs no tanto para la variable 4nteres. As pues, se llamar en estos apuntes
constructor por defecto a un constructor que no tiene argumentos o que si los tiene, se
%+
!an de$nido con valores por defecto. 'e llamar constructor de ofcio al constructor
por defecto que de$ne automticamente el compilador si el usuario no de$ne
ning+n constructor. Ambos conceptos no son equivalentes, pues si bien todo constructor
de ofcio es constructor por defecto 0ya que no tiene argumentos2, lo contrario no es
cierto, pues el programador puede de$nir constructores por defecto que obviamente no
son de ofcio. 6n punto importante es que el compilador slo crea un constructor de
ofcio en el caso de que el programador no !aya de$nido ning5n constructor. En el caso
de que el usuario slo !aya de$nido un constructor con argumentos y se necesite un
constructor por defecto para crear por
e#emplo un vector de objetos, el compilador no crea este constructor por defecto sino
que da un mensa#e de error.
-os constructores de ofcio son cmodos para el programador 0no tiene que
programarlos2 y en muc!os casos tambi%n correctos y su$cientes. 'in embargo, ya se ver
en un pr&imo apartado que en ocasiones conducen a resultados incorrectos e incluso a
errores fatales.
"...+ Constructor de copia
?a se !a comentado que C++ obliga a iniciali7ar las variables miembro de una clase
llamando a un constructor, cada vez que se crea un ob#eto de dic!a clase. 'e !a
comentado tambi%n que el constructor puede recibir como parmetros los valores que
tiene que asignar a las variables miembro, o puede asignar valores por defecto.
E&iste un caso particular de gran inter%s no comprendido en lo e&plicado !asta a!ora y que
se produce cuando se crea un objeto inicializndolo a partir de otro objeto de la
misma clase. Por e#emplo, C++ permite crear tres ob#etos c", c# y c& de la siguiente
forma"
C_Cuenta c1(1000.0, 8.5);
C_Cuenta c2 = c1;
C_Cuenta c3(c1);
En la primera sentencia se crea un ob#eto c" con un saldo de BAAA y un inter%s del V.P4.
En la segunda se crea un ob#eto c# a cuyas variables miembro se les asignan los mismos
valores que tienen en c". -a tercera sentencia es una forma sintctica equivalente a la
segunda" tambi%n c& se inicializa con los valores de c".
En las sentencias anteriores se !an creado tres ob#etos y por de$nicin se !a tenido que
llamar tres veces a un constructor. ;ealmente as !a sido" en la primera sentencia se !a
llamado al constructor con argumentos de$nido en la clase, pero en la segunda y en la
tercera se !a llamado a un constructor especial llamado constructor de copia 0cop!
constructor2. Por de$nicin, el constructor de copia tiene un 5nico argumento que es
una referencia constante a un objeto de la clase. 'u declaracin sera pues como
sigue"
C_Cuenta(const C_Cuenta&);
-as sentencias anteriores de declaracin de los ob#etos c# y c& funcionaran correctamente
aunque no se !aya declarado y de$nido en la clase +2+uenta ning+n constructor de copia.
Esto es as porque el compilador de C++ proporciona tambi%n un constructor de copia
de ofcio, cuando el programador no lo de$ne. El constructor de copia de ofcio se
limita a realizar una copia bit a bit de las variables miembro del ob#eto original al ob#eto
copia. En este caso, eso es perfectamente correcto y es todo lo que se necesita. Pronto se
ver alg+n e#emplo en el que esta copia bit a bit no da los resultados esperados. En este
caso el programador debe preparar su propio constructor de
%,
copia e incluirlo en la clase como un constructor sobrecargado ms.
Adems del e#emplo visto de declaracin de un ob#eto inicindolo a partir de otro ob#eto de
la misma clase, !ay otros dos casos muy importantes en los que se utiliza el constructor de
copia"
B. Cuando a una funcin se le pasan ob#etos como argumentos por valor, y
C. Cuando una funcin tiene un objeto como valor de retorno.
En ambos casos !ay que crear copias del ob#eto y para ello se utiliza el constructor de
copia.
*a llegado ya el momento de e&plicar cmo surge la necesidad de escribir un constructor
de copia distinto del que proporciona el compilador. Consid%rese una clase )lumno con
dos variables miembro" un puntero a char llamado nombre y un long llamado nmat que
representa el n+mero de matrcula..
class Alumno {
char* nombre;
long nmat;
...
};
En realidad, esta clase no incluye el nombre del alumno, sino slo un puntero a carcter
que permitir almacenar la direccin de memoria donde est realmente almacenado el
nombre. Esta memoria se reservar dinmicamente cuando el ob#eto vaya a ser
inicializado. -o importante es darse cuenta de que el nombre no es realmente una variable
miembro de la clase" la variable miembro es un puntero a la zona de memoria donde est
almacenado.
'upngase a!ora que con el constructor de copia suministrado por el compilador se crea
un nuevo ob#eto b a partir de a. -as variables miembro de b van a ser una copia bit a bit
de las del ob#eto a. Esto quiere decir que la variable miembro b.nombre contiene la misma
direccin de memoria que a.nombre.
Por e#emplo, si se quiere cambiar el nombre del Alumno a, lo primero que se !ace es liberar
la memoria a la que apunta a.nombre, reservar memoria para el nuevo nombre !aciendo
que a.nombre apunte al comienzo de dic!a memoria, y almacenar all el nuevo nombre de
a. Como el ob#eto b no se !a tocado, su variable miembro b.nombre se !a quedado
apuntado a una posicin de memoria que !a sido liberada en el proceso de cambio de
nombre de a. -a consecuencia es que b !a perdido informacin y los ms probable es que
el programa falle.
'e llega a una situacin parecida cuando se destruye uno de los dos ob#etos a o b. Al
destruir uno de los ob#etos se libera la memoria que comparten, con el consiguiente
per#uicio para el ob#eto que queda, puesto que su puntero contiene la direccin de una
zona de memoria liberada, disponible para almacenar otra informacin.
Con un constructor de copia correctamente programado por el usuario, no copia bit a
bit la direccin contenida en a.nombre, sino que reserva memoria, copia a esa memoria el
contenido apuntado por a.nombre, y guarda en b.nombre la direccin de esa nueva
memoria reservada. (inguno de los problemas anteriores sucede a!ora.
"...- Aos constructores ! el operador de asignaci%n (=)
En un apartado anterior se !a visto una declaracin de un ob#eto en la forma"
C_Cuenta c2 = c1;
&-
Esta sentencia es completamente diferente de una simple sentencia de asignacin entre
dos ob#etos previamente creados, tal como la siguiente"
c2 = c1;
En este +ltimo caso no se llama a ning+n constructor, porque se supone que c" y c#
e&istan previamente. En este segundo caso se utiliza el operador de asignacin 0D2
estndar de C y C++, que permite realizar asignaciones entre ob#etos de estructuras o
clases. Este operador realiza una asignacin bit a bit de los valores de las variables
miembro de c" en c#. En este sentido es similar al constructor de copia y, por las
mismas razones que %ste, da lugar tambi%n a errores o resultados incorrectos.
-a solucin en este caso es redefnir o sobrecargar el operador de asignacin 0D2 de
modo que vaya ms all de la copia bit a bit y se comporte adecuadamente. En el
apartado anterior se !a e&plicado a fondo el origen y la solucin de este problema, com+n
al constructor de copia y al operador de asignacin 0D2.
"...B ,estructores
El complemento a los constructores de una clase es el destructor. As como el constructor
se llama al declarar o crear un ob#eto, el destructor es llamado cuando el ob#eto va a
de#ar de e&istir por !aber llegado al $nal de su vida. En el caso de que un ob#eto 0 local o
auto2 !aya sido de$nido dentro de un bloque ZYK, el destructor es llamado cuando el
programa llega al $nal de ese bloque. 'i el ob#eto es global o static su duracin es la
misma que la del programa, y por tanto el destructor es llamado al terminar la e#ecucin
del programa. -os ob#etos creados con reserva din6mica de memoria 0en general, los
creados con el operador ne'2 no estn sometidos a las reglas de duracin !abituales, y
e&isten !asta que el programa termina o !asta que son e&plcitamente destruidos con el
operador delete. En este caso la responsabilidad es del programador, y no del compilador
o del sistema operativo.
A diferencia del constructor, el destructor es siempre +nico 0no puede estar
sobrecargado2 y no tiene argumentos en ning+n caso. Hampoco tiene valor de retorno.
'u nombre es el mismo que el de la clase precedido por el carcter tilde 0[2, carcter que
se consigue con )lt."#8 en el teclado del PC. En el caso de que el programador no de$na
un destructor, el compilador de C++ proporciona un destructor de ofcio, que es casi
siempre plenamente adecuado 0e&cepto para liberar memoria de vectores y matrices2.
En el caso de que la clase +2+uenta necesitase un destructor, la declaracin sera as"
~C_Cuenta();
y la de$nicin de la clase, a5adiendo en este caso como variable miembro una cadena de
caracteres que contenga el nombre del titular, podra ser como sigue"
class C_Cuenta {
private:
public:
//Constructor
C_Cuenta(const char *unNombre, double unSaldo=0.0, double unInteres=0.0)
{
Nombre = new char[strlen(unNombre)+1];
strcpy(Nombre, unNombre);
Saldo = unSaldo;
&$
Interes = unInteres;
}
// Destructor
CC;Cuenta()
> deleteDE Nom$re< } // Libera la memoria apuntada por el puntero
// Mtodos
char *GetNombre()
{ return Nombre; }
double GetSaldo()
{ return Saldo; }
double GetInteres()
{ return Interes; }
};
int main() {
C_Cuenta C0("Igor");
// Tambien es valida con dos argumentos
C_Cuenta C1("Juan", 10.0);
// y con los tres argumentos
C_Cuenta C2("Itxaso", 20.0, 1.0);
...
}
%., Clases ! funciones friend
?a se !a visto anteriormente que declarar como privadas las variables miembro de una
clase ofrece muc!as venta#as. :e todos modos, en algunos casos, puede suceder que dos
clases vayan a traba#ar con#untamente con los mismos datos, y utilizar las funciones
p+blicas de acceso a esos datos no es la manera ms e$ciente de !acerlo9 conviene
recordar que llamar a una funcin tiene un coste y que es muc!o ms e$ciente acceder
directamente a una variable. Rsta no es la +nica limitacin de las funciones miembro, ya
que una funcin slo puede ser miembro de una 5nica clase. Adems una funcin
miembro convencional slo puede actuar directamente sobre un +nico ob#eto de la clase
0su argumento implcito, que es el ob#eto con el que !a sido llamada por medio del
operador punto 0.2 o Gec!a 0N32, como por e#emplo en c".4ngreso("9999)2. Para que act+e
sobre un segundo o un tercer
ob#eto Npor e#emplo, para !acer transferenciasN !ay que pasrselos como argumentos.
'e puede concluir que a pesar de las grandes venta#as que tiene el encapsulacin, en
muc!as ocasiones es necesario dotar a la programacin orientada a objetos de una mayor
,exibilidad. Esto se consigue por medio de las funciones friend. 6na funcin friend de
una clase es una funcin que no pertenece a la clase, pero que tiene permiso para
acceder a sus variables y funciones miembro privadas por medio de los operadores punto
0.2 y fecha 0N32, sin tener que recurrir a las funciones miembro p+blicas de la clase. 'i una
clase se declara friend de otra, todas sus funciones miembro son friend de esta segunda
clase. El carcter de friend puede restringirse a funciones concretas, que pueden ser
miembro de alguna clase o pueden ser funciones generales que no pertenecen a ninguna
clase..
Para declarar una funcin o una clase como friend de otra clase, es necesario !acerlo en
la declaracin de la clase $ue debe autori7ar el acceso a sus datos privados. Esto se
&%
puede !acer de forma indiferente en la zona de los datos o en la de los datos privados. 6n
e#emplo de declaracin de una clase friend podra ser el que sigue"
class Cualquiera
{
friend class Amiga;
private:
int secreto;
};
Es muy importante tener en cuenta que esta relacin funciona slo en una direccin, es
decir, las funciones miembro de la clase )miga pueden acceder a las variables privadas de
la clase +ual$uiera, por e#emplo a la variable entera secreto, pero esto no es cierto en
sentido inverso" las funciones miembro de la clase +ual$uiera no puede acceder a un dato
privado de la clase )miga. 'i se quiere que varias clases tengan acceso mutuo a todas las
variables y funciones miembro privadas, cada una debe declararse como friend en todas
las dems, para conseguir una relacin recproca.
<tro aspecto que !ay que mencionar es que al de$nir una clase como friend no se est%
haciendo friend a todas las clases que se deriven de ella 0esto se entender al llegar al
captulo de la herencia2.
*ay que tener en cuenta que para que una funcin que no es miembro de una clase pueda
recibir como argumentos e&plcitos ob#etos de esa clase, debe ser declarada friend de esa
clase. 6n e#emplo de una funcin friend es el que sigue"
class Cualquiera
{
friend void fAmiga(Cualquiera);
private:
int secreto;
};
void fAmiga(Cualquiera Una)
{
Una.secreto++; // Modifica el valor de la variable privada
}
;ecu%rdese que una funcin puede ser declarada friend de cuantas clases se quiera, pero
slo puede ser miembro de una +nica clase. En algunos casos interesar que no sea
miembro de ninguna y que sea friend de una o ms clases.
'e plantea un problema cuando dos clases deben ser declaradas mutuamente friend la
una de la otra. Consid%rense por e#emplo las clases vector y matri7. -as declaraciones
podran ser como se muestra a continuacin"
// declaracin de las clases vector y matriz (mutuamente friend)
class matriz; // declaracin anticipada de la clase matriz
class vector {
// declaracin de funciones miembro de la clase vector
...
friend matriz;
};
class matriz {
// declaracin de funciones miembro de la clase matriz
...
friend vector;
};
&&
A primera vista sorprende la segunda lnea de lo que sera el arc!ivo de declaracin de
ambas clases. En esta lnea aparece la sentencia class matri70. Esto es lo que se llama
una declaracin anticipada, que es necesaria por el motivo que se e&plica a
continuacin. 'in declaracin anticipada cuando la clase matri7 aparece declarada como
friend en la clase vector, el compilador a+n no tiene noticia de dic!a clase, cuya
declaracin viene despu%s. Al no saber lo que es matri7, da un error. 'i la clase matri7 se
declara antes que la clase vector, el problema se repite, pues vector se declara como
friend en matri7. -a +nica solucin es esa declaracin anticipada que advierte al
compilador que matri7 es una clase cuya declaracin est ms adelante.
".10 El puntero this
El puntero this es una variable prede$nida para todas las funciones u operadores
miembro de una clase. Este puntero contiene la direccin del ob#eto concreto de la clase
al que se est aplicando la funcin o el operador miembro. 'e puede decir que Ithis es un
alias del ob#eto correspondiente. Conviene tener en cuenta que cuando una funcin
miembro se aplica a un ob#eto de su clase 0su argumento implcito2, accede directamente a
las variables miembro 0sin utilizar el operador punto o Gec!a2, pero no tiene forma de
referirse al ob#eto como tal, pues no le !a sido pasado e&plcitamente como argumento.
Este problema se resuelve con el puntero this. Consid%rese el
siguiente e#emplo"
class C_Cuenta {
//...
public:
// ...
inline double GetInteres()
{
// Igual a : return Interes;
return tFisGH(nteres<
}
// ....
};
En el caso de operadores miembro sobrecargados, el puntero this es la forma que se utiliza
para referirse al ob#eto al que se est aplicando el operador como primer operando.
*ay que se5alar que las funciones friend que no son miembros de ninguna clase no
disponen de puntero this.
".11 'o$recarga de operadores
-os operadores de C++, al igual que las funciones, pueden ser sobrecargados
0overloaded2. Este es uno de los aspectos ms caractersticos de este lengua#e. -a
sobrecarga de operadores quiere decir que se pueden redefnir algunos de los
operadores existentes en C++ para que act+en de una determinada manera, de$nida
por el programador, con los objetos de una clase determinada. Esto puede ser muy +til por
e#emplo, para de$nir operaciones matemticas con elementos tales como vectores y
matrices. As, sobrecargando adecuadamente los operadores suma 0+2 y asignacin 0D2,
se puede llegar a sumar dos matrices con una sentencia tan simple como"
C = A + B;
<tra capacidad muy utilizada es la de sobrecargar los operadores de insercin !
extraccin en los Gu#os de entrada y salida 033 y 112, de manera que puedan imprimir o
leer estructuras o clases comple#as con una sentencia estndar.
&'
-os +nicos operadores de C que no se pueden sobrecargar son el operador punto 0.2, el if
aritmtico 0T"2 y el operador sizeof. C++ a5ade otros C a esta lista" el scope resolution
operator 0""2 y puntero a miembro de un objeto 0.I2.
El ob#etivo +ltimo de la sobrecarga de operadores es simpli$car al m&imo el cdigo a
escribir, a cambio de complicar algo la de$nicin de las clases. 6na clase que disponga de
operadores sobrecargados es una clase ms comple#a de de$nir, pero ms sencilla e
intuitiva de utilizar.
-as venta#as de la sobrecarga de operadores terminan cuando se utiliza de modo que
a5ade comple#idad o confusin a los programas. Por e#emplo, aunque est% permitido por el
lengua#e, no se deber nunca utilizar el operador 0N2 para multiplicar matrices o el 0+2 para
imprimir vectores. -a sobrecarga de operadores tiene dos limitaciones tericas y una
prctica"
'e puede modi$car la defnicin de un operador pero no su gram6tica, es decir,
el n+mero
de operandos sobre los que act+a, la precedencia y la asociatividad.
Es necesario que al menos un operando sea un objeto de la clase en la que se
!a de$nido el
operador sobrecargado.
Como se ver ms adelante al presentar el e#emplo cadena, la sobrecarga de
operadores puede resultar bastante inefca7, desde el punto de vista de
utilizacin de los recursos del ordenador.
6n operador puede estar sobrecargado o rede$nido varias veces, de tal manera que act+e
de un modo distinto dependiendo del tipo de ob#etos que tenga como operandos. Es
precisamente el tipo de los operandos lo que determina qu% operador se utiliza en cada
caso.
6n operador sobrecargado puede ser miembro o friend de la clase para la que se
de$ne 0nunca las dos cosas a la vez2. El que se de$na de una forma u otra es en ocasiones
cuestin de conveniencia o incluso de preferencia personal, mientras que en otros casos la
decisin est impuesta. *abitualmente"
'e suelen declarar miembros de la clase los operadores unarios 0es decir,
aquellos que act+an sobre un +nico ob#eto2, o los que modifcan el primer
operando, como sucede con los operadores de asignacin.
Por el contrario, los operadores que act+an sobre varios ob#etos sin modi$carlos
0por e#emplo los operadores aritm%ticos y lgicos2 se suelen declarar como
friends.
Para los operadores sobrecargados miembro de una clase, el primer operando debe de ser
siempre un objeto de esa clase, en concreto el ob#eto que constituye el argumento
impl/cito. En la declaracin y en la de$nicin slo !ar falta incluir en la lista de
argumentos el segundo operando. En los operadores friend el n+mero de argumentos
deber ser el estndar del operador 0unario o binario2.
".1" Ejemplo: Clase cadena
".1".1 Para e&plicar la sobrecarga de operadores y los diversos conceptos que implica
se va a utilizar un e#emplo diferente a la cuenta corriente que se !a estado considerando
!asta a!ora. 'e va a crear una clase llamada cadena que permita traba#ar con cadenas de
caracteres de un modo ms directo e intuitivo de lo que permite C. Por e#emplo, en C no se
puede copiar una cadena de caracteres en otra con el operador de asignacin 0D2, sino
que es necesario utilizar la funcin strcp!()9 tampoco se pueden concatenar cadenas con
el operador suma 0+2, ni se pueden comparar con los operadores relacionales 0DD2 y
0\D2, sino que !ay que utilizar las funciones strcat() y strcmp(),
&(
respectivamente.
-as variables miembro de la clase cadena van a ser el n+mero de caracteres nchar 0sin
incluir el ./A. $nal2 y un puntero a char llamado pstr que contendr la direccin del primer
carcter de la cadena. -a declaracin de la clase cadena, con todas sus funciones y
operadores miembro, y con otros operadores que slo son friend, est contenida en un
arc!ivo llamado cadena.h, y es como sigue"
// archivo cadena.h
#include <iostream>
#ifndef __CADENA_H
#define __CADENA_H
class cadena {
private:
char* pstr;
int nchar; // n de caracteres (sin el '\0')
public:
cadena(); // constructor por defecto
cadena(char*); // constructor general
cadena(const cadena&); // constructor de copia
~cadena(); // destructor
void setcad(char*); // dar valor a la variable privada pstr
// sobrecarga de operadores
cadena& operator= (const cadena&);
friend cadena operator+ (const cadena&, const cadena&);
friend cadena operator+ (const cadena&, const char* );
friend cadena operator+ (const char*, const cadena&);
friend int operator== (const cadena&, const cadena&);
friend int operator!= (const cadena&, const cadena&);
friend ostream& operator<< (ostream&, const cadena&);
/* Otros operadores que se podran sobrecargar:
friend int operator== (const cadena&, const char*);
friend int operator== (const char*, const cadena&);
friend int operator!= (const cadena&, const char*);
friend int operator!= (const char*, const cadena&);
*/
};
#endif // __CADENA_H
<bs%rvese que los operadores sobrecargados se declaran de forma muy similar a la de las
funciones, sustituyendo el nombre de la funcin por la palabra operator y el operador
correspondiente.
En la declaracin de la clase cadena se pueden observar algunos !ec!os interesantes, que
se comentan a continuacin. ;ecu%rdese que la declaracin de una clase es de ordinario lo
+nico que conocen los programadores&usuarios de la clase" al cdigo, esto es, a la
de$nicin de las funciones y operadores slo acceden los que programan la clase. -o
importante es resaltar que la declaracin de la clase contiene toda la informacin
necesaria para utilizarla y sacarle partido. -os aspectos a destacar son los siguientes"
B. En la de$nicin de la clase no se !a reservado memoria para la cadena de caracteres,
slo para el puntero pstr. -a razn es que no se sabe a priori cuntos caracteres va a tener
cada ob#eto de la clase cadena y se piensa por ello utilizar reserva dinmica de memoria"
cuando se sepa el te&to que se quiere guardar en un ob#eto determinado, se reservar la
memoria necesaria para ello.
C. 'e !an de$nido tres constructores y un destructor. El primer constructor es un
constructor por defecto que no requiere ning+n argumento, pues inicializa el ob#eto a
una cadena vaca de cero caracteres. Al segundo constructor se le pasa como argumento
&)
un puntero a una cadena de caracteres cualquiera y crea un ob#eto que apunta a esa
cadena. El tercer constructor es un constructor de copia que recibe como argumento una
referencia constante a un objeto de la clase cadena. El argumento Nun ob#eto de la
clase cadenaN se pasa por referencia por motivos
de e$ciencia 0para no tener que sacar una copia29 por otra parte se pasa como const por
motivos de seguridad 0para evitar que sea modi$cado por el constructor2. En lo sucesivo ya
no se volver a #usti$car el paso por referencia y como const de los argumentos que no
deban ser modi$cados. En este caso, los constructores de ofcio no sirven, pues ya se
!an de$nido otros constructores y adems una variable miembro es un puntero y se va
a utilizar reserva din6mica de memoria.
E. 'e !a de$nido un destructor porque las cadenas de caracteres son arra!s y se va a
utilizar reserva din6mica de memoria, memoria que !abr que liberar e&presamente.
O. -a funcin miembro setcad() permite proporcionar o cambiar el valor de la cadena de
caracteres que contiene un ob#eto. Es una funcin miembro tpica y slo se !a introducido
aqu a modo de e#emplo. 'e le pasa como argumento un puntero a char que contiene la
direccin del primer carcter del te&to a introducir. (o necesita devolver ning+n valor.
P. 'e !an de$nido siete operadores sobrecargados Nuno como miembro y seis como
friendsN, y !ay cuatro operadores relacionales ms incluidos entre comentarios que se
podran terminar de de$nir de modo similar.
]. El primer operador sobrecargado es el operador de asignacin 0D2. Como es un
operador binario que modi$ca el primer operando debe necesariamente ser defnido
como miembro. Este operador asigna un ob#eto cadena a otro. El miembro izquierdo de
la igualdad es el primer operando y en este caso es el argumento implcito del operador. En
la lista de argumentos formales que $gura entre par%ntesis slo !ay que incluir el segundo
operando, que es un ob#eto cadena que se pasa por referencia y como const, pues no
debe ser modi$cado. El valor de retorno de este operador requiere un comentario
especial.
Q. Estrictamente !ablando, en este caso el operador de asignacin (%) no necesita
ning5n valor de retorno" su misin en una sentencia tal como c" % c#0 queda
su$cientemente cumplida si !ace que las variables miembro de c" sean iguales a las de c#
0siendo c" y c# dos ob#etos de la case cadena2. 'in embargo el operador (%) est6ndar
de + tiene un valor de retorno que es una referencia al resultado de la asignacin. Esto es
lo que permite escribir sentencias como la siguiente" a % b % c0 que es equivalente a
!acer b igual a c, y devolver un valor que puede ser
asignado a a. Al $nal las tres variables tienen el mismo valor. Para que el operador
sobrecargado se parezca todo lo posible al de C y para poder escribir sentencias de
asignacin m+ltiples con ob#etos de la clase cadena 0c" % c# % c&02, es necesario que el
operador de asignacin sobrecargado 0D2 tenga valor de retorno. El valor de retorno es
una referencia al primer operando por motivos de e$ciencia, pues si no !ay que crear
un ob#eto nuevo, diferente
de los dos operandos, para devolverlo como valor de retorno.
V. A continuacin aparecen tres operadores suma 0+2 sobrecargados para realizar
concatenacin de cadenas. Puede observarse que no son operadores miembro sino
friend. As pues, no !ay argumento implcito, y los dos argumentos aparecen entre
par%ntesis. -os tres operadores 0+2 tienen un ob#eto de la clase cadena como valor de
retorno. El primero de ellos concatena dos objetos de la clase cadena, y devuelve un
nuevo ob#eto cadena cuyo te&to es la concatenacin de las cadenas de caracteres de los
ob#etos operandos. Este resultado es diferente del de la
funcin strcat(), que a5ade el te&to del segundo argumento sobre el primer argumento
0modi$cndolo por tanto2. En este caso se !a preferido obtener un nuevo ob#eto y no
&*
modi$car los operandos. -os otros dos operadores 0+2 sobrecargados concatenan el te&to
de un objeto cadena y una cadena de caracteres est6ndar, y una cadena de
caracteres est6ndar y el te&to de un objeto cadena, respectivamente. ;ecu%rdese que
el orden y el tipo de los argumentos deciden qu% de$nicin del operador sobrecargado se
va a utilizar. 'i se quiere poder escribir tanto c".: anexo: como :prefacio :.c# es
necesario programar dos operadores distintos, adems del que concatena dos ob#etos
c".c#.
M. SPor qu% los operadores 0+2 anteriores se !an de$nido como friend y no como
miembrosT -a verdad es que %sta es una cuestin interesante y no fcil de ver a primera
vista. En realidad, la primera y la segunda de las de$niciones podran !aberse !ec!o con
operadores miembro. 'in embargo, la tercera no puede !acerse ms que como friend.
SPor qu%T Pues porque los operadores miembro siempre tienen un primer operando
$ue es miembro de la clase y que va como argumento impl/cito. -a tercera de$nicin
del operador 0+2 no cumple con esta condicin, pues su primer operando 0para
concatenar por e#emplo :prefacio :.c#2 es una simple cadena de caracteres. Este !ec!o
es muy frecuente cuando se sobrecargan los operadores aritm%ticos" puede por e#emplo
sobrecargarse el operador producto 0I2 para pre y postmultiplicar matrices por un escalar.
Al menos en el caso de la preNmultiplicacin por el escalar es necesario que el operador 0I2
no sea miembro de la clase matriz.
BA. A continuacin $gura la declaracin de los operadores relacionales 0DD2 y 0\D2, que
permiten saber si dos ob#etos contienen o no el mismo te&to. En este caso el valor de
retorno del test de igualdad 0DD2 es un int que representar true 0B2 o false 0A2. Para el
operador de desigualdad 0\D2 la situacin es un poco ms comple#a, pues se desea que
sirva para ordenar cadenas alfab%ticamente, de modo similar a la funcin strcmp(). Por
ello el valor de retorno de c";%c# es un 0NB2 si c" es diferente y anterior alfab%ticamente a
c#, un cero 0A false2 si las cadenas son
id%nticas, y un 0B2 si son diferentes y c" es posterior a c# en orden alfab%tico.
BB. -os operadores relacionales cuyas declaraciones estn contenidas entre
comentarios FIYIF no son necesarios. (o !ay inconvenientes en comparar ob#etos de la
clase cadena y cadenas de caracteres estndar, aunque no se disponga de los operadores
relacionales cuyos argumentos se a#usten a los tipos e&actos. -a razn est en la
inteligencia contenida en los compiladores de +.." cuando el compilador encuentra un
operador 0DD2 o 0\D2 que relaciona una cadena est6ndar y un ob#eto de la clase cadena,
intenta ver si dispone de alguna forma segura de
promover o convertir la cadena est6ndar a un ob#eto de la clase cadena. Como tiene
un constructor general que inicializa un ob#eto cadena a partir de una cadena estndar,
utiliza dic!o constructor para convertir la cadena estndar en un ob#eto cadena y luego
poder utilizar la de$nicin del operador relacional que compara dos ob#etos de la clase
cadena. Esto lo !ace independientemente de qu% operando es el ob#eto y cul es la
cadena estndar. Esto es similar a lo que !ace el compilador de + cuando se le pide que
compare un int con un double" antes de
!acer la comparacin promueve 0convierte2 el int a double, y luego realiza la
comparacin entre dos variables double.
BC. -a pregunta obligada es, S! no pasa lo mismo con el operador (.)T S(o bastara
con de$nir un +nico operador 0+2 que concatenase objetos de la clase cadena y con$ar
a la inteligencia del compilador el promover a objetos las cadenas de caracteres
estndar que se quisieran concatenar, ya fueran el primer o el segundo operandoT -a
respuesta es que s" en este caso no hace falta sobrecargar el operador (.) con tres
defniciones. 'e !a !ec!o porque el problema se resuelve de modo m6s efciente 0no
!ay que perder tiempo en promover variables creando
&+
ob#etos2 y porque en otras aplicaciones ms complicadas que las cadenas de caracteres lo
de la promocin de una variable estndar a un ob#eto de una clase puede que no est% nada
claro. Por e#emplo, en la clase matri7, Scmo se promueve un escalar a matrizT 'i es para
la operacin suma se podra !acer con una matriz cuyos elementos fueran todos igual al
escalar, pero si es para la operacin producto sera ms razonable promover el escalar a
una matriz diagonal. En de$nitiva, C++ ofrece posibilidades muy interesantes, pero no
conviene abusar de ellas.
BE. Linalmente, en la declaracin de la clase cadena se muestra la sobrecarga del
operador de insercin en el ,ujo de salida 0112, que tiene como $nalidad el poder
utilizar cout con ob#etos de la clase. Este operador, al igual que el 0332, se suele
sobrecargar como operador friend. ;ecibe dos argumentos" 6na referencia al Gu#o de
salida 0ostream, de output stream2 y una referencia constante al ob#eto cadena que se
desea insertar en dic!o Gu#o. El valor de retorno es una referencia al Gu#o de salida
ostream en el que ya se !abr introducido el ob#eto cadena.
".1"." ,efnici%n de funciones ! operadores de la clase cadena
6na vez vistas y e&plicadas la declaracin de la clase cadena y de sus funciones y
operadores miembro y friend, contenidas en el arc!ivo cadena.h, se va a presentar la
de$nicin de todas estas funciones y operadores, que estn contenidas en otro arc!ivo
llamado cadena.cpp. <bs%rvese que se !an introducido algunas sentencias de
escritura de mensajes, con ob#eto de determinar con claridad cundo y en qu%
circunstancias se e#ecuta cada funcin.
-os usuarios de la clase cadena no tendran por qu% tener acceso a este arc!ivo fuente,
aunque
s al arc!ivo ob#eto correspondiente. A continuacin se muestra el contenido del arc!ivo
cadena.cpp
intercalando algunos comentarios e&plicativos.
// cadena.cpp
#include <string.h>
#include "cadena.h"
using std :: cout;
using std :: cin;
// constructor por defecto
cadena::cadena()
{
pstr = new char[1];
strcpy(pstr, "");
nchar = 0;
cout << "Constructor por defecto " << (long)this << endl;
}
:os observaciones acerca del constructor por defecto 0sin argumentos2. -a primera es
que la variable miembro psrt, que es un puntero a char, se inicializa apuntando a una
cadena vaca 0slo tiene el ./A. de $n de cadena2. 'e utiliza reserva dinmica de memoria
con el operador ne'. -a variable miembro nchar, que representa el n+mero de caracteres,
no incluye el carcter de $nal de cadena. 'e !a incluido una sentencia de escritura que
imprimir un mensa#e avisando de que se !a utilizado este constructor. )mprime tambi%n la
direccin en memoria del objeto creado, con idea de saber cundo se crea y se
destruye cada ob#eto concreto del programa. Para ello se utiliza el puntero this y un cast a
long.
// constructor general
&,
cadena::cadena(char* c)
{
nchar = strlen(c);
pstr = new char[nchar + 1];
strcpy(pstr, c);
cout << "Constructor general " << (long)this << endl;
}
El constructor general admite como argumento la direccin del carcter inicial de una
cadena de caracteres, a partir de la cual se inicializar el nuevo ob#eto. 'e utiliza tambi%n
reserva dinmica de memoria. 'e utilizan las funciones strlen() y strcp!() para
determinar el n+mero de caracteres y para copiar el argumento en la direccin a la que
apunta la variable miembro pstr. 'e imprime un mensa#e que permite saber qu%
constructor se !a llamado y qu% ob#eto !a sido creado.
// constructor de copia
cadena::cadena(const cadena& cd)
{
nchar = cd.nchar;
pstr = new char[nchar +1];
strcpy(pstr, cd.pstr);
cout << "Constructor de copia " << (long)this << endl;
}
Puede verse que el constructor de copia es muy similar al constructor general, con la
+nica diferencia de que recibe como argumento una referencia a un ob#eto cadena, a partir
del cual inicializa el nuevo ob#eto con reserva dinmica de memoria. <bs%rvese que se
tiene acceso a las variables miembro del ob#eto cadena pasado como argumento, pero que
!ay que utilizar el operador punto 0.2. A las variables miembro del ob#eto pasado como
argumento implcito se tiene acceso directo.
// destructor
cadena::~cadena()
{
delete[] pstr;
cout << "Destructor " << (long)this << endl;
}
En este caso no sirve el destructor de o$cio, porque se est utilizando reserva dinmica de
memoria. El destructor debe liberar la memoria ocupada por las cadenas de caracteres,
para lo que !ay que utilizar la sentencia delete<= pstr0. Adems se imprime un mensa#e
incluyendo la direccin del ob#eto borrado. :e este modo se puede saber cundo se crea y
se destruye cada ob#eto, lo cual ser de gran utilidad en los e#emplos que se presentarn
ms adelante.
// funcin miembro setcad()
void cadena::setcad(char* c)
{
nchar = strlen(c);
delete[] pstr;
strcpy(pstr, c);
cout << "Funcin setcad()" << endl;
}
-a funcin miembro setcad() permite sustituir el contenido de un ob#eto cadena a partir
de una cadena de caracteres estndar. Esta funcin se diferencia del constructor general
visto previamente en que act+a sobre un ob#eto que ya e&iste. Esto !ace que la primera
tarea a realizar sea liberar la memoria a la que la variable pstr apuntaba anteriormente.
'-
:espu%s se reserva memoria para el nuevo contenido al que pstr apuntar. -os
constructores siempre act+an sobre un ob#eto reci%n creado, y por eso no tienen que
liberar memoria.
// operador de asignacin sobrecargado (=)
cadena& cadena::operator= (const cadena& cd)
{
if(*this != cd) {
nchar = cd.nchar;
delete[] pstr;
strcpy(pstr, cd.pstr);
cout << "Operador =" << endl;
}
return *this;
}
Este operador miembro permite asignar un ob#eto cadena a otro, por e#emplo en la forma
c#%c"0, donde se supone que ambos ob#etos e&istan previamente. El ob#eto c# sera el
argumento implcito y c" el que se pasa e&plcitamente por ventana. Por eso a las variables
miembro de c# se accede directamente, mientras que a las de c" Nrepresentado por cdN
!ay que acceder con el operador punto 0.2. Como c" ya e&ista, !ay que liberar la memoria
que estaba ocupando. Este operador se de$ne con un valor de retorno que es una
referencia a un ob#eto cadena para poderlo utilizar en asignaciones m+ltiples
0c&%c#%c"02. Como valor de retorno se devuelve el propio miembro izquierdo de la
asignacin, que es el argumento implcito del operador miembro9 para !acer referencia a
dic!o ob#eto !ay que utilizar el puntero this 01this es el ob#eto, mientras que this es su
direccin2.
En la de$nicin del operador miembro 0D2 llama la atencin la sentencia if que aparece
al comienzo de la funcin. SCul es su razn de serT 'u razn de ser es evitar los efectos
per#udiciales que puede tener una sentencia de asignacin de un objeto a s/ mismo
0c"%c"02. Esta sentencia no es verdaderamente muy +til, pero no !ay razn para no prever
las cosas de modo que sea inofensiva9 y la verdad es que si no se introduce ese if esta
sentencia es todo menos inofensiva. Al asignarse un ob#eto a otro, lo primero que se !ace
es liberar la memoria ocupada por el primer operando 0el que est a la izquierda2, para
despu%s sacar una copia de la memoria a la que apunta el segundo
operando y asignar su direccin a la variable miembro del primero. El problema es que si
ambos ob#etos coinciden 0son el mismo ob#eto2, al liberar la memoria del primer operando,
el segundo 0que es el mismo2 la pierde tambi%n y ya no !ay nada para copiar ni para
asignar, llegndose en realidad a la destruccin del ob#eto. El remedio es c!equear, a la
entrada de la de$nicin del operador 0D2, que los dos operandos son realmente ob#etos
distintos. 6na vez ms, es necesario utilizar el puntero this.
// operador de insercin en ostream
ostream& operator<< (ostream& co, const cadena& cad) {
co << cad.pstr;
return co;
}
-a de$nicin del operador insercin 0112 sobrecargado es muy sencilla, pues lo +nico
que se !ace es insertar en el Gu#o de salida la cadena de caracteres estndar a la que
apunta la variable miembro pstr.
// Definiciones del operador de concatenacin de cadenas
cadena operator+ (const cadena& a, const cadena& b)
{
'$
cadena c;
c.nchar = a.nchar + b.nchar;
c.pstr = new char[c.nchar + 1];
strcpy(c.pstr, a.pstr);
strcat(c.pstr, b.pstr);
return c;
}
cadena operator+ (const cadena& a, const char* ch)
{
cadena c;
c.nchar = a.nchar + strlen(ch);
strcpy(c.pstr, a.pstr);
strcat(c.pstr, ch);
return c;
}
cadena operator+ (const char* ch, const cadena& b)
{
cadena c;
c.nchar = strlen(ch) + b.nchar;
strcpy(c.pstr, ch);
strcat(c.pstr, b.pstr);
return c;
}
-as tres de$niciones anteriores del operador de concatenacin 0+2 son casi evidentes.
En todos los casos se crea un nuevo ob#eto cadena en el que se concatenan las cadenas de
los dos operandos. 'e podra !aber realizado la programacin de modo que el segundo
operando se a5adiera al primero 0de modo seme#ante a como act+a la funcin strcat()2. 'e
!a preferido !acerlo as para de#ar intactos los operandos, y porque la otra forma de actuar
sera ms propia del operador de asignacin incremental 0+D2.
// sobrecarga de los operadores relacionales
int operator== (const cadena& c1, const cadena& c2)
{
if(strcmp(c1.pstr, c2.pstr)==0)
return 1;
return 0;
}
int operator!= (const cadena& c1, const cadena& c2)
{
int dif = strcmp(c1.pstr, c2.pstr);
if(dif<0)
return (-1);
if(dif==0)
return 0;
else
return 1;
}
// fin del archivo cadena.cpp
-a sobrecarga de los operadores relacionales est muy clara y no requiere e&plicaciones
distintas de las que se !an dado al !ablar de su declaracin.
".1".4 Ejemplo de utiliaci%n de la clase cadena
6na vez vistas todas las de$niciones contenidas en el arc!ivo cadena.cpp, queda por ver
un programa principal que de alguna manera utilice las capacidades que se !an e&plicado"
'%
6n programa principal posible, contenido en un arc!ivo llamado pruebacad.cpp, se
muestra a continuacin"
// archivo pruebacad.cpp
#include "cadena.h"
using std :: cout;
using std :: cin;
int main()
{
// creacin de un objeto con constructor por defecto
cadena c1;
// creacin de un objeto con constructor general
cadena c2("Ingenieros");
// operaciones de concatenacin
c2 = (c2 + " ") + "Industriales ";
// creacin de un objeto con constructor de copia
cadena c3 = c2; // tambin: cadena c3(c2);
// primero se convierte a objeto y luego se asigna
c1 = "Escuela Superior de ";
// c3 se hace primero igual a c2 y luego a c1
(c3 = c2) = c1;
if(c3 == c1) {
cout << "c3 y c1 son iguales" << endl;
// un contructor es un conversor de tipo
c3 = cadena("de San Sebastian");
}
// salida de reultados
cout << "\nc1 vale: " << c1 << "\nc2 vale: " << c2
<< "\nc3 vale: " << c3 << "\nAgur" << endl;
cout << c1+c2+c3 << endl;
} // se detruyen c1, c2 y c3
Es muy interesante ver cul es la salida que produce el anterior programa principal, que
se muestra un poco ms adelante. :ic!a salida consta de los mensa#es del propio
programa principal y de los que producen los constructores, el destructor y el operador
0D2 cada vez que son llamados 0la mayora de los mensa#es proviene de ellos2. 'e puede
observar que !ay ms llamadas a los constructores y al destructor de las que cabra
pensar. Para identi$car estas llamadas se !a incluido en negrita el cdigo del programa
principal, que aparece #usto antes de que se llame, es decir, #usto antes de que se
muestren los mensa#es que esa sentencia genera. 'e puede concluir que la facilidad $ue
+.. da a los programadores tiene un precio en t*rminos de efciencia en los
c6lculos. Esta e$ciencia puede me#orarse utilizando siempre que sea posible referencias
a objetos, evitando as llamadas a los constructores y al destructor. (tese que cada
llamada al operador (.) implica la creacin de un ob#eto con el constructor por defecto
para crear el ob#eto resultante de la concatenacin, y luego una llamada al constructor
de copia y dos llamadas al destructor para devolver el ob#eto resultante como valor de
retorno. En efecto, para devolver un objeto como valor de retorno, C++ crea un
objeto invisible con el constructor de copia, destruye el ob#eto creado anteriormente
con el constructor por defecto y luego destruye el objeto invisible creado con el
constructor de copia. El resultado del programa principal anterior es el siguiente"
'&
cadena c1<
Constructor por defecto 1245036
cadena c"(I(ngenierosI)<
Constructor general 1245028
c" = (c" + I I) + I(ndustriales I<
Constructor de copia 1245012
Destructor 1244916
Destructor 1244920
3perador =
Destructor 1245004
Destructor 1245012
cadena c4 = c"<
c1 = IEscuela 'uperior de I<
Operador =
Destructor 1244996
(c4 = c") = c1<
Operador =
if(c4 == c1) >
cout JJ Ic4 ! c1 son igualesI JJ endl<
c3 y c1 son iguales
c4 = cadena(Ide 'an 'e$astianI)<
Operador =
Destructor 1244988
cout JJ Ic1 vale: I ...
c1 vale: Escuela Superior de
c2 vale: Ingenieros Industriales
c3 vale: de San Sebastian
Agur
cout JJ c1+c"+c4 JJ endl<
Destructor 1244912
Destructor 1244916
Escuela Superior de Ingenieros Industriales de San Sebastian
Destructor 1244972
Destructor 1244980
Destructor 1245020
Destructor 1245028
Destructor 1245036
".14 1aria$les miem$ro static
Cada objeto de una clase tiene su propia copia de cada una de las variables miembro de
esa clase. 'in embargo, a veces puede interesar que una variable miembro sea com5n
para todos los ob#etos de la clase, de modo que todos compartan el mismo valor. Por
e#emplo, puede resultar +til que el inter%s ofrecido por un banco sea igual para todas las
cuentas bancarias de un mismo tipo. En tal caso se puede utilizar una variable miembro
static como en el e#emplo siguiente"
class C_Cuenta {
''
private:
public:
static double Interes; // Esta variable es la misma en todos los
// objetos creados de C_Cuenta
// ... Definicin de los mtodos
};
// Las variables static necesitan inicializarse. Si no se especifica un
// valor inicial las variables static se inicializan a cero.
// double C_Cuenta::Interes;
// para inicializaras con otro valor: double C_Cuenta::Interes=1.0;
void main()
{
// Las variables estticas tienen un scope global.
// Por lo tanto se pueden usar aunque no est creado
// ningn objeto de dicha clase.
C_Cuenta::Interes = 2.0;
// ...
}
Como se ve en el e#emplo anterior, para conseguir que el inter%s sea el mismo en todas las
cuentas que se creen, C++ permite declarar una variable miembro como static. A
continuacin se describen las caractersticas ms importantes de las variables miembro
static"
'lo e&iste una copia de cada una de las variables miembro static. Es decir, todos
los ob#etos declarados de esa clase !acen referencia a la misma variable, esto es,
a la misma posicin de memoria.
-as variables static pueden ser public o private, del mismo modo que el resto
de las variables miembro.
-as variables static de una clase e&isten aunque no se !aya declarado ning+n
ob#eto de esa clase. Esto quiere decir que la memoria reservada para este tipo de
variable se ocupa en el momento de la de$nicin de la clase, no en el momento de
la declaracin de los ob#etos.
Para referirse a una variable static se puede utilizar el nombre de un ob#eto y el
operador punto 0.2, pero esta notacin es confusa ya que se est !aciendo
referencia a una variable com+n a todos los ob#etos de una clase mediante el
nombre de uno slo de ellos. Por eso es me#or utilizar el nombre de la clase y el
scope resolution operator 0""2" Nombre_de_la_clase::variable_static
-as variables static no se pueden inicializar en un constructor, porque se
inicializaran muc!as veces. 'i se desea inicializarlas debe !acerse en el archivo
que contiene las defniciones de las funciones miembro de esa clase"
float Nombre_de_la_clase::variable_static = valor_inicial;
<bs%rvese que en este caso !ay que incluir el tipo de variable porque se trata de una
iniciali7acin y no de una sentencia de asignacin. -as variables static tienen una cierta
similitud con las variables global, pero di$eren en que el scope de las variables miembro
static puede ser controlado por el programador de$ni%ndolo como
private, public o protected.
6n caso !abitual en el que las variables tipo static son de gran utilidad es en el caso de
que se desee llevar un contador del n5mero de objetos creados de una clase dada"
'(
class C_Cuenta {
private:
double Interes; // Inters calculado hasta el momento
static int Cuantas< // Nmero de cuentas abiertas
public:
// Constructor
{
SetSaldo(unSaldo);
Cuantas++<
}
// Destructor
~Cuenta()
{ delete[]Nombre;
CuantasGG< }
// Mtodos
inline int getCuantasCuentas()
{ return Cuantas; }
inline char *GetNombre()
{ return Nombre; }
inline double GetSaldo()
{ return Saldo; }
{ return Interes; }
inline void SetSaldo(double unSaldo)
inline void SetInteres(double unInteres)
friend ostreamK operatorJJ(ostreamK os9 C;CuentaK unaCuenta)
>
os JJ INom$re=I JJ unaCuenta.LetNom$re() JJ endl<
os JJ I'aldo=I JJ unaCuenta.Let'aldo() JJ endl<
return os<
?
};
// definicin e inicializacin de variable static
int C;Cuenta::Cuantas = 0<
int main()
{
C_Cuenta c1("Igor");
// Imprime 1
cout << c1.getCuantasCuentas() << endl;
C_Cuenta c2("Juan");
// Imprime 2
cout << c2.getCuantasCuentas() << endl;
')
// ...
}
'e ve en el e#emplo anterior cmo el n+mero total de cuentas creadas !asta el momento se
almacena en una variable miembro static llamada cuantas. Esta variable se incrementa
en una unidad cada vez que se llama al constructor y se decrementa en uno cada vez que
se llama al destructor. Para conocer en un momento dado el valor de esta variable se
utiliza la funcin get+uantas+uentas($# En el e#emplo anterior, se !a a5adido tambi%n a
la clase +2+uenta un operador de insercin en ostream sobrecargado 0112 capaz de
escribir todos los datos de una
cuenta corriente.
".16 7unciones miem$ro static
-as funciones miembro que slo acceden a variables miembro static pueden, a su vez,
ser declaradas como static en la de$nicin de la clase. Estas funciones pueden ser
llamadas indiferentemente con el operador punto 0.2 y con el scope resolution
operator 0""2.
Algunas de las caractersticas ms importantes de este tipo de funciones se comentan a
continuacin"
'on funciones gen*ricas que no act+an sobre ning+n ob#eto concreto de la
clase.
Como ya se dic!o anteriormente, no pueden utilizar variables miembro que no
sean static.
(o pueden utilizar el puntero this, ya que %ste !ace referencia al ob#eto concreto
de la clase sobre la que se est traba#ando.
En resumen, !ay que decir que las variables y funciones miembro static resultan +tiles
en el caso de que se quieran establecer variables y m%todos comunes a todos los
objetos de una clase. 'e puede decir que se necesita una variable de tipo static cuando
se quiere almacenar el valor de una caracterstica que pertenece ms a la ^fbricaX que
crea los ob#etos que a cada uno de los ob#etos creados. 'irva como e#emplo el caso ya
citado de que se quieran contar el n+mero de ob#etos de una clase que e&isten en un
momento determinado. Para ello, como ya se !a visto, se puede utilizar el operador
incremento 0++2 en el constructor y el operador decremento 0NN2 en el destructor de esa
clase.
-as funciones static pueden recibir ob#etos de su clase como argumentos e&plcitos,
aunque no como argumento implcito. Esto implica que cuando se desea que una funcin
act+e sobre dos ob#etos de una clase 0por e#emplo para !acer una trasferencia entre dos
cuentas bancarias2, las funciones static son una alternativa a las funciones friend para
conseguir simetra en la forma de tratar a los dos ob#etos de la clase 0que ambos pasen
como argumentos e&plcitos2. Consid%rese el siguiente e#emplo, vlido en C++"
#include <iostream>
#include <string.h>
class persona {
public:
long DNI;
char nombre[41];
persona(long dni, char *name) {
DNI = dni;
strcpy(nombre, name);
}
// funcion static con argumento persona
'*
static long getDNI(persona P) {
return P.DNI;
}
};
void main (void)
{
persona p1(47126578, "Pepe Perez");
// se llama a la funcin static con el nombre de la clase
cout << p1.nombre << " DNI: " << persona::get,N((p1) << endl;
cout << "Ya he terminado." << endl;
}
".1+ Merencia
".1+.1 ,efnici%n
class ClaseDerivada: public o private ClaseBase
:e esta forma el cdigo necesario para crear esas tres clases mencionadas quedara de la
siguiente forma"
#include <iostream>
class C_Cuenta {
private:
public:
// Constructor
{
SetSaldo(unSaldo);
}
// Destructor
~Cuenta()
{ delete[] Nombre; }
// Mtodos
inline char *GetNombre()
{ return Nombre; }
{ return Saldo; }
{ return Interes; }
inline void Ingreso(double unaCantidad)
friend ostream& operator<<(ostream& os, C_Cuenta& unaCuenta)
{
os << "Nombre=" << unaCuenta.GetNombre() << endl;
os << "Saldo=" << unaCuenta.GetSaldo() << endl;
'+
return os;
}
};
class C_CuentaJoven: public C_Cuenta {
private:
int Edad;
public:
C_CuentaJoven( // argumentos del constructor
const char *unNombre
int laEdad,
double unSaldo=0.0,
double unInteres=0.0)
: C_Cuenta(unNombre, unSaldo, unInteres)
// se llama al constructor de la clase base en la lnea previa.
{
Edad = laEdad;
}
};
class C_CuentaEmpresarial" public C_Cuenta {
private:
char *NomEmpresa;
public:
C_CuentaEmpresarial( // argumentos del constructor
const char *unNombre,
const char *laEmpresa,
double unSaldo=0.0,
double unInteres=0.0)
: C_Cuenta(unNombre, unSaldo, unInteres)
// se llama al constructor de la clase base en la lnea previa.
{
NomEmpresa = new char[strlen(laEmpresa)+1];
strcpy(NomEmpresa, laEmpresa);
}
// Cuando una variable de este tipo se destruye se llamar
// primero el destructor de CuentaEmpresarial y posteriormente se
// llama automticamente el destructor de la clase base.
~C_CuentaEmpresarial()
{ delete[] NomEmpresa; }
};
void main()
{
C_CuentaJoven c1("Igor", 18, 10000.0, 1.0);
C_CuentaEmpresarial c2("Juan", "MicroComputers Corp." ,10000000.0);
// Ambas cuentas pueden llamar mtodos definidos previamente
cout << c1;
cout << c2;
}
'i un miembro !eredado se redefne en la clase derivada, el nombre rede$nido oculta el
nombre !eredado que ya queda invisible para los ob#etos de la clase derivada.
*ay algunos elementos de la clase base que no pueden ser heredados"
Constructores
:estructores
Lunciones friend
Lunciones y datos estticos de la clase
<perador de asignacin 0D2 sobrecargado
',
".1+." Constructores de las clases derivadas: inicialiador $ase
6n ob#eto de la clase derivada contiene todos los miembros de la clase base y todos
esos miembros deben ser inicializados. Por esta razn el constructor de la clase
derivada debe llamar al constructor de la clase base. Al de$nir el constructor de la
clase derivada se debe especi$car un iniciali7ador base. Como ya se !a dic!o las clases
derivadas no heredan los constructores de sus clases base. El iniciali7ador base es la
forma de llamar a los constructores de las clases base y poder as inicializar las
variables miembro !eredadas. Este inicili7ador base se especi$ca poniendo, a
continuacin de los argumentos del constructor de la clase derivada, el carcter dos puntos
0"2 y el nombre del constructor de la clase o las clases base, seguido de una lista de
argumentos entre par%ntesis.
El iniciali7ador base puede ser omitido en el caso de que la clase base tenga un
constructor por defecto. En el caso de que el constructor de la clase base e&ista, al
declarar un ob#eto de la clase derivada se e#ecuta primero el constructor de la clase base.
En el e#emplo del apartado anterior ya se puede ver como se llama al constructor de la
clase base desde el constructor de la clase derivada"
C_CuentaJoven(const char *unNombre, int laEdad, double unSaldo=0.0,
double unInteres=0.0) : C_Cuenta(unNombre, unSaldo, unInteres)
".1+.4 Merencia simple ! Ferencia m8ltiple
6na clase puede !eredar variables y funciones miembro de una o ms clases base. En el
caso de que !erede los miembros de una +nica clase se !abla de herencia simple y en el
caso de que !erede miembros de varias clases base se trata de un caso de herencia
m5ltiple.
Como e#emplo se puede presentar el caso de que se tenga una clase para el mane#o de los
datos de la empresa. 'e podra de$nir la clase +2+uenta>mpresarial como la !erencia
m+ltiple de dos clases base" la ya bien conocida clase +2+uenta y nueva clase llamada
+2>mpresa, que se muestra a continuacin"
class C_Empresa {
private:
char *NomEmpresa;
public:
C_Empresa(const char*laEmpresa)
{
NomEmpresa = new char[strlen(laEmpresa)+1];
strcpy(NomEmpresa, laEmpresa);
}
~C_Empresa()
{ delete[] NomEmpresa; }
// Otros mtodos ...
};
class C_CuentaEmpresarial " public C_Cuenta, public C_Empresa {
public:
C_CuentaEmpresarial(
const char *unNombre,
const char *laEmpresa,
double unSaldo=0.0,
double unInteres=0.0
) : C_Cuenta(unNombre, unSaldo, unInteres), C_Empresa(laEmpresa)
// se llama a los constructores de las clases base en la lnea previa
{
// Constructor
}
// Otros mtodos
(-
};
".1- Clases $ase virtuales
Al utilizar la !erencia m+ltiple puede suceder que, indirectamente, una clase herede
varias veces los miembros de otra clase. 'i la clase ?adre2" y la clase ?adre2# !eredan
los miembros de la clase )buela y la clase @ija !ereda, a su vez, los miembros de las
clases ?adre2" y ?adre2#, los miembros de la clase )buela se encontrarn duplicados
en la clase @ija. Para evitar este problema las clases ?adre2" y ?adre2# deben derivar
de la clase )buela declarndola clase base virtual. Esto !ace que los miembros de una
clase de ese tipo se !ereden tan slo una vez. 6n e#emplo de declaracin de una clase
base virtual es el que se presenta a continuacin"
class Madre_1 : virtual public Abuela {
...
}
".1B 53A(M3N7('M3
".1B.1 A continuacin se e&plica, sin entrar en gran detalle, el funcionamiento de las
funciones virtuales. Cada clase que utiliza funciones virtuales tiene un vector de
punteros, uno por cada funcin virtual, llamado vAtable. Cada uno de los punteros
contenidos en ese vector apunta a la funcin virtual apropiada para esa clase, que ser,
!abitualmente, la funcin virtual de$nida en la propia clase. En el caso de que en esa
clase no est% de$nida la funcin virtual en cuestin, el puntero de vAtable apuntar a la
funcin virtual de su clase base ms pr&ima en la #erarqua, que tenga una de$nicin
propia de la funcin virtual. Esto quiere decir que buscar primero en la propia clase,
luego en la clase anterior en el orden #errquico y se ir subiendo en ese orden !asta dar
con una clase que tenga de$nida la funcin buscada.
Cada ob#eto creado de una clase que tenga una funcin virtual contiene un puntero
oculto a la vAtable de su clase. @ediante ese puntero accede a su vAtable correspondiente
y a trav%s de esta tabla accede a la de$nicin adecuada de la funcin virtual. Es este
traba#o e&tra el que !ace que las funciones virtuales sean menos e$cientes que las
funciones normales.
Como e#emplo se puede suponer que la cuenta2joven y la cuenta2empresarial antes
descritas tienen una forma distinta de abonar mensualmente el inter%s al saldo.
En la cuenta2joven, no se abonar el inter%s pactado si el saldo es inferior a un
lmite.
En la cuenta2empresarial se tienen tres cantidades lmite, a las cuales se aplican
factores de correccin en el clculo del inter%s. El clculo de la cantidad abonada
debe realizarse de la siguiente forma"
B. 'i el saldo es menor que PAAAA, se aplica el inter%s establecido previamente.
C. 'i el saldo est entre PAAAA y PAA.AAA, se aplica B.B veces el inter%s establecido
previamente.
E. 'i el saldo es mayor a PAA.AAA, se aplica B.P veces el inter%s establecido
previamente.
El cdigo correspondiente quedara de la siguiente forma"
class C_Cuenta {
private:
double Interes; // Inters calculado hasta el momento, anual,
// en tanto por ciento %
($
public:
//Constructor
C_Cuenta(double unSaldo=0.0, double unInteres=4.0)
{
SetSaldo(unSaldo);
}
// Acciones Bsicas
{ return Saldo; }
{ return Interes; }
virtual void Abona)nteres@ensual02
{
SetSaldo( GetSaldo() * ( 1.0 + GetInteres() / 12.0 / 100.0) );
}
// etc...
};
class C_CuentaJoven : public C_Cuenta {
public:
C_CuentaJoven(double unSaldo=0.0, double unInteres=2.0,
double unLimite = 50.0E3) :
C_Cuenta(unSaldo, unInteres)
{
Limite = unLimite;
}
virtual void Abona)nteres@ensual()
{
if (GetSaldo() > Limite)
SetSaldo( GetSaldo() * (1.0 + GetInteres() / 12.0 / 100.0) );
else
SetSaldo( GetSaldo() );
}
private:
double Limite;
};
class C_CuentaEmpresarial : public C_Cuenta {
public:
C_CuentaEmpresarial(double unSaldo=0.0, double unInteres=4.0)
: C_Cuenta(unSaldo, unInteres)
{
CantMin[0] = 50.0e3;
CantMin[1] = 500.0e3;
}
virtual void Abona)nteres@ensual02
{
SetSaldo( GetSaldo() * (1.0 + GetInteres() * CalculaFactor() / 12.0 /
100.0 ));
}
double CalculaFactor()
(%
{
if (GetSaldo() < CantMin[0])
return 1.0;
else if (GetSaldo() < CantMin[1])
return 1.1;
else return 1.5;
}
private:
double CantMin[2];
};
-a idea central del polimorfsmo es la de poder llamar a funciones distintas aun$ue
tengan el mismo nombre, seg5n la clase a la $ue pertenece el objeto al $ue se
aplican. Esto es imposible utilizando nombres de objetos" siempre se aplica la funcin
miembro de la clase correspondiente al nombre del ob#eto, y esto se decide en tiempo de
compilacin. 'in embargo, utili7ando punteros puede conseguirse el objetivo
buscado. ;ecu%rdese que un
puntero a la clase base puede contener direcciones de objetos de cualquiera de las
clases derivadas. En principio, el tipo de puntero determina tambi%n la funcin que es
llamada, pero si se utili7an funciones virtuales es el tipo de objeto el $ue apunta
el puntero lo $ue determina la funcin $ue se llama. Esta es la esencia del
polimorfsmo.
".1B.".1 (mplementacion de las funciones virtuales
6na funcin virtual puede ser llamada como una funcin convencional, es decir,
utilizando vinculacin est6tica. En este caso no se estn aprovec!ando las
caractersticas de las funciones virtuales, pero el programa puede funcionar
correctamente. A continuacin se presenta un e#emplo de este tipo de implementacin que
no es recomendable usar, ya que utilizando una funcin convencional se ganara en
e$ciencia"
Clase_1 Objeto_1; // Se definen un objeto de una clase
Clase_1 *Puntero_1; // y un puntero que puede apuntarlo
float variable;
Puntero_1 = &Objeto_1;
variable = Objeto_1.Funcion_1( ); // Utilizacin de vinculacin esttica
variable = Puntero_1->Funcion_1( ); // con funciones virtuales. Absurdo
En el e#emplo anterior en las dos asignaciones a variable, las funciones que se van a utilizar
se determinan en tiempo de compilacin.
A continuacin se presenta un e#emplo de utilizacin correcta de las funciones virtuales"
Clase_Base Objeto_Base;
Clase_Derivada Objeto_Derivado;
Clase_Base *Puntero_Base_1;
Clase_Base *Puntero_Base_2;
float variable;
Puntero_Base_1 = &Objeto_Base; // El puntero a la clase base puede

// apuntar a un objeto de la clase base
Puntero_Base_2 = &Objeto_Derivado; // o a un objeto de la clase derivada
variable = Puntero_Base_2->Funcion_1( ); // Utilizacin correcta

// de una funcin virtual
(&
En este nuevo e#emplo se utiliza vinculacin din6mica, ya que el Buntero2Case2#
puede apuntar a un objeto de la clase base o a un objeto de cual$uiera de las clases
derivadas en el momento de la asignacin a variable, en la +ltima lnea del e#emplo. Por
eso, es necesariamente en tiempo de e#ecucin cuando el programa decide cul es la
Duncion2" concreta que tiene que utilizar.
Esa Duncion2" ser la de$nida para la clase del Ebjeto2Ferivado si est de$nida, o la de
la clase base m6s prxima en el orden #errquico que tenga de$nida esa Duncion2".
".1B." 7unciones virtuales puras
*abitualmente las funciones virtuales de la clase base de la #erarqua no se utilizan
porque en la mayora de los casos no se declaran objetos de esa clase, yFo porque
todas las clases derivadas tienen su propia de$nicin de la funcin virtual. 'in embargo,
incluso en el caso de que la funcin virtual de la clase base no vaya a ser utilizada, debe
declararse.
:e todos modos, si la funcin no va a ser utili7ada no es necesario defnirla, y es
su$ciente con declararla como funcin virtual pura. 6na funcin virtual pura se declara
as"
virtual funcion_1( ) const=0; //Funcin virtual pura
-a +nica utilidad de esta declaracin es la de posibilitar la defnicin de funciones
virtuales en las clases derivadas. :e alguna manera se puede decir que la de$nicin de
una funcin como virtual pura !ace necesaria la de$nicin de esa funcin en las clases
derivadas, a la vez que imposibilita su utilizacin con ob#etos de la clase base.
Al de$nir una funcin como virtual pura !ay que tener en cuenta que"
(o !ace falta de$nir el cdigo de esa funcin en la clase base.
(o se pueden de$nir ob#etos de la clase base, ya que no se puede llamar a las
funciones virtuales puras.
'in embargo, es posible defnir punteros a la clase base, pues es a trav*s de
ellos como
ser6 posible manejar objetos de las clases derivadas.
".1B.4 Clases a$stractas
'e denomina clase abstracta a aquella que contiene una o m6s funciones virtuales
puras. El nombre proviene de que no puede existir ning5n objeto de esa clase. 'i una
clase derivada no rede$ne una funcin virtual pura, la clase derivada la !ereda como
funcin virtual pura y se convierte tambi%n en clase abstracta. Por el contrario,
aquellas clases derivadas que rede$nen todas las funciones virtuales puras de sus
clases base reciben el nombre de clases derivadas concretas, nomenclatura +nicamente
utilizada para diferenciarlas de las antes mencionadas.
Aparentemente puede parecer que carece de sentido de$nir una clase de la que no va a
e&istir ning+n ob#eto, pero se puede a$rmar, sin miedo a equivocarse, que la abstraccin
es una !erramienta imprescindible para un correcto dise5o de la Brogramacin
Erientada a Ebjetos. *abitualmente las clases superiores de muc!as #erarquas de clases
son clases abstractas y las clases que !eredan de ellas de$nen sus propias funciones
virtuales, convirti%ndose as en funciones concretas.
".1B.6 ,estructores virtuales
Como norma general, el constructor de la clase base se llama antes $ue el
constructor de la clase derivada. Con los destructores, sin embargo, sucede al
rev*s" el destructor de la clase derivada se llama antes que el de la clase base.
('
Por esa razn, en el caso de que se borre, aplicando delete, un puntero a un objeto de
la clase base que apunte a un objeto de una clase derivada, se llamar al destructor
de la clase base, en vez de al destructor de la clase derivada, que sera lo adecuado.
-a solucin a este problema consiste en declarar como virtual el destructor de la
clase base. Esto !ace que automticamente los destructores de las clases derivadas
sean tambi*n virtuales, a pesar de tener nombres distintos.
:e este modo, al aplicar delete a un puntero de la clase base que puede apuntar a un
ob#eto de ese tipo o a cualquier ob#eto de una clase derivada, se aplica el destructor
adecuado en cada caso. Por esta razn es conveniente declarar un destructor virtual
en todas las clases abstractas, ya que aunque no sea necesario para esa clase, s
puede serlo para una clase que derive de ella.
Este problema no se presenta con los constructores y por eso no e&iste ning+n tipo de
constructor virtual o similar.
((
Captulo 4: Entrada@'alida en C++
4.1 ?a se !a visto que C++ dispone de unas !erramientas propias de entrada y
salida de datos basadas en clases y en la herencia que son fciles de e&tender y
modi$car. 'i este tema no se !a visto anteriormente con ms e&tensin, es porque
conviene !aber visto la herencia para entenderlo correctamente.
Es necesario recordar aqu el concepto de stream o ,ujo, que se puede de$nir como
dispositivo que produce o consume informacin. 6n ,ujo est siempre ligado a un
dispositivo fsico. Hodos los ,ujos, independientemente del dispositivo fsico al que se
diri#an 0disco, monitorY,2 se comportan de forma anloga.
Al e#ecutarse un programa en C++ se abren automticamente los ,ujos siguientes"
cin" entrada estndar 0teclado2
cout" salida estndar 0pantalla2
cerr" salida de mensa#es de error 0pantalla2
C++ dispone de dos #erarquas de clases para las operaciones de entradaFsalida" una de
ba#o nivel, streambuf, que no se va a e&plicar porque slo es utilizada por programadores
e&pertos, y otra de alto nivel, con las clases" istream, ostream e iostream, que derivan
de la clase ios. Estas clases disponen de variables y m*todos para controlar los ,ujos
de entrada y salida.
4." Entrada@salida con formato
4.".1 (ndicadores
Cada ,ujo de C++ tiene asociados unos indicadores, que son unas variables miembro
enum de tipo long que controlan el formato al activarse o desactivarse alguno de sus
bits. 'u valor !e&adecimal es"
enum {
skipws=0x0001, left=0x0002, rigth=0x0004, internal=0x0008,
dec=0x0010, oct=0x0020 hex=0x0040, showbase=0x0080,
showpoint= 0x0100 uppercase=0x0200, showpos=0x0400, scientific=0x800,
fixed=0x1000, unitbuf=0x2000
};
'u signi$cado es el siguiente"
sGip's" se descartan los blancos iniciales a la entrada
left" la salida se alinea a la izquierda
rigth" la salida se alinea a la derec!a
internal" se alinea el signo y los caracteres indicativos de la base por la izquierda y las
cifras por la derec!a
dec" salida decimal para enteros 0defecto2
oct" salida octal para enteros
hex" salida !e&adecimal al para enteros
sho'base" se muestra la base de los valores num%ricos
sho'point" se muestra el punto decimal
uppercase" los caracteres de formato aparecen en may+sculas
sho'pos" se muestra el signo 0+2 en los valores positivos
scientifc" notacin cient$ca para coma Gotante
fxed" notacin normal para coma Gotante
unitbuf" salida sin bu,er 0se vuelca cada operacin2
stdio permite compatibilizar entradaFsalida al modo de C con <stdio.h> y al modo de C+
+ con <iostream>
()
-a forma de de$nir las constantes anteriores permite componerlas fcilmente, guardando
toda la informacin sobre ellas en una +nica variable long. E&isten unos indicadores
adicionales 0adjustfeld, basefeld y ,oatfeld2 que act+an como combinaciones de los
anteriores 0mscaras2"
adjustfeld es una combinacin e&cluyente 0slo una en on2 de left, rigth e internal
basefeld es una combinacin e&cluyente 0slo una en on2 de dec, oct e hex
,oatfeld es una combinacin e&cluyente 0slo una en on2 de scientifc y fxed
Por defecto todos los indicadores anteriores estn desactivados, e&cepto sGip's y dec.
4."." &ctivar ! desactivar indicadores
Para la activacin de indicadores se pueden utilizar los m%todos setf() y ,ags() de la
clase ios. 'e comenzar viendo la primera de ellas.
-os dos prototipos del m%todo setf() son"
long setf(long indic);
long setf(long indic, long mask);
El valor de retorno de esta funcin es la confguracin anterior 0interesa disponer de ella al
!acer alg+n cambio para poder volver a dic!a con$guracin si se desea2, e indic es el
long que contiene los indicadores. En el segundo prototipo masG es uno de los tres
indicadores combinacin de otros 0adjustfeld, basefeld y ,oatfeld2.
'e permite activar varios indicadores a la vez con el operador lgico <; binario. E#emplo"
cout.setf(ios::showpoint | ios::fixed);
Es necesario determinar el ,ujo afectado 0cout2 y la clase en la que estn de$nidos los
indicadores 0ios2. Para desactivar los indicadores se utiliza la funcin unsetf() de modo
similar a setf().
El segundo prototipo se debe utilizar para cambiar los indicadores que son e&clusivos,
como por e#emplo"
cout.setf(ios::left, ios::adjustfield);
que lo que !ace es desactivar los tres bits que tienen que ver con la alineacin y despu%s
activar el bit de alineacin por la izquierda. En la forma,
cout.setf(0, ios::adjustfield);
pone los tres bits de alineacin a cero.
-a funcin ,ags() sin argumentos devuelve un long con la con$guracin de todos los
indicadores. 'u prototipo es"
long flags();
E&iste otra de$nicin de la funcin ,ags() cuyo valor de retorno es un long con la
con$guracin anterior, que permite cambiar todos los indicadores a la vez, pasando un
long con la nueva con$guracin como argumento"
long flags(long indic);
donde indic contiene una descripcin completa de la nueva con$guracin. El
inconveniente de la funcin ,ags() es que establece una nueva con$guracin partiendo de
cero, mientras que setf() simplemente modi$ca la con$guracin anterior manteniendo
(*
todo lo que no se !a cambiado e&plcitamente, por lo que debe ser considerada como una
opcin ms segura.
'e presenta a continuacin un e#emplo con todo lo citado !asta a!ora"
// se mostrar el signo + para nmeros positivos
cout.setf(ios::showpos);
// se mostrar el punto y no se utilizar notacin cientfica
cout.setf(ios::showpoint | ios::fixed);
cout << 100.0;
que !ace que se escriba por pantalla"
+100.000000
4.4 7unciones miem$ro 'idth()9 precision() ! fll()
Estas funciones estn declaradas en ios y de$nidas en las clases istream, ostream e
iostream. -a funcin miembro 'idth() establece la anc!ura de campo mnima para un
dato de salida. 'us prototipos son"
int width(int n);
int width();
donde el valor de retorno es la anc!ura anterior.
-a anc!ura establecida con la funcin 'idth() es la m/nima y siempre que sea necesario
el sistema la aumenta de modo automtico. Esta anc!ura de campo slo es vlida para el
siguiente dato que se imprime. 'i se desea que siga siendo vlida !ay que llamarla cada
vez.
-a funcin miembro precision() establece el n+mero de cifras para un dato de salida. 'i no
se indica nada la precisin por defecto es ] dgitos. -os prototipos de la funcin
precision() son"
int precision(int n);
int precision();
donde el valor de retorno es la precisin anterior.
-a funcin miembro fll() establece el car6cter de relleno para un dato de salida. Por
defecto el carcter de relleno es el blanco ` `. -os prototipos de esta funcin son"
char fill(char ch);
char fill();
donde el valor de retorno es el carcter de relleno anterior.
En el compilador Hisual +.. de @icrosoft slo 'idth() necesita ser llamada cada vez.
4.6 Manipuladores de Entrada@'alida:
-os manipuladores son constantes yFo m%todos que constituyen una alternativa a los
indicadores. 'e pueden introducir en la propia sentencia de entrada o salida. -os
manipuladores pueden tener argumentos o no tenerlos. -os manipuladores sin
argumentos 0endl, ,ush, etc.2 estn de$nidos en iostream. -os que tienen argumentos
estn declarados en iomanip. 6n manipulador slo afecta al ,ujo 0cin, cout, etc.2 al que
se aplica.
El inconveniente de los manipuladores frente a los indicadores es que no permiten
guardar la con$guracin anterior y por tanto volver a ella de una forma general y sencilla.
-os manipuladores de entradaFsalida ms utilizados se citan a continuacin"
(+
dec, hex y oct" establecen base para enteros
's" se saltan los blancos iniciales
endl" se imprime un OPnQ y se vaca el bu,er de salida
,ush" se vaca el bu,er de salida
set'(int ')" establece la anc!ura mnima de campo
setprecision(int p)" establece el n+mero de cifras
setfll(char ch)" establece el carcter de relleno
setios,ag(long i) equivale al indicador setf()
unsetios,ag(long i) equivale a unsetf()
6n manipulador se utiliza de la forma"
cout << hex << 100;
cout << setw(10) << mat[i][j] << endl;
El efecto de los manipuladores permanece en el ,ujo correspondiente !asta que se
cambian por otro manipulador, a e&cepcin de set'() que !ay que introducirlo en el Gu#o
antes de cada dato al que se le quiera aplicar esa anc!ura de campo.
4.+ 'o$recarga de los operadores de entrada@salida (JJ ! HH)
-os operadores de extraccin 0332 e insercin 0112 en los Gu#os de entrada y salida se
pueden sobrecargar como otros operadores de C++. Ambos son operadores binarios 0C
argumentos2. 'us prototipos son los siguientes"
ostream& operator<< (ostream& co, const obj_type& a);
istream& operator>> (istream& ci, obj_type& a);
Estos ,ujos funcionan como cintas transportadoras que entran 0332 o salen 0112 del
programa. 'e recibe una referencia al ,ujo como primer argumento, se a5ade o se retira
de %l la variable $ue se desee, y se devuelve como valor de retorno una referencia al
,ujo modi$cado. El valor de retorno es siempre una referencia al stream de
entradaFsalida correspondiente. A continuacin se presenta un e#emplo de sobrecarga del
operador 0112"
ostream& operator<<(ostream& co, const matriz& A)
{
for (int i=0; i<=nfilas; i++)
for (int j=0; j<=ncol; j++)
co << A.c[i][j] << '\t';
co << '\n';
return(co);
}
Estos operadores se sobrecargan siempre como operadores friend de la clase en cuestin,
ya que el primer argumento no puede ser un ob#eto de una clase arbitraria.
4.- Entrada@salida de arcFivos
4.-.1 Ri$lioteca fstream
Para poder leer desde o escribir en arc!ivos 0lecturaFescritura de datos en unidades de
almacenamiento permanente como los disquetes, discos duros, etc.2, se debe incluir la
biblioteca 1fstream3. En esta biblioteca se de$nen las clases necesarias para la
utilizacin de arc!ivos, que son ifstream, ofstream y fstream, que derivan de istream y
ostream, que a su vez derivan de la clase ios Antes de abrir un archivo !ay que crear
un ,ujo, es decir un ob#eto de las clases ifstream, ofstream o fstream e indicar el modo
de apertura 0lectura, escritura, lectura y escritura, Y2. -os
(,
modos en los que se puede abrir un arc!ivo son"
ios::append a5adir datos al $nal del arc!ivo
ios::in abrir arc!ivo para leer datos
ios::out abrir arc!ivo para escribir datos
Por e#emplo para abrir un arc!ivo para lectura de datos creando un fstream archivo"
fstream archivo;
archivo.open("datos.dat", ios::in);
y para escritura en ese mismo arc!ivo"
fstream archivo;
archivo.open("datos.dat", ios::out);
-as clases ifstream, ofstream y fstream tienen tambi%n constructores que permiten
abrir arc!ivos de forma automtica
ifstream archivo("datos.dat");
donde se sobreentiende que el arc!ivo se abre para lectura por !aber utilizado ifstream.
'i se !ubiese utilizado ofstream el arc!ivo se !ubiera abierto para escritura.
4.-." 7unciones miem$ro de fstream
-a clase fstream tiene algunas funciones miembro interesantes, tales como las siguientes"
fstream()< constructor por defecto de la clase. Construye un Gu#o sin abrir ning+n arc!ivo.
El
arc!ivo puede ser abierto ms tarde con la funcin open().
fstream(const cFarS flename9 int nMode9 int n5rot = fle$uf::openprot )<
constructor general que crea un Gu#o al arc!ivo cuyo nombre se indica, del modo indicado
0ios--in, ios--out, etc.2, y con la proteccin indicada. -a proteccin por defecto es
fle$uf::openprot, que equivale a fle$uf::sF;compat, en @'N:<'. <tros posibles modos
de proteccin son los siguientes"
a fle$uf::sF;compat modo compatible 0@'N:<'2.
a fle$uf::sF;none modo e&clusivo b no se comparte.
a fle$uf::sF;read se permite compartir para lectura.
a fle$uf::sF;Trite se permite compartir para escritura.
void open(const cFarS flename9 int nMode9 int n5rot = fle$uf::openprot )< funcin
miembro que abre un arc!ivo en el modo y con la proteccin indicados. 'us argumentos
son los mismos que los de fstream().
void close()< funcin miembro que cierra el arc!ivo asociado con un Gu#o sin destruir el
Gu#o creado anteriormente.
4.-.4 Ejemplo de lectura ! escritura en un arcFivo
A continuacin se muestra un programa sencillo que le y escribe en un arc!ivo llamado
datosI.d, que contiene una frase y un n+mero separados por un carcter punto y coma,
tal como se muestra a continuacin"
Estamos en la linea numero; 17
El programa lee la frase y el n+mero, incrementa este +ltimo en una unidad y los vuelve a
escribir en el mismo arc!ivo. El programa es como sigue 0los comentarios del cdigo
e&plican lo que se va !aciendo2"
// archivo a incluir para I/O en archivos
#include <fstream.h>
)-
int main()
{
char text[81];
long n=0;
// prueba de escritura en disco
// se lee un nmero en un archivo datos5.d
// se crea un flujo de entrada y se asocia con un archivo
ifstream filein;
filein.open("datos5.d", ios::in);
// se lee hasta el carcter (;)
filein.getline(text, 81, ';');
// se lee el nmero
filein >> n;
// se cierra el archivo
filein.close();
// se imprime el el texto y el nmero por pantalla
cout << "El texto leido es: " << "\"" << text << "\""
<< "\ny el numero leido es: " << n << endl;
// se modifica el nmero ledo y se vuelve a escribir
n++;
// se crea un flujo de salida y se asocia con un archivo
ofstream fileout;
fileout.open("datos5.d", ios::out);
// se escribe el mismo texto y el nuevo nmero
fileout << text << "; " << n << endl;
fileout.close();
cout << "Ya he terminado" << endl;
}
4.B 7unciones miem$ro de iostream
-as clases de entrada y salida de datos de C++ disponen de algunas funciones miembro
que aumentan las capacidades de estas entradas y salidas. A continuacin se incluye la
declaracin y una breve e&plicacin de las ms importantes"
ostreamK put(cFar c)< escribe un carcter en el Gu#o de salida
ostreamK Trite(const cFarS s9 int n)< escribe n bytes de la cadena s en el Gu#o de
salida. Puede utilizarse para salida binaria.
istreamK get(cFarK c)< lee un carcter del Gu#o de entrada y lo devuelve en el
argumento pasado por referencia
istreamK get(cFarS s9 int n9 cFar c=QPnQ)< introduce en s a lo ms n caracteres del Gu#o
de entrada 0incluyendo el `/Ac2 o !asta que encuentra el carcter de terminacin 0por
defecto `/nc2, o el $n de arc!ivo. (o retira el carcter de terminacin del Gu#o de entrada.
istreamK getline(cFarS s9 int n9 cFar c=QPnQ)< lee a lo ms nA" caracteres del Gu#o de
entrada o !asta que encuentra el carcter de terminacin 0por defecto `/nc2 o !asta el $n
de arc!ivo. ;etira el carcter de terminacin del Gu#o de entrada, pero no lo almacena.
istreamK read(cFarS s9 int n)< lee n bytes del Gu#o de entrada y los deposita en la
cadena s. 'e utiliza para entrada binaria.
istreamK ignore(int n=19 int delim=E37)< ignora o descarta los n caracteres
siguientes del Gu#o de entrada, o !asta que encuentra el carcter de terminacin 0por
defecto el $n de arc!ivo E<L2.
istreamK put$acU(cFar c)< devuelve el carcter c al Gu#o de entrada
int peeU()< lee un carcter del Gu#o de entrada pero sin retirarlo de dic!o Gu#o9 lo devuelve
como valor de retorno.
)$
-a mayor parte de las funciones anteriores devuelven una referencia al Gu#o de entrada o
de salida. Como se ver un poco ms adelante, esta referencia puede utilizarse para
detectar errores o la condicin de $n de arc!ivo.
Consid%rese el siguiente e#emplo de lectura de un arc!ivo"
#include <fstream.h>
#include <iostream>
void main()
{
char frase[81];
fstream fi;
fi.open("datos.txt", ios::in);
while(fi.getline(frase, 80) != NULL)
cout << frase;
}
4.. Errores de Entrada@'alida
Al leer y escribir de arc!ivos es frecuente que se produzcan errores, como por e#emplo no
encontrar el arc!ivo o no poderlo abrir, o al menos situaciones de e&cepcin, tales como el
!aber llegado al $n del arc!ivo. Es importante saber cmo se pueden detectar estas
situaciones con C++.
-a clase ios de$ne una variable enum llamada io_state con los siguientes valores" goodbit,
eofbit, badbit y failbit. Cada Gu#o de entradaFsalida mantiene informacin sobre los errores
que se !ayan podido producir. Esta informacin se puede c!equear con las siguientes
funciones"
int good ()0 devuelve un valor distinto de cero 0true2 si no !a !abido errores 0si todos los
bits de error estn en o,2.
int eof()0 devuelve un valor distinto de cero si se !a llegado al $n del arc!ivo.
int bad()0 devuelve un valor distinto de cero si !a !abido un error de EF' serio. (o se
puede continuar en esas condiciones.
int fail()0 devuelve un valor distinto de cero si !a !abido cualquier error de EF' distinto de
E<L. 'i una llamada a bad() devuelve A 0no error de ese tipo2, el error puede no ser grave y
la lectura puede proseguir despu%s de llamar a la funcin clear().
int clear()0 se borran los bits de error que pueda !aber activados.
Adems, tanto los operadores sobrecargados 011 y 332 como las funciones miembro de
EF' devuelven referencias al Gu#o correspondiente y esta referencia puede c!equearse con
un if o en la condicin de un 'hile para saber si se !a producido un error o una condicin
de $n de arc!ivo. Por e#emplo, las siguientes construcciones pueden utilizarse en C++"
while (cin.get(ch)) {
s[i++]=ch;
}
o bien, de una forma distinta,
while (cin << ch) {
s[i++]=ch;
}
ya que si el valor de retorno de 0cin.get(ch)2 o de 0cin<<ch2 no es nulo, es que no se !a
producido error ni se !a llegado al $n de arc!ivo.
'i lo que se quiere comprobar es si se !a llegado al $nal del arc!ivo se puede comprobar la
condicin,
)%
if (cin.get(ch).eof()) {
// se ha llegado al final del archivo
}
y si por el contrario lo que se desea es !acer algo si no se !a tenido ning+n error, se puede
utilizar el operador negacin (J) que devuelve un resultado distinto de cero 0true2 si
failbit o badbit estn activados.
if (cin.get(ch)) {
// hay un error de tipo failbit o badbit.
}
El operador negacin se puede utilizar tambi%n en la forma siguiente, para saber si un
arc!ivo se !a podido abrir correctamente"
ifstream filein("datos.d");
if (filein) {
cerr << "no se ha podido abrir el archivo." << endl;
exit(1);
}
)&
Captulo 4: Introduccin a excepciones
4.1 .na e/cepci0n ocurre cuando un tro#o de c0di!o no puede e1ecutarse correctamente por al!"n error
inesperado, esto puede ser un estado inconsistente, un pro2lema en los datos, un recurso no disponi2le, un
pro2lema en un ar!umento, etc.
3s mu4 pro2lem5tico reali#ar prue2as inmersas en el mismo c0di!o so2re todos los posi2les errores de este tipo
que se pueden presentar, es m5s recomenda2le tra2a1ar con unidades de testeo. 6a ma4or7a de los len!ua1es
soportan mecanismos de e/cepciones en el propio len!ua1e. 3n estos len!ua1es cuando se dan al!una de estas
condiciones de error e/isten mane1adores de e/cepciones que tra2a1an se!"n el len!ua1e de que se trate. 8or
e1emplo en C++ se puede crear un o21eto e/cepci0n 4 usarlo para lan#ar la misma. Cuando ocurre una e/cepci0n se
interrumpe la normal e1ecuci0n del c0di!o.
9e pueden crear e/cepciones que se adecuen 4 e/tiendan la 1erarqu7a de e/cepciones de que dispone el len!ua1e
con el cual se esta tra2a1ando.
:ane1ando una e/cepci0n 4 reali#ando al!una acci0n de recuperaci0n es posi2le de1ar el sistema en un estado
esta2le.
4.2 Algunas guas bsicas para manejadores de excepciones
No trate de manejar errores de codificacin
9i su sistema no es un sistema altamente tolera2le a fallos, no se de2e !astar demasiado tiempo en detectar 4
recuperarse de errores de pro!ramaci0n, se de2e de1ar que se produ#ca el error 4 a2rir al!"n camino que lo
solucione.
Evitar declarar demasiadas clases de excepciones
9e de2e crear una nue;a clase de e/cepci0n cuando la acci0n a tomar es si!nificati;amente diferente de acuerdo al
tipo de la e/cepci0n. 3n caso contrario utilice al!unas de las e/cepciones 4a definidas en la 1erarqu7a de
e/cepciones del len!ua1e
Reasignar excepciones de bajo nivel a una de ms alto nivel siempre que se levante el nivel de
abstraccin
Cuando e/cepciones de 2a1o ni;el se asi!nan a mane1adores de m5s alto ni;el se pierde informaci0n de conte/to
para identificar perfectamente cual fue el error
Manejar las excepciones tan cercano al problema como le sea posible
9i es r5pido 4 simple locali#ar cual es el moti;o del error es m5s f5cil su soluci0n. 3s m5s f5cil locali#arlo, si el
mane1o de la e/cepci0n se reali#a tan cercano al pro2lema como es posi2le
4.3 xcepciones en C!!
C++ pro;ee un mane1ador de e/cepciones para separar el c0di!o a e1ecutar cuando sur!e una e/cepci0n, del c0di!o
que se e1ecuta cuando nada anormal ocurre. 6as e/cepciones de2en dise<arse para tratar realmente situaciones
e/cepcionales 4 no alternati;as condicionales propias del c0di!o.
6as pala2ras cla;es que determinan como tratar las e/cepciones son:
tr4: identifica un 2loque de c0di!o en el cual puede sur!ir una e/cepci0n
thro=: causa que se ori!ine una e/cepci0n
catch: identifica el 2loque de c0di!o en el cual la e/cepci0n se mane1a.
6os m0dulos propios del tratamiento de e/cepciones, ser7an del tipo:
tr!{
//blo"ue de c#digo
thro$
}catch
{%%%%%%%%%%&} //blo"ue de c#digo "ue se e'ecutar( si la e)cepci#n ocurre
)'
3l control de flu1o entra al 2loque tr4 / catch. >nmediatamente que encuentra un thro= salta al c0di!o que se
encuentra lue!o del catch. 9i en la e1ecuci0n secuencial del c0di!o dentro del tr4 / catch no se lan#a nin!una
e/cepci0n, el c0di!o del catch no se e1ecuta. 3n realidad el catch es el mane1ador de la e/cepci0n que puede sur!ir.
8or cada tr4 puede e/istir m5s de un catch, de acuerdo a las e/cepciones que interese atrapar.
31emplo:
*include +iostream,
using std::cout;
using std::endl;
int main(void-
{
int counts./ 0 {12 32 4 56 4 74 4};
int time 0 84; // 9ne hour in minutes
:or(int i 0 4 ; i + si;eo: counts/si;eo: counts.4/ ; i<<-
tr!
{
cout ++ endl
++ =>our = ++ i<7;
i:(counts.i/ 00 4-
thro$ =?ero count @ calculation not possible&A;
cout ++ = minutes per item: =
++ static_cast+double,(time-/counts.i/;
}
catch(const char aBessage./-
{
cout ++ endl
++ aBessage
++ endl;
}
return 4;
}
4.4 "an#amiento de las excepciones
6as e/cepciones pueden lan#arse en cualquier lu!ar dentro del 2loque tr4 / catch 4 el operando de la cl5usula thro=
determina el tipo de la e/cepci0n. 3l operando de thro= puede ser una e/presi0n 4 el tipo del resultado de la
e/presi0n es el tipo de la e/cepci0n.
9i una e/cepci0n se dispara por la llamada a una funci0n que se encuentra dentro del 2loque tr4 / catch la e1ecuci0n
salta al primer catch que atrapa una e/cepci0n que ha!a matchin! con la que lan#a la funci0n llamada. 9i no e/iste
un catch que ha!a matchin!, el 2loque pro2a2lemente terminar5 como cualquier 2loque
8or e1emplo:
void testChro$(void-
{
thro$ = ?ero count @ calculation not possible&A;
}
i:(counts.i/ 00 4-
testChro$(-; // llamada a una :unci#n "ue dispara una e)cepci#n&
3ste c0di!o reempla#a en el e1emplo anterior a:
i:(counts.i/ 00 4-
thro$ =?ero count @ calculation not possible&A;
6os 2loques tr4 / catch se pueden anidar. 9i una e/cepci0n de un tr4 m5s interno no tienen su catch
correspondiente, puede ser atrapada por un catch m5s e/terno
)(
4.$ %anejo de errores de allocacin de memoria
Cuando se usa el operador ne= es posi2le que no ha4a memoria disponi2le 4 esto lan#a una e/cepci0n que
ha2itualmente termina el pro!rama, en caso que el pro!rama no lo ha4a mane1ado con un 2loque tr4 / catch. 9i se
quiere tomar al!una acci0n cuando el operador ne= lan#a una e/cepci0n por falta de memoria, se puede atrapar la
misma, con un 2loque tr4 / catch.
*include+ne$, // Dor bad_alloc t!pe
*include+iostream,
using std::bad_alloc;
using std::cout;
using std::endl;
int main( -
{
char* pdata 0 4;
si;e_t count 0 Estatic_cast+si;e_t,(4-/5;
tr!
{
pdata 0 ne$ char.count/;
cout ++ =Bemor! allocated&A ++ endl;
}
catch(bad_alloc Fe)-
{
cout ++ =Bemor! allocation :ailed&A ++ endl
++ =Che in:ormation :rom the e)ception
ob'ect is: =
++ e)&$hat(- ++ endl;
}
delete./ pdata;
return 4;
}
3l ne= de este e1emplo puede dar un error de allocaci0n de memoria 2ad?alloc.
))
@i2lio!raf7a:
Ao=ard 3/ception-Bandlin! @est 8ractices and 8atterns. Ce2ecca D. Eirfs-@rocF
Gesi!nin! for Ceco;er4. Ce2ecca Eirfs-@rocF
Hisual C++I%--+ - >;or Borton
)*

CPP

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

CPP

Uploaded by

Copyright:

Available Formats

El lenguaje C++ (a partir del lenguaje C)

Captulo 1: Modifcaciones menores

Puntero_Base_1 = &Objeto_Base; // El puntero a la clase base puede

variable = Puntero_Base_2->Funcion_1( ); // Utilizacin correcta

You might also like