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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 314 — #352
✐
Capítulo 11. Las referencias y el constructor de copia
producirse por un evento hardware, y no con una invocación dentro del programa
de forma explícita).
Ahora imagine que pasaría si una función normal intentara retornar valores mediante
la pila. No puede tocar la pila por encima del la dirección de retorno, así que
la función tendría que colocar los valores de retorno debajo de la dirección de retorno.
Pero cuando se ejecuta el RETURN, el puntero de pila debería estar apuntando
a la dirección de retorno (o justo debajo, depende de la máquina), así que la función
debe subir el puntero de la pila, desechando todas las variables locales. Si intenta retornar
valores usando la pila por debajo de la dirección de retorno, en ese momento
es vulnerable a una interrupción. La ISR escribiría encima de los valores de retorno
para colocar su dirección de retorno y sus variables locales.
Para resolver este problema, el que llama a la función podría hacerse responsable
de asignar la memoria extra en la pila para los valores de retorno antes de llamar a
la función. Sin embargo, C no se diseñó de esta manera y C++ ha de ser compatible.
Como verá pronto, el compilador de C++ utiliza un esquema más eficaz.
Otra idea sería retornar el valor utilizando un área de datos global, pero tampoco
funcionaría. La re-entrada significa que cualquier función puede ser una rutina de
interrupción para otra función, incluida la función que se está ejecutando. Por lo tanto, si
coloca un valor de retorno en un área global, podría retornar a la misma función, lo
cual sobreescribiría el valor de retorno. La misma lógica se aplica a la recursividad.
Los registros son el único lugar seguro para devolver valores, así que se vuelve al
problema de qué hacer cuando los registros no son lo suficientemente grandes para
contener el valor de retorno. La respuesta es colocar la dirección de la ubicación del
valor de retorno en la pila como uno de los argumentos de la función, y dejar que la
función copie la información que se devuelve directamente en esa ubicación. Esto no
solo soluciona todo los problemas, si no que además es más eficaz. Ésta es la razón
por la que el compilador coloca la dirección de B2 antes de llamar a bigfun en la
función main() de PassingBigStructures.cpp. Si viera el código ensamblador
de bigfun() observaría que la función espera este argumento escondido y lo copia
al destino dentro de la función.
Copia bit a bit vs. inicialización
Hasta aquí, todo bien. Tenemos un procedimiento para pasar y retornar estructuras
simples grandes. Pero note que lo único que tiene es una manera de copiar bits
de un lugar a otro, lo que ciertamente funciona bien para la forma (muy primitiva)
en que C trata las variables. Sin embargo, en C++ los objetos pueden ser mucho más
avanzados que un puñado de bits, pues tienen significado y, por lo tanto, puede que
no responda bien al ser copiado.
Considere un ejemplo simple: una clase que conoce cuantos objetos de un tipo
existen en cualquier momento. En el Capítulo 10 se vio la manera de hacerlo incluyendo
un atributo estático (static):
//: C11:HowMany.cpp
// A class that counts its objects
#include
#include
using namespace std;
ofstream out("HowMany.out");
class HowMany {
static int objectCount;
314
✐
✐
✐
✐