referencia a la clase abstracta

Question

¿Qué significa cuando hay una referencia a una clase abstracta? Lo encontré en código y no puedo entenderlo.

Pensé que no se podía crear una instancia de una clase abstracta. ¿Cómo puedes darle una referencia?

Answer 1

Una referencia a una clase abstracta es como un puntero a una clase abstracta: necesita hacer referencia a un objeto de alguna subclase no abstracta de la clase abstracta. Puede usar una referencia como esa para llamar a métodos virtuales en la clase referenciada utilizando la sintaxis ., de forma similar a un puntero a una interfaz en Java.

Answer 2

Una clase abstracta está diseñada para ser derivada de. El principio de sustitución de Liskov establece aproximadamente que cualquier cosa que use las partes abstractas de los tipos derivados de una base abstracta debería funcionar igualmente bien usando polimórficamente la base. Eso significa que se debe usar una referencia o puntero a la base.

Answer 3

class Abstract 
{ 
public: 
    virtual void foo() = 0; 
}; 

class Implementation : public Abstract 
{ 
public: 
    void foo() { std::cout << "Foo!" << std::endl; } 
}; 

void call_foo(Abstract& obj) { obj.foo(); } 

int main() 
{ 
    Abstract *bar = new Implementation(); 

    call_foo(*bar); 

    delete bar; 
} 

bar es una pointer a una clase abstracta. Se puede desreferenciar usando el operador * y pasarlo como reference en call_foo, porque eso es lo que call_foo está pidiendo (Abstract* pediría un puntero, mientras que Abstract& está pidiendo una referencia).

En lo anterior, se hace pasar la referencia a la clase abstracta, y cuando foo() se llama usando la notación . (en lugar de la notación puntero ->), imprime Foo!, porque eso es lo que la hace Implementation.

Espero que esto ayude.

Answer 4

Las referencias en C++ se comportan (casi) como punteros ocultos. En particular, el mismo comportamiento polimórfico que puede obtener con un puntero, puede lograrlo con una referencia. Es decir, los siguientes son (casi) equivalentes

int *i = &a; 
int &j = a; 

asumiendo que un era un entero definido en algún lugar de las líneas anteriores. Las siguientes ocurrencias de la referencia j, son perfectamente equivalentes a las ocurrencias de (* i). La principal diferencia es que una referencia no le da el dolor de la administración de la memoria, mientras que un puntero sí (es su responsabilidad manejar los nuevos y eliminar). Además, un puntero no tiene que apuntar a algo, mientras que una referencia no puede existir si no se está refiriendo a algo. Aparte de eso, puedes considerar que se comporten de la misma manera.

Por lo tanto, es absolutamente legal tener una referencia a un objeto abstracto. Lo encontrará a menudo en firmas de funciones, donde el comportamiento polimórfico se puede lograr con referencias o punteros. Pero las referencias dan una sintaxis más ligera, al igual que el siguiente fragmento de código muestra

A a; 
A* ptr = &a; 
A& ref = a; 
ref(); 
ptr->operator()(); 
(*ptr)(); 

asumiendo la clase Una sobrecarga operator().