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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 242 — #280
✐
Capítulo 8. Constantes
const int i = 1;
const blob b(2);
Aquí, b es un objeto constante de tipo blob, su constructor se llama con un 2 como
argumento. Para que el compilador imponga que el objeto sea constante, debe
asegurar que el objeto no tiene atributos que vayan a cambiar durante el tiempo de
vida del objeto. Puede asegurar fácilmente que los atributos no públicos no sean modificables,
pero. ¿Cómo puede saber que métodos cambiarán los atributos y cuáles
son seguros para un objeto constante
Si declara un método como constante, le está diciendo que la función puede ser
invocada por un objeto constante. Un método que no se declara constante se trata
como uno que puede modificar los atributos del objeto, y el compilador no permitirá
que un objeto constante lo utilice.
Pero la cosa no acaba ahí. Sólo porque un método afirme ser const no garantiza
que actuará del modo correcto, de modo que el compilador fuerza que en la definición
del método se reitere el especificador const (la palabra const se convierte
en parte del nombre de la función, así que tanto el compilador como el enlazador
comprobarán que no se viole la constancia). De este modo, si durante la definición
de la función se modifica algún miembro o se llama algún método no constante, el
compilador emitirá un mensaje de error. Por eso, está garantizado que los miembros
que declare const se comportarán del modo esperado.
Para comprender la sintaxis para declarar métodos constantes, primero debe recordar
que colocar const delante de la declaración del método indica que el valor
de retorno es constante, así que no produce el efecto deseado. Lo que hay que hacer
es colocar el especificador const después de la lista de argumentos. Por ejemplo:
//: C08:ConstMember.cpp
class X {
int i;
public:
X(int ii);
int f() const;
};
X::X(int ii) : i(ii) {}
int X::f() const { return i; }
int main() {
X x1(10);
const X x2(20);
x1.f();
x2.f();
} ///:~
La palabra const debe incluirse tanto en la declaración como en la definición del
método o de otro modo el compilador asumirá que es un método diferente. Como
f() es un método constante, si intenta modificar i de alguna forma o llamar a otro
método que no sea constante, el compilador informará de un error.
Puede ver que un miembro constante puede llamarse tanto desde objetos constantes
como desde no constantes de forma segura. Por ello, debe saber que esa es la
forma más general para un método (a causa de esto, el hecho de que los métodos
242
✐
✐
✐
✐