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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 312 — #350
✐
Capítulo 11. Las referencias y el constructor de copia
push a
call f()
add sp, 4
mov g, register a
Este código se ha simplificado para hacerlo genérico; las expresiones b y a serán
diferentes dependiendo de si las variables son globales (en cuyo caso serían _b y
_a) o locales (el compilador las pondría en la pila). Esto también es cierto para g.
La sintaxis de la llamada a f() dependería de su guía de estilo, y register a
dependería de cómo su ensamblador llama a los registros de la CPU. A pesar de la
simplificación, la lógica del código sería la misma.
Tanto en C como en C++, primero se ponen los argumentos en la pila de derecha
a izquierda, y luego se llama a la función. El código de llamada es responsable de
recoger los argumentos de la pila (lo cual explica la sentencia add sp, 4). Pero tenga
en cuenta que cuando se pasan argumentos por valor, el compilador simplemente
pone copias en la pila (conoce los tamaños de cada uno, por lo que los puede copiar).
El valor de retorno de f() se coloca en un registro. Como el compilador sabe lo
que se está retornando, porque la información del tipo ya está en el lenguaje, puede
retornarlo colocándolo en un registro. En C, con tipos primitivos, el simple hecho de
copiar los bits del valor es equivalente a copiar el objeto.
Paso y retorno de objetos grandes
Considere ahora los tipos definidos por el usuario. Si crea una clase y desea pasar
un objeto de esa clase por valor, ¿cómo sabe el compilador lo que tiene que hacer
La información de la clase no está en el compilador, pues lo ha definido el usuario.
Para investigar esto, puede empezar con una estructura simple que, claramente,
es demasiado grande para ser devuelta a través de los registros:
//: C11:PassingBigStructures.cpp
struct Big {
char buf[100];
int i;
long d;
} B, B2;
Big bigfun(Big b) {
b.i = 100; // Do something to the argument
return b;
}
int main() {
B2 = bigfun(B);
} ///:~
La conversión a código ensamblador es un poco más complicada porque la mayoría
de los compiladores utilizan funciones «auxiliares» (helper) en vez de inline. En
la función main(), la llamada a bigfun() empieza como debe: se coloca el contenido
de B en la pila. (Aquí podría ocurrir que algunos compiladores carguen registros
con la dirección y tamaño de Big y luego una función auxiliar se encargue de colocar
el Big en la pila).
En el fragmento de código fuente anterior, lo único necesario antes de llamar a la
312
✐
✐
✐
✐