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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 461 — #499
✐
15.10. funciones virtuales y constructores
Todos los constructores de la clase base son siempre llamados en el constructor de
una clase heredada. Esto tiene sentido porque el constructor tiene un trabajo especial:
ver que el objeto está construido de forma apropiada. Una clase derivada sólo tiene
acceso a sus propios miembros, y no a los de la clase base. únicamente el constructor
de la clase base puede inicializar de forma adecuada a sus propios elementos. Por
lo tanto es esencial que se llame a todos los constructores; de otra forma el objeto
no estará construido de forma adecuada. Esto es por lo que el compilador obliga a
hacer una llamada por cada trozo en una clase derivada. Se llamará al constructor
por defecto si no se hace una llamada explícita a un constructor de la clase base. Si
no existe constructor por defecto, el compilador lo creará.
El orden de las llamadas al constructor es importante. Cuando se hereda, se sabe
todo sobre la clase base y se puede acceder a todos los miembros públicos y protegidos
(public y protected) de la clase base. ésto significa que se puede asumir que
todos los miembros de la clase base son válidos cuando se está en la clase derivada.
En una función miembro normal, la construcción ya ha ocurrido, por lo que todos
los miembros de todas las partes del objeto ya han sido construidos. Dentro del constructor,
sin embargo, hay que asumir que todos los miembros que se usen han sido
construidos. La única manera de garantizarlo es llamando primero al constructor de
la clase base. Entonces cuando se esté en el constructor de la clase derivada, todos los
miembros a los que se pueda acceder en la clase base han sido inicializados. "Saber
que todos los miembros son válidos" dentro del constructor es también la razón por
la que, dentro de lo posible, se debe inicializar todos los objetos miembros (es decir,
los objetos puestos en la clase mediante composición). Si se sigue ésta práctica, se
puede asumir que todos los miembros de la clase base y los miembros objetos del
objeto actual han sido inicializados.
15.10.2. Comportamiento de las funciones virtuales dentro
de los constructores
La jerarquía de las llamadas a los constructores plantea un interesante dilema.
¿Qué ocurre si se está dentro de un constructor y se llama a una función virtual
Dentro de una función miembro ordinaria se puede imaginar que ocurrirá - la llamada
virtual es resuelta en tiempo de ejecución porque el objeto no puede conocer
si la función miembro es de la clase en la que está o es de una clase derivada. Por
consistencia, se podría pensar que también es lo que debería ocurrir dentro de los
constructores.
No es el caso. Si se llama a una función virtual dentro de un constructor, sólo se
usa la versión local de la función. Es decir, el mecanismo virtual no funciona dentro
del constructor.
éste comportamiento tiene sentido por dos motivos. Conceptualmente, el trabajo
del constructor es dar al objeto una existencia. Dentro de cualquier constructor, el
objeto puede ser formado sólo parcialmente - se puede saber sólo que los objetos
de la clase base han sido inicializados, pero no se puede saber que clases heredan
de ésta. Una función virtual, sin embargo, se mueve "arriba" y "abajo" dentro de la
jerarquía de herencia. Llama a una función de una clase derivada. Si se pudiera hacer
esto dentro de un constructor, se estaría llamando a una función que debe manejar
miembros que todavía no han sido inicializados, una receta segura para el desastre.
El segundo motivo es mecánico. Cuando se llama a un constructor, una de las
primeras cosas que hace es inicializar su VPTR. Sin embargo, sólo puede saber que
es del tipo "actual" - el tipo para el que se ha escrito el constructor. El código del
constructor ignora completamente si el objeto está en la base de otra clase. Cuando
461
✐
✐
✐
✐