Возможно ли возвращать потомков абстрактного класса из функции?

Question

[gotoxy]

Есть функция, которая в зависимости от входящего значения, создаёт объект определённого класса, который наследуется от абстрактного. Возможно ли как-то вернуть этот объект по ссылке на базовый класс, не создавая его через new и не по указатею?

Answer 1

[MiiNiPaa]

Да, можно.

#include <iostream>

struct Abstract
{
    virtual void print() = 0;
    virtual ~Abstract() = default;
};

struct Concrete : Abstract
{
    virtual void print() override
    {
        std::cout << "Concrete\n";   
    }

};

Abstract& foo()
{
   static Concrete c;
   return c;   
}

int main()
{
    foo().print();
}

coliru.stacked-crooked.com/a/cedf0ea1d25f9a12

Comments

[Олег Цилюрик]

static Concrete c;

И даже, в этом случае, без static: при возврате в C/C++ структуры (а значит и объекта класса) - возвращается (в стеке) копия локальной структуры.

[MiiNiPaa]

Олег Цилюрик: Посмотрите внимательней. Возвращается ссылка на структуру. Поэтому static: чтобы не вернуть ссылку на уничтоженую локальную переменную.
И если бы был возврат по значению, код бы не скомпилировался, так как это привело бы к созданию экземпляра абстрактного класса.