список полиморфных объектов

Question

У меня есть конкретный сценарий ниже. Приведенный ниже код должен напечатать функцию 'say ()' класса B и C и напечатать 'B говорит ..' и 'С говорит ...', но это не так. Любые идеи .. Я изучаю полиморфизм, поэтому также прокомментировал несколько вопросов, связанных с ним, в строках кода ниже.

class A
{
public:
// A() {}
    virtual void say() { std::cout << "Said IT ! " << std::endl; }
    virtual ~A(); //why virtual destructor ?
};

void methodCall() // does it matters if the inherited class from A is in this method
{
    class B : public A{
    public:
        // virtual ~B(); //significance of virtual destructor in 'child' class
        virtual void say () { // does the overrided method also has to be have the keyword  'virtual'
            cout << "B Sayssss.... " << endl; 
        }
    };
    class C : public A {
    public:
        //virtual ~C();
        virtual void say () { cout << "C Says " << endl; }
    };

    list<A> listOfAs;
    list<A>::iterator it;

    # 1st scenario
    B bObj; 
    C cObj;
    A *aB = &bObj;
    A *aC = &cObj;

    # 2nd scenario
    //  A aA;
    //  B *Ba = &aA;
    //  C *Ca = &aA; // I am declaring the objects as in 1st scenario but how about 2nd   scenario, is this suppose to work too?

    listOfAs.insert(it,*aB);
    listOfAs.insert(it,*aC);

    for (it=listOfAs.begin(); it!=listOfAs.end(); it++)
    {
        cout <<  *it.say()  << endl;
    }
}

int main()
{
    methodCall();
    return 0;
}

Answer 1

Ваша проблема называется срезами , и вы должны проверить этот вопрос: Изучение C ++: полиморфизм и срезы

Вы должны объявить этот список как список указателей наA s:

list<A*> listOfAs;

и затем вставьте в него эти указатели aB и aC вместо создания копий объектов, на которые они указывают.Неправильный способ вставки элементов в список, вы должны использовать push_back функцию для вставки:

B bObj; 
C cObj;
A *aB = &bObj;
A *aC = &cObj;

listOfAs.push_back(aB);
listOfAs.push_back(aC);

Тогда ваш цикл может выглядеть следующим образом:

list<A*>::iterator it;
for (it = listOfAs.begin(); it != listOfAs.end(); it++)
{
    (*it)->say();
}

Вывод:

B Sayssss....
C Says

Надеюсь, это поможет.

Answer 2

Полиморфизм иерархий виртуальных классов работает только через ссылки или указатели на базовый подобъект:

struct Der : Base { /* ... */ };

Der x;

Base & a = x;

a.foo();   // calls Der::foo() from x

Функция foo отправляется полиморфно, если онаэто виртуальная функция в Base;полиморфизм относится к тому факту, что хотя вы вызываете функцию-член объекта типа Base, фактически вызываемая функция может быть реализована в классе Der.

Контейнеры могут хранить только элементыфиксированного типа.Чтобы хранить полиморфную коллекцию, вместо этого вы можете иметь контейнер указателей на базовый класс.Поскольку вам необходимо хранить фактические объекты в другом месте, управление временем жизни нетривиально, и лучше всего оставить его в специальной оболочке, такой как unique_ptr:

#include <list>
#include <memory>


int main()
{
    std::list<std::unique_ptr<Base>> mylist;

    mylist.emplace_back(new Der1);
    mylist.emplace_back(new Der2);
    // ...

    for (p : mylist) { p->foo(); /* dispatched dynamically */ }
}

Answer 3

list::iterator it; B bObj; C cObj; A *aB = &bObj; A *aC = &cObj; listOfAs.insert(it,*aB);

Вам не нужно инициализировать "это"?Я считаю, что вы должны это сделать = listOfAs.begin ();перед началом вставки.