Передайте абстрактный параметр методу, почему бы и нет?

Question

Я написал абстрактный класс (с чистыми виртуальными функциями), и я хотел бы, чтобы метод принимал один такой класс, как параметр. Учитывая, что класс является абстрактным, я понимаю, что я не мог передать абстрактный класс любому методу, но почему я не могу передать подкласс абстрактного класса этому методу? Как указать, что параметр должен быть любым из подклассов заданного базового класса? Это все на C++.

Answer 1

Необходимо указать параметр в качестве указателя (или ссылки), например. Abstract *, а не Abstract. Если Derived наследует от Abstract, вы можете передать переменную типа Derived *, когда ожидается Abstract *, но вы не можете в общем пройти один из типов Derived, когда ожидается Abstract.

Answer 2

Вы действительно можете сделать это, заметим:

чисто абстрактный класс:

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

Дитя функции переопределение члена:

class AbstractImpl : public Abstract { 
public: 
    void foo() override { std::cout << "Hi from subclass\n"; } 
}; 

Теперь мы объявляем метод который принимает ссылочный тип абстрактного класса

void somefunc(Abstract &ab) { 
    ab.foo(); 
} 

Наконец, в основном мы инстанцируем параметр дочернего класса

int main() { 
    AbstractImpl test; 
    somefunc(test); // prints Hi from subclass 
    return 0; 
} 

Источника: https://stackoverflow.com/a/11422101/2089675

Answer 3

Затем вы используете полиморфизм в C++.

Учитывая любой базовый класс:

struct Base{}; 

и его подклассы:

struct SubClassA : public Base(){}; 
struct SubClassB : public Base(){}; 

Если вы объявляете:

void MyFunctionReference(Base&){}; 
void MyFunctionPointer(Base*){}; 

Вы можете позвонить:

{ 
    SubClassA a; 
    SubClassB b; 

    MyFunctionReference(a); // by reference 
    MyFunctionPointer(&b); // by pointer address 
}