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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 206 — #244
✐
Capítulo 7. Sobrecarga de funciones y argumentos por defecto
res, es también de utilidad general para cualquier función, incluso aquellas que no
son métodos. Además, la sobrecarga de funciones significa que si tiene dos librerías
que contienen funciones con el mismo nombre, no entrarán en conflicto siempre y
cuando las listas de argumentos sean diferentes. A lo largo del capítulo se mostrarán
todos los detalles.
El tema de este capítulo es la elección adecuada de los nombres de la funciones.
La sobrecarga de funciones permite utilizar el mismo nombre para funciones diferentes,
pero hay otra forma más adecuada de llamar a una función. ¿Qué ocurriría
si le gustara llamar a la misma función de formas diferentes Cuando las funciones
tienen una larga lista de argumentos, puede resultar tediosa la escritura (y confusa
la lectura) de las llamadas a la función cuando la mayoría de los argumentos son lo
mismos para todas las llamadas. Una característica de C++ comúnmente utilizada
se llama argumento por defecto. Un argumento por defecto es aquel que el compilador
inserta en caso de que no se especifique cuando se llama a la función. Así, las llamadas
f("hello"), f("hi", 1) y f("howdy", 2, ’c’) pueden ser llamadas
a la misma función. También podrían ser llamadas a tres funciones sobrecargadas,
pero cuando las listas de argumentos son tan similares, querrá que tengan un comportamiento
similar, que le lleva a tener una única función.
La sobrecarga de funciones y los argumentos por defecto no son muy complicados.
En el momento en que termine este capítulo, sabrá cuándo utilizarlos y entenderá
los mecanismos internos que el compilador utiliza en tiempo de compilación y
enlace.
7.1. Más decoración de nombres
En el Capítulo 4 se presentó el concepto de decoración de nombres. En el código:
void f();
class X { void f(); };
La función f() dentro del ámbito de la clase X no entra en conflicto con la versión
global de f(). El compilador resuelve los ámbitos generando diferentes nombres
internos tanto para la versión global de f() como para X::f(). En el Capítulo 4 se
sugirió que los nombres son simplemente el nombre de la clase junto con el nombre
de la función. Un ejemplo podría ser que el compilador utilizara como nombres _f y
_X_f. Sin embargo ahora se ve que la decoración del nombre de la función involucra
algo más que el nombre de la clase.
He aquí el porqué. Suponga que quiere sobrecargar dos funciones
void print(char);
void print(float);
No importa si son globales o están dentro de una clase. El compilador no puede
generar identificadores internos únicos si sólo utiliza el ámbito de las funciones.
Terminaría con _print en ambos casos. La idea de una función sobrecargada es
que se utilice el mismo nombre de función, pero diferente lista de argumentos. Así
pues, para que la sobrecarga funcione el compilador ha de decorar el nombre de la
función con los nombres de los tipos de los argumentos. Las funciones planteadas
más arriba, definidas como globales, producen nombres internos que podrían parecerse
a algo así como _print_char y _print_float. Nótese que como no hay
206
✐
✐
✐
✐