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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 207 — #245
✐
7.1. Más decoración de nombres
ningún estándar de decoración, podrá obtener resultados diferentes de un compilador
a otro. (Puede ver lo que saldría diciéndole al compilador que genere código
fuente en ensamblador). Esto, por supuesto, causa problemas si desea comprar unas
librerías compiladas por un compilador y enlazador particulares, aunque si la decoración
de nombres fuera estándar, habría otros obstáculos debido a las diferencias de
generación de código máquina entre compiladores.
Esto es todo lo que hay para la sobrecarga de funciones: puede utilizar el mismo
nombre de función siempre y cuando la lista de argumentos sea diferente. El compilador
utiliza el nombre, el ámbito y la lista de argumentos para generar un nombre
interno que el enlazador pueda utilizar.
7.1.1. Sobrecarga en el valor de retorno
Es muy común la pregunta «¿Por qué solamente el ámbito y la lista de argumentos
¿Por qué no también el valor de retorno». A primera vista parece que tendría
sentido utilizar también el valor de retorno para la decoración del nombre interno.
De esta manera, también podría sobrecargar con los valores de retorno:
void f();
int f();
Esto funciona bien cuando el compilador puede determinar sin ambigüedades a
qué tipo de valor de retorno se refiere, como en int x = f();. No obstante, en C
se puede llamar a una función y hacer caso omiso del valor de retorno (esto es, puede
querer llamar a la función debido a sus efectos laterales). ¿Cómo puede el compilador
distinguir a qué función se refiere en este caso Peor es la dificultad que tiene el lector
del código fuente para dilucidar a qué función se refiere. La sobrecarga mediante el
valor de retorno solamente es demasiado sutil, por lo que C++ no lo permite.
7.1.2. Enlace con FIXME:tipos seguros
Existe un beneficio añadido a la decoración de nombres. En C hay un problema
particularmente fastidioso cuando un programador cliente declara mal una función
o, aún peor, se llama a una función sin haber sido previamente declarada, y el compilador
infiere la declaración de la función mediante la forma en que se llama. Algunas
veces la declaración de la función es correcta, pero cuando no lo es, suele resultar en
un fallo difícil de encontrar.
A causa de que en C++ se deben declarar todas las funciones antes de llamarlas,
las probabilidades de que ocurra lo anteriormente expuesto se reducen drásticamente.
El compilador de C++ rechaza declarar una función automáticamente, así que es
probable que tenga que incluir la cabecera apropiada. Sin embargo, si por alguna
razón se las apaña para declarar mal una función, o declararla a mano o incluir una
cabecera incorrecta (quizá una que sea antigua), la decoración de nombres proporciona
una seguridad que a menudo se denomina como enlace con tipos seguros.
Considere el siguiente escenario. En un fichero está la definición de una función:
//: C07:Def.cpp {O}
// Function definition
void f(int) {}
///:~
207
✐
✐
✐
✐