Professional Documents
Culture Documents
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
2
25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49
2.14 OPERADORES NEW Y DELETE PARA GESTIN DINMICA DE MEMORIA..12 2.15 PUNTEROS DE TIPO VOID....13 2.16 NUEVA FORMA DE REALIZAR LAS OPERACIONES DE ENTRADA Y SALIDA...14 2.17 FUNCIONES CON NMERO DE PARMETROS VARIABLE...15 3 MODIFICACIONES MAYORES ...16 3.1 INTRODUCCIN A LA PROGRAMACIN ORIENTADA A OBJETOS (OOP) ..16 3.2 CLASES, OBJETOS Y MTODOS...17 3.3 EJEMPLO DE CLASE EN C++: NMEROS COMPLEJOS ....17 3.4 CLASE SIN SECCIONES PRIVADAS: STRUCT ....23 3.5 CLASES CON SECCIONES PRIVADAS. ....25 3.6 EXPANSIN INLINE ...27 3.6.1 Definicin ..27 3.6.2 Implementacin de las funciones inline..27 3.7 ENTRADA Y SALIDA DE DATOS ...28 3.7.1 Una breve comparacin con la entrada y salida de datos de ANSI C.29 3.8 OPERADORES NEW Y DELETE CON CLASES ....30 3.9 CONSTRUCTORES Y DESTRUCTORES ....31 3.9.1 Inicializadores ....32 3.9.2 Llamadas al constructor....32
3
50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75
3.9.3 Constructor por defecto y constructor con parmetros con valor por defecto...33 3.9.4 Constructor de oficio...34 3.9.5 Constructor de copia ...34 3.9.6 Necesidad de escribir un constructor de copia ..35 3.9.7 Los constructores y el operador de asignacin (=)..37 3.9.8 Destructores ....37 3.10 CLASES Y FUNCIONES FRIEND..38 3.11 EL PUNTERO THIS..40 3.12 SOBRECARGA DE OPERADORES...40 3.12.1 Clase cadena para manejo de cadenas de caracteres.41 3.12.2 Definicin de funciones y operadores de la clase cadena.45 3.12.3 Ejemplo de utilizacin de la clase cadena....48 3.12.4 Sobrecarga de los operadores (++) y (--)....50 3.13 OBJETOS MIEMBRO DE OTROS OBJETOS. ....51 3.14 VARIABLES MIEMBRO STATIC...53 3.15 FUNCIONES MIEMBRO STATIC...55 4 HERENCIA...57 4.1 NECESIDAD DE LA HERENCIA ..57 4.2 DEFINICIN DE HERENCIA ....57 ESIISS: Aprenda C++ como si estuviera en Primero pgina 2 4.2.1 Variables y funciones miembro protected ....57 4.3 CONSTRUCTORES DE LAS CLASES DERIVADAS: INICIALIZADOR BASE ..60
4
76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101
4.4 HERENCIA SIMPLE Y HERENCIA MLTIPLE....60 4.5 CLASES BASE VIRTUALES ..61 4.6 CONVERSIONES ENTRE OBJETOS DE CLASES BASE Y CLASES DERIVADAS ..62 5 POLIMORFISMO ...63 5.1 IMPLEMENTACION DE LAS FUNCIONES VIRTUALES ...65 5.2 FUNCIONES VIRTUALES PURAS ...66 5.3 CLASES ABSTRACTAS ..67 5.4 DESTRUCTORES VIRTUALES ....67 6 ENTRADA/SALIDA EN C++ ....69 6.1 ENTRADA/SALIDA CON FORMATO..69 6.2 ACTIVAR Y DESACTIVAR INDICADORES ..70 6.3 FUNCIONES MIEMBRO WIDTH(), PRECISION() Y FILL()...71 6.3.1 Manipuladores de entrada/salida..71 6.4 SOBRECARGA DE LOS OPERADORES DE ENTRADA/SALIDA (<< Y >>)...72 6.5 ENTRADA/SALIDA DE FICHEROS ....72 6.5.1 Funciones miembro de iostream....73 6.5.2 Funciones miembro de fstream...74 6.5.3 Ejemplo completo de lectura y escritura en un fichero ..75 6.5.4 Errores de Entrada/Salida....76 7 OPCIONES AVENZADAS: PLANTILLAS (TEMPLATES) Y MANEJO DE EXCEPCIONES...78
5
102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129
7.1 PLANTILLAS ...78 7.1.1 Plantillas de funciones ...78 7.1.2 Plantillas de clases ...79 7.1.3 Plantillas vs. Polimorfismo...81 7.2 MANEJO DE EXCEPCIONES....81 8 BIBLIOGRAFA...83
6
130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157
programadores profesionales le ha llevado a ocupar el primer puesto como herramienta de desarrollo de aplicaciones. El C++ mantiene las ventajas del C en cuanto a riqueza de operadores y expresiones, flexibilidad, concisin y eficiencia. Adems, ha eliminado algunas de las dificultades y limitaciones del C original. La evolucin de C++ ha continuado con la aparicin de Java, un lenguaje creado simplificando algunas cosas de C++ y aadiendo otras, que se utiliza para realizar aplicaciones en Internet. Hay que sealar que el C++ ha influido en algunos puntos muy importantes del ANSI C, como por ejemplo en la forma de declarar las funciones, en los punteros a void, etc. En efecto, aunque el C++ es posterior al C, sus primeras versiones son anteriores al ANSI C, y algunas de las mejoras de ste fueron tomadas del C++. En estas Notas se van a presentar los fundamentos del lenguaje C++ tradicional a partir del lenguaje C. Su descripcin se va a realizar en dos partes: una inicial en la que se contemplan las modificaciones y una posterior con los aadidos. El C++ es a la vez un lenguaje procedural (orientado a algoritmos) y orientado a objetos. Como lenguaje procedural se asemeja al C y es compatible con l, aunque ya se ha dicho que presenta ciertas ventajas (las modificaciones
7
158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186
menores, que se vern a continuacin). Como lenguaje orientado a objetos se basa en una filosofa completamente diferente, que exige
del programador un completo cambio de mentalidad. Las caractersticas propias de la Programacin Orientada a Objetos (Object Oriented Programming, u OOP) de C++ son
8
187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215
tienen la extensin *.cpp (de C plus plus, que es la forma oral de llamar al lenguaje en ingls), en lugar de *.c. Esta distincin es muy importante, pues determina ni ms ni menos el que se utilice el compilador de C o el de C++. La utilizacin de nombres incorrectos en los ficheros puede dar lugar a errores durante el proceso de compilacin. 2.2 Comentarios introducidos en el programa En C los comentarios empiezan por los caracteres /* y terminan con los caracteres */. Pueden comprender varias lneas y estar distribuidos de cualquier forma, pero todo aquello que est entre el /* (inicio del comentario) y el */ (fin del comentario) es simplemente ignorado por el compilador. Algunos ejemplos de formato de comentarios son los siguientes: /* Esto es un comentario simple. */ /* Esto es un comentario ms largo, distribuido en varias lneas. El texto se suele alinear por la izquierda. */ /************************************** * Esto es un comentario de varias * * lneas, encerrado en una caja para * * llamar la atencin. * **************************************/ En C++ se admite el mismo tipo de comentarios que en C, pero adems se considera que son comentarios todo aquel texto que est desde dos barras consecutivas (//) hasta el fin de la lnea2. Las dos barras marcan el comienzo del comentario y el fin de la lnea, el final. Si se desea poner
9
216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243
comentarios de varias lneas, hay que colocar la doble barra al comienzo de cada lnea. Los ejemplos anteriores se podran escribir del siguiente modo: // Esto es un comentario simple. // Esto es un comentario ms largo, // distribuido en varias lneas. El // texto se suele indentar por la izquierda. 2 El ANSI C permite el mismo tipo de comentarios que el C++, utilizando la doble barra //.
10
244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272
semana (LUNES, MARTES, MIERCOLES, ...), los meses del ao (ENERO, FEBRERO, MARZO, ...), y cualquier conjunto anlogo de posibles valores. En C las variables de tipo enum se hacan corresponder con enteros, y por tanto no hacan nada que no se pudiera hacer tambin 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 (ellas son promovidas a enteros cuando hace falta de modo automtico). 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. La principal razn de ser de las variables enum es mejorar la claridad y facilidad de comprensin de los programas fuente. Por ejemplo, si se desean representar los colores rojo, verde, azul y
amarillo se podra definir un tipo de variable enum llamada color cuyos cuatro valores
estaran representados por las constantes ROJO, VERDE, AZUL Y AMARILLO, respectivamente. Esto se puede hacer de la siguiente forma: enum color {ROJO, VERDE, AZUL, AMARILLO}; Utilizar maysculas para los identificadores que representan constantes es una convencin estilstica ampliamente adoptada. En el ejemplo anterior se ha definido el tipo color, pero no se ha
11
273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299
creado todava ninguna variable con ese tipo. Por defecto los valores enteros asociados empiezan en 0 y van aumentando de uno en uno. As, por defecto, los valores asociados sern: ROJO = 0 VERDE = 1 AZUL = 2 AMARILLO = 3 Sin embargo, el programador puede asignar el valor que desee a cada uno de esos identificadores, asignando incluso el mismo entero a varios identificadores diferentes. por ejemplo, siguiendo con el tipo color: enum color {ROJO = 3, VERDE = 5, AZUL = 7, AMARILLO}; Lgicamente 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 identificador dado, se toma el entero siguiente al anteriormente asignado. Por ejemplo, en el caso anterior al AMARILLO se le asigna un 8, que es el nmero siguiente al asignado al AZUL.
ESIISS: Aprenda C++ como si estuviera en Primero pgina 4 Una vez que se ha definido un tipo enum, se pueden definir
cuantas variables de ese tipo se desee. Esta definicin es distinta en C y en C++. Por ejemplo, para definir las variables pintura y
12
300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327
As pues en C++ no es necesario volver a utilizar la palabra enum. Los valores que pueden tomar las variables pintura y fondo son los que puede tomar una variable del tipo color, es decir: ROJO, VERDE, AZUL Y AMARILLO. Se puede utilizar, por ejemplo, la siguiente sentencia de asignacin: pintura = ROJO; Hay que recordar que al imprimir una variable enum se imprime su valor entero y no su valor asociado3. 2.4 Declaracin simplificada de variables correspondientes a estructuras De 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 definida por el usuario. Por ejemplo, si se define la estructura alumno del modo siguiente: struct alumno { long nmat; char nombre[41]; }; en C++ se puede declarar despus una variable delegado del tipo
13
328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356
La declaracin de variables en C++ es similar a la de C, pero con una importante diferencia. En ANSI C las variables tenan que ser declaradas (salvo que fueran
double e int en el momento de iniciarse la ejecucin del bucle for. 2.6 Scope o visibilidad de variables
14
357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384
La visibilidad de una variable es la parte del programa en la que esa variable est definida y puede ser utilizada. La duracin hace 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 define hasta que finaliza el bloque en el que est definida. Si la declaracin de una variable no se encuentra dentro de ningn bloque (variable
15
385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413
Una variable local declarada dentro de un bloque oculta una variable global del mismo nombre u otra variable local tambin del mismo nombre declarada en un bloque ms exterior. Por ejemplo, puede suceder que en un bloque, hasta 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 hasta el final de su bloque, la nueva variable x ser la local del bloque ms interior. Vase el ejemplo siguiente: ... { double x = 2.0; printf("lf", x); // se imprime 2.0 { printf("lf", x); // se imprime 2.0 double x = 3.0; printf("lf", x); // se imprime 3.0 } printf("lf", x); // se imprime 2.0 } ... En C++ las variables definidas dentro de una clase variables
miembro pueden ser declaradas como privadas o como pblicas5. Las variables
miembro que han sido declaradas como privadas no son visibles fuera de la clase; si se declaran como pblicas se puede acceder a ellas
16
414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441
mediante los operadores punto (.) y flecha (->), con las mismas reglas que para las variables miembro de las estructuras de C. Las funciones miembro de una clase tienen visibilidad directa sobre todas las variables miembro de esa clase, sin necesidad de que les sean pasadas como argumento. 5 Ms adelante se ver que existe una tercera forma de declarar las variables miembro: protected.
ESIISS: Aprenda C++ como si estuviera en Primero pgina 6 La duracin (lifetime) de una variable es el perodo de tiempo en
que esta variable existe durante la ejecucin del programa. La duracin de una variable puede ser automatic (opcin por defecto) o static. En el primer caso el caso de las variables declaradas dentro de un bloque la variable se crea y se destruye cada vez que se pasa por el bloque. Las variables static existen hasta que termina la ejecucin del programa. Su valor se conserva entre las distintas pasadas por un bloque. Para que una variable local sea static hay que declararla como tal dentro del bloque. Debe recordarse que aunque una variable exista durante toda la ejecucin de un programa, slo puede utilizarse en la zona del programa en que esa variable es visible. C++ dispone del operador (::), llamado operador de resolucin de
visibilidad (scope
17
442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469
resolution operator). 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 global6. Considrese el siguiente ejemplo: int a = 2; // declaracin de una variable global a void main(void) { ... 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 (::) no permite acceder a una variable local definida en un bloque ms exterior 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. 2.7 Especificador const para variables En C++ el especificador const se puede utilizar con variables y con punteros7. Las variables definidas como const no son lo mismo que las constantes
18
470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498
sentencia del programa se intenta variar el valor de una variable definida como const, el compilador produce un mensaje de error. Esta precaucin permite detectar errores durante la compilacin del programa, lo cual siempre es ms sencillo que detectarlos en tiempo de ejecucin. Las variables de este tipo pueden ser inicializadas pero no pueden estar a la izquierda de una sentencia de asignacin. Las variables declaradas como const tienen importantes diferencias con las constantes simblicas definidas con la directiva #define del preprocesador. Aunque ambas representan valores que no se puede modificar, las variables const estn sometidas a las mismas reglas de visibilidad y duracin que las dems variables del lenguaje. Las variables const de C++ pueden ser utilizadas para definir el tamao 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 ahora aceptadas en C++: 6 El operador (::) no puede utilizarse para ver una variable local oculta por otra variable local del mismo nombre. 7 En ANSI C el especificador const tambin se puede utilizar con variables y con punteros, pero con estos ltimos slo de una de las dos formas posibles en C++.
19
499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527
const int SIZE = 5; char cs[SIZE] ; } De todas formas, nunca puede declararse ninguna variable array cuyo tamao sea desconocido en tiempo de compilacin. Si el tamao de una variable va a ser conocido slo en tiempo de ejecucin, hay que utilizar reserva dinmica de memoria tanto en C como en C++. Es muy frecuente que las funciones a las que por motivos de eficiencia (para no tener que sacar copias de los mismos) se les pasan los argumentos por referencia, stos sern declarados como
20
528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555
2. un puntero constante apuntando a una variable cualquiera. Un puntero a una variable const no puede modificar el valor de esa variable (si se intentase el compilador lo detectara e imprimira un mensaje de error), 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 dificultad. Un 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
21
556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584
fuente termina en *.c para el compilador de C y en *.cpp para el compilador de C++.
22
585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612
convertir seguido del valor a convertir entre parntesis. As, las siguientes expresiones son vlidas en C++: y = double(25); return int(x/y); 2.10 Especificador inline para funciones C++ permite sustituir, en tiempo de compilacin, la llamada a una funcin por el cdigo correspondiente en el punto en que se realiza la llamada. De esta manera la ejecucin es ms rpida, pues no se pierde tiempo transfiriendo el control y realizando conversiones de parmetros. Como contrapartida, el programa resultante ocupa ms memoria, pues es posible que el cdigo de una misma funcin se introduzca muchas veces, con las repeticiones consiguientes. Las funciones inline resultan interesantes en el caso de funciones muy breves, que aparecen en pocas lneas de cdigo pero que se ejecutan muchas veces (en un bucle for, por ejemplo). Existen 2 formas de definirlas: 1. Una primera forma de utilizar funciones inline es anteponer dicha palabra en la declaracin de la funcin, como por ejemplo: inline void permutar(int &a, int &b); 2. Otra forma de utilizar funciones inline sin necesidad de utilizar esta palabra es introducir el cdigo de la funcin en la declaracin (convirtindose de esta manera en definicin),
23
613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640
ponindolo entre llaves { } a continuacin de sta. Este segundo procedimiento suele utilizarse por medio de ficheros header (*.h), que se incluyen en todos los ficheros fuente que tienen que tener acceso al cdigo de las funciones inline. Considrese el siguiente ejemplo, consistente en una declaracin seguida de la definicin: void permutar (int *i, int *j) { int temp; temp = *i; *i = *j; *j = temp; } En cualquier caso, la directiva inline es slo una recomendacin al
24
641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669
retorno, pero con el mismo nmero y tipo de argumentos. De hecho, el valor de retorno no influye en la determinacin de la funcin que es llamada; slo influyen el nmero y tipo de los argumentos. Tampoco 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. A continuacin se presenta un ejemplo con dos funciones sobrecargadas, llamadas ambas
strcpy() que requiere dos argumentos, y strncpy() que requiere tres. El nmero de
argumentos en la llamada determinar la funcin concreta que vaya a ser ejecutada: // Ejemplo de funcin sobrecargada #include <iostream.h> #include <string.h> inline void string_copy(char *copia, const char *original) { strcpy(copia, original); } inline void string_copy(char *copia, const *original, const int longitud) { strncpy(copia, original, longitud); } static char string_a[20], string_b[20];
25
670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698
void main(void) { string_copy(string_a, "Aquello"); string_copy(string_b, "Esto es una cadena", 4); cout << string_b << " y " << string_a; // La ltima sentencia es equivalente a un printf() de C // y se explica en un prximo apartado de este manual } 2.12 Valores por defecto de parmetros de una funcin En ANSI C se espera encontrar una correspondencia biunvoca entre la lista de argumentos actuales (llamada) y la lista de argumentos formales (declaracin y definicin) de una funcin. Por ejemplo, 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.
ESIISS: Aprenda C++ como si estuviera en Primero pgina 10 En C++ la situacin es diferente pues se pueden definir valores por defecto para todos o
algunos de los argumentos formales. Despus, en la llamada, en el caso de que algn argumento est ausente de la lista de argumentos actuales, se toma el valor asignado por defecto a ese argumento. Por ejemplo, la funcin modulo() poda haberse declarado del siguiente modo:
26
699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727
double modulo(double x[], int n=3); La 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=3 incluido en la declaracin. En C++ se exige que todos los argumentos con valores por defecto estn al final de la lista de
27
728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756
{ int temp; temp = *a; *a = *b; *b = temp; } La clave para pasar argumentos o parmetros por referencia en C est en el uso de punteros. Al pasar la direccin de la variable9, sta es accesible desde dentro de la funcin y su valor puede ser modificado. De modo anlogo, si dentro de una funcin hay que modificar un puntero habr que pasar su direccin como argumento, esto es, habr que pasar un puntero a puntero. C++ ofrece una nueva forma de pasar argumentos por referencia a una funcin, que no obliga a utilizar dentro de la funcin el operador indireccin (*) para acceder al valor de la variable que se quiere modificar. Esto se hace por medio de un nuevo tipo de dato que no existe en C llamado tipo referencia (reference). 9 En realidad se pasa una copia de la direccin de la variable
Captulo 2: Modificaciones menores pgina 11 Las variables referencia se declaran por medio del carcter (&)10.
Por lo dems, son variables normales que contienen un valor numrico o alfanumrico. Antes de pasar a explicarlas con ms detenimiento, se presenta de nuevo el ejemplo de la funcin
28
757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785
referencia en lugar de punteros.
// Este programa requiere compilador de C++ #include <stdio.h> #include <stdlib.h> void main(void) { 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; } Los dos programas dan idntico resultado, sin embargo, el segundo tiene la ventaja de que no hay que utilizar el operador indireccin dentro de la funcin
29
786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813
En C++ existe realmente un tipo llamado referencia que va ms all del paso de argumentos a funciones tal y como se acaba de explicar. Las variables de tipo
referencia se declaran con el operador (&) y deben ser inicializadas a otra variable o a un valor numrico. Por ejemplo:
int i=2; int& iref = i; // declaracin de referencia vlida int& jref; // declaracin de referencia no vlida La variable i es una variable normal tipo int. La 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 modifica i se modifica iref, y viceversa. En este sentido, iref es un
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. Los vectores y matrices (arrays) no pueden ser
declarados como variables referencia,
30
814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841
porque ya tienen una forma propia y natural de ser pasados como argumentos a una funcin. 10 No se debe confundir el uso de (&) en la declaracin de una
ESIISS: Aprenda C++ como si estuviera en Primero pgina 12 El que una funcin tenga como valor de retorno una variable tipo referencia permite
utilizarla de una manera un poco singular. Considrese el siguiente ejemplo: int& maxref(int& a, int& b) { if (a >= b) return a; else return b; } La funcin maxref() tiene referencias como valor de retorno y como argumentos. Esto permite utilizarla, por ejemplo, del siguiente modo: maxref(i, j) = 0; sta es una forma un poco extraa de utilizar una funcin: la llamada est a la izquierda del operador de asignacin, en vez de aparecer a la derecha en una expresin aritmtica o de otro tipo. El resultado de esta llamada tambin es un poco extrao: el valor de retorno es una referencia, esto
31
842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869
es un alias del argumento de valor mximo. 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 hace igual a cero. Este mismo efecto puede conseguirse mediante punteros, pero con referencias resulta mucho ms sencillo. En C++ las referencias son muy utilizadas para pasar argumentos a funciones (y como valores de retorno), no slo para poderlos modificar dentro de la funcin, sino tambin por motivos de eficiencia, pues es mucho ms rpido pasar un puntero o un
32
870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898
traspasar la frontera de su bloque y ser manipulada por instrucciones de otros bloques. Un aspecto diferente con la funcin malloc(), que es el mtodo ms utilizado para reservar dinmicamente memoria en ANSI C, es que sta devuelve un
33
899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927
#include <string.h> 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; } El siguiente ejemplo reserva memoria dinmicamente para una matriz de doubles: #include <iostream.h> 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
34
928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956
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; } } 2.15 Punteros de tipo void Esta posibilidad ya est presente en el ANSI C pero conviene citarla aqu tambin. Un puntero a
35
957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985
iostream.h con la instruccin #include <iostream.h>. As en un
programa en C habra que hacer algo de este estilo: char nombre; int num=2; printf ("Introduzca el nombre del fichero %d: ", num); scanf (" %s", nombre) En C++ podra escribirse as: char nombre; int num=2; cout << "Introduzca el nombre del fichero " << num << ": "; cin >> nombre; Es importante darse cuenta de que ahora ya no hace falta
36
986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014
{ ofstream out("fichero.h"); // se define un flujo de salida a fichero out << "Estamos aprendiendo "; out << "como se escribe en un fichero "; out << "y como se lee desde el."; out.close(); // Ahora comienza la lectura ifstream in("fichero.h"); // se define un flujo de entrada de fichero const int SIZE=81; char line[SIZE]; in.getline(line, SIZE); cout << line << endl; in.getline(line, SIZE); cout << line << endl; in.getline(line, SIZE); cout << line << endl; } 11 C++ permite sobrecargar los operadores de modo similar a lo que se hace con las funciones: un mismo operador (+, -, *, /, =, ==, !=, <<, >>, etc.) tiene distinto significado segn la naturaleza de los operandos a los que se aplica.
37
1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043
Esto es el equivalente a utilizar la funcin fopen() de ANSI C para abrir un fichero de escritura de datos. = Hay que darse cuenta de que la primera vez que se abre el fichero se abre en modo de
escritura. Por eso hay que cerrarlo para despus poder abrirlo en
modo de lectura. Para realizar esta ltima operacin es necesario declarar un objeto, al que se llama in, del tipo
38
1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071
donde los argumentos i y a tendran que estar siempre presentes. Para conocer con ms detalle cmo se crean estas funciones se recomienda acudir a alguno de los textos de C++ recomendados en la Bibliografa. 12 El concepto de objeto, bsico en C++, se explica con todo detalle en el Captulo 3.
39
1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099
ordenador (tanto de software como de hardware: otro programa, un fichero de disco, una impresora conectada en una puerta serie, una ventana abierta en la pantalla, ...). Tambin pueden ser estructuras de datos: colas, pilas, ... Durante la ejecucin del programa, los objetos interactan pasndose mensajes y respuestas. Es fundamental darse cuenta de que un objeto no necesita conocer el funcionamiento interno de los dems objetos para poder interactuar con ellos (igual que el hombre no necesita conocer cmo funciona por dentro un televisor o un ordenador para poder utilizarlos), sino que le es suficiente con saber la forma en que debe enviarle sus mensajes y cmo va a recibir la respuesta (al hombre le puede ser suficiente con saber cmo funcionan el interruptor, el dial del volumen y los botones de cambio de canal para utilizar un televisor). Sucede a menudo que hay que utilizar varios ejemplares anlogos de un determinado elemento u objeto (por ejemplo varias ventanas en la pantalla del PC, varios usuarios, varios clientes, varias cuentas corrientes de un banco, etc.). La definicin genrica de estos objetos anlogos se realizar mediante la clase. As, una clase contiene una completa y detallada descripcin de la informacin y las funciones que contendr cada objeto de esa clase. Las clases de C++ se
40
1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128
pueden ver como una generalizacin de las estructuras de C. Por ejemplo, en el siguiente cdigo, struct Alumno { long nmat; char nombre[41]; }; Alumno alu1={76986, "Luis Perez"}, alu2 = { 67549, "Mikel Lasa"}; se definen las variables miembro que va a tener la estructura
Alumno y luego se crean dos variables alu1 y alu2 de esa estructura. En C++ los objetos son las variables
concretas que se crean de una determinada clase. A veces se llaman tambin instances o data
objetos son a las clases como las variables a los tipos de variables. Un objeto tiene su propio conjunto de datos o variables miembro, aunque no de funciones,
que aunque se aplican a un objeto concreto son propias de la clase a la que pertenece el objeto.
41
1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156
Cualquier funcin se puede comunicar con las dems a travs de
variables globales, del valor de retorno y de los argumentos, pasados por valor o por referencia.
Esta facilidad para comunicarse con otras funciones hace que se puedan producir efectos laterales no deseados. En un Lenguaje Orientado a Objetos tal como el C++, el centro del lenguaje no son las funciones sino los datos, o ms bien los objetos, que contienen
42
1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184
la coherencia de la informacin. Esto sera imposible si se accediera libre e independientemente a cada variable miembro. Al usuario le es suficiente con saber cmo comunicarse con un objeto, pero no tiene por qu conocer el funcionamiento interno del mismo. En C++ los mtodos de una clase pueden ser funciones u operadores. Todo esto se estudiar en detalle ms adelante. Ya se ha hablado de las funciones sobrecargadas , que son funciones con el mismo nombre pero con distintos argumentos y definicin. Otra posibilidad interesante es la de que objetos de distintas clases respondan de manera anloga al aplicarles funciones con idntico nombre y argumentos. Esta posibilidad da origen a las funciones virtuales y al polimorfismo, 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++. 3.3 Ejemplo de clase en C++: nmeros complejos Antes de entrar en las explicaciones ms detalladas de la
43
1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213
lectura de este apartado podra omitirse. Los programas de este ejemplo tienen las lneas numeradas. Esto no tiene nada que ver con C++; se ha hecho con Word al objeto de poder hacer referencia con ms facilidad al cdigo del programa. El presente ejemplo define la clase complejo, que permite trabajar con nmeros complejos de una forma muy sencilla y natural. El fichero complejo.h contiene la definicin de la clase; el fichero
complejo.cpp contiene la definicin de las funciones y operadores de la clase complejo. Finalmente el fichero main.cpp contiene un programa principal que utiliza
algunas de las posibilidades de esta clase. Esta organizacin de ficheros es bastante habitual en C++. Todos los usuarios de la clase tienen acceso al fichero header donde se define la clase, en este caso complejo.h. La definicin de las funciones y operadores (implementacin de la clase) se hace en otro fichero fuente al cual ya no
44
1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242
5. #include <iostream.h> 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
45
1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271
34. friend ostream& operator<< (ostream&, const complejo&); 35. }; 36. #endif En los prrafos que siguen se comenta brevemente el contenido del fichero complejo.h: = La definicin de la clase complejo se ha introducido dentro de una bifurcacin #ifndef ...
funciones y operadores miembro de la clase complejo. Todas ellas han sido declaradas en la seccin public: de la
clase, por lo que se podrn utilizar desde fuera de la clase sin restricciones. Ya se ve una diferencia importante con las estructuras de C: las clases de C++, adems de contener
46
1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299
Captulo 3: Modificaciones mayores pgina 19
= Las tres primeras funciones miembro (lneas 13-15) son los
dar valor a las variables miembro real e imag, que por ser privadas, no son accesibles
directamente. Es habitual que el nombre de este tipo de funciones empiece por la palabra inglesa set. = Las funciones miembro 21-22 permiten acceder a las variables miembro privadas. Este tipo de funciones suelen empezar con la palabra inglesa get. En este caso, junto con la
47
1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327
como argumento. sta es una caracterstica de todas las funciones miembro de una clase. = Las lneas 24-27 contienen la declaracin de los 4 operadores aritmticos como
48
1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356
variables miembro a travs del nombre y el operador punto (.). Esto quedar ms claro al ver la definicin de estos operadores en el fichero complejo.cpp. = La lnea 29 declara el operador de asignacin (=) sobrecargado. En este caso el
referencia al flujo de salida y el segundo una referencia const al complejo a imprimir. El valor de retorno es la referencia al flujo de salida con el nmero complejo ya aadido con el formato adecuado.
49
1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385
A continuacin se muestra el contenido del fichero complejo.cpp, que contiene la definicin de las funciones miembro y friend declaradas en complejo.h. No se van a dar unas explicaciones
50
1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414
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;
51
1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443
86. resta.real = real - a.real; 87. resta.imag = imag - a.imag; 88. return resta; 89. }
52
1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472
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 hacer los comentarios siguientes: = En C++ es habitual distinguir entre la declaracin de una clase (fichero complejo.h) y su
53
1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501
implementacin (fichero complejo.cpp). De ordinario slo la
declaracin es pblica, quedando oculta a los usuarios de la clase la forma en la que se han programado las distintas funciones y operadores miembro. = Las funciones y operadores miembro de una clase se definen anteponiendo a su nombre el nombre de la clase y el scope resolution operator (::) .
ESIISS: Aprenda C++ como si estuviera en Primero pgina 22 = Las funciones y operadores miembro acceden directamente a las variables miembro del objeto implcito, y por medio del nombre y del operador punto (.) a las del objeto pasado explcitamente. Por ejemplo, supngase la operacin (x+y;), donde tanto x como y son complejos. Para hacer esta operacin se utilizar el operador + sobrecargado, definido en las lneas 75-81. En este caso x es el argumento implcito, mientras que el objeto y se pasa explcitamete por ventana. Dentro de la funcin que define el operador +, las partes real e imaginaria de x se acceden como real e imag, mientras que las de y se acceden como a.real y a.imag, pues el argumento actual y se recibe como argumento formal a. = Las funciones y 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
54
1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530
argumento implcito y todos los argumentos deben pasar por ventana. = En la sobrecarga del operador miembro de asignacin (=) (lneas 108-113) aparece la sentencia (return (*this);). Qu representa esto? La idea es que las funciones y operadores miembro acceden directamente a las variables miembro del objeto que es su argumento implcito, pero slo con esto careceran de una visin de conjunto de dicho argumento. Por ejemplo, en la sentencia (x=y;) el operador = recibe
y como argumento formal a, y aunque puede acceder a las variables real e imag de x no puede acceder a x como objeto. Esto se soluciona en C++ con el puntero this, que es siempre un puntero al argumento implcito de cualquier funcin u operador miembro de
una clase. De acuerdo con esto, *this ser el argumento implcito x y ese es su significado. Finalmente se muestra el programa principal main.cpp y la salida por pantalla que origina. 139. // fichero main.cpp 140. #include "complejo.h" 141. void main(void) 142. { // se crean dos complejos con el constructor general 143. complejo c1(1.0, 1.0); 144. complejo c2(2.0, 2.0);
55
1531 1532 1533 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559
// 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;
56
1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588
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. } La salida por pantalla, basada en los nmeros complejos definidos 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 suficientes comentarios como para entender fcilmente su funcionamiento. Puede observarse la forma tan natural con la que se opera y se imprimen estos nmeros complejos, de un modo completamente anlogo a lo que se hace con las variables estndar de C++.
57
1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617
3.4 Clase sin secciones privadas: struct Una clase sin secciones privadas es aquella en la que no se aplica la encapsulacin. Esta posibilidad no es muy interesante en la programacin habitual, pero puede servir de introduccin a las clases. Una estructura sencilla podra ser la siguiente (en este caso C y C++ coinciden): struct C_Cuenta { double Saldo; double Interes; }; A los datos declarados dentro de una estructura se les da el nombre de variables miembro,
58
1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646
Para acceder a cada una de las variables miembro de la clase se utiliza el operador dot o
punto (.), o bien el operador arrow o flecha (->). As c1.Saldo se refiere a la variable Saldo de c1, y c2.Interes se refiere a la variable Interes de la c2. Este operador
tiene precedencia sobre casi todos los dems operadores. De forma anloga, el operador flecha (->) se utiliza cuando se dispone de la direccin de un objeto (en el puntero correspondiente), en lugar del nombre del objeto. Como se ver ms adelante, en C++ es mucho ms habitual utilizar el operador flecha que el operador punto. Ya se ha dicho que la principal caracterstica de las clases de C++ era que agrupan datos y funciones. En C++ las estructuras definidas como en el ejemplo anterior son verdaderas clases. Se pueden aadir algunas funciones a la clase anterior para que sea un caso ms real. Estas funciones sern los mtodos que permitirn interactuar con las variables de esa clase. As la clase C_Cuenta puede quedar de esta manera: struct C_Cuenta { // Variables miembro13 double Saldo; // Saldo Actual de la cuenta double Interes; // Inters aplicado // Mtodos14 double GetSaldo(); double GetInteres(); void SetSaldo(double unSaldo);
59
1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674
void SetInteres(double unInteres); }; Las definiciones de esas funciones o mtodos 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 Se puede adelantar ya que las funciones que se acaban de definir 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
60
1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701 1702 1703
clase, en cuyo caso la clase quedara como se muestra a continuacin: 13 A lo largo de este manual se utilizar la letra negrita para remarcar los nuevos aspectos que se vayan aadiendo al ejemplo. 14 Es habitual llamar con la palabra inglesa Get a las funciones que devuelven el valor de una variable y con la palabra
Set a las que permiten cambiar el valor de esa variable. Captulo 3: Modificaciones mayores pgina 25
struct C_Cuenta { // Variables miembro double Saldo; // Saldo Actual de la cuenta double Interes; // Inters aplicado // 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; }; void main(void) { C_Cuenta c1; c1.Interes = 4.0; // vlida, pero se viola el principio de encapsulacin c1.SetInteres(4.0); // correcto }
61
1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731
En el ejemplo anterior aparece ya un pequeo programa principal que utiliza la clase que se acaba de definir. Se debe distinguir entre los operadores (.) y el (::). El operador
62
1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760
Un usuario de una clase slo necesita conocer el interface, es decir, el aspecto externo de la clase, para poder utilizarla correctamente. En otras palabras, le sera suficiente con conocer la declaracin de las funciones miembro pblicas y el significado de los argumentos, adems de las variables miembro pblicas, si las hubiera. 3.5 Clases con secciones privadas. Las declaraciones de variables y funciones miembro de la clase
63
1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788
{ return Interes; } void SetSaldo(double unSaldo) { Saldo = unSaldo; } void SetInteres(double unInteres) { Interes = unInteres; } void Ingreso(double unaCantidad) { SetSaldo( GetSaldo() + unaCantidad ); } }; Una primera diferencia respecto a los ejemplos anteriores es que se ha sustituido la palabra
64
1789 1790 1791 1792 1793 1794 1795 1796 1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817
habitual en C para acceder a los miembros de las estructuras, es decir mediante los operadores
struct o class. En lo
sucesivo se utilizar la palabra class, que se considera ms segura y ms propia de C++. La solucin que se utiliza habitualmente en C++ para resolver el problema de la
65
1818 1819 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845
Captulo 3: Modificaciones mayores pgina 27
Las funciones miembro pblicas son habitualmente el interface entre los datos contenidos en los objetos de la clase y los usuarios de la clase. Estos usuarios no necesitan tener acceso a los detalles internos de dichos objetos; slo necesitan saber cmo se utilizan las funciones miembro pblicas. Esto facilita tambin el mantenimiento y la mejora del programa: la clase y sus funciones miembro pueden ser sustituidas por una versin nueva, ms eficiente. En tanto en cuanto la declaracin de las funciones miembro pblicas se mantenga igual, el cambio no tendr ninguna repercusin en los dems programas y funciones que hacen uso de la clase. En el ejemplo anterior se puede ver ya cmo las funciones
miembro, que en este caso son todas pblicas, forman el interface utilizada para asignar y leer los
valores de las variables miembro de la clase que son privadas. De esta manera se hace cumplir el principio de
encapsulacin.
3.6 Expansin Inline 3.6.1 DEFINICIN As pues, en la mayora de los casos la programacin orientada a objetos obliga a utilizar funciones para poder acceder a las variables miembro de una clase. Por esta razn un programa orientado a
66
1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873
objetos contiene muchas llamadas a funciones. Por otra parte, muchas de las funciones que se utilizan contienen slo unas pocas sentencias o incluso una sola, por ejemplo las funciones de lectura y asignacin de valores de una variable. Cada llamada y retorno de una funcin tiene un cierto costo computacional, porque es necesario reservar una zona de memoria para los argumentos de las funciones llamadas, que a veces, adems tienen que ser copiados. En la mayora de los casos el tiempo empleado en la transmisin de datos es despreciable frente al empleado en los clculos. En el caso de que la funcin sea muy sencilla, sin embargo, no se puede despreciar ese tiempo y el uso frecuente de funciones muy sencillas y breves se revela muy poco eficiente La expansin inline ofrece la solucin a este problema sustituyendo en el programa la llamada a la funcin por el cdigo de la misma, modificado para simular el paso de argumentos y valor de retorno. Las funciones inline eliminan la necesidad de utilizar las macros de C. La ventajas de las funciones inline vienen dadas porque su utilizacin puede suponer una reduccin del tiempo de ejecucin de un programa. El inconveniente de usar funciones inline es que la introduccin de una copia del cdigo en cada llamada a una funcin puede hacer que el tamao
67
1874 1875 1876 1877 1878 1879 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 1890 1891 1892 1893 1894 1895 1896 1897 1898 1899 1900 1901
del programa aumente considerablemente. En definitiva, el uso de este tipo de funciones est recomendado en el caso de que sean funciones muy sencillas cuyo tiempo de llamada es comparable al tiempo de clculo. Por el contrario, en el caso de funciones ms grandes, la mejora en el tiempo de ejecucin es despreciable y el tamao del programa puede crecer innecesariamente. 3.6.2 IMPLEMENTACIN DE LAS FUNCIONES INLINE C++ permite dos maneras distintas de implementar funciones
inline.
1. La primera de ellas consiste en colocar la palabra inline precediendo a la definicin de la funcin: inline double funcion (double uno) { return uno; } Es importante saber que esta indicacin puede ser ignorada por el compilador en el caso de que la funcin en cuestin sea tan larga o tan complicada que su expansin inline resulte
68
1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927 1928 1929 1930
funcin inline su llamada es sustituida por el cdigo de la misma, por lo que ste debe ser accesible para cualquier fichero fuente, y eso se consigue incluyndola en el fichero header. 2. El segundo mtodo de declaracin de funciones inline consiste en colocar la definicin completa de la misma en la declaracin de la funcin: class una { double tal; public: double Expandida( ) { return tal;} }; En el caso de que se incluya la definicin de una funcin inline en una clase, esta misma
69
1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958
public: // Mtodos inline char *GetNombre() // La palabra inline no es necesaria { return Nombre; } inline double GetSaldo() { return Saldo; } inline double GetInteres() { return Interes; } inline void SetSaldo(double unSaldo) { Saldo = unSaldo; } inline void SetInteres(double unInteres) { Interes = unInteres; } void Ingreso(double unaCantidad) { SetSaldo( GetSaldo() + unaCantidad ); } }; 3.7 Entrada y salida de datos La librera de C++ proporciona algunas herramientas para la entrada y salida de datos que la hacen 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. La palabra stream quiere decir algo as como canal, flujo o corriente. C++ hace que tanto la entrada como la salida de
datos se vayan dirigiendo a unos
70
1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987
Al incluir la librera <iostream.h> se aaden al programa varios
streams estndar. Los ms utilizados son cin, que se utiliza para la entrada de datos (habitualmente desde teclado), cout, que se Captulo 3: Modificaciones mayores pgina 29 utiliza para la salida (habitualmente por pantalla) y cerr, que se
utiliza para los mensajes de error (tambin por pantalla). El operador de insercin (<<) se utiliza para insertar datos en un
71
1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015
los vistos hasta ahora, como por ejemplo en la sentencia: 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. Las secuencias de escape estn siempre formadas por el carcter (\) seguido de otro carcter. Toda la secuencia de escape representa un nico carcter y se considera indivisible. Las secuencias de escape ms utilizadas se incluyen a continuacin: \a alerta Hace emitir un beep al ordenador \n nueva lnea Hace saltar el cursor a la lnea siguiente \t tabulador Desplaza el cursor la distancia de un tabulador \ comillas Imprime unas comilla \\ barra inclinada Imprime una barra inclinada hacia la izquierda Tabla 1: Secuencias de escape Como se puede ver, la mayora de estas secuencias de escape son equivalentes a las que ya se usaban en ANSI C. 3.7.1 UNA BREVE COMPARACIN CON LA ENTRADA Y SALIDA DE DATOS DE ANSI C En C++ tambin se pueden utilizar las funciones printf() y scanf(), si se incluye la librera
72
2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 2037 2038 2039 2040 2041 2042 2043 2044
Con los operadores propios de C++ se evita el chequeo de compatibilidad entre el especificador de formato (lo que sigue al carcter %, como por ejemplo %s, %d, %lf, etc.) y el argumento actual de la funcin printf() o scanf(). Esto hace 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 definidos por el usuario que a los tipos de datos predefinidos del lenguaje. Esto quiere decir que el programador puede definir un operador (<<) especial para imprimir por ejemplo nmeros complejos (que incluya la letra i para indicar la parte imaginaria). Esta capacidad no est soportada por las funciones del ANSI C conocidas, a las que no se pueden aadir nuevos especificadores de formato que permitan leer o escribir directamente los datos definidos por el usuario. 3.8 Operadores new y delete con clases Los operadores new y delete pueden ser aplicados tanto a variables de los tipos predefinidos (int,
73
2045 2046 2047 2048 2049 2050 2051 2052 2053 2054 2055 2056 2057 2058 2059 2060 2061 2062 2063 2064 2065 2066 2067 2068 2069 2070 2071 2072 2073
float, double, ) como a objetos de las clases definidas por el
usuario. Su principal aplicacin est en la creacin de variables con reserva dinmica de memoria, sustituyendo a las funciones calloc(),
C_Cuenta.
3. Finalmente se llama, de modo transparente al usuario, a un
constructor de la clase C_Cuenta. Los constructores son funciones que se llaman automticamente al
crear un objeto de una clase. Su misin es dar un valor inicial a todas las variables miembro, de modo que no haya nunca objetos con variables sin un valor apropiado (conteniendo basura informtica). Los constructores se explican en el apartado siguiente. El operador new se puede utilizar para crear vectores de objetos (en una forma similar a como se crean vectores de variables) con reserva dinmica de memoria, en la forma: C_Cuenta *ctas = new C_Cuenta[100];
74
2074 2075 2076 2077 2078 2079 2080 2081 2082 2083 2084 2085 2086 2087 2088 2089 2090 2091 2092 2093 2094 2095 2096 2097 2098 2099 2100 2101 2102
La diferencia fundamental entre new 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 hay que tener en cuenta que new puede ser sobrecargado como cualquier otro operador, con las ventajas de simplificacin de cdigo que ello supone. La sobrecarga de operadores se estudiar en un apartado posterior. Al utilizar delete (lo mismo sucede con free()), se libera la zona de memoria a la que apunta,
new).
3.9 Constructores y destructores Ya se ha apuntado que C++ no permite crear objetos sin dar un valor inicial apropiado a todas sus
75
2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2113 2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129 2130 2131
variables miembro. Esto se hace por medio de unas funciones llamadas constructores, que se llaman automticamente siempre que se crea un objeto de una clase. Se van a estudiar ahora algunas formas posibles de crear e inicializar objetos, tales como c1. Una primera manera en la que se podra hacer esto bien pudiera ser sta: C_Cuenta c1; // se crea el objeto c1.Saldo = 500.0; // se da valor a sus variables miembro c1.Interes= 10.0; Este mtodo, a pesar de ser correcto, viola el principio de
encapsulacin al manejar
directamente las variables miembro. Al igual que sucede con los arrays y cadenas de caracteres, C y C++ tambin permiten declarar e inicializar las variables de la siguiente manera (ms compacta, que es una inicializacin): C_Cuenta c1 = { 500.0, 10.0 }; Los valores que aparecen entre las llaves son asignados a las variables miembro de la clase o estructura, en el mismo orden en que esas variables aparecen en la
76
2132 2133 2134 2135 2136 2137 2138 2139 2140 2141 2142 2143 2144 2145 2146 2147 2148 2149 2150 2151 2152 2153 2154 2155 2156 2157 2158 2159 2160
constructores. Estos son unas funciones miembro de una clase
especiales que se llaman de modo automtico al crear los objetos, y dan un valor inicial a cada una de las variables miembro. El
varios constructores. El uso del constructor es tan importante que, en el caso de que el
programador no defina ningn constructor para una clase, el compilador de C++ proporciona un constructor de oficio (tambin llamado a veces por defecto, aunque como ms tarde se ver que esta terminologa puede resultar confusa). Si la clase C_Cuenta se completa con su constructor, su declaracin quedar de la siguiente forma: class C_Cuenta { // Variables miembro private: double Saldo; // Saldo Actual de la cuenta double Interes; // Inters aplicado public: // Constructor
77
2161 2162 2163 2164 2165 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188
C_Cuenta(double unSaldo, double unInteres);
78
2189 2190 2191 2192 2193 2194 2195 2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 2213 2214 2215 2216
Teniendo en cuenta que el constructor es una funcin miembro, y que como tal tiene acceso
79
2217 2218 2219 2220 2221 2222 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232 2233 2234 2235 2236 2237 2238 2239 2240 2241 2242 2243 2244
miembro seguido, entre parntesis, del argumento que le da valor. Los inicializadores son ms eficientes que las sentencias de asignacin, y adems permiten definir variables miembro const, que pueden ser inicializadas pero no asignadas. 3.9.2 LLAMADAS AL CONSTRUCTOR Ya se ha dicho que el operador new se encarga de llamar al
objeto de una clase, se llama implcita o explcitamente al constructor de la clase para que lo
inicialice. 3.9.3 CONSTRUCTOR POR DEFECTO Y CONSTRUCTOR CON PARMETROS CON VALOR POR DEFECTO Se 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. Un
80
2245 2246 2247 2248 2249 2250 2251 2252 2253 2254 2255 2256 2257 2258 2259 2260 2261 2262 2263 2264 2265 2266 2267 2268 2269 2270 2271 2272 2273
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 ningn argumento. El constructor por defecto es necesario si se quiere hacer una declaracin en la forma: C_Cuenta c1; y tambin cuando se quiere crear un vector de objetos, por ejemplo en la forma: C_Cuenta cuentas[100]; ya que en este caso se crean e inicializan mltiples objetos 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 definidos unos
81
2274 2275 2276 2277 2278 2279 2280 2281 2282 2283 2284 2285 2286 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2298 2299 2300 2301
{ SetSaldo(unSaldo); SetInteres(unInteres); } // Mtodos char *GetNombre() { return Nombre; } double GetSaldo() { return Saldo; } double GetInteres() { return Interes; } void SetSaldo(double unSaldo) { Saldo = unSaldo; } void SetInteres(double unInteres) { Interes = unInteres; } void Ingreso(double unaCantidad) { SetSaldo( GetSaldo() + unaCantidad ); } };
82
2302 2303 2304 2305 2306 2307 2308 2309 2310 2311 2312 2313 2314 2315 2316 2317 2318 2319 2320 2321 2322 2323 2324 2325 2326 2327 2328 2329
En el ejemplo anterior se observa la utilizacin de un mismo
constructor para crear objetos de la clase C_Cuenta de tres maneras distintas. La primera llamada al constructor se hace sin
argumentos, por lo que las variables miembro tomaran los valores por defecto dados en la definicin de la clase. En este caso Saldo valdr 0 e Interes tambin valdr 0. En la segunda llamada se pasa un nico argumento, que se asignar a la primera variable de la definicin del constructor, es decir a Saldo. La otra variable, para la que no se asigna ningn valor en la llamada, tomar el valor asignado por defecto. Hay que recordar aqu que no es posible en la
llamada asignar un valor al segundo argumento si no ha sido asignado antes otro valor a todos los argumentos anteriores (en este caso slo al primero). En la tercera llamada al constructor se pasan
dos argumentos por la ventana de la funcin, por lo que las variables miembro tomarn esos valores. 3.9.4 CONSTRUCTOR DE OFICIO Qu hubiera pasado si en la clase C_Cuenta no se hubiera definido ningn constructor? Pues en este caso concreto, no hubiera pasado nada, o al menos nada catastrfico. El compilador de C++ habra creado un constructor de oficio, sin argumentos. Qu puede hacer un constructor sin
83
2330 2331 2332 2333 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2346 2347 2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358
argumentos? Pues lo ms razonable que puede hacer es inicializar todas las variables miembro a cero. Quizs esto es muy razonable para el Saldo, aunque quizs no tanto para la variable Interes. As pues, se llamar en estos apuntes constructor por defecto a un constructor que no tiene argumentos o que si los tiene, se han definido con valores por defecto. Se llamar constructor de
constructor de oficio en el caso de que el programador no haya definido ningn constructor. En el caso de
que el usuario slo haya definido un constructor con argumentos y se necesite un
constructor por defecto para crear por ejemplo un vector de objetos, el compilador no crea este constructor por defecto sino que da un
mensaje de error. Los constructores de oficio son cmodos para el programador (no tiene que programarlos) y en muchos casos tambin correctos y suficientes. Sin embargo, ya se ver en un prximo apartado
84
2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370 2371 2372 2373 2374 2375 2376 2377 2378 2379 2380 2381 2382 2383 2384 2385 2386 2387
que en ocasiones conducen a resultados incorrectos e incluso a errores fatales. 3.9.5 CONSTRUCTOR DE COPIA Ya se ha comentado que C++ obliga a inicializar las variables miembro de una clase llamando a un
85
2388 2389 2390 2391 2392 2393 2394 2395 2396 2397 2398 2399 2400 2401 2402 2403 2404 2405 2406 2407 2408 2409 2410 2411 2412 2413 2414 2415
tres veces a un constructor. Realmente as ha sido: en la primera sentencia se ha llamado al
constructor). Por definicin, el constructor de copia tiene un nico argumento que es una referencia constante a un objeto de la clase. Su declaracin sera pues como sigue:
C_Cuenta(const C_Cuenta&); Las sentencias anteriores de declaracin de los objetos c2 y c3 funcionaran correctamente aunque no se haya declarado y definido en la clase C_Cuenta ningn constructor de copia. Esto es as porque el compilador de C++ proporciona tambin un
constructor de copia de oficio, cuando el programador no lo define. El constructor de copia de oficio se limita a realizar una copia bit a bit
de las variables miembro del objeto original al objeto copia. En este caso, eso es perfectamente correcto y es todo lo que se necesita. Pronto se ver algn ejemplo en el que esta copia bit a bit no da los resultados esperados. En este caso el programador debe preparar su propio constructor de
86
2416 2417 2418 2419 2420 2421 2422 2423 2424 2425 2426 2427 2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443
misma clase, hay otros dos casos muy importantes en los que se utiliza el constructor de copia: 1. Cuando a una funcin se le pasan objetos como argumentos por
valor, y
2. Cuando una funcin tiene un objeto como valor de retorno. En ambos casos hay que crear copias del objeto y para ello se utiliza el constructor de copia. 3.9.6 NECESIDAD DE ESCRIBIR UN CONSTRUCTOR DE COPIA Ha llegado ya el momento de explicar cmo surge la necesidad de escribir un constructor de copia distinto del que proporciona el compilador. Considrese una clase
Alumno con dos variables miembro: un puntero a char llamado nombre y un long llamado nmat que representa el nmero 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 objeto vaya a ser inicializado. Lo importante es darse cuenta de que el nombre no es realmente una variable
87
2444 2445 2446 2447 2448 2449 2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472
miembro es un puntero a la zona de memoria donde est almacenado. Esta situacin se puede ver grficamente en la figura 1, en la que se muestra un objeto a de la clase Alumno.
a. Como el objeto b no se ha
tocado, su variable miembro b.nombre se ha quedado apuntado a una posicin de memoria que ha sido liberada en el proceso de cambio de nombre de a. La consecuencia es que b ha perdido informacin y los ms probable es que el programa falle.
88
2473 2474 2475 2476 2477 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501
Se llega a una situacin parecida cuando se destruye uno de los dos objetos a o b. Al destruir uno de los objetos se libera la memoria que comparten, con el consiguiente perjuicio para el objeto que queda, puesto que su puntero contiene la direccin de una zona de memoria liberada, disponible para almacenar otra informacin. Figura 3. Copia correcta del objeto de la figura 1. Finalmente, la figura 3 muestra la situacin a la que se llega con un constructor de copia correctamente programado por el usuario. En este caso, el constructor no copia bit a bit la direccin contenida en a.nombre, sino que reserva memoria, copia a esa memoria el contenido apuntado por
89
2502 2503 2504 2505 2506 2507 2508 2509 2510 2511 2512 2513 2514 2515 2516 2517 2518 2519 2520 2521 2522 2523 2524 2525 2526 2527 2528 2529 2530
previamente. En este segundo caso se utiliza el operador de
asignacin bit a bit de los valores de las variables miembro de c1 en c2. En este sentido es similar
al constructor de copia y, por las mismas razones que ste, da lugar tambin a errores o resultados incorrectos. La solucin en este caso es redefinir o sobrecargar el operador de
90
2531 2532 2533 2534 2535 2536 2537 2538 2539 2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551 2552 2553 2554 2555 2556 2557 2558 2559
es llamado al terminar la ejecucin del programa. Los objetos creados con reserva dinmica de
no tiene argumentos en ningn caso. Tampoco tiene valor de retorno. Su nombre es el mismo que
el de la clase precedido por el carcter tilde (~), carcter que se consigue con Alt+126 en el teclado del PC. En el caso de que el programador no defina un destructor, el compilador de C++ proporciona un destructor de oficio, que es casi siempre plenamente adecuado (excepto para liberar memoria de vectores y matrices). En el caso de que la clase C_Cuenta necesitase un destructor, la declaracin sera as: ~C_Cuenta(); y la definicin de la clase, aadiendo en este caso como variable miembro una cadena de caracteres que contenga el nombre del titular, podra ser como sigue:
91
2560 2561 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 2579 2580 2581 2582 2583 2584 2585 2586 2587 2588
private: char *Nombre; // Nombre de la persona double Saldo; // Saldo Actual de la cuenta double Interes; // Inters aplicado 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 ~C_Cuenta() { delete [] Nombre; } // Libera la memoria apuntada por el puntero // Mtodos char *GetNombre() { return Nombre; } double GetSaldo() { return Saldo; } double GetInteres() { return Interes; } void SetSaldo(double unSaldo) { Saldo = unSaldo; } void SetInteres(double unInteres) { Interes = unInteres; } void Ingreso(double unaCantidad)
92
2589 2590 2591 2592 2593 2594 2595 2596 2597 2598 2599 2600 2601 2602 2603 2604 2605 2606 2607 2608 2609 2610 2611 2612 2613 2614 2615 2616 2617
{ SetSaldo( GetSaldo() + unaCantidad ); } }; void main(void) { 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); ... } 3.10 Clases y funciones friend Ya se ha visto anteriormente que declarar como privadas las
funciones miembro, ya que una funcin slo puede ser miembro de una nica clase. Adems una
funcin miembro convencional slo puede actuar directamente sobre un nico objeto de la clase (su argumento implcito, que es el objeto con el que ha sido llamada por medio del operador punto (.) o flecha (->), como por ejemplo en c1.Ingreso(10000)). Para que acte sobre un segundo o un tercer
93
2618 2619 2620 2621 2622 2623 2624 2625 2626 2627 2628 2629 2630 2631 2632 2633 2634 2635 2636 2637 2638 2639 2640 2641 2642 2643 2644 2645 2646
objeto -por ejemplo, para hacer transferencias- hay que pasrselos como argumentos. Se puede concluir que a pesar de las grandes ventajas que tiene el
encapsulacin, en muchas
ocasiones es necesario dotar a la programacin orientada a objetos de una mayor flexibilidad. Esto se consigue por medio de las funciones friend. Una funcin friend de una clase es una funcin que
94
2647 2648 2649 2650 2651 2652 2653 2654 2655 2656 2657 2658 2659 2660 2661 2662 2663 2664 2665 2666 2667 2668 2669 2670 2671 2672 2673 2674 2675
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 Amiga pueden acceder a las variables privadas de la clase
95
2676 2677 2678 2679 2680 2681 2682 2683 2684 2685 2686 2687 2688 2689 2690 2691 2692 2693 2694 2695 2696 2697 2698 2699 2700 2701 2702 2703 2704
friend void fAmiga(Cualquiera); private: int secreto; }; void fAmiga(Cualquiera Una) { Una.secreto++; // Modifica el valor de la variable privada } Recurdese 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. Se plantea un problema cuando dos clases deben ser declaradas mutuamente friend la una de la otra. Considrense por ejemplo las clases vector y matriz. Las 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; };
96
2705 2706 2707 2708 2709 2710 2711 2712 2713 2714 2715 2716 2717 2718 2719 2720 2721 2722 2723 2724 2725 2726 2727 2728 2729 2730 2731 2732
friend vector; }; A primera vista sorprende la segunda lnea de lo que sera el fichero de declaracin de ambas clases. En esta lnea aparece la sentencia class matriz;. Esto es lo que se llama una declaracin
anticipada que advierte al compilador que matriz es una clase cuya declaracin est ms adelante. 3.11 El puntero this El puntero this es una variable predefinida para todas las funciones u operadores miembro de una
clase. Este puntero contiene la direccin del objeto concreto de la clase al que se est aplicando la funcin o el operador miembro. Se puede decir que *this es un alias del objeto correspondiente. Conviene tener en cuenta que cuando una funcin miembro se aplica a un objeto de su clase (su argumento implcito), accede directamente a las variables miembro (sin utilizar el operador punto o
97
2733 2734 2735 2736 2737 2738 2739 2740 2741 2742 2743 2744 2745 2746 2747 2748 2749 2750 2751 2752 2753 2754 2755 2756 2757 2758 2759 2760
flecha), pero no tiene forma de referirse al objeto como tal, pues no le ha sido pasado explcitamente como argumento. Este problema se resuelve con el puntero this. Considrese el siguiente ejemplo: Class C_Cuenta { //... public: // ... inline double GetInteres() { // Igual a : return Interes; return this->Interes; } // . }; En el caso de operadores miembro sobrecargados, el puntero this es la forma que se utiliza para referirse al objeto al que se est aplicando el operador como primer operando. Hay que sealar que las funciones friend que no son miembros de ninguna clase no disponen de puntero this. 3.12 Sobrecarga de operadores Los operadores de C++, al igual que las funciones, pueden ser sobrecargados (overloaded). Este es uno de los aspectos ms caractersticos de este lenguaje. La
98
2761 2762 2763 2764 2765 2766 2767 2768 2769 2770 2771 2772 2773 2774 2775 2776 2777 2778 2779 2780 2781 2782 2783 2784 2785 2786 2787 2788 2789
que se pueden redefinir algunos de los operadores existentes en C++ para que acten de una determinada manera, definida por el programador, con los objetos de una clase determinada. Esto puede ser muy til por ejemplo, para definir operaciones matemticas con elementos tales como
vectores y matrices. As, sobrecargando adecuadamente los operadores suma (+) y asignacin (=),
se puede llegar a sumar dos matrices con una sentencia tan simple como:
de insercin y extraccin
en los flujos de entrada y salida (>> y <<), de manera que puedan imprimir o leer estructuras o clases complejas con una sentencia estndar. Los nicos operadores de C que no se pueden sobrecargar son el operador punto (.), el if
aritmtico (?:) y el operador sizeof. C++ aade otros 2 a esta lista: el scope resolution operator (::) y puntero a miembro de un objeto (.*).
El objetivo ltimo de la sobrecarga de operadores es simplificar al mximo el cdigo a escribir, a cambio de complicar algo la definicin de las clases. Una clase que disponga de operadores sobrecargados es una clase ms compleja de definir, pero ms sencilla e intuitiva de utilizar.
99
2790 2791 2792 2793 2794 2795 2796 2797 2798 2799 2800 2801 2802 2803 2804 2805 2806 2807 2808 2809 2810 2811 2812 2813 2814 2815 2816 2817 2818
Las ventajas de la sobrecarga de operadores terminan cuando se utiliza de modo que aade complejidad o confusin a los programas. Por ejemplo, aunque est permitido por el lenguaje, no se deber nunca utilizar el operador (-) para multiplicar matrices o el (+) para imprimir vectores. La sobrecarga de operadores tiene dos limitaciones tericas y una prctica: = Se puede modificar la definicin de un operador pero no su
100
2819 2820 2821 2822 2823 2824 2825 2826 2827 2828 2829 2830 2831 2832 2833 2834 2835 2836 2837 2838 2839 2840 2841 2842 2843 2844 2845 2846 2847
conveniencia o incluso de preferencia personal, mientras que en otros casos la decisin est impuesta. Habitualmente: = Se suelen declarar miembros de la clase los operadores unarios (es decir, aquellos que actan sobre un nico objeto), o los que modifican el primer operando, como sucede con los operadores de asignacin. = Por el contrario, los operadores que actan sobre varios objetos sin modificarlos (por ejemplo los operadores aritmticos y lgicos) 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 objeto que constituye el argumento implcito. En la
declaracin y en la definicin slo har falta incluir en la lista de argumentos el segundo operando. En los operadores friend el nmero de argumentos deber ser el estndar del operador (unario o binario). 3.12.1 CLASE CADENA PARA MANEJO DE CADENAS DE CARACTERES. Para explicar la sobrecarga de operadores y los diversos conceptos que implica se va a utilizar un ejemplo diferente a la cuenta corriente que se ha estado considerando hasta ahora. Se va a crear una clase llamada cadena que permita trabajar con cadenas de caracteres de un modo ms directo e
101
2848 2849 2850 2851 2852 2853 2854 2855 2856 2857 2858 2859 2860 2861 2862 2863 2864 2865 2866 2867 2868 2869 2870 2871 2872 2873 2874 2875 2876
ESIISS: Aprenda C++ como si estuviera en Primero pgina 42
intuitivo de lo que permite C. Por ejemplo, en C no se puede copiar una cadena de caracteres en otra con el operador de asignacin (=), sino que es necesario utilizar la funcin strcpy(); tampoco se pueden concatenar cadenas con el operador suma (+), ni se pueden comparar con los operadores
relacionales (==) y (!=), sino que hay que utilizar las funciones strcat() y strcmp(),
respectivamente. Las variables miembro de la clase cadena van a ser el nmero de caracteres nchar (sin incluir el '\0' final) y un puntero a char llamado pstr que contendr la direccin del primer carcter de la cadena. La declaracin de la clase cadena, con todas sus funciones y operadores miembro, y con otros operadores que slo son friend, est contenida en un fichero llamado cadena.h, y es como sigue: // fichero cadena.h #include <iostream.h> #ifndef __CADENA_H #define __CADENA_H class cadena { private: char* pstr; int nchar; // n de caracteres (sin el '\0') public: cadena(); // constructor por defecto
102
2877 2878 2879 2880 2881 2882 2883 2884 2885 2886 2887 2888 2889 2890 2891 2892 2893 2894 2895 2896 2897 2898 2899 2900 2901 2902 2903 2904 2905
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 Obsrvese que los operadores sobrecargados se declaran de forma muy similar a la de las funciones, sustituyendo el nombre de la funcin por la palabra
103
2906 2907 2908 2909 2910 2911 2912 2913 2914 2915 2916 2917 2918 2919 2920 2921 2922 2923 2924 2925 2926 2927 2928 2929 2930 2931 2932 2933 2934
conocen los programadores-usuarios de la clase: al cdigo, esto es, a la definicin de las funciones y operadores slo acceden los que programan la clase. Lo importante es resaltar que la declaracin
constructor de copia que recibe como argumento una referencia constante a un objeto de la clase cadena. El argumento -un objeto de la clase cadena- se pasa por referencia por motivos
104
2935 2936 2937 2938 2939 2940 2941 2942 2943 2944 2945 2946 2947 2948 2949 2950 2951 2952 2953 2954 2955 2956 2957 2958 2959 2960 2961 2962 2963
de eficiencia (para no tener que sacar una copia); por otra parte se pasa como const por motivos de seguridad (para evitar que sea modificado por el constructor). En lo sucesivo ya no se volver a justificar el paso por referencia y como const de los argumentos que no deban ser modificados. En este caso, los constructores de oficio no sirven, pues ya se han definido otros constructores y adems una variable miembro es un puntero y se va a utilizar reserva
dinmica de memoria. 3. Se ha definido un destructor porque las cadenas de caracteres son arrays y se va a utilizar reserva dinmica de memoria, memoria que habr que liberar
expresamente. 4. La funcin miembro setcad() permite proporcionar o cambiar el valor de la cadena de caracteres que contiene un objeto. Es una funcin miembro tpica y slo se ha introducido aqu a modo de ejemplo. Se le pasa como argumento un puntero a char que contiene la direccin del primer carcter del texto a introducir. No necesita devolver ningn valor. 5. Se han definido siete operadores sobrecargados -uno como
miembro y seis como friends-, y hay cuatro operadores relacionales ms incluidos entre
comentarios que se podran terminar de definir de modo similar. 6. El primer operador sobrecargado es el operador de asignacin (=). Como es un operador
105
2964 2965 2966 2967 2968 2969 2970 2971 2972 2973 2974 2975 2976 2977 2978 2979 2980 2981 2982 2983 2984 2985 2986 2987 2988 2989 2990 2991 2992
binario que modifica el primer operando debe necesariamente ser
retorno de este operador requiere un comentario especial. 7. Estrictamente hablando, en este caso el operador de asignacin (=) no necesita ningn valor de retorno: su misin en una sentencia tal como c1 = c2; queda
suficientemente cumplida si hace que las variables miembro de c1 sean iguales a las de c2 (siendo c1 y c2 dos objetos de la case cadena). Sin embargo el operador (=) estndar de C 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 = c; que es equivalente a hacer b igual a c, y devolver un valor que puede ser asignado a a. Al final 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 mltiples con objetos de la clase cadena (c1 = c2 = c3;), es necesario que el operador de
106
2993 2994 2995 2996 2997 2998 2999 3000 3001 3002 3003 3004 3005 3006 3007 3008 3009 3010 3011 3012 3013 3014 3015 3016 3017 3018 3019 3020
asignacin sobrecargado (=) tenga valor de retorno. El valor de
retorno es una referencia al primer operando por motivos de eficiencia, pues si no hay que
crear un objeto nuevo, diferente de los dos operandos, para devolverlo como valor de retorno. 8. A continuacin aparecen tres operadores suma (+) sobrecargados para realizar concatenacin
de cadenas. Puede observarse que no son operadores miembro sino friend. As pues, no hay
argumento implcito, y los dos argumentos aparecen entre parntesis. Los tres operadores (+) tienen un objeto de la clase cadena como valor de retorno. El primero de ellos concatena dos
cadena y una cadena de caracteres estndar, y una cadena de caracteres estndar y el texto de un objeto cadena, respectivamente. Recurdese que el orden y el
tipo de los argumentos deciden
107
3021 3022 3023 3024 3025 3026 3027 3028 3029 3030 3031 3032 3033 3034 3035 3036 3037 3038 3039 3040 3041 3042 3043 3044 3045 3046 3047 3048 3049
qu definicin del operador sobrecargado se va a utilizar. Si se quiere poder escribir tanto c1+"
operadores miembro siempre tienen un primer operando que es miembro de la clase y que va como argumento implcito. La tercera definicin del operador (+) no cumple con esta
condicin, pues su primer operando (para concatenar por ejemplo
108
3050 3051 3052 3053 3054 3055 3056 3057 3058 3059 3060 3061 3062 3063 3064 3065 3066 3067 3068 3069 3070 3071 3072 3073 3074 3075 3076 3077
saber si dos objetos contienen o no el mismo texto. En este caso el valor de retorno del test de
igualdad (==) es un int que representar true (1) o false (0). Para el operador de desigualdad
(!=) la situacin es un poco ms compleja, pues se desea que sirva para ordenar cadenas alfabticamente, de modo similar a la funcin strcmp(). Por ello el valor de retorno de c1!=c2 es un (-1) si c1 es diferente y anterior alfabticamente a c2, un cero (0 false) si las cadenas son idnticas, y un (1) si son diferentes y c1 es posterior a c2 en orden alfabtico. 11. Los operadores relacionales cuyas declaraciones estn contenidas entre comentarios /**/ no
C++: cuando el compilador encuentra un operador (==) o (!=) que relaciona una cadena estndar y un objeto de la clase cadena, intenta ver si dispone de alguna forma segura de promover o convertir la cadena estndar a un objeto de la clase cadena. Como tiene un constructor general que inicializa un objeto cadena a partir de una
cadena estndar, utiliza
109
3078 3079 3080 3081 3082 3083 3084 3085 3086 3087 3088 3089 3090 3091 3092 3093 3094 3095 3096 3097 3098 3099 3100 3101 3102 3103 3104 3105
dicho constructor para convertir la cadena estndar en un objeto
int con un double: antes de hacer la comparacin promueve (convierte) el int a double, y luego
realiza la comparacin entre dos variables double. 12. La pregunta obligada es, y no pasa lo mismo con el operador
110
3106 3107 3108 3109 3110 3111 3112 3113 3114 3115 3116 3117 3118 3119 3120 3121 3122 3123 3124 3125 3126 3127 3128 3129 3130 3131 3132 3133
ejemplo, en la clase matriz, cmo se promueve un escalar a matriz? Si es para la operacin
insercin en el flujo de salida (<<), que tiene como finalidad el poder utilizar cout con objetos
de la clase. Este operador, al igual que el (>>), se suele sobrecargar como operador friend. Recibe dos argumentos: Una referencia al flujo de salida (ostream, de output stream) y una referencia constante al objeto cadena que se desea insertar en dicho flujo. El valor de retorno es una referencia al flujo de salida ostream en el que ya se habr introducido el objeto cadena. 3.12.2 DEFINICIN DE FUNCIONES Y OPERADORES DE LA CLASE CADENA Una vez vistas y explicadas la declaracin de la clase cadena y de sus funciones y operadores
111
3134 3135 3136 3137 3138 3139 3140 3141 3142 3143 3144 3145 3146 3147 3148 3149 3150 3151 3152 3153 3154 3155 3156 3157 3158 3159 3160 3161 3162
han introducido algunas sentencias de escritura de mensajes, con objeto de determinar con claridad cundo y en qu circunstancias se ejecuta cada funcin. Los usuarios de la clase cadena no tendran por qu tener acceso a este fichero fuente, aunque s al fichero objeto correspondiente. A continuacin se muestra el contenido del fichero cadena.cpp intercalando algunos comentarios explicativos. // cadena.cpp #include <string.h> #include "cadena.h" // constructor por defecto cadena::cadena() { pstr = new char[1]; strcpy(pstr, ""); nchar = 0; cout << "Constructor por defecto " << (long)this << endl; } Dos observaciones acerca del constructor por defecto (sin argumentos). La primera es que la variable miembro psrt, que es un puntero a char, se inicializa apuntando a una cadena vaca (slo tiene el '\0' de fin de cadena). Se utiliza reserva dinmica de memoria con el operador new. La variable miembro nchar, que representa el nmero de caracteres, no incluye el carcter de final de cadena. Se ha incluido una sentencia de escritura que imprimir un mensaje avisando de que se ha
112
3163 3164 3165 3166 3167 3168 3169 3170 3171 3172 3173 3174 3175 3176 3177 3178 3179 3180 3181 3182 3183 3184 3185 3186 3187 3188 3189 3190 3191
utilizado este constructor. Imprime tambin la direccin en
ESIISS: Aprenda C++ como si estuviera en Primero pgina 46 de memoria. Se utilizan las funciones strlen() y strcpy() para
determinar el nmero de caracteres y para copiar el argumento en la direccin a la que apunta la variable miembro pstr. Se imprime un mensaje que permite saber qu constructor se ha llamado y qu objeto ha sido creado. // constructor de copia cadena::cadena(const cadena& cd) { nchar = cd.nchar; pstr = new char[nchar +1];
113
3192 3193 3194 3195 3196 3197 3198 3199 3200 3201 3202 3203 3204 3205 3206 3207 3208 3209 3210 3211 3212 3213 3214 3215 3216 3217 3218 3219
strcpy(pstr, cd.pstr); cout << "Constructor de copia " << (long)this << endl; } Puede verse que el constructor de copia es muy similar al
114
3220 3221 3222 3223 3224 3225 3226 3227 3228 3229 3230 3231 3232 3233 3234 3235 3236 3237 3238 3239 3240 3241 3242 3243 3244 3245 3246 3247 3248
ser de gran utilidad en los ejemplos que se presentarn ms adelante. // funcin miembro setcad() void cadena::setcad(char* c) { nchar = strlen(c); delete [] pstr; pstr = new char[nchar + 1]; strcpy(pstr, c); cout << "Funcin setcad()" << endl; } La funcin miembro setcad() permite sustituir el contenido de un objeto cadena a partir de una cadena de caracteres estndar. Esta funcin se diferencia del constructor general visto previamente en que acta sobre un objeto que ya existe. Esto hace que la primera tarea a realizar sea liberar la memoria a la que la variable pstr apuntaba anteriormente. Despus se reserva memoria para el nuevo contenido al que pstr apuntar. Los constructores siempre actan sobre un objeto recin 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; pstr = new char[nchar + 1];
115
3249 3250 3251 3252 3253 3254 3255 3256 3257 3258 3259 3260 3261 3262 3263 3264 3265 3266 3267 3268 3269 3270 3271 3272 3273 3274 3275 3276 3277
strcpy(pstr, cd.pstr); cout << "Operador =" << endl; } return *this; }
c2=c1;, donde se supone que ambos objetos existan previamente. El objeto c2 sera el argumento implcito y c1 el que se pasa explcitamente por ventana. Por eso a las variables miembro de c2 se accede directamente, mientras que a las de c1 -representado por cd- hay que acceder con el operador punto (.). Como c1 ya exista, hay que liberar la memoria
que estaba ocupando. Este operador se define con un valor de retorno que es una referencia a un objeto cadena para poderlo utilizar en asignaciones mltiples (c3=c2=c1;). Como valor de retorno se devuelve el propio miembro izquierdo de la asignacin, que es el argumento implcito del operador miembro; para hacer referencia a dicho objeto hay que utilizar el puntero this (*this es el objeto, mientras que this es su direccin). En la definicin del operador miembro (=) llama la atencin la sentencia if que aparece al comienzo de la funcin. Cul es su razn de ser? Su razn de ser es evitar los efectos perjudiciales
116
3278 3279 3280 3281 3282 3283 3284 3285 3286 3287 3288 3289 3290 3291 3292 3293 3294 3295 3296 3297 3298 3299 3300 3301 3302 3303 3304 3305
que puede tener una sentencia de asignacin de un objeto a s
this.
// operador de insercin en ostream ostream& operator<< (ostream& co, const cadena& cad) { co << cad.pstr; return co; } La definicin del operador insercin (<<) sobrecargado es muy sencilla, pues lo nico que se
117
3306 3307 3308 3309 3310 3311 3312 3313 3314 3315 3316 3317 3318 3319 3320 3321 3322 3323 3324 3325 3326 3327 3328 3329 3330 3331 3332 3333 3334
hace es insertar en el flujo 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); c.pstr = new char[c.nchar + 1]; strcpy(c.pstr, a.pstr); strcat(c.pstr, ch); return c; }
118
3335 3336 3337 3338 3339 3340 3341 3342 3343 3344 3345 3346 3347 3348 3349 3350 3351 3352 3353 3354 3355 3356 3357 3358 3359 3360 3361 3362 3363
strcat(c.pstr, b.pstr); return c; } Las tres definiciones anteriores del operador de concatenacin (+) son casi evidentes. En todos los casos se crea un nuevo objeto cadena en el que se concatenan las cadenas de los dos operandos. Se podra haber realizado la programacin de modo que el segundo operando se aadiera al primero (de modo semejante a como acta la funcin
119
3364 3365 3366 3367 3368 3369 3370 3371 3372 3373 3374 3375 3376 3377 3378 3379 3380 3381 3382 3383 3384 3385 3386 3387 3388 3389 3390 3391 3392
return 1; } // fin del fichero cadena.cpp La sobrecarga de los operadores relacionales est muy clara y no requiere explicaciones distintas de las que se han dado al hablar de su declaracin. 3.12.3 EJEMPLO DE UTILIZACIN DE LA CLASE CADENA Una vez vistas todas las definiciones contenidas en el fichero
pruebacad.cpp, se muestra a
continuacin:
120
3393 3394 3395 3396 3397 3398 3399 3400 3401 3402 3403 3404 3405 3406 3407 3408 3409 3410 3411 3412 3413 3414 3415 3416 3417 3418 3419 3420
// 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
que C++ da a los programadores tiene un precio en trminos de eficiencia en los clculos. Esta
121
3421 3422 3423 3424 3425 3426 3427 3428 3429 3430 3431 3432 3433 3434 3435 3436 3437 3438 3439 3440 3441 3442 3443 3444 3445 3446 3447 3448 3449
eficiencia puede mejorarse utilizando siempre que sea posible
referencias a objetos, evitando as llamadas a los constructores y al destructor. Ntese que cada llamada al operador (+) implica la creacin de un objeto con el constructor por defecto para crear el objeto resultante de la concatenacin, y
luego una llamada al constructor
objeto invisible con el constructor de copia, destruye el objeto 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 c2("Ingenieros"); Constructor general 1245028 c2 = (c2 + " ") + "Industriales "; Constructor por defecto 1244916 Constructor de copia 1245012 Destructor 1244916 Constructor por defecto 1244920 Constructor de copia 1245004 Destructor 1244920
122
3450 3451 3452 3453 3454 3455 3456 3457 3458 3459 3460 3461 3462 3463 3464 3465 3466 3467 3468 3469 3470 3471 3472 3473 3474 3475 3476 3477 3478
Destructor 1245004 Destructor 1245012 cadena c3 = c2; Constructor de copia 1245020 c1 = "Escuela Superior de "; Constructor general 1244996 Operador = Destructor 1244996 (c3 = c2) = c1; Operador = if(c3 == c1) { cout << "c3 y c1 son iguales" << endl; c3 y c1 son iguales c3 = cadena("de San Sebastian"); Constructor general 1244988 Operador = Destructor 1244988 cout << "c1 vale: " ... c1 vale: Escuela Superior de c2 vale: Ingenieros Industriales c3 vale: de San Sebastian Agur cout << c1+c2+c3 << endl; Constructor por defecto 1244912 Constructor de copia 1244980 Destructor 1244912 Constructor por defecto 1244916 Constructor de copia 1244972 Destructor 1244916
123
3479 3480 3481 3482 3483 3484 3485 3486 3487 3488 3489 3490 3491 3492 3493 3494 3495 3496 3497 3498 3499 3500 3501 3502 3503 3504 3505 3506 3507
Escuela Superior de Ingenieros Industriales de San Sebastian Destructor 1244972 Destructor 1244980 Destructor 1245020 Destructor 1245028 Destructor 1245036 3.12.4 SOBRECARGA DE LOS OPERADORES (++) Y (--) Los operadores de incremento (++) y decremento (--) son un caso especial en C++. Ambos son operadores unarios que siempre se definen como miembros de una clase. En realidad estos operadores tienen dos significados, segn se antepongan o se
convenio especial: la declaracin anterior se refiere al operador (++) antepuesto, mientras que la
siguiente declaracin: cadena& operator++ (int j); se refiere al operador (++) postpuesto. La variable j tiene valor 0 y no se utiliza ms que como criterio de distincin. Lo mismo sucede con el operador (--).
124
3508 3509 3510 3511 3512 3513 3514 3515 3516 3517 3518 3519 3520 3521 3522 3523 3524 3525 3526 3527 3528 3529 3530 3531 3532 3533 3534 3535
Una clase, a semejanza de una estructura, puede contener variables
miembro que sean objetos de otra clase definida por el usuario. sta es una relacin de pertenencia que no tiene nada que ver con la herencia, que se explicar en el captulo siguiente. El constructor
de la clase que contiene objetos de otras clases debe llamar a los constructores de los
objetos contenidos, si no se quiere que se utilicen los constructores por defecto. Esta llamada es muy
similar a la de los constructores de las clases derivadas, como se ver ms adelante. Considrese el siguiente ejemplo: Clase_Continente::Clase_Continente (Lista de argumentos) : Clase_Contenida1 (Lista de argumentos), Clase_Contenida2 (Lista de argumentos), otros inicializadores { Asignacin de otras variables; } Los constructores de las clases contenidas se llaman de la misma forma que los
125
3536 3537 3538 3539 3540 3541 3542 3543 3544 3545 3546 3547 3548 3549 3550 3551 3552 3553 3554 3555 3556 3557 3558 3559 3560 3561 3562 3563 3564
privadas: el nombre, el nmero de DNI y la fecha de nacimiento. A su vez la fecha de nacimiento es un objeto de la clase Date, que tiene tres variables miembro: el
126
3565 3566 3567 3568 3569 3570 3571 3572 3573 3574 3575 3576 3577 3578 3579 3580 3581 3582 3583 3584 3585 3586 3587 3588 3589 3590 3591 3592 3593
friend int ElapsedYears(const Date&, const Date&); // Si el objeto no es const, aadir estas funciones miembro: void setDay(int dia) { day=dia; } void setMonth(int mes) { month=mes; } void setYear(int anio) { year=anio; } }; Las funciones getDay(), getMont() y getYear() han sido declaradas como const. Esto quiere decir que son funciones que no modifican las variables miembro, es decir funciones de slo
lectura. La palabra const debe figurar tanto en la declaracin como en la definicin, despus de
cerrar el parntesis de los argumentos y antes del cuerpo de la funcin.
ESIISS: Aprenda C++ como si estuviera en Primero pgina 52 A continuacin se incluye la declaracin de la clase persona, que
incluye tambin tres funciones miembro inline para acceder a las variables miembro privadas. Obsrvese que la fecha de nacimiento se ha definido como const (resaltado con negrita en el listado de la definicin), // fichero persona.h #include <iostream.h> #include "date.h" class persona { private : char nombre[25]; long DNI; const Date fechaNac;
127
3594 3595 3596 3597 3598 3599 3600 3601 3602 3603 3604 3605 3606 3607 3608 3609 3610 3611 3612 3613 3614 3615 3616 3617 3618 3619 3620 3621 3622
public: // constructor persona(char*, long, Date); char* getNombre(void) { return nombre; } long getDNI(void) { return DNI; } Date getFechaNac(void) { return fechaNac; } }; El fichero persona.cpp que se muestra a continuacin contiene la definicin del constructor de la clase persona. Dicho constructor tiene valores por defecto para los tres argumentos. Se puede observar que tanto el DNI como la fecha de nacimiento toman valor por medio de inicializadores y no de sentencias de asignacin. En el caso del DNI esto es opcional, pero en la fecha de nacimiento es obligatorio ya que es un objeto const que no puede figurar a la izquierda en una sentencia de asignacin. Ntese tambin que el tercer argumento se puede inicializar a partir de tres valores ya que existe un constructor Date que puede tomar estos parmetros. Es importante notar la forma en la que C++ hace definir el tercer argumento y del segundo inicializador, // Fichero persona.cpp #include "persona.h" #include <string.h>
128
3623 3624 3625 3626 3627 3628 3629 3630 3631 3632 3633 3634 3635 3636 3637 3638 3639 3640 3641 3642 3643 3644 3645 3646 3647 3648 3649 3650 3651
// definicin del constructor con valores por defecto persona::persona(char* name = "", long dni = 0, Date birth=(1,1,1970) ) // inicializadores : DNI(dni), fechaNac(birth) { strcpy(nombre, name); } Finalmente se incluye el fichero lista2.cpp, que contiene un programa principal que hace uso de las clases Date y persona. Se definen dos personas, una definiendo directamente un objeto y la otra mediante un puntero y reserva dinmica de memoria. Obsrvese cmo se pasa al constructor de persona la fecha de nacimiento. En el mismo fichero que el programa principal est la funcin
ElapsedYears() que calcula los aos completos transcurridos entre dos objetos Date que se le pasan
como argumentos. Como esta funcin se ha declarado como funcin friend, su definicin se ha incluido en el mismo fichero que el programa principal.
129
3652 3653 3654 3655 3656 3657 3658 3659 3660 3661 3662 3663 3664 3665 3666 3667 3668 3669 3670 3671 3672 3673 3674 3675 3676 3677 3678 3679 3680
persona* m = new persona("Maria", 26429764, Date(1, 2, 1980)); persona i("Ignacio", 25190578, Date(13, 4, 1992)); Date hoy(13,4,1998); cout << m->getNombre() << " tiene " << ElapsedYears(hoy, m->getFechaNac()) << " agnos" << endl; cout << i.getNombre() << " tiene " << ElapsedYears(hoy, i.getFechaNac()) << " agnos" << endl; cout << "Ya he terminado." << endl; } // Funcin para calcular los aos completos entre dos fechas int ElapsedYears(const Date& hoy, const Date& birth) { int years = hoy.year - birth.year; if ((birth.month <= hoy.month) && (birth.day <= hoy.day)) return years; else return (years-1); } 3.14 Variables miembro static Cada objeto de una clase tiene su propia copia de cada una de las variables miembro de esa clase. Sin embargo, a veces puede interesar que una variable miembro
130
3681 3682 3683 3684 3685 3686 3687 3688 3689 3690 3691 3692 3693 3694 3695 3696 3697 3698 3699 3700 3701 3702 3703 3704 3705 3706 3707 3708 3709
caso se puede utilizar una variable miembro static como en el ejemplo siguiente: class C_Cuenta { // Variables miembro private: char *Nombre; // Nombre de la persona double Saldo; // Saldo Actual de la cuenta 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;
131
3710 3711 3712 3713 3714 3715 3716 3717 3718 3719 3720 3721 3722 3723 3724 3725 3726 3727 3728 3729 3730 3731 3732 3733 3734 3735 3736 3737 3738
describen las caractersticas ms importantes de las variables miembro static: = Slo existe una copia de cada una de las variables miembro
132
3739 3740 3741 3742 3743 3744 3745 3746 3747 3748 3749 3750 3751 3752 3753 3754 3755 3756 3757 3758 3759 3760 3761 3762 3763 3764 3765 3766 3767
definiciones de las funciones miembro de esa clase:
= float Nombre_de_la_clase::variable_static = valor_inicial; Obsrvese que en este caso hay que incluir el tipo de variable porque se trata de una
inicializacin y no de una sentencia de asignacin. Las variables static tienen una cierta similitud con las variables global, pero difieren en que el scope de las variables miembro static puede ser controlado por el
programador definindolo como
133
3768 3769 3770 3771 3772 3773 3774 3775 3776 3777 3778 3779 3780 3781 3782 3783 3784 3785 3786 3787 3788 3789 3790 3791 3792 3793 3794 3795 3796
SetSaldo(unSaldo); SetInteres(unInteres); Cuantas++; } // Destructor ~Cuenta() { delete []Nombre; Cuantas--; } // Mtodos inline int getCuantasCuentas() { return Cuantas; } inline char *GetNombre() { return Nombre; } inline double GetSaldo() { return Saldo; } inline double GetInteres() { return Interes; } inline void SetSaldo(double unSaldo) { Saldo = unSaldo; } inline void SetInteres(double unInteres) { Interes = unInteres; } ivoid Ingreso(double unaCantidad) { SetSaldo( GetSaldo() + unaCantidad ); } friend ostream& operator<<(ostream& os, C_Cuenta& unaCuenta) { os << "Nombre=" << unaCuenta.GetNombre() << endl; os << "Saldo=" << unaCuenta.GetSaldo() << endl; return os; }
134
3797 3798 3799 3800 3801 3802 3803 3804 3805 3806 3807 3808 3809 3810 3811 3812 3813 3814 3815 3816 3817 3818 3819 3820 3821 3822 3823 3824 3825
}; // definicin e inicializacin de variable static int C_Cuenta::Cuantas = 0; void main(void) { C_Cuenta c1("Igor"); // Imprime 1 cout << c1.getCuantasCuentas() << endl; C_Cuenta c2("Juan"); // Imprime 2 cout << c2.getCuantasCuentas() << endl; // ... } Se ve en el ejemplo anterior cmo el nmero total de cuentas creadas hasta 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
getCuantasCuentas(). En el ejemplo anterior, se ha aadido tambin a la clase C_Cuenta un operador de insercin en ostream sobrecargado (<<) capaz de
escribir todos los datos de una cuenta corriente. 3.15 Funciones miembro static Las funciones miembro que slo acceden a variables miembro
135
3826 3827 3828 3829 3830 3831 3832 3833 3834 3835 3836 3837 3838 3839 3840 3841 3842 3843 3844 3845 3846 3847 3848 3849 3850 3851 3852 3853 3854
declaradas como static en la definicin de la clase. Estas funciones pueden ser llamadas indiferentemente con el operador punto (.) y con el scope
resolution operator (::). ESIISS: Aprenda C++ como si estuviera en Primero pgina 56
Algunas de las caractersticas ms importantes de este tipo de funciones se comentan a continuacin: = Son funciones genricas que no actan sobre ningn objeto concreto de la clase. = Como ya se dicho anteriormente, no pueden utilizar variables miembro que no sean static. = No pueden utilizar el puntero this, ya que ste hace referencia al objeto concreto de la clase sobre la que se est trabajando. En resumen, hay que decir que las variables y funciones miembro
136
3855 3856 3857 3858 3859 3860 3861 3862 3863 3864 3865 3866 3867 3868 3869 3870 3871 3872 3873 3874 3875 3876 3877 3878 3879 3880 3881 3882 3883
clase. Las funciones static pueden recibir objetos de su clase como argumentos explcitos, aunque no como argumento implcito. Esto implica que cuando se desea que una funcin acte sobre dos objetos de una clase (por ejemplo para hacer una trasferencia entre dos cuentas bancarias), las funciones static son una alternativa a las funciones friend para conseguir simetra en la forma de tratar a los dos objetos de la clase (que ambos pasen como argumentos explcitos). Considrese el siguiente ejemplo, vlido en C++: #include <iostream.h> #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) {
137
3884 3885 3886 3887 3888 3889 3890 3891 3892 3893 3894 3895 3896 3897 3898 3899 3900 3901 3902 3903 3904 3905 3906 3907 3908 3909 3910 3911
persona p1(47126578, "Pepe Perez"); // se llama a la funcin static con el nombre de la clase cout << p1.nombre << " DNI: " << persona::getDNI(p1) << endl; cout << "Ya he terminado." << endl; }
o ms clases ya existentes.
Estas modificaciones consisten habitualmente en aadir nuevos
138
3912 3913 3914 3915 3916 3917 3918 3919 3920 3921 3922 3923 3924 3925 3926 3927 3928 3929 3930 3931 3932 3933 3934 3935 3936 3937 3938 3939
a la clase que se est definiendo, aunque tambin se puede
139
3940 3941 3942 3943 3944 3945 3946 3947 3948 3949 3950 3951 3952 3953 3954 3955 3956 3957 3958 3959 3960 3961 3962 3963 3964 3965 3966 3967 3968
marcha, otra que indique su velocidad, la funcin de arrancar y la de frenar, etc.), pertenecern a la
clase base y las que sean particulares de alguna de ellas pertenecern slo a la clase derivada (por
ejemplo el nmero de platos y piones, que slo tiene sentido para una bicicleta, o la funcin
ESIISS: Aprenda C++ como si estuviera en Primero pgina 58 protected. Este tipo de datos es privado para todas aquellas clases
que no son derivadas, pero
pblico para una clase derivada de la clase en la que se ha definido la variable como protected.
140
3969 3970 3971 3972 3973 3974 3975 3976 3977 3978 3979 3980 3981 3982 3983 3984 3985 3986 3987 3988 3989 3990 3991 3992 3993 3994 3995 3996
Por otra parte, el proceso de herencia puede efectuarse de dos formas distintas: siendo la clase base public o private para la clase derivada. En el caso de que la clase base sea public para la clase derivada, sta hereda los miembros public y protected de la clase base como miembros public y
protected, respectivamente. Por el contrario, si la clase base es private para la clase derivada, sta hereda todos los datos de la clase base como private. La siguiente
tabla puede resumir lo explicado en los dos ltimos prrafos. Tipo de dato de la clase base Clase derivada de una clase base public Clase derivada de una clase base private Otras clases sin relacin de herencia con la clase base Private No accesible
directamente No accesible directamente No accesible directamente Protected Protected Private No accesible directamente Public Public Private Accesible mediante operador (.) o (->)
Tabla 1: Herencia pblica y privada.
141
3997 3998 3999 4000 4001 4002 4003 4004 4005 4006 4007 4008 4009 4010 4011 4012 4013 4014 4015 4016 4017 4018 4019 4020 4021 4022 4023 4024
Como ejemplo, se puede pensar en dos tipos de cuentas bancarias que comparten algunas caractersticas y que tambin tienen algunas diferencias. Ambas cuentas tienen un saldo, un inters y el nombre del titular de la cuenta. La cuenta joven es un tipo de cuenta que requiere la edad del
propietario, mientras que la cuenta empresarial necesita el nombre de la empresa. El problema podra resolverse estableciendo una clase base llamada C_Cuenta y
creando dos tipos de cuenta derivados de dicha clase base. Para indicar que una clase deriva de otra es necesario indicarlo en la definicin de la clase
142
4025 4026 4027 4028 4029 4030 4031 4032 4033 4034 4035 4036 4037 4038 4039 4040 4041 4042 4043 4044 4045 4046 4047 4048 4049 4050 4051 4052 4053
C_Cuenta(const char *unNombre, double unSaldo=0.0, double unInteres=0.0) { Nombre = new char[strlen(unNombre)+1]; strcpy(Nombre, unNombre); SetSaldo(unSaldo); SetInteres(unInteres); } // Destructor ~Cuenta() { delete [] Nombre; } // Mtodos inline char *GetNombre() { return Nombre; } inline double GetSaldo() { return Saldo; }
143
4054 4055 4056 4057 4058 4059 4060 4061 4062 4063 4064 4065 4066 4067 4068 4069 4070 4071 4072 4073 4074 4075 4076 4077 4078 4079 4080 4081 4082
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.
144
4083 4084 4085 4086 4087 4088 4089 4090 4091 4092 4093 4094 4095 4096 4097 4098 4099 4100 4101 4102 4103 4104 4105 4106 4107 4108 4109 4110 4111
{ 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; } Si un miembro heredado se redefine en la clase derivada, el nombre redefinido oculta el nombre heredado que ya queda invisible para los objetos de la clase derivada.
ESIISS: Aprenda C++ como si estuviera en Primero pgina 60 Hay algunos elementos de la clase base que no pueden ser heredados:
= Constructores = Destructores = Funciones friend
145
4112 4113 4114 4115 4116 4117 4118 4119 4120 4121 4122 4123 4124 4125 4126 4127 4128 4129 4130 4131 4132 4133 4134 4135 4136 4137 4138 4139
= Funciones y datos estticos de la clase = Operador de asignacin (=) sobrecargado 4.3 Constructores de las clases derivadas: inicializador base Un objeto de la clase derivada contiene todos los miembros de la
derivada debe llamar al constructor de la clase base. Al definir el constructor de la clase derivada se debe especificar un inicializador base. Como ya se ha dicho las clases derivadas no heredan los constructores de sus clases base. El inicializador base es la forma de llamar a los constructores de las clases base y poder as inicializar las variables miembro heredadas. Este inicilizador base se
especifica poniendo, a continuacin de los argumentos del constructor de la clase derivada, el carcter dos puntos (:) y el nombre del constructor de la clase o las clases base, seguido de una lista de argumentos entre parntesis. El inicializador base puede ser omitido en el caso de que la clase base tenga un constructor
146
4140 4141 4142 4143 4144 4145 4146 4147 4148 4149 4150 4151 4152 4153 4154 4155 4156 4157 4158 4159 4160 4161 4162 4163 4164 4165 4166 4167 4168
C_CuentaJoven(const char *unNombre, int laEdad, double unSaldo=0.0, double unInteres=0.0) : C_Cuenta(unNombre, unSaldo, unInteres) 4.4 Herencia simple y herencia mltiple Una clase puede heredar variables y funciones miembro de una o ms clases base. En el caso de que herede los miembros de una nica clase se habla de herencia
C_CuentaEmpresarial como la herencia mltiple de Captulo 4: Herencia pgina 61 dos clases base: la ya bien conocida clase C_Cuenta y nueva clase llamada C_Empresa, que se
muestra a continuacin: class C_Empresa { private: char *NomEmpresa; public: C_Empresa(const char*laEmpresa)
147
4169 4170 4171 4172 4173 4174 4175 4176 4177 4178 4179 4180 4181 4182 4183 4184 4185 4186 4187 4188 4189 4190 4191 4192 4193 4194 4195 4196
{ 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 }; 4.5 Clases base virtuales Al utilizar la herencia mltiple puede suceder que, indirectamente, una clase herede varias veces los miembros de otra clase, tal como se ve en la figura 5. Figura 5: Necesidad de las clases base virtuales.
148
4197 4198 4199 4200 4201 4202 4203 4204 4205 4206 4207 4208 4209 4210 4211 4212 4213 4214 4215 4216 4217 4218 4219 4220 4221 4222 4223 4224 4225
Si la clase Madre_1 y la clase Madre_2 heredan los miembros de la clase Abuela y la clase Hija hereda, a su vez, los miembros de las clases Madre_1 y Madre_2, los miembros de la clase Abuela se encontrarn duplicados en la clase Hija. Para evitar este problema las clases Madre_1 y
Madre_2 deben derivar de la clase Abuela declarndola clase base virtual. Esto hace que los
miembros de una clase de ese tipo se hereden tan slo una vez. Un ejemplo de declaracin de una
149
4226 4227 4228 4229 4230 4231 4232 4233 4234 4235 4236 4237 4238 4239 4240 4241 4242 4243 4244 4245 4246 4247 4248 4249 4250 4251 4252 4253 4254
As pues, la siguiente asignacin sera correcta: Objeto_clase_base = Objeto_clase_derivada // Asignacin vlida mientras que esta otra sera incorrecta: Objeto_clase_derivada = Objeto_clase_base // Asignacin incorrecta En el siguiente ejemplo se pueden ver las distintas posibilidades de asignacin (ms bien de
puntero a una clase derivada en un puntero a la clase base. Esto quiere decir que se puede hacer referencia a un objeto de la clase derivada con su direccin contenida en un puntero a la clase base.
Al igual que sucede con los nombres de los objetos, en principio cuando se hace referencia a un objeto por medio de un puntero, el tipo de dicho puntero
150
4255 4256 4257 4258 4259 4260 4261 4262 4263 4264 4265 4266 4267 4268 4269 4270 4271 4272 4273 4274 4275 4276 4277 4278 4279 4280 4281 4282 4283
aplica, en el caso de que esa funcin se encuentre definida tanto
en la clase base como en la derivada. En definitiva, un puntero a la clase base puede almacenar
la direccin de un objeto perteneciente a una clase derivada. Sin embargo, se aplicarn los
mtodos de la clase a la que pertenezca el puntero, no los de la clase a la que pertenece el objeto.
Polimorfismo, por definicin, es la capacidad de adoptar formas distintas. En el mbito de la Programacin Orientada a Objetos se entiende por polimorfismo la capacidad de llamar a funciones distintas con un mismo nombre. Estas funciones pueden
actuar sobre objetos distintos dentro de una jerarqua de clases, sin tener que especificar el tipo exacto de los objetos. Esto se puede entender mejor con el ejemplo de la figura 6: Figura 6: Funciones virtuales En el ejemplo que se ve en la figura 6 se observa una jerarqua de clases. En todos los niveles de esta jerarqua est contenida una funcin llamada Funcion_1(). Esta funcin no tiene por qu ser igual en todas las clases, aunque es habitual que sea una funcin que efecte una operacin muy parecida sobre distintos tipos de objetos. Es importante comprender que el compilador no decide en tiempo
151
4284 4285 4286 4287 4288 4289 4290 4291 4292 4293 4294 4295 4296 4297 4298 4299 4300 4301 4302 4303 4304 4305 4306 4307 4308 4309 4310 4311
la funcin que se debe utilizar en un momento dado del programa. Esa decisin se toma en tiempo
de ejecucin. A este proceso de decisin en tiempo de ejecucin se le denomina vinculacin dinmica o tarda, en oposicin a la habitual vinculacin esttica o temprana, consistente en
decidir en tiempo de compilacin qu funcin se aplica en cada caso. A este tipo de funciones, incluidas en varios niveles de una jerarqua de clases con el mismo
nombre pero con distinta definicin, se les denomina funciones virtuales. Hay que insistir en que
la definicin de la funcin en cada nivel es distinta. El polimorfismo hace posible que un usuario pueda aadir nuevas
clases a una jerarqua sin modificar o recompilar el cdigo original. Esto quiere decir que si
desea aadir una nueva clase derivada es suficiente con establecer la clase de la que deriva, definir sus nuevas variables y funciones miembro, y compilar esta parte del cdigo, ensamblndolo despus con lo que ya estaba compilado previamente. Es necesario comentar que las funciones virtuales son algo menos
funciones virtuales. Cada clase que utiliza funciones virtuales tiene un vector de punteros, uno por
152
4312 4313 4314 4315 4316 4317 4318 4319 4320 4321 4322 4323 4324 4325 4326 4327 4328 4329 4330 4331 4332 4333 4334 4335 4336 4337 4338 4339
cada funcin virtual, llamado v-table. Cada uno de los punteros contenidos en ese vector apunta a la funcin virtual apropiada para esa clase, que ser, habitualmente, la funcin virtual definida en la propia clase. En el caso de que en esa clase no est definida la
ESIISS: Aprenda C++ como si estuviera en Primero pgina 64 Cada objeto creado de una clase que tenga una funcin virtual
contiene un puntero oculto a la
153
4340 4341 4342 4343 4344 4345 4346 4347 4348 4349 4350 4351 4352 4353 4354 4355 4356 4357 4358 4359 4360 4361 4362 4363 4364 4365 4366 4367 4368
= En la cuenta_empresarial se tienen tres cantidades lmite, a las cuales se aplican factores de correccin en el clculo del inters. El clculo de la cantidad abonada debe realizarse de la siguiente forma: 1. Si el saldo es menor que 50000, se aplica el inters establecido previamente. 2. Si el saldo est entre 50000 y 500.000, se aplica 1.1 veces el inters establecido previamente. 3. Si el saldo es mayor a 500.000, se aplica 1.5 veces el inters establecido previamente. El cdigo correspondiente quedara de la siguiente forma: class C_Cuenta { // Variables miembro private: double Saldo; // Saldo Actual de la cuenta 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); SetInteres(unInteres); } // Acciones Bsicas inline double GetSaldo()
154
4369 4370 4371 4372 4373 4374 4375 4376 4377 4378 4379 4380 4381 4382 4383 4384 4385 4386 4387 4388 4389 4390 4391 4392 4393 4394 4395 4396 4397
{ return Saldo; } inline double GetInteres() { return Interes; } inline void SetSaldo(double unSaldo) { Saldo = unSaldo; } inline void SetInteres(double unInteres) { Interes = unInteres; } void Ingreso(double unaCantidad) { SetSaldo( GetSaldo() + unaCantidad ); } virtual void AbonaInteresMensual() { 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; }
155
4398 4399 4400 4401 4402 4403 4404 4405 4406 4407 4408 4409 4410 4411 4412 4413 4414 4415 4416 4417 4418 4419 4420 4421 4422 4423 4424 4425 4426
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 AbonaInteresMensual() { 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]; };
156
4427 4428 4429 4430 4431 4432 4433 4434 4435 4436 4437 4438 4439 4440 4441 4442 4443 4444 4445 4446 4447 4448 4449 4450 4451 4452 4453 4454 4455
La idea central del polimorfismo es la de poder llamar a funciones
distintas aunque tengan el mismo nombre, segn la clase a la que pertenece el objeto al que se aplican. Esto es imposible utilizando nombres de objetos: siempre se aplica la funcin
miembro de la clase correspondiente al nombre del objeto, y esto se decide en tiempo de compilacin. Sin embargo, utilizando punteros puede conseguirse el objetivo
buscado. Recurdese 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 tambin la funcin que es llamada, pero si se utilizan funciones virtuales es el tipo de objeto el que apunta el puntero lo que determina la funcin que se llama. Esta es la esencia del polimorfismo.
5.1 Implementacion de las funciones virtuales Una funcin virtual puede ser llamada como una funcin convencional, es decir, utilizando
vinculacin esttica. En este caso no se estn aprovechando las caractersticas de las funciones virtuales, pero el programa puede funcionar correctamente. A
continuacin se presenta un ejemplo de este tipo de implementacin que no es recomendable usar, ya que utilizando una funcin convencional se ganara en eficiencia:
157
4456 4457 4458 4459 4460 4461 4462 4463 4464 4465 4466 4467 4468 4469 4470 4471 4472 4473 4474 4475 4476 4477 4478 4479 4480 4481 4482 4483
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 ejemplo 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 ejemplo 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 ejemplo se utiliza vinculacin dinmica, ya que el
Puntero_Base_2 puede apuntar a un objeto de la clase base o a un objeto de cualquiera de las clases derivadas en el
158
4484 4485 4486 4487 4488 4489 4490 4491 4492 4493 4494 4495 4496 4497 4498 4499 4500 4501 4502 4503 4504 4505 4506 4507 4508 4509 4510 4511 4512
momento de la asignacin a variable, en la ltima lnea del ejemplo. Por eso, es necesariamente en tiempo de ejecucin cuando el programa decide cul es la
clase base ms prxima en el orden jerrquico que tenga definida esa Funcion_1.
5.2 Funciones virtuales puras Habitualmente las funciones virtuales de la clase base de la jerarqua no se utilizan porque en la mayora de los casos no se declaran objetos de esa clase, y/o porque todas las clases derivadas tienen su propia definicin de la funcin virtual. Sin embargo, incluso en el caso de que la funcin
virtual de la clase base no vaya a ser utilizada, debe declararse. De todos modos, si la funcin no va a ser utilizada no es necesario definirla, y es suficiente con declararla como funcin virtual pura. Una funcin virtual pura
se declara as: virtual funcion_1( ) const=0; //Funcin virtual pura La nica utilidad de esta declaracin es la de posibilitar la
definicin de funciones virtuales en las clases derivadas. De alguna manera se puede decir que la
definicin de una funcin como virtual pura hace necesaria la definicin de esa funcin en las clases derivadas, a la vez que imposibilita su utilizacin con objetos de la clase base.
159
4513 4514 4515 4516 4517 4518 4519 4520 4521 4522 4523 4524 4525 4526 4527 4528 4529 4530 4531 4532 4533 4534 4535 4536 4537 4538 4539 4540 4541
Al definir una funcin como virtual pura hay que tener en cuenta que: = No hace falta definir el cdigo de esa funcin en la clase base. = No se pueden definir objetos de la clase base, ya que no se puede llamar a las funciones
virtuales puras.
= Sin embargo, es posible definir punteros a la clase base, pues es
a travs de ellos como ser posible manejar objetos de las clases derivadas. Captulo 5: Polimorfismo pgina 67
5.3 Clases abstractas Se denomina clase abstracta a aquella que contiene una o ms
funciones virtuales puras . El nombre proviene de que no puede existir ningn objeto de esa clase. Si una clase derivada no redefine una funcin virtual pura, la clase derivada la hereda como funcin virtual pura y se convierte tambin en clase abstracta. Por el contrario, aquellas
clases derivadas que redefinen 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 definir una clase de la que no va a existir ningn objeto, pero se puede afirmar, sin miedo a equivocarse, que la abstraccin es una herramienta imprescindible para un correcto diseo de la
160
4542 4543 4544 4545 4546 4547 4548 4549 4550 4551 4552 4553 4554 4555 4556 4557 4558 4559 4560 4561 4562 4563 4564 4565 4566 4567 4568 4569 4570
Figura 7. Clases base virtuales. Est claro que la jerarqua que se presenta en la figura 7 no es suficiente, porque un avin y un helicptero, o un patinete y una bicicleta, seran objetos de la misma clase. Pero lo que se pretende ilustrar es la necesidad de una clase vehculo que englobe las caractersticas comunes de todos ellos (peso, velocidad mxima, ), aunque no exista ningn objeto de esa clase, ya que cualquier vehculo en el que se piense, podr definirse como un objeto de una clase derivada de la primera clase base. Habitualmente las clases superiores de muchas jerarquas de clases son clases abstractas y las clases que heredan de ellas definen sus propias funciones virtuales, convirtindose as en funciones
concretas.
5.4 Destructores virtuales Como norma general, el constructor de la clase base se llama antes
que el constructor de la clase derivada. Con los destructores, sin embargo, sucede al revs: 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. La
solucin a este problema consiste
161
4571 4572 4573 4574 4575 4576 4577 4578 4579 4580 4581 4582 4583 4584 4585 4586 4587 4588 4589 4590 4591 4592 4593 4594 4595 4596 4597 4598 4599
en declarar como virtual el destructor de la clase base. Esto hace que automticamente los
ESIISS: Aprenda C++ como si estuviera en Primero pgina 68 Este problema no se presenta con los constructores y por eso no
existe ningn tipo de constructor virtual o similar.
162
4600 4601 4602 4603 4604 4605 4606 4607 4608 4609 4610 4611 4612 4613 4614 4615 4616 4617 4618 4619 4620 4621 4622 4623 4624 4625 4626 4627 4628
fsico. Todos los flujos, independientemente del dispositivo fsico al que se dirijan (disco, monitor,) se comportan de forma anloga. Al ejecutarse un programa en C++ se abren automticamente los
flujos siguientes: cin: entrada estndar (teclado) cout: salida estndar (pantalla) cerr: salida de mensajes de error (pantalla)
C++ dispone de dos jerarquas de clases para las operaciones de entrada/salida: una de bajo nivel, streambuf, que no se va a explicar porque slo es utilizada por programadores expertos, y otra de alto nivel, con las clases: istream, ostream e iostream, que derivan de la clase ios. Estas clases disponen de variables y mtodos para controlar los flujos de entrada y salida (ver la jerarqua de clases de entrada/salida en la figura 8, un poco ms adelante). 6.1 Entrada/salida con formato Cada flujo 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. Su valor hexadecimal
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
163
4629 4630 4631 4632 4633 4634 4635 4636 4637 4638 4639 4640 4641 4642 4643 4644 4645 4646 4647 4648 4649 4650 4651 4652 4653 4654 4655 4656
}; Su significado es el siguiente:
skipws: se descartan los blancos iniciales a la entrada left: la salida se alinea a la izquierda rigth: la salida se alinea a la derecha internal: se alinea el signo y los caracteres indicativos de la base
por la izquierda y las cifras por la derecha
dec: salida decimal para enteros (defecto) oct: salida octal para enteros hex: salida hexadecimal al para enteros showbase: se muestra la base de los valores numricos showpoint: se muestra el punto decimal uppercase: los caracteres de formato aparecen en maysculas showpos: se muestra el signo (+) en los valores positivos scientific: notacin cientfica para coma flotante fixed: notacin normal para coma flotante ESIISS: Aprenda C++ como si estuviera en Primero pgina 70 unitbuf: salida sin buffer (se vuelca cada operacin) stdio permite compatibilizar entrada/salida al modo de C con <stdio.h> y al modo de C++ con <iostream.h>
La forma de definir las constantes anteriores permite componerlas fcilmente, guardando toda la informacin sobre ellas en una nica variable long. Existen unos
164
4657 4658 4659 4660 4661 4662 4663 4664 4665 4666 4667 4668 4669 4670 4671 4672 4673 4674 4675 4676 4677 4678 4679 4680 4681 4682 4683 4684 4685
adjustfield es una combinacin excluyente (slo una en on) de left, rigth e internal basefield es una combinacin excluyente (slo una en on) de dec, oct e hex floatfield es una combinacin excluyente (slo una en on) de scientific y fixed
Por defecto todos los indicadores anteriores estn desactivados, excepto skipws y dec. 6.2 Activar y desactivar indicadores Para la activacin de indicadores se pueden utilizar los mtodos
165
4686 4687 4688 4689 4690 4691 4692 4693 4694 4695 4696 4697 4698 4699 4700 4701 4702 4703 4704 4705 4706 4707 4708 4709 4710 4711 4712 4713 4714
setf().
El segundo prototipo se debe utilizar para cambiar los indicadores que son exclusivos, como por ejemplo: cout.setf(ios::left, ios::adjustfield); que lo que hace es desactivar los tres bits que tienen que ver con la alineacin y despus activar el bit de alineacin por la izquierda. En la forma, cout.setf(0, ios::adjustfield); pone los tres bits de alineacin a cero. La funcin flags() sin argumentos devuelve un long con la configuracin de todos los
166
4715 4716 4717 4718 4719 4720 4721 4722 4723 4724 4725 4726 4727 4728 4729 4730 4731 4732 4733 4734 4735 4736 4737 4738 4739 4740 4741 4742 4743
Se presenta a continuacin un ejemplo con todo lo citado hasta ahora: // 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 hace que se escriba por pantalla: +100.000000 6.3 Funciones miembro width(), precision() y fill() Estas funciones estn declaradas en ios y definidas en las clases
istream, ostream e iostream. La funcin miembro width() establece la anchura de campo mnima
para un dato de salida. Sus prototipos son: int width(int n); int width(); donde el valor de retorno es la anchura anterior. La anchura establecida con la funcin width() es la mnima y siempre que sea necesario el sistema la aumenta de modo automtico. Esta anchura de campo slo es vlida para el siguiente dato que se imprime. Si se desea que siga siendo vlida hay que llamarla cada vez. La funcin miembro precision() establece el nmero de cifras para un dato de salida. Si no se indica nada la precisin por defecto es 6 dgitos. Los prototipos de la funcin precision() son: int precision(int n);
167
4744 4745 4746 4747 4748 4749 4750 4751 4752 4753 4754 4755 4756 4757 4758 4759 4760 4761 4762 4763 4764 4765 4766 4767 4768 4769 4770 4771 4772
int precision(); donde el valor de retorno es la precisin anterior. La funcin miembro fill() establece el carcter de relleno para un dato de salida. Por defecto el carcter de relleno es el blanco . Los 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 Visual C++ de Microsoft slo width() necesita ser llamada cada vez. 6.3.1 MANIPULADORES DE ENTRADA/SALIDA Los manipuladores son constantes y/o mtodos que constituyen una alternativa a los indicadores. Se pueden introducir en la propia sentencia de entrada o salida. Los manipuladores pueden tener argumentos o no tenerlos. Los manipuladores sin argumentos (endl, flush, etc.) estn definidos en
iostream.h. Los que tienen argumentos estn declarados en iomanip.h. Un manipulador slo afecta al flujo (cin, cout, etc.) al que se aplica. ESIISS: Aprenda C++ como si estuviera en Primero pgina 72 El inconveniente de los manipuladores frente a los indicadores es
que no permiten guardar la configuracin anterior y por tanto volver a ella de una forma general y sencilla. Los manipuladores de entrada/salida ms utilizados se citan a continuacin:
168
4773 4774 4775 4776 4777 4778 4779 4780 4781 4782 4783 4784 4785 4786 4787 4788 4789 4790 4791 4792 4793 4794 4795 4796 4797 4798 4799 4800
ws: se saltan los blancos iniciales endl: se imprime un \n y se vaca el buffer de salida flush: se vaca el buffer de salida setw(int w): establece la anchura mnima de campo setprecision(int p): establece el nmero de cifras setfill(char ch): establece el carcter de relleno setiosflag(long i) equivale al indicador setf() unsetiosflag(long i) equivale a unsetf() Un manipulador se utiliza de la forma:
cout << hex << 100; cout << setw(10) << mat[i][j] << endl; El efecto de los manipuladores permanece en el flujo correspondiente hasta que se cambian por otro manipulador, a excepcin de setw() que hay que introducirlo en el flujo antes de cada dato al que se le quiera aplicar esa anchura de campo. 6.4 Sobrecarga de los operadores de entrada/salida (<< y >>) Los operadores de extraccin (>>) e insercin (<<) en los flujos de entrada y salida se pueden sobrecargar como otros operadores de C++. Ambos son operadores binarios (2 argumentos). Sus prototipos son los siguientes: ostream& operator<< (ostream& co, const obj_type& a); istream& operator>> (istream& ci, obj_type& a); Estos flujos funcionan como cintas transportadoras que entran (>>) o salen (<<) del programa. Se recibe una referencia al flujo como primer argumento, se aade o se retira de l la
169
4801 4802 4803 4804 4805 4806 4807 4808 4809 4810 4811 4812 4813 4814 4815 4816 4817 4818 4819 4820 4821 4822 4823 4824 4825 4826 4827 4828 4829
variable que se desee, y se devuelve como valor de retorno una referencia al flujo modificado. El valor de retorno es siempre una referencia al stream de
entrada/salida correspondiente. A continuacin se presenta un ejemplo de sobrecarga del operador (<<): 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 objeto de una clase arbitraria. 6.5 Entrada/salida de ficheros Para poder leer desde o escribir en ficheros (lectura/escritura de datos en unidades de almacenamiento permanente como los disquetes, discos duros, etc.), se debe incluir la librera <fstream.h>. En esta librera se definen las clases necesarias para la utilizacin de ficheros, que son
ifstream, ofstream y fstream, que derivan de istream y ostream, que a su vez derivan de la clase ios
(ver figura 8).
170
4830 4831 4832 4833 4834 4835 4836 4837 4838 4839 4840 4841 4842 4843 4844 4845 4846 4847 4848 4849 4850 4851 4852 4853 4854 4855 4856 4857 4858
Figura 8. Jerarqua de clases de entrada/salida. Antes de abrir un fichero hay que crear un flujo, es decir un objeto de las clases ifstream,
171
4859 4860 4861 4862 4863 4864 4865 4866 4867 4868 4869 4870 4871 4872 4873 4874 4875 4876 4877 4878 4879 4880 4881 4882 4883 4884 4885 4886 4887
una breve explicacin de las ms importantes: ostream& put(char c); escribe un carcter en el flujo de salida ostream& write(const char* s, int n); escribe n bytes de la cadena
s en el flujo de
salida. Puede utilizarse para salida binaria.
172
4888 4889 4890 4891 4892 4893 4894 4895 4896 4897 4898 4899 4900 4901 4902 4903 4904 4905 4906 4907 4908 4909 4910 4911 4912 4913 4914 4915 4916
istream& putback(char c); devuelve el carcter c al flujo de entrada int peek(); lee un carcter del flujo de entrada pero sin retirarlo de dicho flujo; lo devuelve como valor de retorno. La mayor parte de las funciones anteriores devuelven una referencia al flujo de entrada o de salida. Como se ver un poco ms adelante, esta referencia puede utilizarse para detectar errores o la condicin de fin de fichero. Considrese el siguiente ejemplo de lectura de un fichero: #include <fstream.h> #include <iostream.h> void main() { char frase[81]; fstream fi; fi.open("datos.txt", ios::in); while(fi.getline(frase, 80) != NULL) cout << frase; } Para conocer con ms detalle cmo se utilizan ests funciones acudir a alguno de los textos de C++ recomendados en la Bibliografa o al Help online. 6.5.2 FUNCIONES MIEMBRO DE FSTREAM La clase fstream tiene algunas funciones miembro interesantes, tales como las siguientes: fstream(); constructor por defecto de la clase. Construye un flujo sin abrir ningn fichero. El
173
4917 4918 4919 4920 4921 4922 4923 4924 4925 4926 4927 4928 4929 4930 4931 4932 4933 4934 4935 4936 4937 4938 4939 4940 4941 4942 4943
fichero puede ser abierto ms tarde con la funcin open().
Help online.
6.5.3 EJEMPLO COMPLETO DE LECTURA Y ESCRITURA EN UN FICHERO
174
4944 4945 4946 4947 4948 4949 4950 4951 4952 4953 4954 4955 4956 4957 4958 4959 4960 4961 4962 4963 4964 4965 4966 4967 4968 4969 4970 4971 4972
A continuacin se muestra un programa sencillo que le y escribe en un fichero llamado datos5.d, que contiene una frase y un nmero 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 nmero, incrementa este ltimo en una unidad y los vuelve a escribir en el mismo fichero. El programa es como sigue (los comentarios del cdigo explican lo que se va haciendo): // fichero a incluir para I/O en ficheros #include <fstream.h> void main(void) { char text[81]; long n=0; // prueba de escritura en disco // se lee un nmero en un fichero datos5.d // se crea un flujo de entrada y se asocia con un fichero 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 fichero filein.close(); // se imprime el el texto y el nmero por pantalla
175
4973 4974 4975 4976 4977 4978 4979 4980 4981 4982 4983 4984 4985 4986 4987 4988 4989 4990 4991 4992 4993 4994 4995 4996 4997 4998 4999 5000 5001
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 fichero ofstream fileout; fileout.open("datos5.d", ios::out);
176
5002 5003 5004 5005 5006 5007 5008 5009 5010 5011 5012 5013 5014 5015 5016 5017 5018 5019 5020 5021 5022 5023 5024 5025 5026 5027 5028 5029 5030
int eof(); devuelve un valor distinto de cero si se ha llegado al fin
del fichero.
int clear(); se borran los bits de error que pueda haber activados.
Adems, tanto los operadores sobrecargados (<< y >>) como las funciones miembro de E/S devuelven referencias al flujo correspondiente y esta referencia puede chequearse con un if o en la condicin de un while para saber si se ha producido un error o una condicin de fin de fichero. Por ejemplo, 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 (cin.get(ch)) o de (cin<<ch) no es nulo, es que no se ha producido
177
5031 5032 5033 5034 5035 5036 5037 5038 5039 5040 5041 5042 5043 5044 5045 5046 5047 5048 5049 5050 5051 5052 5053 5054 5055 5056 5057 5058 5059
error ni se ha llegado al fin de fichero. Si lo que se quiere comprobar es si se ha llegado al final del fichero se puede comprobar la condicin, if (cin.get(ch).eof()) { // se ha llegado al final del fichero } y si por el contrario lo que se desea es hacer algo si no se ha tenido ningn error, se puede utilizar el
operador negacin () que devuelve un resultado distinto de cero (true) si failbit o badbit estn
activados.
178
5060 5061 5062 5063 5064 5065 5066 5067 5068 5069 5070 5071 5072 5073 5074 5075 5076 5077 5078 5079 5080 5081 5082 5083 5084 5085 5086 5087 5088
La generalidad es una propiedad que permite definir una clase o una funcin sin tener que
agrupar variables cuyo tipo no est predeterminado. As el funcionamiento de una pila, una cola, una lista, un conjunto, un diccionario o un array es el mismo independientemente del tipo de datos que almacene (int, long, double, char, u objetos de una clase definida por el usuario). En definitiva estas clases se definen independientemente del tipo de variables que vayan a contener y
es el usuario de la clase el que
179
5089 5090 5091 5092 5093 5094 5095 5096 5097 5098 5099 5100 5101 5102 5103 5104 5105 5106 5107 5108 5109 5110 5111 5112 5113 5114 5115 5116 5117
etc.). Aunque esto es posible, ste es un caso ideal para aplicar
180
5118 5119 5120 5121 5122 5123 5124 5125 5126 5127 5128 5129 5130 5131 5132 5133 5134 5135 5136 5137 5138 5139 5140 5141 5142 5143 5144 5145
return b; } A continuacin se presenta un programa principal que utiliza la
181
5146 5147 5148 5149 5150 5151 5152 5153 5154 5155 5156 5157 5158 5159 5160 5161 5162 5163 5164 5165 5166 5167 5168 5169 5170 5171 5172 5173 5174
que se producir un error si se pasan como argumentos dos variables de distinto tipo, por lo que el usuario de la plantilla de funcin debe ser muy cuidadoso en el paso de los argumentos. Seguidamente se presenta un nuevo ejemplo de funcin para permutar el valor de dos variables: #include <iostream.h> template <class S> void permutar(S&, S&); void main(void) { int i=2, j=3; cout << "i=" << i << " " << "j=" << j << endl; permutar(i, j); cout << "i=" << i << " " << "j=" << j << endl; double x=2.5, y=3.5; cout << "x=" << x << " " << "y=" << y << endl; permutar(x, y); cout << "x=" << x << " " << "y=" << y << endl; } template <class S> void permutar(S& a, S& b) { S temp; temp = a; a = b; b = temp; } 7.1.2 PLANTILLAS DE CLASES De una manera semejante a como se hace para las funciones se puede generalizar para el caso de
182
5175 5176 5177 5178 5179 5180 5181 5182 5183 5184 5185 5186 5187 5188 5189 5190 5191 5192 5193 5194 5195 5196 5197 5198 5199 5200 5201 5202 5203
las clases por medio de plantillas de clases. Se definir un
183
5204 5205 5206 5207 5208 5209 5210 5211 5212 5213 5214 5215 5216 5217 5218 5219 5220 5221 5222 5223 5224 5225 5226 5227 5228 5229 5230 5231
// definicin de las funciones miembro template <class T> void Pila<T>::Poner(T elem) { if (limite < nelementos) cadena[limite++] = elem; }; template <class T> void Pila<T>::Imprimir() { int i; for (i=0; i<limite; i++) cout << cadena[i] << endl; }; El programa principal puede ser el que sigue: #include <iostream.h> #include "Pila.h" void main() { Pila <int> p1(6); p1.Poner(2); p1.Poner(4); p1.Imprimir(); Pila <char> p2(6); p2.Poner('a'); p2.Poner('b'); p2.Imprimir(); } En este programa principal se definen dos objetos p1 y p2 de la clase Pila. En p1 el parmetro
184
5232 5233 5234 5235 5236 5237 5238 5239 5240 5241 5242 5243 5244 5245 5246 5247 5248 5249 5250 5251 5252 5253 5254 5255 5256 5257 5258 5259 5260
T vale int y en p2 ese parmetro vale char. El funcionamiento de
todas las variables y funciones miembro se particulariza en cada caso para esos tipos de variable. Es necesario recordar de nuevo que el usuario de este tipo de clases debe poner un muy especial cuidado en pasar siempre el tipo de argumento correcto.
polimorfismo necesita punteros y su generalidad se limita a jerarquas. Recurdese que el polimorfismo se basa en que en el momento de compilacin se desconoce a qu clase de la jerarqua
va a apuntar un puntero que se ha definido como puntero a la clase base. Desde este punto de vista las plantillas pueden considerarse como una ampliacin del polimorfismo. Una desventaja de las plantillas es que tienden a crear un cdigo ejecutable grande porque se crean tantas versiones de las funciones como son necesarias. 7.2 Manejo de Excepciones En algunos programas complejos que realicen funciones crticas puede ser necesario controlar todos
185
5261 5262 5263 5264 5265 5266 5267 5268 5269 5270 5271 5272 5273 5274 5275 5276 5277 5278 5279 5280 5281 5282 5283 5284 5285 5286 5287 5288
los detalles de su ejecucin. Es relativamente normal que un programa falle durante su ejecucin debido a que se haya realizado o intentado realizar una operacin no permitida (por ejemplo, una divisin por cero), porque se haya excedido el rango de un vector, Si en tiempo de ejecucin se produce un error de stos, se pueden adoptar varias estrategias. Una consiste en no hacer nada, dejando que el ordenador emita un mensaje de error y finalizando la ejecucin del programa bruscamente, con lo que la informacin referente al error producido es mnima. Otra posibilidad es obligar al programa a continuar con la ejecucin arrastrando el error, lo que puede ser interesante en el caso de que se tenga la seguridad de que ese error no se va a propagar y que los resultados que se obtengan al final seguirn siendo fiables. Otra posibilidad es tratar de corregir el error y de seguir con la ejecucin del programa. C++ dispone de una herramienta adicional que permite terminar la ejecucin del programa de una manera ms ordenada, proporcionando la informacin que se requiera para detectar la fuente del error que se haya producido. Esta herramienta recibe el nombre de mecanismo de excepciones. Consta bsicamente de dos etapas: una inicial o de lanzamiento (throw) de la excepcin, y otra de
186
5289 5290 5291 5292 5293 5294 5295 5296 5297 5298 5299 5300 5301 5302 5303 5304 5305 5306 5307 5308 5309 5310 5311 5312 5313 5314 5315 5316 5317
gestin o captura (handle) de la misma. Lanzar una excepcin es sealar que se ha producido una determinada situacin de error. Para lanzar una excepcin se coloca la porcin de cdigo que se desea controlar dentro de un bloque try. Si en un momento dado, dentro de ese bloque try se pasa por una instruccin throw consecuencia de un determinado error, la ejecucin acude al gestor
de excepciones correspondiente,
que deber haberse definido a continuacin del bloque try. En este
excepciones: supngase el
caso de un programa para resolucin de ecuaciones de segundo
187
5318 5319 5320 5321 5322 5323 5324 5325 5326 5327 5328 5329 5330 5331 5332 5333 5334 5335 5336 5337 5338 5339 5340 5341 5342 5343 5344 5345 5346
ESIISS: Aprenda C++ como si estuviera en Primero pgina 82
#include <iostream.h> #include <math.h> void raices(const double a, const double b, const double c); enum error{NO_REALES, PRIMERO}; void main(void) { try { raices(1.0, 2.0, 1.0); // dentro de raices() se lanza la excepcin raices(2.0, 1.0, 2.0); } catch (error e) { // e es una variable enum de tipo error switch(e){ case NO_REALES: cout << "No Reales" << endl; break; case PRIMERO: cout << "Primero Nulo" << endl; break; } } } void raices(const double a, const double b, const double c) // throw(error); { double disc, r1, r2; if (b*b<4*a*c) throw NO_REALES; // se lanza un error if(a==0)
188
5347 5348 5349 5350 5351 5352 5353 5354 5355 5356 5357 5358 5359 5360 5361 5362 5363
throw PRIMERO; disc=sqrt(b*b-4*a*c); r1 = (-b-disc)/(2*a); r2 = (-b+disc)/(2*a); cout << "Las races son:" << r1 <<" y " << r2 << endl; } Es importante sealar que los nicos errores que se pueden controlar son los que se han producido dentro del propio programa, conocidos como errores