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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 236 — #274
✐
Capítulo 8. Constantes
el creador de una función, pasar una dirección es siempre más eficiente que pasar
un objeto completo, y si pasa por referencia constante significa que la función no
podrá cambiar lo almacenado en esa dirección, así que el efecto desde el punto de
vista del programador cliente es lo mismo que el paso por valor (sin embargo es más
eficiente).
A causa de la sintaxis de las referencias (para el cliente es igual que el paso por
valor) es posible pasar un objeto temporario a una función que toma una referencia
constante, mientras que nunca puede pasarse un objeto temporario a una función
que toma un puntero (con un puntero, la dirección debe darse explícitamente). Así
que con el paso por referencia se produce una nueva situación que nunca ocurre en
C: un temporario, que es siempre constante, puede pasar su dirección a una función
(una función puede tomar por argumento la dirección de un temporario). Esto es
así porque, para permitir que los temporarios se pasen por referencia, el argumento
debe ser una referencia constante. El siguiente ejemplo lo demuestra:
//: C08:ConstTemporary.cpp
// Temporaries are const
class X {};
X f() { return X(); } // Return by value
void g1(X&) {} // Pass by non-const reference
void g2(const X&) {} // Pass by const reference
int main() {
// Error: const temporary created by f():
//! g1(f());
// OK: g2 takes a const reference:
g2(f());
} ///:~
f() retorna un objeto de la clase X por valor. Esto significa que cuando tome el
valor de retorno y lo pase inmediatamente a otra función como en las llamadas a
g1() y g2(), se crea un temporario y los temporarios son siempre constantes. Por
eso, la llamada a g1() es un error pues g1() no acepta una referencia constante,
mientras que la llamada a g2() sí es correcta.
8.4. Clases
Esta sección muestra la forma en la que se puede usar el especificador const con
las clases. Puede ser interesante crear una constante local a una clase para usarla en
expresiones constantes que serán evaluadas en tiempo de compilación. Sin embargo,
el significado del especificador const es diferente para las clases 4 , de modo que
debe comprender las opciones adecuadas para crear miembros constantes en una
clase.
También se puede hacer que un objeto completo sea constante (y como se ha visto,
el compilador siempre hace constantes los objetos temporarios). Pero preservar la
consistencia de un objeto constante es más complicado. El compilador puede asegurar
la consistencia de las variables de los tipos del lenguaje pero no puede vigilar la
4 N. del T.: Esto se conoce como polisemia del lenguaje
236
✐
✐
✐
✐